K09 · bounded executable evidence infrastructure

Machine-communication conformance

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-PROTOCOLclaimMachine-communication conformanceDEGRADEDYes
K09-CTRL-PROTOCOLcontrolControl for Machine-communication conformanceDEGRADEDYes
K09-TEST-PROTOCOLtestBounded test for Machine-communication conformanceDEGRADEDYes
K09-EV-PROTOCOLevidenceEvidence for Machine-communication conformanceDEGRADEDYes
K09-REC-PROTOCOLreceiptReceipt for Machine-communication conformanceSATISFIEDYes
K09-SHARED-SUPPLY-RECEIPTreceiptShared supply-chain receiptFAILEDYes
K09-SHARED-IDENTITY-CONTROLcontrolShared workload identity controlSATISFIEDYes

Typed dependencies

Trace edges
IDFromRelationTo
TRACE-K09-PROTOCOL-E1K09-CLAIM-PROTOCOLREQUIRESK09-CTRL-PROTOCOL
TRACE-K09-PROTOCOL-E2K09-CTRL-PROTOCOLVERIFIED_BYK09-TEST-PROTOCOL
TRACE-K09-PROTOCOL-E3K09-TEST-PROTOCOLPRODUCESK09-EV-PROTOCOL
TRACE-K09-PROTOCOL-E4K09-EV-PROTOCOLATTESTED_BYK09-REC-PROTOCOL
TRACE-K09-PROTOCOL-E5K09-CTRL-PROTOCOLDEPENDS_ONK09-SHARED-IDENTITY-CONTROL
TRACE-K09-PROTOCOL-E6K09-EV-PROTOCOLDEPENDS_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.