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.
| ID | Type | Name | State | Mandatory |
|---|---|---|---|---|
K09-CLAIM-RESTORE | claim | Known-good restoration and evidence continuity | DEGRADED | Yes |
K09-CTRL-RESTORE | control | Control for Known-good restoration and evidence continuity | DEGRADED | Yes |
K09-TEST-RESTORE | test | Bounded test for Known-good restoration and evidence continuity | DEGRADED | Yes |
K09-EV-RESTORE | evidence | Evidence for Known-good restoration and evidence continuity | DEGRADED | Yes |
K09-REC-RESTORE | receipt | Receipt for Known-good restoration and evidence continuity | SATISFIED | Yes |
K09-SHARED-SUPPLY-RECEIPT | receipt | Shared supply-chain receipt | FAILED | Yes |
K09-SHARED-IDENTITY-CONTROL | control | Shared workload identity control | SATISFIED | Yes |
Typed dependencies
| ID | From | Relation | To |
|---|---|---|---|
TRACE-K09-RESTORE-E1 | K09-CLAIM-RESTORE | REQUIRES | K09-CTRL-RESTORE |
TRACE-K09-RESTORE-E2 | K09-CTRL-RESTORE | VERIFIED_BY | K09-TEST-RESTORE |
TRACE-K09-RESTORE-E3 | K09-TEST-RESTORE | PRODUCES | K09-EV-RESTORE |
TRACE-K09-RESTORE-E4 | K09-EV-RESTORE | ATTESTED_BY | K09-REC-RESTORE |
TRACE-K09-RESTORE-E5 | K09-CTRL-RESTORE | DEPENDS_ON | K09-SHARED-IDENTITY-CONTROL |
TRACE-K09-RESTORE-E6 | K09-EV-RESTORE | DEPENDS_ON | K09-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.