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 751–900 of 966
| ID | Rule | Bundle | Result |
|---|---|---|---|
| I41-015 | success is not truth | E41 | held |
| I41-016 | memory is not authority | E41 | held |
| I41-017 | model output is not authority | E41 | held |
| I41-018 | self-attestation is not independent verification | E41 | held |
| I41-019 | delegation is not unbounded authority | E41 | held |
| I41-020 | child authority does not exceed parent authority | E41 | held |
| I41-021 | revocation beats active authority | E41 | held |
| I41-022 | unknown is not verified | E41 | held |
| I41-023 | outside the enforcement boundary is not controlled | E41 | held |
| I41-024 | no enforcement, no control claim | E41 | held |
| I41-025 | no authorization, no execution | E41 | held |
| I41-026 | no evidence, no trust upgrade | E41 | held |
| I41-027 | a relationship state is never collapsed | E41 | held |
| I41-028 | a machine never creates authority for itself or another machine | E41 | held |
| I41-029 | federation never silently broadens authority | E41 | held |
| I41-030 | termination is not re-authorization | E41 | held |
| E41-LAW2-I41-001 | law I41-001 maps to held scenarios | E41 | held |
| E41-LAW2-I41-002 | law I41-002 maps to held scenarios | E41 | held |
| E41-LAW2-I41-003 | law I41-003 maps to held scenarios | E41 | held |
| E41-LAW2-I41-004 | law I41-004 maps to held scenarios | E41 | held |
| E41-LAW2-I41-005 | law I41-005 maps to held scenarios | E41 | held |
| E41-LAW2-I41-006 | law I41-006 maps to held scenarios | E41 | held |
| E41-LAW2-I41-007 | law I41-007 maps to held scenarios | E41 | held |
| E41-LAW2-I41-008 | law I41-008 maps to held scenarios | E41 | held |
| E41-LAW2-I41-009 | law I41-009 maps to held scenarios | E41 | held |
| E41-LAW2-I41-010 | law I41-010 maps to held scenarios | E41 | held |
| E41-LAW2-I41-011 | law I41-011 maps to held scenarios | E41 | held |
| E41-LAW2-I41-012 | law I41-012 maps to held scenarios | E41 | held |
| E41-LAW2-I41-013 | law I41-013 maps to held scenarios | E41 | held |
| E41-LAW2-I41-014 | law I41-014 maps to held scenarios | E41 | held |
| E41-LAW2-I41-015 | law I41-015 maps to held scenarios | E41 | held |
| E41-LAW2-I41-016 | law I41-016 maps to held scenarios | E41 | held |
| E41-LAW2-I41-017 | law I41-017 maps to held scenarios | E41 | held |
| E41-LAW2-I41-018 | law I41-018 maps to held scenarios | E41 | held |
| E41-LAW2-I41-019 | law I41-019 maps to held scenarios | E41 | held |
| E41-LAW2-I41-020 | law I41-020 maps to held scenarios | E41 | held |
| E41-LAW2-I41-021 | law I41-021 maps to held scenarios | E41 | held |
| E41-LAW2-I41-022 | law I41-022 maps to held scenarios | E41 | held |
| E41-LAW2-I41-023 | law I41-023 maps to held scenarios | E41 | held |
| E41-LAW2-I41-024 | law I41-024 maps to held scenarios | E41 | held |
| E41-LAW2-I41-025 | law I41-025 maps to held scenarios | E41 | held |
| E41-LAW2-I41-026 | law I41-026 maps to held scenarios | E41 | held |
| E41-LAW2-I41-027 | law I41-027 maps to held scenarios | E41 | held |
| E41-LAW2-I41-028 | law I41-028 maps to held scenarios | E41 | held |
| E41-LAW2-I41-029 | law I41-029 maps to held scenarios | E41 | held |
| E41-LAW2-I41-030 | law I41-030 maps to held scenarios | E41 | held |
| E41-LAW3-I41-001 | law I41-001 is enforced by the exchange | E41 | held |
| E41-LAW3-I41-002 | law I41-002 is enforced by the exchange | E41 | held |
| E41-LAW3-I41-003 | law I41-003 is enforced by the exchange | E41 | held |
| E41-LAW3-I41-004 | law I41-004 is enforced by the exchange | E41 | held |
| E41-LAW3-I41-005 | law I41-005 is enforced by the exchange | E41 | held |
| E41-LAW3-I41-006 | law I41-006 is enforced by the exchange | E41 | held |
| E41-LAW3-I41-007 | law I41-007 is enforced by the exchange | E41 | held |
| E41-LAW3-I41-008 | law I41-008 is enforced by the exchange | E41 | held |
| E41-LAW3-I41-009 | law I41-009 is enforced by the exchange | E41 | held |
| E41-LAW3-I41-010 | law I41-010 is enforced by the exchange | E41 | held |
| E41-LAW3-I41-011 | law I41-011 is enforced by the exchange | E41 | held |
| E41-LAW3-I41-012 | law I41-012 is enforced by the exchange | E41 | held |
| E41-LAW3-I41-013 | law I41-013 is enforced by the exchange | E41 | held |
| E41-LAW3-I41-014 | law I41-014 is enforced by the exchange | E41 | held |
| E41-LAW3-I41-015 | law I41-015 is enforced by the exchange | E41 | held |
| E41-LAW3-I41-016 | law I41-016 is enforced by the exchange | E41 | held |
| E41-LAW3-I41-017 | law I41-017 is enforced by the exchange | E41 | held |
| E41-LAW3-I41-018 | law I41-018 is enforced by the exchange | E41 | held |
| E41-LAW3-I41-019 | law I41-019 is enforced by the exchange | E41 | held |
| E41-LAW3-I41-020 | law I41-020 is enforced by the exchange | E41 | held |
| E41-LAW3-I41-021 | law I41-021 is enforced by the exchange | E41 | held |
| E41-LAW3-I41-022 | law I41-022 is enforced by the exchange | E41 | held |
| E41-LAW3-I41-023 | law I41-023 is enforced by the exchange | E41 | held |
| E41-LAW3-I41-024 | law I41-024 is enforced by the exchange | E41 | held |
| E41-LAW3-I41-025 | law I41-025 is enforced by the exchange | E41 | held |
| E41-LAW3-I41-026 | law I41-026 is enforced by the exchange | E41 | held |
| E41-LAW3-I41-027 | law I41-027 is enforced by the exchange | E41 | held |
| E41-LAW3-I41-028 | law I41-028 is enforced by the exchange | E41 | held |
| E41-LAW3-I41-029 | law I41-029 is enforced by the exchange | E41 | held |
| E41-LAW3-I41-030 | law I41-030 is enforced by the exchange | E41 | held |
| E41-F2T-GOVERNANCE_GAP | failure-to-test stage GOVERNANCE_GAP exists | E41 | held |
| E41-LIFECYCLE-DISCOVER | lifecycle step DISCOVER exists | E41 | held |
| E41-LIFECYCLE-IDENTIFY | lifecycle step IDENTIFY exists | E41 | held |
| E41-LIFECYCLE-ATTEST | lifecycle step ATTEST exists | E41 | held |
| E41-LIFECYCLE-ASSESS | lifecycle step ASSESS exists | E41 | held |
| E41-LIFECYCLE-NEGOTIATE | lifecycle step NEGOTIATE exists | E41 | held |
| E41-LIFECYCLE-CONTRACT | lifecycle step CONTRACT exists | E41 | held |
| E41-LIFECYCLE-DELEGATE | lifecycle step DELEGATE exists | E41 | held |
| E41-LIFECYCLE-AUTHORIZE | lifecycle step AUTHORIZE exists | E41 | held |
| E41-LIFECYCLE-EXECUTE | lifecycle step EXECUTE exists | E41 | held |
| E41-LIFECYCLE-OBSERVE | lifecycle step OBSERVE exists | E41 | held |
| E41-LIFECYCLE-VERIFY | lifecycle step VERIFY exists | E41 | held |
| E41-LIFECYCLE-SETTLE | lifecycle step SETTLE exists | E41 | held |
| E41-LIFECYCLE-RECORD | lifecycle step RECORD exists | E41 | held |
| E41-LIFECYCLE-LEARN | lifecycle step LEARN exists | E41 | held |
| E41-LIFECYCLE-REASSESS | lifecycle step REASSESS exists | E41 | held |
| E41-LIFECYCLE-REVOKE_RENEW_ESCALATE | lifecycle step REVOKE_RENEW_ESCALATE exists | E41 | held |
| I42-001 | identity is not authority | E42 | held |
| I42-002 | capability is not authority | E42 | held |
| I42-003 | trust is not authority | E42 | held |
| I42-004 | reputation is not authority | E42 | held |
| I42-005 | policy is not authority | E42 | held |
| I42-006 | contract is not authority | E42 | held |
| I42-007 | consensus is not authority | E42 | held |
| I42-008 | intelligence is not authority | E42 | held |
| I42-009 | model confidence is not authority | E42 | held |
| I42-010 | prediction is not reality | E42 | held |
| I42-011 | simulation is not reality | E42 | held |
| I42-012 | memory is not truth | E42 | held |
| I42-013 | memory is not authority | E42 | held |
| I42-014 | reasoning is not authorization | E42 | held |
| I42-015 | optimization is not permission | E42 | held |
| I42-016 | business value is not authority | E42 | held |
| I42-017 | economic value is not authority | E42 | held |
| I42-018 | discovery is not truth | E42 | held |
| I42-019 | truth is not authority | E42 | held |
| I42-020 | authorization is not execution | E42 | held |
| I42-021 | execution is not success | E42 | held |
| I42-022 | success is not truth | E42 | held |
| I42-023 | self-improvement is not self-authorization | E42 | held |
| I42-024 | delegation is not unbounded authority | E42 | held |
| I42-025 | child authority does not exceed parent authority | E42 | held |
| I42-026 | unknown is not verified | E42 | held |
| I42-027 | observed is not controlled | E42 | held |
| I42-028 | monitored is not enforced | E42 | held |
| I42-029 | simulated is not deployed | E42 | held |
| I42-030 | tested is not certified | E42 | held |
| I42-031 | certified is not universally safe | E42 | held |
| I42-032 | there is one canonical authorization path | E42 | held |
| I42-033 | no subsystem manufactures final authority | E42 | held |
| I42-034 | a consequential action reaches E8 or it is not governed | E42 | held |
| I42-035 | an adapter is not claimed until it is tested | E42 | held |
| I42-036 | the public truth engine never lets a claim outrun evidence | E42 | held |
| I42-037 | a failed verification stays FAILED, never silently passed | E42 | held |
| I42-038 | revocation beats active authority | E42 | held |
| I42-039 | outside the enforcement boundary is not controlled | E42 | held |
| I42-040 | no enforcement, no control claim | E42 | held |
| E42-LAW2-I42-001 | law I42-001 maps to held scenarios | E42 | held |
| E42-LAW2-I42-002 | law I42-002 maps to held scenarios | E42 | held |
| E42-LAW2-I42-003 | law I42-003 maps to held scenarios | E42 | held |
| E42-LAW2-I42-004 | law I42-004 maps to held scenarios | E42 | held |
| E42-LAW2-I42-005 | law I42-005 maps to held scenarios | E42 | held |
| E42-LAW2-I42-006 | law I42-006 maps to held scenarios | E42 | held |
| E42-LAW2-I42-007 | law I42-007 maps to held scenarios | E42 | held |
| E42-LAW2-I42-008 | law I42-008 maps to held scenarios | E42 | held |
| E42-LAW2-I42-009 | law I42-009 maps to held scenarios | E42 | held |
| E42-LAW2-I42-010 | law I42-010 maps to held scenarios | E42 | held |
| E42-LAW2-I42-011 | law I42-011 maps to held scenarios | E42 | held |
| E42-LAW2-I42-012 | law I42-012 maps to held scenarios | E42 | held |
| E42-LAW2-I42-013 | law I42-013 maps to held scenarios | E42 | held |
| E42-LAW2-I42-014 | law I42-014 maps to held scenarios | E42 | held |
| E42-LAW2-I42-015 | law I42-015 maps to held scenarios | E42 | held |
| E42-LAW2-I42-016 | law I42-016 maps to held scenarios | E42 | held |
| E42-LAW2-I42-017 | law I42-017 maps to held scenarios | E42 | 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