{
  "claimStatus": "PROJECT TECHNICAL PROPOSAL",
  "derivedStates": [
    "SATISFIED",
    "DEGRADED",
    "FAILED",
    "UNRESOLVED"
  ],
  "edgeTypes": [
    "DECOMPOSES_TO",
    "SUPPORTED_BY_CONTROL",
    "VERIFIED_BY_TEST",
    "REQUIRES_EVIDENCE",
    "PRODUCES_EVIDENCE"
  ],
  "edges": [
    {
      "from": "AC-K05-CRITICAL-DATACENTER-001",
      "id": "EDGE-TOP-AC-K05-C01",
      "mandatory": true,
      "to": "AC-K05-C01",
      "type": "DECOMPOSES_TO"
    },
    {
      "from": "AC-K05-CRITICAL-DATACENTER-001",
      "id": "EDGE-TOP-AC-K05-C02",
      "mandatory": true,
      "to": "AC-K05-C02",
      "type": "DECOMPOSES_TO"
    },
    {
      "from": "AC-K05-CRITICAL-DATACENTER-001",
      "id": "EDGE-TOP-AC-K05-C03",
      "mandatory": true,
      "to": "AC-K05-C03",
      "type": "DECOMPOSES_TO"
    },
    {
      "from": "AC-K05-CRITICAL-DATACENTER-001",
      "id": "EDGE-TOP-AC-K05-C04",
      "mandatory": true,
      "to": "AC-K05-C04",
      "type": "DECOMPOSES_TO"
    },
    {
      "from": "AC-K05-CRITICAL-DATACENTER-001",
      "id": "EDGE-TOP-AC-K05-C05",
      "mandatory": true,
      "to": "AC-K05-C05",
      "type": "DECOMPOSES_TO"
    },
    {
      "from": "AC-K05-CRITICAL-DATACENTER-001",
      "id": "EDGE-TOP-AC-K05-C06",
      "mandatory": true,
      "to": "AC-K05-C06",
      "type": "DECOMPOSES_TO"
    },
    {
      "from": "AC-K05-CRITICAL-DATACENTER-001",
      "id": "EDGE-TOP-AC-K05-C07",
      "mandatory": true,
      "to": "AC-K05-C07",
      "type": "DECOMPOSES_TO"
    },
    {
      "from": "AC-K05-CRITICAL-DATACENTER-001",
      "id": "EDGE-TOP-AC-K05-C08",
      "mandatory": true,
      "to": "AC-K05-C08",
      "type": "DECOMPOSES_TO"
    },
    {
      "from": "AC-K05-CRITICAL-DATACENTER-001",
      "id": "EDGE-TOP-AC-K05-C09",
      "mandatory": true,
      "to": "AC-K05-C09",
      "type": "DECOMPOSES_TO"
    },
    {
      "from": "AC-K05-CRITICAL-DATACENTER-001",
      "id": "EDGE-TOP-AC-K05-C10",
      "mandatory": true,
      "to": "AC-K05-C10",
      "type": "DECOMPOSES_TO"
    },
    {
      "from": "GOV-01",
      "id": "EDGE-GOV-01-EV-GOV-01",
      "mandatory": true,
      "to": "EV-GOV-01",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C01",
      "id": "EDGE-AC-K05-C01-GOV-01",
      "mandatory": true,
      "to": "GOV-01",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "AC-K05-C10",
      "id": "EDGE-AC-K05-C10-GOV-01",
      "mandatory": true,
      "to": "GOV-01",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "GOV-02",
      "id": "EDGE-GOV-02-EV-GOV-02",
      "mandatory": true,
      "to": "EV-GOV-02",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C01",
      "id": "EDGE-AC-K05-C01-GOV-02",
      "mandatory": true,
      "to": "GOV-02",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "AC-K05-C02",
      "id": "EDGE-AC-K05-C02-GOV-02",
      "mandatory": true,
      "to": "GOV-02",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "GOV-03",
      "id": "EDGE-GOV-03-EV-GOV-03",
      "mandatory": true,
      "to": "EV-GOV-03",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C02",
      "id": "EDGE-AC-K05-C02-GOV-03",
      "mandatory": true,
      "to": "GOV-03",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "AC-K05-C09",
      "id": "EDGE-AC-K05-C09-GOV-03",
      "mandatory": true,
      "to": "GOV-03",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "ARC-01",
      "id": "EDGE-ARC-01-EV-ARC-01",
      "mandatory": true,
      "to": "EV-ARC-01",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C02",
      "id": "EDGE-AC-K05-C02-ARC-01",
      "mandatory": true,
      "to": "ARC-01",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "ARC-02",
      "id": "EDGE-ARC-02-EV-ARC-02",
      "mandatory": true,
      "to": "EV-ARC-02",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C03",
      "id": "EDGE-AC-K05-C03-ARC-02",
      "mandatory": true,
      "to": "ARC-02",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "ARC-03",
      "id": "EDGE-ARC-03-EV-ARC-03",
      "mandatory": true,
      "to": "EV-ARC-03",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C03",
      "id": "EDGE-AC-K05-C03-ARC-03",
      "mandatory": true,
      "to": "ARC-03",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "AC-K05-C04",
      "id": "EDGE-AC-K05-C04-ARC-03",
      "mandatory": true,
      "to": "ARC-03",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "ID-01",
      "id": "EDGE-ID-01-EV-ID-01",
      "mandatory": true,
      "to": "EV-ID-01",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C04",
      "id": "EDGE-AC-K05-C04-ID-01",
      "mandatory": true,
      "to": "ID-01",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "ID-02",
      "id": "EDGE-ID-02-EV-ID-02",
      "mandatory": true,
      "to": "EV-ID-02",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C01",
      "id": "EDGE-AC-K05-C01-ID-02",
      "mandatory": true,
      "to": "ID-02",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "AC-K05-C04",
      "id": "EDGE-AC-K05-C04-ID-02",
      "mandatory": true,
      "to": "ID-02",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "SUP-01",
      "id": "EDGE-SUP-01-EV-SUP-01",
      "mandatory": true,
      "to": "EV-SUP-01",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C04",
      "id": "EDGE-AC-K05-C04-SUP-01",
      "mandatory": true,
      "to": "SUP-01",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "AC-K05-C09",
      "id": "EDGE-AC-K05-C09-SUP-01",
      "mandatory": true,
      "to": "SUP-01",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "SUP-02",
      "id": "EDGE-SUP-02-EV-SUP-02",
      "mandatory": true,
      "to": "EV-SUP-02",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C04",
      "id": "EDGE-AC-K05-C04-SUP-02",
      "mandatory": true,
      "to": "SUP-02",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "AC-K05-C08",
      "id": "EDGE-AC-K05-C08-SUP-02",
      "mandatory": true,
      "to": "SUP-02",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "MGT-01",
      "id": "EDGE-MGT-01-EV-MGT-01",
      "mandatory": true,
      "to": "EV-MGT-01",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C04",
      "id": "EDGE-AC-K05-C04-MGT-01",
      "mandatory": true,
      "to": "MGT-01",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "MGT-02",
      "id": "EDGE-MGT-02-EV-MGT-02",
      "mandatory": true,
      "to": "EV-MGT-02",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C04",
      "id": "EDGE-AC-K05-C04-MGT-02",
      "mandatory": true,
      "to": "MGT-02",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "AC-K05-C09",
      "id": "EDGE-AC-K05-C09-MGT-02",
      "mandatory": true,
      "to": "MGT-02",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "OT-01",
      "id": "EDGE-OT-01-EV-OT-01",
      "mandatory": true,
      "to": "EV-OT-01",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C02",
      "id": "EDGE-AC-K05-C02-OT-01",
      "mandatory": true,
      "to": "OT-01",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "AC-K05-C03",
      "id": "EDGE-AC-K05-C03-OT-01",
      "mandatory": true,
      "to": "OT-01",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "OT-02",
      "id": "EDGE-OT-02-EV-OT-02",
      "mandatory": true,
      "to": "EV-OT-02",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C05",
      "id": "EDGE-AC-K05-C05-OT-02",
      "mandatory": true,
      "to": "OT-02",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "AC-K05-C07",
      "id": "EDGE-AC-K05-C07-OT-02",
      "mandatory": true,
      "to": "OT-02",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "OT-03",
      "id": "EDGE-OT-03-EV-OT-03",
      "mandatory": true,
      "to": "EV-OT-03",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C03",
      "id": "EDGE-AC-K05-C03-OT-03",
      "mandatory": true,
      "to": "OT-03",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "AC-K05-C07",
      "id": "EDGE-AC-K05-C07-OT-03",
      "mandatory": true,
      "to": "OT-03",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "PWR-01",
      "id": "EDGE-PWR-01-EV-PWR-01",
      "mandatory": true,
      "to": "EV-PWR-01",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C07",
      "id": "EDGE-AC-K05-C07-PWR-01",
      "mandatory": true,
      "to": "PWR-01",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "CLG-01",
      "id": "EDGE-CLG-01-EV-CLG-01",
      "mandatory": true,
      "to": "EV-CLG-01",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C07",
      "id": "EDGE-AC-K05-C07-CLG-01",
      "mandatory": true,
      "to": "CLG-01",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "TIM-01",
      "id": "EDGE-TIM-01-EV-TIM-01",
      "mandatory": true,
      "to": "EV-TIM-01",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C07",
      "id": "EDGE-AC-K05-C07-TIM-01",
      "mandatory": true,
      "to": "TIM-01",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "AUT-01",
      "id": "EDGE-AUT-01-EV-AUT-01",
      "mandatory": true,
      "to": "EV-AUT-01",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C05",
      "id": "EDGE-AC-K05-C05-AUT-01",
      "mandatory": true,
      "to": "AUT-01",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "AC-K05-C10",
      "id": "EDGE-AC-K05-C10-AUT-01",
      "mandatory": true,
      "to": "AUT-01",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "AUT-02",
      "id": "EDGE-AUT-02-EV-AUT-02",
      "mandatory": true,
      "to": "EV-AUT-02",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C05",
      "id": "EDGE-AC-K05-C05-AUT-02",
      "mandatory": true,
      "to": "AUT-02",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "AUT-03",
      "id": "EDGE-AUT-03-EV-AUT-03",
      "mandatory": true,
      "to": "EV-AUT-03",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C05",
      "id": "EDGE-AC-K05-C05-AUT-03",
      "mandatory": true,
      "to": "AUT-03",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "AUT-04",
      "id": "EDGE-AUT-04-EV-AUT-04",
      "mandatory": true,
      "to": "EV-AUT-04",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C05",
      "id": "EDGE-AC-K05-C05-AUT-04",
      "mandatory": true,
      "to": "AUT-04",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "AC-K05-C09",
      "id": "EDGE-AC-K05-C09-AUT-04",
      "mandatory": true,
      "to": "AUT-04",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "PHY-01",
      "id": "EDGE-PHY-01-EV-PHY-01",
      "mandatory": true,
      "to": "EV-PHY-01",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C06",
      "id": "EDGE-AC-K05-C06-PHY-01",
      "mandatory": true,
      "to": "PHY-01",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "PHY-02",
      "id": "EDGE-PHY-02-EV-PHY-02",
      "mandatory": true,
      "to": "EV-PHY-02",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C06",
      "id": "EDGE-AC-K05-C06-PHY-02",
      "mandatory": true,
      "to": "PHY-02",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "PHY-03",
      "id": "EDGE-PHY-03-EV-PHY-03",
      "mandatory": true,
      "to": "EV-PHY-03",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C06",
      "id": "EDGE-AC-K05-C06-PHY-03",
      "mandatory": true,
      "to": "PHY-03",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "EM-01",
      "id": "EDGE-EM-01-EV-EM-01",
      "mandatory": true,
      "to": "EV-EM-01",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C06",
      "id": "EDGE-AC-K05-C06-EM-01",
      "mandatory": true,
      "to": "EM-01",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "AC-K05-C07",
      "id": "EDGE-AC-K05-C07-EM-01",
      "mandatory": true,
      "to": "EM-01",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "REC-01",
      "id": "EDGE-REC-01-EV-REC-01",
      "mandatory": true,
      "to": "EV-REC-01",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C08",
      "id": "EDGE-AC-K05-C08-REC-01",
      "mandatory": true,
      "to": "REC-01",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "REC-02",
      "id": "EDGE-REC-02-EV-REC-02",
      "mandatory": true,
      "to": "EV-REC-02",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C07",
      "id": "EDGE-AC-K05-C07-REC-02",
      "mandatory": true,
      "to": "REC-02",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "AC-K05-C08",
      "id": "EDGE-AC-K05-C08-REC-02",
      "mandatory": true,
      "to": "REC-02",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "EVD-01",
      "id": "EDGE-EVD-01-EV-EVD-01",
      "mandatory": true,
      "to": "EV-EVD-01",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C05",
      "id": "EDGE-AC-K05-C05-EVD-01",
      "mandatory": true,
      "to": "EVD-01",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "AC-K05-C09",
      "id": "EDGE-AC-K05-C09-EVD-01",
      "mandatory": true,
      "to": "EVD-01",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "AC-K05-C10",
      "id": "EDGE-AC-K05-C10-EVD-01",
      "mandatory": true,
      "to": "EVD-01",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "EVD-02",
      "id": "EDGE-EVD-02-EV-EVD-02",
      "mandatory": true,
      "to": "EV-EVD-02",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C09",
      "id": "EDGE-AC-K05-C09-EVD-02",
      "mandatory": true,
      "to": "EVD-02",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "EVD-03",
      "id": "EDGE-EVD-03-EV-EVD-03",
      "mandatory": true,
      "to": "EV-EVD-03",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C09",
      "id": "EDGE-AC-K05-C09-EVD-03",
      "mandatory": true,
      "to": "EVD-03",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "OPS-01",
      "id": "EDGE-OPS-01-EV-OPS-01",
      "mandatory": true,
      "to": "EV-OPS-01",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "AC-K05-C01",
      "id": "EDGE-AC-K05-C01-OPS-01",
      "mandatory": true,
      "to": "OPS-01",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "AC-K05-C10",
      "id": "EDGE-AC-K05-C10-OPS-01",
      "mandatory": true,
      "to": "OPS-01",
      "type": "SUPPORTED_BY_CONTROL"
    },
    {
      "from": "RNG-01",
      "id": "EDGE-RNG-01-EV-RNG-01",
      "mandatory": true,
      "to": "EV-RNG-01",
      "type": "PRODUCES_EVIDENCE"
    },
    {
      "from": "AC-K05-C02",
      "id": "EDGE-AC-K05-C02-RNG-01",
      "mandatory": true,
      "to": "RNG-01",
      "type": "VERIFIED_BY_TEST"
    },
    {
      "from": "AC-K05-C03",
      "id": "EDGE-AC-K05-C03-RNG-01",
      "mandatory": true,
      "to": "RNG-01",
      "type": "VERIFIED_BY_TEST"
    },
    {
      "from": "RNG-02",
      "id": "EDGE-RNG-02-EV-RNG-02",
      "mandatory": true,
      "to": "EV-RNG-02",
      "type": "PRODUCES_EVIDENCE"
    },
    {
      "from": "AC-K05-C04",
      "id": "EDGE-AC-K05-C04-RNG-02",
      "mandatory": true,
      "to": "RNG-02",
      "type": "VERIFIED_BY_TEST"
    },
    {
      "from": "RNG-03",
      "id": "EDGE-RNG-03-EV-RNG-03",
      "mandatory": true,
      "to": "EV-RNG-03",
      "type": "PRODUCES_EVIDENCE"
    },
    {
      "from": "AC-K05-C04",
      "id": "EDGE-AC-K05-C04-RNG-03",
      "mandatory": true,
      "to": "RNG-03",
      "type": "VERIFIED_BY_TEST"
    },
    {
      "from": "AC-K05-C05",
      "id": "EDGE-AC-K05-C05-RNG-03",
      "mandatory": true,
      "to": "RNG-03",
      "type": "VERIFIED_BY_TEST"
    },
    {
      "from": "RNG-04",
      "id": "EDGE-RNG-04-EV-RNG-04",
      "mandatory": true,
      "to": "EV-RNG-04",
      "type": "PRODUCES_EVIDENCE"
    },
    {
      "from": "AC-K05-C05",
      "id": "EDGE-AC-K05-C05-RNG-04",
      "mandatory": true,
      "to": "RNG-04",
      "type": "VERIFIED_BY_TEST"
    },
    {
      "from": "AC-K05-C09",
      "id": "EDGE-AC-K05-C09-RNG-04",
      "mandatory": true,
      "to": "RNG-04",
      "type": "VERIFIED_BY_TEST"
    },
    {
      "from": "RNG-05",
      "id": "EDGE-RNG-05-EV-RNG-05",
      "mandatory": true,
      "to": "EV-RNG-05",
      "type": "PRODUCES_EVIDENCE"
    },
    {
      "from": "AC-K05-C06",
      "id": "EDGE-AC-K05-C06-RNG-05",
      "mandatory": true,
      "to": "RNG-05",
      "type": "VERIFIED_BY_TEST"
    },
    {
      "from": "RNG-06",
      "id": "EDGE-RNG-06-EV-RNG-06",
      "mandatory": true,
      "to": "EV-RNG-06",
      "type": "PRODUCES_EVIDENCE"
    },
    {
      "from": "AC-K05-C07",
      "id": "EDGE-AC-K05-C07-RNG-06",
      "mandatory": true,
      "to": "RNG-06",
      "type": "VERIFIED_BY_TEST"
    },
    {
      "from": "RNG-07",
      "id": "EDGE-RNG-07-EV-RNG-07",
      "mandatory": true,
      "to": "EV-RNG-07",
      "type": "PRODUCES_EVIDENCE"
    },
    {
      "from": "AC-K05-C03",
      "id": "EDGE-AC-K05-C03-RNG-07",
      "mandatory": true,
      "to": "RNG-07",
      "type": "VERIFIED_BY_TEST"
    },
    {
      "from": "AC-K05-C05",
      "id": "EDGE-AC-K05-C05-RNG-07",
      "mandatory": true,
      "to": "RNG-07",
      "type": "VERIFIED_BY_TEST"
    },
    {
      "from": "AC-K05-C07",
      "id": "EDGE-AC-K05-C07-RNG-07",
      "mandatory": true,
      "to": "RNG-07",
      "type": "VERIFIED_BY_TEST"
    },
    {
      "from": "RNG-08",
      "id": "EDGE-RNG-08-EV-RNG-08",
      "mandatory": true,
      "to": "EV-RNG-08",
      "type": "PRODUCES_EVIDENCE"
    },
    {
      "from": "AC-K05-C06",
      "id": "EDGE-AC-K05-C06-RNG-08",
      "mandatory": true,
      "to": "RNG-08",
      "type": "VERIFIED_BY_TEST"
    },
    {
      "from": "RNG-09",
      "id": "EDGE-RNG-09-EV-RNG-09",
      "mandatory": true,
      "to": "EV-RNG-09",
      "type": "PRODUCES_EVIDENCE"
    },
    {
      "from": "AC-K05-C06",
      "id": "EDGE-AC-K05-C06-RNG-09",
      "mandatory": true,
      "to": "RNG-09",
      "type": "VERIFIED_BY_TEST"
    },
    {
      "from": "AC-K05-C07",
      "id": "EDGE-AC-K05-C07-RNG-09",
      "mandatory": true,
      "to": "RNG-09",
      "type": "VERIFIED_BY_TEST"
    },
    {
      "from": "RNG-10",
      "id": "EDGE-RNG-10-EV-RNG-10",
      "mandatory": true,
      "to": "EV-RNG-10",
      "type": "PRODUCES_EVIDENCE"
    },
    {
      "from": "AC-K05-C07",
      "id": "EDGE-AC-K05-C07-RNG-10",
      "mandatory": true,
      "to": "RNG-10",
      "type": "VERIFIED_BY_TEST"
    },
    {
      "from": "RNG-11",
      "id": "EDGE-RNG-11-EV-RNG-11",
      "mandatory": true,
      "to": "EV-RNG-11",
      "type": "PRODUCES_EVIDENCE"
    },
    {
      "from": "AC-K05-C07",
      "id": "EDGE-AC-K05-C07-RNG-11",
      "mandatory": true,
      "to": "RNG-11",
      "type": "VERIFIED_BY_TEST"
    },
    {
      "from": "RNG-12",
      "id": "EDGE-RNG-12-EV-RNG-12",
      "mandatory": true,
      "to": "EV-RNG-12",
      "type": "PRODUCES_EVIDENCE"
    },
    {
      "from": "AC-K05-C08",
      "id": "EDGE-AC-K05-C08-RNG-12",
      "mandatory": true,
      "to": "RNG-12",
      "type": "VERIFIED_BY_TEST"
    },
    {
      "from": "AC-K05-C09",
      "id": "EDGE-AC-K05-C09-RNG-12",
      "mandatory": true,
      "to": "RNG-12",
      "type": "VERIFIED_BY_TEST"
    },
    {
      "from": "RNG-13",
      "id": "EDGE-RNG-13-EV-RNG-13",
      "mandatory": true,
      "to": "EV-RNG-13",
      "type": "PRODUCES_EVIDENCE"
    },
    {
      "from": "AC-K05-C09",
      "id": "EDGE-AC-K05-C09-RNG-13",
      "mandatory": true,
      "to": "RNG-13",
      "type": "VERIFIED_BY_TEST"
    },
    {
      "from": "RNG-14",
      "id": "EDGE-RNG-14-EV-RNG-14",
      "mandatory": true,
      "to": "EV-RNG-14",
      "type": "PRODUCES_EVIDENCE"
    },
    {
      "from": "AC-K05-C01",
      "id": "EDGE-AC-K05-C01-RNG-14",
      "mandatory": true,
      "to": "RNG-14",
      "type": "VERIFIED_BY_TEST"
    },
    {
      "from": "AC-K05-C10",
      "id": "EDGE-AC-K05-C10-RNG-14",
      "mandatory": true,
      "to": "RNG-14",
      "type": "VERIFIED_BY_TEST"
    },
    {
      "from": "EVD-03",
      "id": "EDGE-K07-EVD03-BUNDLE",
      "mandatory": false,
      "to": "EVID-K07-FACILITY-BUNDLE-SCHEMA",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "EVD-03",
      "id": "EDGE-K07-EVD03-SOW",
      "mandatory": false,
      "to": "EVID-K07-PROCUREMENT-SOW",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "SUP-01",
      "id": "EDGE-K07-SUP01-SCA",
      "mandatory": false,
      "to": "EVID-K07-SUPPLY-CHAIN",
      "type": "REQUIRES_EVIDENCE"
    },
    {
      "from": "RNG-14",
      "id": "EDGE-K07-RNG14-TWIN",
      "mandatory": false,
      "to": "EVID-K07-DIGITAL-TWIN",
      "type": "PRODUCES_EVIDENCE"
    },
    {
      "from": "EVD-03",
      "id": "EDGE-K07-EVD03-RECEIPT",
      "mandatory": true,
      "to": "EVID-K07-RECEIPT-CHAIN",
      "type": "REQUIRES_EVIDENCE"
    }
  ],
  "evidenceStates": [
    "CURRENT",
    "STALE",
    "UNAVAILABLE",
    "INVALID",
    "REVOKED",
    "SUPERSEDED"
  ],
  "id": "K07-CRITICAL-DATACENTER-ASSURANCE-GRAPH",
  "nodeTypes": [
    "TOP_CLAIM",
    "ASSURANCE_CLAIM",
    "CONTROL",
    "TEST",
    "EVIDENCE"
  ],
  "nodes": [
    {
      "defaultState": "SATISFIED",
      "id": "AC-K05-CRITICAL-DATACENTER-001",
      "mandatory": true,
      "name": "Critical Datacenter Mission and Safety Assurance Case",
      "type": "TOP_CLAIM"
    },
    {
      "defaultState": "SATISFIED",
      "defeaters": [
        "missing authority",
        "expired approval",
        "ambiguous asset ownership",
        "unresolved jurisdiction",
        "action outside approved effect envelope"
      ],
      "id": "AC-K05-C01",
      "mandatory": true,
      "name": "Authority and mission boundary is explicit",
      "type": "ASSURANCE_CLAIM"
    },
    {
      "defaultState": "SATISFIED",
      "defeaters": [
        "unmodeled dependency",
        "unknown external service",
        "new plant configuration",
        "hidden network bridge",
        "protection sharing a common failure mode"
      ],
      "id": "AC-K05-C02",
      "mandatory": true,
      "name": "High-consequence events are identified and bounded",
      "type": "ASSURANCE_CLAIM"
    },
    {
      "defaultState": "SATISFIED",
      "defeaters": [
        "bidirectional maintenance path",
        "shared management plane",
        "unapproved remote access",
        "boundary bypass",
        "common timing or identity dependency"
      ],
      "id": "AC-K05-C03",
      "mandatory": true,
      "name": "Deterministic separation protects safety functions",
      "type": "ASSURANCE_CLAIM"
    },
    {
      "defaultState": "SATISFIED",
      "defeaters": [
        "unknown firmware",
        "default credentials",
        "shared administrative identity",
        "unverified update",
        "attestation failure",
        "unmonitored BMC egress"
      ],
      "id": "AC-K05-C04",
      "mandatory": true,
      "name": "Identity, firmware, and management planes remain trustworthy",
      "type": "ASSURANCE_CLAIM"
    },
    {
      "defaultState": "SATISFIED",
      "defeaters": [
        "unbounded tool access",
        "unknown physical consequence",
        "model drift",
        "poisoned telemetry",
        "rollback failure",
        "conflicting agent state"
      ],
      "id": "AC-K05-C05",
      "mandatory": true,
      "name": "Autonomous defense is bounded, causal, and reversible",
      "type": "ASSURANCE_CLAIM"
    },
    {
      "defaultState": "SATISFIED",
      "defeaters": [
        "single-sensor dependency",
        "unknown object class",
        "compromised clock",
        "adversarial input",
        "missing authority",
        "unsafe collateral envelope"
      ],
      "id": "AC-K05-C06",
      "mandatory": true,
      "name": "Sensor and model disagreement cannot directly control force",
      "type": "ASSURANCE_CLAIM"
    },
    {
      "defaultState": "SATISFIED",
      "defeaters": [
        "single timing source",
        "physics-unaware anomaly model",
        "untested load step",
        "shared cooling control",
        "unavailable manual or independent fallback"
      ],
      "id": "AC-K05-C07",
      "mandatory": true,
      "name": "Power, cooling, and timing failures do not defeat protected functions",
      "type": "ASSURANCE_CLAIM"
    },
    {
      "defaultState": "SATISFIED",
      "defeaters": [
        "backup shares compromise",
        "unknown dependency order",
        "stale credentials",
        "unverified image",
        "evidence overwritten",
        "unsafe OT restart"
      ],
      "id": "AC-K05-C08",
      "mandatory": true,
      "name": "Recovery is clean, evidenced, and repeatable",
      "type": "ASSURANCE_CLAIM"
    },
    {
      "defaultState": "SATISFIED",
      "defeaters": [
        "missing artifact",
        "stale verification",
        "unresolved critical defect",
        "unknown deployment identity",
        "unavailable incident log",
        "marketing statement exceeds evidence"
      ],
      "id": "AC-K05-C09",
      "mandatory": true,
      "name": "Evidence supports readiness without overclaiming",
      "type": "ASSURANCE_CLAIM"
    },
    {
      "defaultState": "SATISFIED",
      "defeaters": [
        "private self-authorization",
        "uncertain target ownership",
        "unresolved third-party infrastructure",
        "missing state authority",
        "critical-outcome risk",
        "scope expansion"
      ],
      "id": "AC-K05-C10",
      "mandatory": true,
      "name": "Authorized external effects remain separate from facility defense",
      "type": "ASSURANCE_CLAIM"
    },
    {
      "defaultState": "SATISFIED",
      "id": "GOV-01",
      "mandatory": true,
      "name": "Authority and mission register",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-GOV-01",
      "mandatory": true,
      "name": "Authority and mission register implementation evidence",
      "ownerId": "GOV-01",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "GOV-02",
      "mandatory": true,
      "name": "Site-tailoring and applicability record",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-GOV-02",
      "mandatory": true,
      "name": "Site-tailoring and applicability record implementation evidence",
      "ownerId": "GOV-02",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "GOV-03",
      "mandatory": true,
      "name": "Hazard and assurance-defeater register",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-GOV-03",
      "mandatory": true,
      "name": "Hazard and assurance-defeater register implementation evidence",
      "ownerId": "GOV-03",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "ARC-01",
      "mandatory": true,
      "name": "Critical-function decomposition",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-ARC-01",
      "mandatory": true,
      "name": "Critical-function decomposition implementation evidence",
      "ownerId": "ARC-01",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "ARC-02",
      "mandatory": true,
      "name": "Deterministic safety separation",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-ARC-02",
      "mandatory": true,
      "name": "Deterministic safety separation implementation evidence",
      "ownerId": "ARC-02",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "ARC-03",
      "mandatory": true,
      "name": "Trust-zone microsegmentation",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-ARC-03",
      "mandatory": true,
      "name": "Trust-zone microsegmentation implementation evidence",
      "ownerId": "ARC-03",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "ID-01",
      "mandatory": true,
      "name": "Non-human workload identity",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-ID-01",
      "mandatory": true,
      "name": "Non-human workload identity implementation evidence",
      "ownerId": "ID-01",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "ID-02",
      "mandatory": true,
      "name": "Privileged session control",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-ID-02",
      "mandatory": true,
      "name": "Privileged session control implementation evidence",
      "ownerId": "ID-02",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "SUP-01",
      "mandatory": true,
      "name": "SBOM and component provenance",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-SUP-01",
      "mandatory": true,
      "name": "SBOM and component provenance implementation evidence",
      "ownerId": "SUP-01",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "SUP-02",
      "mandatory": true,
      "name": "Signed update and rollback",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-SUP-02",
      "mandatory": true,
      "name": "Signed update and rollback implementation evidence",
      "ownerId": "SUP-02",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "MGT-01",
      "mandatory": true,
      "name": "BMC isolation and attestation",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-MGT-01",
      "mandatory": true,
      "name": "BMC isolation and attestation implementation evidence",
      "ownerId": "MGT-01",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "MGT-02",
      "mandatory": true,
      "name": "Hardware-rooted attestation",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-MGT-02",
      "mandatory": true,
      "name": "Hardware-rooted attestation implementation evidence",
      "ownerId": "MGT-02",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "OT-01",
      "mandatory": true,
      "name": "Passive OT asset and dependency discovery",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-OT-01",
      "mandatory": true,
      "name": "Passive OT asset and dependency discovery implementation evidence",
      "ownerId": "OT-01",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "OT-02",
      "mandatory": true,
      "name": "Physics-informed detection",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-OT-02",
      "mandatory": true,
      "name": "Physics-informed detection implementation evidence",
      "ownerId": "OT-02",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "OT-03",
      "mandatory": true,
      "name": "Independent safe-state path",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-OT-03",
      "mandatory": true,
      "name": "Independent safe-state path implementation evidence",
      "ownerId": "OT-03",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "PWR-01",
      "mandatory": true,
      "name": "Load-rejection and islanding assurance",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-PWR-01",
      "mandatory": true,
      "name": "Load-rejection and islanding assurance implementation evidence",
      "ownerId": "PWR-01",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "CLG-01",
      "mandatory": true,
      "name": "Cooling independent protection",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-CLG-01",
      "mandatory": true,
      "name": "Cooling independent protection implementation evidence",
      "ownerId": "CLG-01",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "TIM-01",
      "mandatory": true,
      "name": "Assured time and holdover",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-TIM-01",
      "mandatory": true,
      "name": "Assured time and holdover implementation evidence",
      "ownerId": "TIM-01",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "AUT-01",
      "mandatory": true,
      "name": "Bounded autonomous action tiering",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-AUT-01",
      "mandatory": true,
      "name": "Bounded autonomous action tiering implementation evidence",
      "ownerId": "AUT-01",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "AUT-02",
      "mandatory": true,
      "name": "Causal response guard",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-AUT-02",
      "mandatory": true,
      "name": "Causal response guard implementation evidence",
      "ownerId": "AUT-02",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "AUT-03",
      "mandatory": true,
      "name": "Multi-agent trust boundaries",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-AUT-03",
      "mandatory": true,
      "name": "Multi-agent trust boundaries implementation evidence",
      "ownerId": "AUT-03",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "AUT-04",
      "mandatory": true,
      "name": "Model and data provenance and drift",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-AUT-04",
      "mandatory": true,
      "name": "Model and data provenance and drift implementation evidence",
      "ownerId": "AUT-04",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "PHY-01",
      "mandatory": true,
      "name": "Multi-sensor disagreement management",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-PHY-01",
      "mandatory": true,
      "name": "Multi-sensor disagreement management implementation evidence",
      "ownerId": "PHY-01",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "PHY-02",
      "mandatory": true,
      "name": "Non-destructive delay and access denial",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-PHY-02",
      "mandatory": true,
      "name": "Non-destructive delay and access denial implementation evidence",
      "ownerId": "PHY-02",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "PHY-03",
      "mandatory": true,
      "name": "Counter-UAS authority separation",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-PHY-03",
      "mandatory": true,
      "name": "Counter-UAS authority separation implementation evidence",
      "ownerId": "PHY-03",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "EM-01",
      "mandatory": true,
      "name": "Electromagnetic resilience",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-EM-01",
      "mandatory": true,
      "name": "Electromagnetic resilience implementation evidence",
      "ownerId": "EM-01",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "REC-01",
      "mandatory": true,
      "name": "Clean-room restoration",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-REC-01",
      "mandatory": true,
      "name": "Clean-room restoration implementation evidence",
      "ownerId": "REC-01",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "REC-02",
      "mandatory": true,
      "name": "Critical-function recovery objectives",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-REC-02",
      "mandatory": true,
      "name": "Critical-function recovery objectives implementation evidence",
      "ownerId": "REC-02",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "EVD-01",
      "mandatory": true,
      "name": "Tamper-evident decision receipts",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-EVD-01",
      "mandatory": true,
      "name": "Tamper-evident decision receipts implementation evidence",
      "ownerId": "EVD-01",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "EVD-02",
      "mandatory": true,
      "name": "Independent verification and replay",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-EVD-02",
      "mandatory": true,
      "name": "Independent verification and replay implementation evidence",
      "ownerId": "EVD-02",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "EVD-03",
      "mandatory": true,
      "name": "Readiness downgrade on evidence failure",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-EVD-03",
      "mandatory": true,
      "name": "Readiness downgrade on evidence failure implementation evidence",
      "ownerId": "EVD-03",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "OPS-01",
      "mandatory": true,
      "name": "Incident command and deconfliction",
      "type": "CONTROL"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-OPS-01",
      "mandatory": true,
      "name": "Incident command and deconfliction implementation evidence",
      "ownerId": "OPS-01",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "RNG-01",
      "mandatory": true,
      "name": "IT-to-OT boundary pressure",
      "type": "TEST"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-RNG-01",
      "mandatory": true,
      "name": "IT-to-OT boundary pressure test evidence",
      "ownerId": "RNG-01",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "RNG-02",
      "mandatory": true,
      "name": "BMC and firmware trust failure",
      "type": "TEST"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-RNG-02",
      "mandatory": true,
      "name": "BMC and firmware trust failure test evidence",
      "ownerId": "RNG-02",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "RNG-03",
      "mandatory": true,
      "name": "Workload identity compromise",
      "type": "TEST"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-RNG-03",
      "mandatory": true,
      "name": "Workload identity compromise test evidence",
      "ownerId": "RNG-03",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "RNG-04",
      "mandatory": true,
      "name": "Model and data poisoning",
      "type": "TEST"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-RNG-04",
      "mandatory": true,
      "name": "Model and data poisoning test evidence",
      "ownerId": "RNG-04",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "RNG-05",
      "mandatory": true,
      "name": "Sensor conflict and adversarial input",
      "type": "TEST"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-RNG-05",
      "mandatory": true,
      "name": "Sensor conflict and adversarial input test evidence",
      "ownerId": "RNG-05",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "RNG-06",
      "mandatory": true,
      "name": "Timing integrity loss",
      "type": "TEST"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-RNG-06",
      "mandatory": true,
      "name": "Timing integrity loss test evidence",
      "ownerId": "RNG-06",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "RNG-07",
      "mandatory": true,
      "name": "Communications denial and partition",
      "type": "TEST"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-RNG-07",
      "mandatory": true,
      "name": "Communications denial and partition test evidence",
      "ownerId": "RNG-07",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "RNG-08",
      "mandatory": true,
      "name": "UAS intrusion awareness",
      "type": "TEST"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-RNG-08",
      "mandatory": true,
      "name": "UAS intrusion awareness test evidence",
      "ownerId": "RNG-08",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "RNG-09",
      "mandatory": true,
      "name": "Electromagnetic disruption",
      "type": "TEST"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-RNG-09",
      "mandatory": true,
      "name": "Electromagnetic disruption test evidence",
      "ownerId": "RNG-09",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "RNG-10",
      "mandatory": true,
      "name": "Power load rejection and islanding",
      "type": "TEST"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-RNG-10",
      "mandatory": true,
      "name": "Power load rejection and islanding test evidence",
      "ownerId": "RNG-10",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "RNG-11",
      "mandatory": true,
      "name": "Cooling telemetry corruption",
      "type": "TEST"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-RNG-11",
      "mandatory": true,
      "name": "Cooling telemetry corruption test evidence",
      "ownerId": "RNG-11",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "RNG-12",
      "mandatory": true,
      "name": "Clean-room recovery and reinfection resistance",
      "type": "TEST"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-RNG-12",
      "mandatory": true,
      "name": "Clean-room recovery and reinfection resistance test evidence",
      "ownerId": "RNG-12",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "RNG-13",
      "mandatory": true,
      "name": "Evidence ledger integrity",
      "type": "TEST"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-RNG-13",
      "mandatory": true,
      "name": "Evidence ledger integrity test evidence",
      "ownerId": "RNG-13",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "SATISFIED",
      "id": "RNG-14",
      "mandatory": true,
      "name": "Authority package failure",
      "type": "TEST"
    },
    {
      "defaultState": "CURRENT",
      "id": "EV-RNG-14",
      "mandatory": true,
      "name": "Authority package failure test evidence",
      "ownerId": "RNG-14",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "CURRENT",
      "id": "EVID-K07-FACILITY-BUNDLE-SCHEMA",
      "mandatory": false,
      "name": "Facility evidence-bundle schema and deterministic validator",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "CURRENT",
      "id": "EVID-K07-PROCUREMENT-SOW",
      "mandatory": false,
      "name": "Ten performance-oriented statements of work and acceptance matrices",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "CURRENT",
      "id": "EVID-K07-SUPPLY-CHAIN",
      "mandatory": false,
      "name": "Supply-chain assurance catalog and bill-of-materials requirements",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "CURRENT",
      "id": "EVID-K07-DIGITAL-TWIN",
      "mandatory": false,
      "name": "Safe digital-twin evidence contracts",
      "type": "EVIDENCE"
    },
    {
      "defaultState": "CURRENT",
      "id": "EVID-K07-RECEIPT-CHAIN",
      "mandatory": true,
      "name": "Signed evidence receipt and supersession chain",
      "type": "EVIDENCE"
    }
  ],
  "nonClaims": [
    "reference evidence nodes are not facility evidence",
    "fixture results are algorithm tests, not facility findings",
    "graph validity is not certification",
    "claim satisfaction requires site evidence and authority",
    "Reference receipt validity does not prove facility evidence truth, applicability, authority, deployment, or operation."
  ],
  "propagationRules": [
    {
      "effect": "dependent control and test become DEGRADED; claims using them cannot remain SATISFIED without independent current support",
      "id": "PR-K06-01",
      "when": "evidence state is STALE or SUPERSEDED"
    },
    {
      "effect": "dependent control or test becomes FAILED; mandatory supporting claims become FAILED",
      "id": "PR-K06-02",
      "when": "evidence state is INVALID or REVOKED"
    },
    {
      "effect": "dependent state becomes UNRESOLVED unless another explicit evidence path is current",
      "id": "PR-K06-03",
      "when": "evidence state is UNAVAILABLE"
    },
    {
      "effect": "that claim becomes FAILED regardless of positive evidence until the defeater is resolved",
      "id": "PR-K06-04",
      "when": "a claim defeater is active"
    },
    {
      "effect": "top claim becomes FAILED; other claim degradation yields top-claim DEGRADED",
      "id": "PR-K06-05",
      "when": "authority or deterministic-safety claim fails"
    }
  ],
  "schemaVersion": "1.1.0",
  "testFixtures": [
    {
      "activeDefeaters": [],
      "evidenceOverrides": {},
      "expectedTopState": "SATISFIED",
      "id": "ADG-FIX-K06-01",
      "name": "all reference evidence current"
    },
    {
      "activeDefeaters": [],
      "evidenceOverrides": {
        "EV-REC-01": "STALE",
        "EV-RNG-12": "STALE"
      },
      "expectedTopState": "DEGRADED",
      "id": "ADG-FIX-K06-02",
      "name": "recovery evidence stale"
    },
    {
      "activeDefeaters": [
        {
          "claimId": "AC-K05-C01",
          "defeater": "expired approval"
        }
      ],
      "evidenceOverrides": {},
      "expectedTopState": "FAILED",
      "id": "ADG-FIX-K06-03",
      "name": "authority approval expired"
    },
    {
      "activeDefeaters": [],
      "evidenceOverrides": {
        "EV-RNG-06": "UNAVAILABLE",
        "EV-TIM-01": "UNAVAILABLE"
      },
      "expectedTopState": "DEGRADED",
      "id": "ADG-FIX-K06-04",
      "name": "timing evidence unavailable"
    },
    {
      "activeDefeaters": [],
      "evidenceOverrides": {
        "EVID-K07-RECEIPT-CHAIN": "STALE"
      },
      "expectedTopState": "DEGRADED",
      "id": "FIX-K07-STALE-RECEIPT",
      "name": "Stale signed evidence receipt degrades readiness"
    }
  ],
  "topClaimId": "AC-K05-CRITICAL-DATACENTER-001"
}