TESTED integration library · not hosted · not third-party reviewed.
One governance fabric: one canonical kernel, ABI, action, evidence and receipt path unifying E7..E41. Intelligence proposes; CAIN decides; evidence remembers.
Invariants 438/438; scenarios 1302/1302 held; mutation 8/8; integrated 34/34; tests 14 passed; clean-room verifier INTACT (1460/1460).
| Step | Result |
|---|---|
| COMPOSE_PLATFORM | OK |
| INTEGRATION_MAP | OK |
| BUILD_ACTION | OK |
| FREEZE_ACTION | OK |
| ABI_WRAP | OK |
| ABI_VALIDATE | OK |
| KERNEL_ALLOW | OK |
| KERNEL_DENY | OK |
| KERNEL_UNKNOWN | OK |
| RECEIPT_EMIT | OK |
| RECEIPT_REPLAY | OK |
| PROOF | OK |
| PROOF_CARRYING_EXECUTION | OK |
| COVERAGE_COMPILE | OK |
| COVERAGE_NO_UPGRADE | OK |
| GRAPH | OK |
| DEDUP_AUDIT | OK |
| FALSE_COMPLETION | OK |
| EVOLUTION_PROPOSE | OK |
| TIME_MACHINE | OK |
| PUBLIC_TRUTH | OK |
| Category | Held |
|---|---|
| abi | 162/162 |
| action | 214/214 |
| coverage | 44/44 |
| dedup | 10/10 |
| evolution | 28/28 |
| false_completion | 24/24 |
| graph | 54/54 |
| kernel | 132/132 |
| law | 320/320 |
| proof | 50/50 |
| receipt | 44/44 |
| registry | 24/24 |
| reject | 60/60 |
| scale | 30/30 |
| time_machine | 10/10 |
| truth | 96/96 |