TESTED library · not hosted · not third-party reviewed.
Every consequential governed operation can carry one signed, chained governance proof that binds identity, capability, delegation, authority, policy, evidence, risk, decision, the E8 commit, enforcement, execution and outcome — and states plainly what remains UNKNOWN, UNCONTROLLED, UNVERIFIED, SIMULATED or outside the boundary.
Invariants 629/629; scenarios 2664/2664 held; mutation 12/12; tests 13 passed / 0 failed; clean-room verifier INTACT (3286/3286).
| Step | Result |
|---|---|
| INTELLIGENCE | OK |
| IDENTITY | OK |
| CAPABILITY | OK |
| DELEGATION | OK |
| AUTHORITY | OK |
| POLICY | OK |
| CONTEXT | OK |
| EVIDENCE | OK |
| RISK | OK |
| DECISION | OK |
| AUTHORIZATION | OK |
| CONTRACT | OK |
| E8_COMMIT | OK |
| ENFORCEMENT | OK |
| EXECUTION | OK |
| REALITY | OK |
| OUTCOME | OK |
| PROOF | OK |
| ENVELOPE | OK |
| RECEIPT_CHAIN | OK |
| DELEGATION_PROOF | OK |
| ENFORCEMENT_PROOF | OK |
| COVERAGE | OK |
| CONFORMANCE | OK |
| INDEPENDENT_VERIFICATION | OK |
| REPUTATION | OK |
| INCIDENT_LEARNING | OK |
| RECOVERY | OK |
| REASSESSMENT | OK |
| REAUTHORIZATION | OK |
| Category | Held |
|---|---|
| envelope | 747/747 |
| status | 103/103 |
| receipt_chain | 86/86 |
| delegation_proof | 88/88 |
| coverage | 156/156 |
| conformance | 123/123 |
| certificate | 70/70 |
| contract | 51/51 |
| disclosure | 88/88 |
| federation | 52/52 |
| edge | 64/64 |
| transaction | 20/20 |
| computer_use | 16/16 |
| evolution | 12/12 |
| supply_chain | 68/68 |
| recovery | 20/20 |
| reputation | 39/39 |
| governability | 36/36 |
| tenancy | 48/48 |
| handshake | 48/48 |
| interchange | 42/42 |
| immune_v3 | 102/102 |
| failure_to_proof | 42/42 |
| replay | 45/45 |
| time_machine | 20/20 |
| dataplane | 60/60 |
| truth_guard | 80/80 |
| moat | 60/60 |
| law | 120/120 |
| primitive | 55/55 |
| enforcement | 68/68 |
| proof_exchange | 35/35 |