CAIN-INV-0515: 24 phase 37 / CAIN-42 Epoch 11.5: machine-checked security invariants, each one a DISTINCT fact asserted ag...

VERIFIED source compiles

Domain	GOVERNED_MEMORY
Tier	ENGINEERING_INNOVATION
Source	`clawx/control_plane/invariants.py`
Mapped tests ran	192
Passed / failed / errored	192 / 0 / 0
Compiles	yes

Mapped tests

platform-gateway/test_capability_security.py

platform-gateway/test_validated_trust_runtime.py

platform-gateway/tests/test_adversarial_worker_status_honesty.py

platform-gateway/tests/test_formal_invariants_phase27.py

platform-gateway/tests/test_formal_verification.py

platform-gateway/tests/test_probes_22.py

Generated 2026-10-06T19:15:35Z from git unknown. This page is a republication of the run result; it is not an independent audit.

Same-project verification only. The tests are authored in this repository; no third party has reviewed or reproduced these results. VERIFIED means the mapped tests passed in this run, not that the mechanism is independently correct.