K08 · traceable Machine Intelligence knowledge infrastructure
Bidirectional Assurance Trace Explorer
Direct answer
K08 provides a validated synthetic trace that shows both what a claim depends on and which claims are affected when evidence changes.
Reference trace state
Forward trace: claim to evidence
The forward traversal reaches 9 nodes. It shows what the claim depends on; it does not mark those dependencies satisfied.
| Edge | From | Relationship | To | Weight |
|---|---|---|---|---|
TR-E01 | TRACE-K08-CLAIM | REQUIRES_FACT | TRACE-K08-FACT | Required |
TR-E02 | TRACE-K08-CLAIM | REQUIRES_CONTROL | TRACE-K08-CTL | Required |
TR-E03 | TRACE-K08-CTL | VERIFIED_BY_TEST | TRACE-K08-TST | Required |
TR-E04 | TRACE-K08-TST | PRODUCES_ARTIFACT | TRACE-K08-ART | Required |
TR-E05 | TRACE-K08-ART | BOUND_BY_RECEIPT | TRACE-K08-REC | Required |
TR-E06 | TRACE-K08-CTL | SELECTED_BY_DECISION | TRACE-K08-ADR | Supporting |
TR-E07 | TRACE-K08-ADR | IMPLEMENTED_BY_WORK_PACKAGE | TRACE-K08-WP | Supporting |
TR-E08 | TRACE-K08-CTL | DEPENDS_ON_SUPPLY_CHAIN | TRACE-K08-SCA | Required |
Reverse impact: receipt to claim
A change to TRACE-K08-REC reaches 5 records upstream, including the root claim. This makes stale, revoked, or corrected evidence visible to every dependent assertion.
- K07 reference receipt chain —
TRACE-K08-REC - Reference evidence-bundle manifest —
TRACE-K08-ART - RNG-14 evidence-integrity and rollback scenario —
TRACE-K08-TST - ARC-01 deterministic safety separation —
TRACE-K08-CTL - Mission-critical functions remain protected under declared failure conditions —
TRACE-K08-CLAIM
Human-readable failure report
TRACE-K08-FACT— Synthetic reference facility selected; real facility identity unavailable: UNAVAILABLETRACE-K08-CTL— ARC-01 deterministic safety separation: PROPOSEDTRACE-K08-TST— RNG-14 evidence-integrity and rollback scenario: TESTED_REFERENCETRACE-K08-SCA— SCA-K07-001 software bill of materials: PARTIAL
Declared failure reasons
- Mandatory facility fact is UNAVAILABLE.
- Mandatory supply-chain evidence is PARTIAL.
- Reference test evidence does not establish field readiness.
Node register
Mission-critical functions remain protected under declared failure conditions
DEGRADED TRACE-K08-CLAIM · CLAIM
Synthetic reference facility selected; real facility identity unavailable
UNAVAILABLE TRACE-K08-FACT · FACILITY_FACT
Reference evidence-bundle manifest
CURRENT TRACE-K08-ART · ARTIFACT
K07 reference receipt chain
CURRENT TRACE-K08-REC · RECEIPT
ARC-01 deterministic safety separation
PROPOSED TRACE-K08-CTL · CONTROL
RNG-14 evidence-integrity and rollback scenario
TESTED_REFERENCE TRACE-K08-TST · TEST
ADR-K07-001 power boundary and load rejection
PROPOSED TRACE-K08-ADR · ADR
WP-K06-03 cyber-physical architecture assessment
REFERENCE TRACE-K08-WP · WORK_PACKAGE
SCA-K07-001 software bill of materials
PARTIAL TRACE-K08-SCA · SUPPLY_CHAIN
Machine records and tools
Trace JSON · Validation · Forward traversal · Reverse impact · Failure report · Schema
Synthetic trace only; not a real facility. Trace completeness is not claim satisfaction. Receipt validity is not factual truth or authority.