K09 · bounded executable evidence infrastructure

Known-good restoration and evidence continuity

Direct answer

After the bundled synthetic corrections, the root state is DEGRADED.

Authority and disclosure boundary. K09 publishes static tools, synthetic fixtures, source-derived event records, signed offline imports, non-certifying traces, redacted procurement structures, and public/protected partition schemas. It does not perform live monitoring, reveal protected topology or credentials, decide awards, certify facilities, authorize operations, or prove factual truth from a signature.

Corrected state

Root claim state: DEGRADED.

Trace nodes after correction propagation
IDTypeNameStateMandatory
K09-CLAIM-RESTOREclaimKnown-good restoration and evidence continuityDEGRADEDYes
K09-CTRL-RESTOREcontrolControl for Known-good restoration and evidence continuityDEGRADEDYes
K09-TEST-RESTOREtestBounded test for Known-good restoration and evidence continuityDEGRADEDYes
K09-EV-RESTOREevidenceEvidence for Known-good restoration and evidence continuityDEGRADEDYes
K09-REC-RESTOREreceiptReceipt for Known-good restoration and evidence continuitySATISFIEDYes
K09-SHARED-SUPPLY-RECEIPTreceiptShared supply-chain receiptFAILEDYes
K09-SHARED-IDENTITY-CONTROLcontrolShared workload identity controlSATISFIEDYes

Typed dependencies

Trace edges
IDFromRelationTo
TRACE-K09-RESTORE-E1K09-CLAIM-RESTOREREQUIRESK09-CTRL-RESTORE
TRACE-K09-RESTORE-E2K09-CTRL-RESTOREVERIFIED_BYK09-TEST-RESTORE
TRACE-K09-RESTORE-E3K09-TEST-RESTOREPRODUCESK09-EV-RESTORE
TRACE-K09-RESTORE-E4K09-EV-RESTOREATTESTED_BYK09-REC-RESTORE
TRACE-K09-RESTORE-E5K09-CTRL-RESTOREDEPENDS_ONK09-SHARED-IDENTITY-CONTROL
TRACE-K09-RESTORE-E6K09-EV-RESTOREDEPENDS_ONK09-SHARED-SUPPLY-RECEIPT

Boundary

This is a synthetic reference scenario. A degraded claim means the bundled dependency rules no longer support a satisfied state; it is not a report of physical failure, incident, certification loss, or live operation.