{
  "edges": [
    {
      "from": "TRACE-K08-CLAIM",
      "id": "TR-E01",
      "mandatory": true,
      "relation": "REQUIRES_FACT",
      "to": "TRACE-K08-FACT"
    },
    {
      "from": "TRACE-K08-CLAIM",
      "id": "TR-E02",
      "mandatory": true,
      "relation": "REQUIRES_CONTROL",
      "to": "TRACE-K08-CTL"
    },
    {
      "from": "TRACE-K08-CTL",
      "id": "TR-E03",
      "mandatory": true,
      "relation": "VERIFIED_BY_TEST",
      "to": "TRACE-K08-TST"
    },
    {
      "from": "TRACE-K08-TST",
      "id": "TR-E04",
      "mandatory": true,
      "relation": "PRODUCES_ARTIFACT",
      "to": "TRACE-K08-ART"
    },
    {
      "from": "TRACE-K08-ART",
      "id": "TR-E05",
      "mandatory": true,
      "relation": "BOUND_BY_RECEIPT",
      "to": "TRACE-K08-REC"
    },
    {
      "from": "TRACE-K08-CTL",
      "id": "TR-E06",
      "mandatory": false,
      "relation": "SELECTED_BY_DECISION",
      "to": "TRACE-K08-ADR"
    },
    {
      "from": "TRACE-K08-ADR",
      "id": "TR-E07",
      "mandatory": false,
      "relation": "IMPLEMENTED_BY_WORK_PACKAGE",
      "to": "TRACE-K08-WP"
    },
    {
      "from": "TRACE-K08-CTL",
      "id": "TR-E08",
      "mandatory": true,
      "relation": "DEPENDS_ON_SUPPLY_CHAIN",
      "to": "TRACE-K08-SCA"
    }
  ],
  "failureReasons": [
    "Mandatory facility fact is UNAVAILABLE.",
    "Mandatory supply-chain evidence is PARTIAL.",
    "Reference test evidence does not establish field readiness."
  ],
  "id": "TRACE-K08-REFERENCE-001",
  "nodes": [
    {
      "id": "TRACE-K08-CLAIM",
      "name": "Mission-critical functions remain protected under declared failure conditions",
      "state": "DEGRADED",
      "type": "CLAIM"
    },
    {
      "id": "TRACE-K08-FACT",
      "name": "Synthetic reference facility selected; real facility identity unavailable",
      "state": "UNAVAILABLE",
      "type": "FACILITY_FACT"
    },
    {
      "id": "TRACE-K08-ART",
      "name": "Reference evidence-bundle manifest",
      "state": "CURRENT",
      "type": "ARTIFACT"
    },
    {
      "id": "TRACE-K08-REC",
      "name": "K07 reference receipt chain",
      "state": "CURRENT",
      "type": "RECEIPT"
    },
    {
      "id": "TRACE-K08-CTL",
      "name": "ARC-01 deterministic safety separation",
      "state": "PROPOSED",
      "type": "CONTROL"
    },
    {
      "id": "TRACE-K08-TST",
      "name": "RNG-14 evidence-integrity and rollback scenario",
      "state": "TESTED_REFERENCE",
      "type": "TEST"
    },
    {
      "id": "TRACE-K08-ADR",
      "name": "ADR-K07-001 power boundary and load rejection",
      "state": "PROPOSED",
      "type": "ADR"
    },
    {
      "id": "TRACE-K08-WP",
      "name": "WP-K06-03 cyber-physical architecture assessment",
      "state": "REFERENCE",
      "type": "WORK_PACKAGE"
    },
    {
      "id": "TRACE-K08-SCA",
      "name": "SCA-K07-001 software bill of materials",
      "state": "PARTIAL",
      "type": "SUPPLY_CHAIN"
    }
  ],
  "nonClaims": [
    "Synthetic trace only; not a real facility.",
    "Trace completeness is not claim satisfaction.",
    "Receipt validity is not factual truth or authority."
  ],
  "rootClaimId": "TRACE-K08-CLAIM",
  "schema": "K08_ASSURANCE_TRACE_V1",
  "state": "DEGRADED"
}