{
  "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."
  ],
  "reports": [
    {
      "activeDefeaters": [],
      "actualTopState": "SATISFIED",
      "affectedNodes": [],
      "boundary": "This is a synthetic propagation fixture. It is not a finding about any facility or deployed system.",
      "evidenceOverrides": {},
      "expectedTopState": "SATISFIED",
      "fixtureId": "ADG-FIX-K06-01",
      "name": "all reference evidence current",
      "status": "PASS"
    },
    {
      "activeDefeaters": [],
      "actualTopState": "DEGRADED",
      "affectedNodes": [
        {
          "derivedState": "DEGRADED",
          "name": "Recovery is clean, evidenced, and repeatable",
          "nodeId": "AC-K05-C08",
          "nodeType": "ASSURANCE_CLAIM",
          "reasons": [
            "REC-01 is DEGRADED",
            "RNG-12 is DEGRADED"
          ]
        },
        {
          "derivedState": "DEGRADED",
          "name": "Evidence supports readiness without overclaiming",
          "nodeId": "AC-K05-C09",
          "nodeType": "ASSURANCE_CLAIM",
          "reasons": [
            "RNG-12 is DEGRADED"
          ]
        },
        {
          "derivedState": "DEGRADED",
          "name": "Critical Datacenter Mission and Safety Assurance Case",
          "nodeId": "AC-K05-CRITICAL-DATACENTER-001",
          "nodeType": "TOP_CLAIM",
          "reasons": [
            "AC-K05-C08 is DEGRADED",
            "AC-K05-C09 is DEGRADED"
          ]
        },
        {
          "derivedState": "STALE",
          "name": "Clean-room restoration implementation evidence",
          "nodeId": "EV-REC-01",
          "nodeType": "EVIDENCE",
          "reasons": []
        },
        {
          "derivedState": "STALE",
          "name": "Clean-room recovery and reinfection resistance test evidence",
          "nodeId": "EV-RNG-12",
          "nodeType": "EVIDENCE",
          "reasons": []
        },
        {
          "derivedState": "DEGRADED",
          "name": "Clean-room restoration",
          "nodeId": "REC-01",
          "nodeType": "CONTROL",
          "reasons": [
            "EV-REC-01 is STALE"
          ]
        },
        {
          "derivedState": "DEGRADED",
          "name": "Clean-room recovery and reinfection resistance",
          "nodeId": "RNG-12",
          "nodeType": "TEST",
          "reasons": [
            "EV-RNG-12 is STALE"
          ]
        }
      ],
      "boundary": "This is a synthetic propagation fixture. It is not a finding about any facility or deployed system.",
      "evidenceOverrides": {
        "EV-REC-01": "STALE",
        "EV-RNG-12": "STALE"
      },
      "expectedTopState": "DEGRADED",
      "fixtureId": "ADG-FIX-K06-02",
      "name": "recovery evidence stale",
      "status": "PASS"
    },
    {
      "activeDefeaters": [
        {
          "claimId": "AC-K05-C01",
          "defeater": "expired approval"
        }
      ],
      "actualTopState": "FAILED",
      "affectedNodes": [
        {
          "derivedState": "FAILED",
          "name": "Authority and mission boundary is explicit",
          "nodeId": "AC-K05-C01",
          "nodeType": "ASSURANCE_CLAIM",
          "reasons": [
            "active defeater: expired approval"
          ]
        },
        {
          "derivedState": "FAILED",
          "name": "Critical Datacenter Mission and Safety Assurance Case",
          "nodeId": "AC-K05-CRITICAL-DATACENTER-001",
          "nodeType": "TOP_CLAIM",
          "reasons": [
            "critical claim AC-K05-C01 failed"
          ]
        }
      ],
      "boundary": "This is a synthetic propagation fixture. It is not a finding about any facility or deployed system.",
      "evidenceOverrides": {},
      "expectedTopState": "FAILED",
      "fixtureId": "ADG-FIX-K06-03",
      "name": "authority approval expired",
      "status": "PASS"
    },
    {
      "activeDefeaters": [],
      "actualTopState": "DEGRADED",
      "affectedNodes": [
        {
          "derivedState": "DEGRADED",
          "name": "Power, cooling, and timing failures do not defeat protected functions",
          "nodeId": "AC-K05-C07",
          "nodeType": "ASSURANCE_CLAIM",
          "reasons": [
            "TIM-01 is UNRESOLVED",
            "RNG-06 is UNRESOLVED"
          ]
        },
        {
          "derivedState": "DEGRADED",
          "name": "Critical Datacenter Mission and Safety Assurance Case",
          "nodeId": "AC-K05-CRITICAL-DATACENTER-001",
          "nodeType": "TOP_CLAIM",
          "reasons": [
            "AC-K05-C07 is DEGRADED"
          ]
        },
        {
          "derivedState": "UNAVAILABLE",
          "name": "Timing integrity loss test evidence",
          "nodeId": "EV-RNG-06",
          "nodeType": "EVIDENCE",
          "reasons": []
        },
        {
          "derivedState": "UNAVAILABLE",
          "name": "Assured time and holdover implementation evidence",
          "nodeId": "EV-TIM-01",
          "nodeType": "EVIDENCE",
          "reasons": []
        },
        {
          "derivedState": "UNRESOLVED",
          "name": "Timing integrity loss",
          "nodeId": "RNG-06",
          "nodeType": "TEST",
          "reasons": [
            "EV-RNG-06 is UNAVAILABLE"
          ]
        },
        {
          "derivedState": "UNRESOLVED",
          "name": "Assured time and holdover",
          "nodeId": "TIM-01",
          "nodeType": "CONTROL",
          "reasons": [
            "EV-TIM-01 is UNAVAILABLE"
          ]
        }
      ],
      "boundary": "This is a synthetic propagation fixture. It is not a finding about any facility or deployed system.",
      "evidenceOverrides": {
        "EV-RNG-06": "UNAVAILABLE",
        "EV-TIM-01": "UNAVAILABLE"
      },
      "expectedTopState": "DEGRADED",
      "fixtureId": "ADG-FIX-K06-04",
      "name": "timing evidence unavailable",
      "status": "PASS"
    },
    {
      "activeDefeaters": [],
      "actualTopState": "DEGRADED",
      "affectedNodes": [
        {
          "derivedState": "DEGRADED",
          "name": "Evidence supports readiness without overclaiming",
          "nodeId": "AC-K05-C09",
          "nodeType": "ASSURANCE_CLAIM",
          "reasons": [
            "EVD-03 is DEGRADED"
          ]
        },
        {
          "derivedState": "DEGRADED",
          "name": "Critical Datacenter Mission and Safety Assurance Case",
          "nodeId": "AC-K05-CRITICAL-DATACENTER-001",
          "nodeType": "TOP_CLAIM",
          "reasons": [
            "AC-K05-C09 is DEGRADED"
          ]
        },
        {
          "derivedState": "DEGRADED",
          "name": "Readiness downgrade on evidence failure",
          "nodeId": "EVD-03",
          "nodeType": "CONTROL",
          "reasons": [
            "EVID-K07-RECEIPT-CHAIN is STALE"
          ]
        },
        {
          "derivedState": "STALE",
          "name": "Signed evidence receipt and supersession chain",
          "nodeId": "EVID-K07-RECEIPT-CHAIN",
          "nodeType": "EVIDENCE",
          "reasons": []
        }
      ],
      "boundary": "This is a synthetic propagation fixture. It is not a finding about any facility or deployed system.",
      "evidenceOverrides": {
        "EVID-K07-RECEIPT-CHAIN": "STALE"
      },
      "expectedTopState": "DEGRADED",
      "fixtureId": "FIX-K07-STALE-RECEIPT",
      "name": "Stale signed evidence receipt degrades readiness",
      "status": "PASS"
    }
  ],
  "summary": "Synthetic fixtures demonstrate how stale, unavailable, invalid, or defeated support prevents the top claim from remaining unqualified.",
  "title": "K06 assurance dependency propagation report"
}