K09 · bounded executable evidence infrastructure
Management-plane compromise containment
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-MGMT | claim | Management-plane compromise containment | DEGRADED | Yes |
K09-CTRL-MGMT | control | Control for Management-plane compromise containment | DEGRADED | Yes |
K09-TEST-MGMT | test | Bounded test for Management-plane compromise containment | DEGRADED | Yes |
K09-EV-MGMT | evidence | Evidence for Management-plane compromise containment | DEGRADED | Yes |
K09-REC-MGMT | receipt | Receipt for Management-plane compromise containment | 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-MGMT-E1 | K09-CLAIM-MGMT | REQUIRES | K09-CTRL-MGMT |
TRACE-K09-MGMT-E2 | K09-CTRL-MGMT | VERIFIED_BY | K09-TEST-MGMT |
TRACE-K09-MGMT-E3 | K09-TEST-MGMT | PRODUCES | K09-EV-MGMT |
TRACE-K09-MGMT-E4 | K09-EV-MGMT | ATTESTED_BY | K09-REC-MGMT |
TRACE-K09-MGMT-E5 | K09-CTRL-MGMT | DEPENDS_ON | K09-SHARED-IDENTITY-CONTROL |
TRACE-K09-MGMT-E6 | K09-EV-MGMT | 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.