CAIN-42 CAIN StudioEvidence library · niche
Policy, law & governance
The rules agents must follow, and how they are enforced. 966 tested invariants.
Last reviewed 2026-10-01
966 of 966 held
Test families in this niche
law (642) · conformance (65) · laws (36) · policy_distribution (32) · governance_cloud (24) · obligation (19) · governance_os (18) · enforcement_binding (13) · out_of_band (8) · policy_hierarchy (8) · policy_translation (8) · meta_governance (8) · enforcement_layer (5) · moat (5) · ip (5) · scientist (4) · research_to_implementation (2) · environment_query (2) · swarm (2) · action (2) · state_machine (1) · risk (1) · translation (1) · reassessment (1) · integrity (1) · swe (1) · telemetry (1) · consistency (1) · soc (1) · operation_state (1) · gap_detector (1) · fabric_component (1) · profile (1) · lab (1) · match (1) · policy_compiler (1) · f2t (1) · graph (1)
Where these come from
- CAIN-42 Evolution 42 -- Supreme Governed Agentic Infrastructure Platform: 123
- CAIN-42 Evolution 41 -- Machine Agency Exchange Fabric: 107
- CAIN-42 Evolution 27 -- Agentic Internet Control Plane: 97
- CAIN-42 Evolution 34 -- Proof-Carrying Machine Agency: 93
- CAIN-42 Evolution 35 -- Continuous Governance Intelligence Fabric: 93
- CAIN-42 Evolution 40 -- Autonomous Enterprise Intelligence Fabric: 76
- CAIN-42 Evolution 33 -- Governed Agentic Operating Fabric: 74
- CAIN-42 Evolution 36 -- Machine Agency Exchange Fabric: 66
- CAIN-42 Evolution 31 -- Universal Proof-of-Governance Fabric: 65
- CAIN-42 Evolution 32 -- Governed Autonomy Learning Fabric: 54
- CAIN-42 Evolution 23 -- Governed Meta-Intelligence Fabric: 21
- CAIN-42 Evolution 28 -- Portable Machine Agency & Execution Identity: 21
- CAIN-42 Evolution 30 -- Governed Machine Autonomy Fabric: 21
- CAIN-42 Evolution 29 -- Governed Agentic Internet Transaction Fabric: 20
- CAIN-42 Evolution 26 -- Universal Machine Agency Trust Fabric: 10
- CAIN-42 Evolution 19 -- Governed Autonomy Operating Fabric: 7
- CAIN-42 Evolution 20 -- Governed Agentic Civilization Fabric: 5
- CAIN-42 Evolution 21 -- Governed Open-Ended Intelligence Fabric: 5
- CAIN-42 Evolution 24 -- Governed Agentic Internet Fabric: 2
- CAIN-42 Evolution 37 -- Autonomous Execution Mesh: 2
- CAIN-42 Evolution 38 -- Portable Proof-Carrying Machine Agency: 2
- CAIN-42 Evolution 25 -- Universal Machine Agency Fabric: 1
- CAIN-42 Evolution 39 -- Governed Agent Factory: 1
Rules 151–300 of 966
| ID | Rule | Bundle | Result |
|---|---|---|---|
| E28-I3 | expired authority does not resurrect | E28 | held |
| E28-I4 | revoked identity does not regain authority through replay | E28 | held |
| E28-I5 | model substitution triggers explicit continuity evaluation | E28 | held |
| E28-I6 | runtime substitution triggers explicit continuity evaluation | E28 | held |
| E28-I7 | capability expansion does not occur through identity migration | E28 | held |
| E28-I8 | consensus does not create authorization | E28 | held |
| E28-I9 | confidence does not create authorization | E28 | held |
| E28-I10 | research evidence does not automatically create authority | E28 | held |
| E28-I11 | simulation does not become execution authorization | E28 | held |
| E28-I12 | memory does not mint authority (restoring memory never restores an old lease) | E28 | held |
| E28-I13 | a child agent cannot create authority for its parent | E28 | held |
| E28-I14 | a subagent inherits bounded authority | E28 | held |
| E28-I15 | unknown remains unknown (fork telemetry, risk, hardware, translation) | E28 | held |
| E28-I16 | a governance receipt is not forgeable without the signing key | E28 | held |
| E28-I17 | an execution identity is bound to its intended transaction | E28 | held |
| E28-I18 | a stale authorization does not authorize materially changed execution | E28 | held |
| E28-I19 | a forked identity does not silently merge with the original | E28 | held |
| E28-I20 | every consequential governed execution reaches the E8 Action Commit boundary | E28 | held |
| E28-I89 | the conformance runner executes every dimension against the real fabric | E28 | held |
| E29-L1 | no governed identity, no governed transaction | E29 | held |
| E29-L2 | no authority, no authorization | E29 | held |
| E29-L3 | no authorization, no execution | E29 | held |
| E29-L4 | no evidence, no trust upgrade | E29 | held |
| E29-L5 | no portable authority | E29 | held |
| E29-L6 | unknown never becomes verified | E29 | held |
| E29-L7 | agreement is not authorization | E29 | held |
| E29-L8 | reputation is not authorization | E29 | held |
| E29-L9 | discovery is not trust | E29 | held |
| E29-L10 | authority to act is not authority to complete every transaction | E29 | held |
| E29-L11 | no money moves without an E8-committed governance receipt | E29 | held |
| E29-L12 | a claim of success never releases escrow | E29 | held |
| E29-L13 | confidence never resolves a dispute | E29 | held |
| E29-L14 | degraded mode never escalates privilege | E29 | held |
| E29-L15 | organizational scale never creates unbounded authority | E29 | held |
| E29-L16 | no agent promotes its own code to production | E29 | held |
| E29-L17 | a learned rule never activates without a governed approval | E29 | held |
| E29-L18 | a restart never restores authority | E29 | held |
| E29-L19 | graph intelligence is a risk signal, never a grant | E29 | held |
| E29-L20 | routing never bypasses E8 | E29 | held |
| E30-L1 | no verified identity, no trust | E30 | held |
| E30-L2 | no authority, no authorization | E30 | held |
| E30-L3 | no authorization, no execution | E30 | held |
| E30-L4 | no enforcement, no claim of control | E30 | held |
| E30-L5 | no evidence, no trust upgrade | E30 | held |
| E30-L6 | unknown never becomes verified | E30 | held |
| E30-L7 | perception is not reality; confidence is not truth | E30 | held |
| E30-L8 | memory never mints authority | E30 | held |
| E30-L9 | reasoning is not authority; more compute is not more authority | E30 | held |
| E30-L10 | consensus is not authorization | E30 | held |
| E30-L11 | self-improvement never bypasses governance | E30 | held |
| E30-L12 | self-healing may propose a repair, never authorize its own deployment | E30 | held |
| E30-L13 | model output is not world action | E30 | held |
| E30-L14 | no agent promotes its own autonomy level | E30 | held |
| E30-L15 | REVOKED never goes straight to AUTHORIZED; UNKNOWN never becomes TRUSTED | E30 | held |
| E30-L16 | every consequential action consumes autonomy budget; replenishment is governed | E30 | held |
| E30-L17 | crossing a containment boundary needs a new authorization | E30 | held |
| E30-L18 | monitored is not enforced | E30 | held |
| E30-L19 | screenshots and visual observations are evidence, not authority | E30 | held |
| E30-L20 | knowledge is superseded or revoked, never silently deleted | E30 | held |
| E30-H1 | self-healing deploys only with two registered humans | E30 | held |
| E31-L1 | no identity, no governance proof | E31 | held |
| E31-L2 | no authority, no governance proof | E31 | held |
| E31-L3 | no authorization, no governed execution | E31 | held |
| E31-L4 | no enforcement, no claim of control | E31 | held |
| E31-L5 | no evidence, no verified outcome | E31 | held |
| E31-L6 | no proof, no verified governance claim | E31 | held |
| E31-L7 | a governance proof never creates authority | E31 | held |
| E31-L8 | a receipt never becomes permission | E31 | held |
| E31-L9 | a proof of past authorization never authorizes a future action | E31 | held |
| E31-L10 | a valid proof for action A never authorizes action B | E31 | held |
| E31-L11 | a child agent cannot prove more authority than its parent | E31 | held |
| E31-L12 | delegation is traceable | E31 | held |
| E31-L13 | revocation propagates | E31 | held |
| E31-L14 | expired authority does not resurrect | E31 | held |
| E31-L15 | replayed proofs do not authorize execution | E31 | held |
| E31-L16 | stale proofs do not authorize execution | E31 | held |
| E31-L17 | altered proofs fail verification | E31 | held |
| E31-L18 | unknown remains unknown | E31 | held |
| E31-L19 | simulation never becomes reality evidence | E31 | held |
| E31-L20 | prediction never becomes authority | E31 | held |
| E31-L21 | model confidence never creates authority | E31 | held |
| E31-L22 | consensus never creates authority | E31 | held |
| E31-L23 | reputation never creates authority | E31 | held |
| E31-L24 | economic value never creates authority | E31 | held |
| E31-L25 | a proof describes what was verified, not what was assumed | E31 | held |
| E31-L26 | outside an enforcement boundary CAIN does not claim control | E31 | held |
| E31-L27 | a verifier can reject a false governance claim | E31 | held |
| E31-L28 | a governance proof is bound to the specific action | E31 | held |
| E31-L29 | every consequential governed action is traceable to E8 | E31 | held |
| E31-L30 | evidence remembers the governance decision | E31 | held |
| E31-LAYER-DECISION | DECISION is UNKNOWN when its artifact is missing, never VERIFIED | E31 | held |
| E31-LAYER-AUTHORIZATION | AUTHORIZATION is UNKNOWN when its artifact is missing, never VERIFIED | E31 | held |
| E31-LAYER-ENFORCEMENT | ENFORCEMENT is UNKNOWN when its artifact is missing, never VERIFIED | E31 | held |
| E31-LAYER-EXECUTION | EXECUTION is UNKNOWN when its artifact is missing, never VERIFIED | E31 | held |
| E31-LAYER-OUTCOME | OUTCOME is UNKNOWN when its artifact is missing, never VERIFIED | E31 | held |
| E31-CF-G0 | G0 (identity observed) cannot be skipped | E31 | held |
| E31-CF-G1 | G1 (identity verified) cannot be skipped | E31 | held |
| E31-CF-G2 | G2 (authority verified) cannot be skipped | E31 | held |
| E31-CF-G3 | G3 (authorization verified) cannot be skipped | E31 | held |
| E31-CF-G4 | G4 (execution boundary verified) cannot be skipped | E31 | held |
| E31-CF-G5 | G5 (proof-carrying execution) cannot be skipped | E31 | held |
| E31-CF-G6 | G6 (independent proof verification) cannot be skipped | E31 | held |
| E31-CF-G7 | G7 (continuous governance and revocation verification) cannot be skipped | E31 | held |
| E31-CF-G8 | G8 (end-to-end governed execution with verified postconditions) cannot be skipped | E31 | held |
| E31-TC-identical | a identical policy translation is classified correctly | E31 | held |
| E31-TC-reordered_duplicated | a reordered_duplicated policy translation is classified correctly | E31 | held |
| E31-TC-redundant_rule | a redundant_rule policy translation is classified correctly | E31 | held |
| E31-TC-narrowed | a narrowed policy translation is classified correctly | E31 | held |
| E31-TC-widened | a widened policy translation is classified correctly | E31 | held |
| E31-TC-swapped | a swapped policy translation is classified correctly | E31 | held |
| E31-TC-unenforceable | a unenforceable policy translation is classified correctly | E31 | held |
| E31-TC-unknown_control | a unknown_control policy translation is classified correctly | E31 | held |
| E31-EB-drop_e8 | enforcement binding holds against drop_e8 | E31 | held |
| E31-EB-swap_e8 | enforcement binding holds against swap_e8 | E31 | held |
| E31-EB-e8_denied_rehashed | enforcement binding holds against e8_denied_rehashed | E31 | held |
| E31-EB-e25_not_executed | enforcement binding holds against e25_not_executed | E31 | held |
| E31-EB-forged_issuer_layers | enforcement binding holds against forged_issuer_layers | E31 | held |
| E31-EB-insider_proof_over_denial | enforcement binding holds against insider_proof_over_denial | E31 | held |
| E31-EB-logged_not_enforced | enforcement binding holds against logged_not_enforced | E31 | held |
| E31-EB-e8_action_rehashed | enforcement binding holds against e8_action_rehashed | E31 | held |
| E31-EB-swap_e28 | enforcement binding holds against swap_e28 | E31 | held |
| E31-EB-swap_e25 | enforcement binding holds against swap_e25 | E31 | held |
| E31-EB-swap_uar | enforcement binding holds against swap_uar | E31 | held |
| E31-EB-e8_from_other_agent | enforcement binding holds against e8_from_other_agent | E31 | held |
| E31-EB-attacker_anchors | enforcement binding holds against attacker_anchors | E31 | held |
| E32-L1 | learning never creates authority | E32 | held |
| E32-L2 | experience never becomes authority | E32 | held |
| E32-L3 | prediction never becomes fact | E32 | held |
| E32-L4 | simulation never becomes reality evidence | E32 | held |
| E32-L5 | model confidence never creates permission | E32 | held |
| E32-L6 | reward never creates authority | E32 | held |
| E32-L7 | success never proves safety | E32 | held |
| E32-L8 | failure becomes evidence | E32 | held |
| E32-L9 | unknown remains unknown | E32 | held |
| E32-L10 | memory does not become truth merely by persisting | E32 | held |
| E32-L11 | repeated observations do not automatically become certainty | E32 | held |
| E32-L12 | self-improvement does not self-authorize | E32 | held |
| E32-L13 | a learned policy does not automatically replace a governed policy | E32 | held |
| E32-L14 | a new model does not inherit authority without re-evaluation | E32 | held |
| E32-L15 | a new runtime does not inherit authority without continuity verification | E32 | held |
| E32-L16 | a new skill does not inherit authority automatically | E32 | held |
| E32-L17 | a new capability does not inherit authority automatically | E32 | held |
| E32-L18 | a new agent does not inherit parent authority without attenuated delegation | E32 | held |
| E32-L19 | a better benchmark score does not bypass governance | E32 | held |
| E32-L20 | ensemble agreement does not create authority | E32 | held |
| E32-L21 | world-model agreement does not create authority | E32 | held |
| E32-L22 | research consensus does not create authority | E32 | held |
| E32-L23 | collective agent consensus does not create authority | E32 | held |
| E32-L24 | economic value does not create authority | E32 | held |
| E32-L25 | reputation does not create authority | E32 | held |
Other niches
Consensus & distributed systems · Attacks, threats & containment · Identity, authority & delegation · Evidence, receipts & proofs · Memory, data & privacy · Prediction, world models & simulation · Transactions, markets & economics · Tools, MCP, protocols & adapters · Autonomy, control loops & recovery · Trust & reputation · Supply chain, registry & lifecycle · Benchmarks, coverage & performance · Core guarantees
Try CAIN-42 on your own agents
Create a free account and every new account starts with a 7-day trial of the full platform. Or try the sandbox first, with no account at all.
Create a free account → · Try the sandbox · See the whole ecosystem