CAIN-INV-1665: Vericoding Gate -- formally verifies a code diff before it's allowed to merge

VERIFIED source compiles

Domain	VERIFICATION_AND_ASSURANCE
Tier	IMPLEMENTATION
Source	`vericoding-gate/main.py`
Mapped tests ran	128
Passed / failed / errored	128 / 0 / 0
Compiles	yes

Mapped tests

actionproof/test_actionproof.py

agent-id/test_agent_id.py

agent-marketplace/tests/test_agent_marketplace.py

billing-service/tests/test_billing.py

blizzard-governance/test_governance_engine.py

cain-microservices/adversarial-fuzzer/tests/test_adversarial_fuzzer.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.