CAIN-INV-1560: Evolution 11 seeded property search (stdlib PRNG only; counterexamples persisted)

FAILING source compiles

Domain	AGENT_IDENTITY_AND_CAPABILITY
Tier	IMPLEMENTATION
Source	`cain/govproof/proptest.py`
Mapped tests ran	24
Passed / failed / errored	23 / 1 / 0
Compiles	yes

Mapped tests

tests/govproof/test_govproof_conformance.py

tests/govruntime/test_mutations.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.