CAIN-INV-0102: 20.0, Section 49: Machine-Checkable Formal Security Invariants (1 through 75)

VERIFIED source compiles

Domain	GOVERNED_MEMORY
Tier	PATENT_CANDIDATE
Source	`clawx/security_invariants.py`
Mapped tests ran	2
Passed / failed / errored	2 / 0 / 0
Compiles	yes

Mapped tests

tests/clawx_foundation/test_clawx20_evaluator.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.