CAIN-INV-0312: Execution lease: the narrowest authority a runtime needs for ONE consequential operation

VERIFIED source compiles

Domain	AGENT_IDENTITY_AND_CAPABILITY
Tier	ENGINEERING_INNOVATION
Source	`cain/govruntime/lease.py`
Mapped tests ran	118
Passed / failed / errored	118 / 0 / 0
Compiles	yes

Mapped tests

scripts/cain42_proof/test_manifest.py

scripts/cain42_proof/test_vectors.py

tests/govbpf/test_govbpf.py

tests/govfabric/test_boundary_proof.py

tests/govfabric/test_compose_diff_federation.py

tests/govfabric/test_invariants_attacks_soundness.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.