CAIN-INV-0370: Static safety analyzer for GOV-IR programs

VERIFIED source compiles

Domain	BYZANTINE_CONSENSUS
Tier	ENGINEERING_INNOVATION
Source	`cain/govfabric/analyzer.py`
Mapped tests ran	140
Passed / failed / errored	140 / 0 / 0
Compiles	yes

Mapped tests

stcn/test_stcn.py

tests/govfabric/test_invariants_attacks_soundness.py

tests/govfabric/test_ir_analyzer.py

tests/test_cain42_epoch10_common_mode.py

tests/test_cain_13_adaptation.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.