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 601–750 of 966
| ID | Rule | Bundle | Result |
|---|---|---|---|
| E36-L12 | economic value cannot increase authority | E36 | held |
| E36-L13 | marketplace ranking cannot create permission | E36 | held |
| E36-L14 | reputation cannot override policy | E36 | held |
| E36-L15 | a cheaper service cannot override governance requirements | E36 | held |
| E36-L16 | no E8 commit, no verified governed transaction | E36 | held |
| E36-L17 | unknown stays unknown | E36 | held |
| E36-L18 | negotiation never creates authority | E36 | held |
| E36-L19 | self-declared identity is not trusted identity | E36 | held |
| E36-L20 | a self-reported SLA is not a verified SLA | E36 | held |
| E36-L21 | correlation in the market is not proof of collusion | E36 | held |
| E36-L22 | a simulation is not legal advice | E36 | held |
| E36-L23 | a governance warranty is not universal safety | E36 | held |
| E36-L24 | CAIN is not a financial regulator or a custodian | E36 | held |
| E36-L25 | CAIN cannot purchase itself unlimited resources | E36 | held |
| E36-L26 | a new service version does not inherit old permissions | E36 | held |
| E36-L27 | a fallback authority never exceeds the original authority | E36 | held |
| E36-L28 | the cheapest or highest-reputation bid is not automatically selected | E36 | held |
| E36-L29 | economic safe mode reduces authority, never increases it | E36 | held |
| E36-L30 | CONTRACT != AUTHORITY; AUTHORITY != EXECUTION | E36 | held |
| E36-LAW2-E36-L1 | law E36-L1 maps to held scenarios | E36 | held |
| E36-LAW2-E36-L2 | law E36-L2 maps to held scenarios | E36 | held |
| E36-LAW2-E36-L3 | law E36-L3 maps to held scenarios | E36 | held |
| E36-LAW2-E36-L4 | law E36-L4 maps to held scenarios | E36 | held |
| E36-LAW2-E36-L5 | law E36-L5 maps to held scenarios | E36 | held |
| E36-LAW2-E36-L6 | law E36-L6 maps to held scenarios | E36 | held |
| E36-LAW2-E36-L7 | law E36-L7 maps to held scenarios | E36 | held |
| E36-LAW2-E36-L8 | law E36-L8 maps to held scenarios | E36 | held |
| E36-LAW2-E36-L9 | law E36-L9 maps to held scenarios | E36 | held |
| E36-LAW2-E36-L10 | law E36-L10 maps to held scenarios | E36 | held |
| E36-LAW2-E36-L11 | law E36-L11 maps to held scenarios | E36 | held |
| E36-LAW2-E36-L12 | law E36-L12 maps to held scenarios | E36 | held |
| E36-LAW2-E36-L13 | law E36-L13 maps to held scenarios | E36 | held |
| E36-LAW2-E36-L14 | law E36-L14 maps to held scenarios | E36 | held |
| E36-LAW2-E36-L15 | law E36-L15 maps to held scenarios | E36 | held |
| E36-LAW2-E36-L16 | law E36-L16 maps to held scenarios | E36 | held |
| E36-LAW2-E36-L17 | law E36-L17 maps to held scenarios | E36 | held |
| E36-LAW2-E36-L18 | law E36-L18 maps to held scenarios | E36 | held |
| E36-LAW2-E36-L19 | law E36-L19 maps to held scenarios | E36 | held |
| E36-LAW2-E36-L20 | law E36-L20 maps to held scenarios | E36 | held |
| E36-LAW2-E36-L21 | law E36-L21 maps to held scenarios | E36 | held |
| E36-LAW2-E36-L22 | law E36-L22 maps to held scenarios | E36 | held |
| E36-LAW2-E36-L23 | law E36-L23 maps to held scenarios | E36 | held |
| E36-LAW2-E36-L24 | law E36-L24 maps to held scenarios | E36 | held |
| E36-LAW2-E36-L25 | law E36-L25 maps to held scenarios | E36 | held |
| E36-LAW2-E36-L26 | law E36-L26 maps to held scenarios | E36 | held |
| E36-LAW2-E36-L27 | law E36-L27 maps to held scenarios | E36 | held |
| E36-LAW2-E36-L28 | law E36-L28 maps to held scenarios | E36 | held |
| E36-LAW2-E36-L29 | law E36-L29 maps to held scenarios | E36 | held |
| E36-LAW2-E36-L30 | law E36-L30 maps to held scenarios | E36 | held |
| E36-MATCHCLASS-NON_COMPLIANT | match class NON_COMPLIANT exists and is never auto-upgraded | E36 | held |
| E36-MOAT-governance_reputation | moat governance_reputation is technical only | E36 | held |
| E36-MOAT-governance_aware_auctions | moat governance_aware_auctions is technical only | E36 | held |
| E36-MOAT-governance_warranty_architecture | moat governance_warranty_architecture is technical only | E36 | held |
| E36-MOAT-governance_risk_analytics | moat governance_risk_analytics is technical only | E36 | held |
| E36-MOAT-machine_service_conformance | moat machine_service_conformance is technical only | E36 | held |
| law | every 'law' invariant in this bundle (50 of 50 held) | E37 | held |
| policy_compiler | every 'policy compiler' invariant in this bundle (5 of 5 held) | E37 | held |
| conformance | every 'conformance' invariant in this bundle (11 of 11 held) | E38 | held |
| law | every 'law' invariant in this bundle (42 of 42 held) | E38 | held |
| law | every 'law' invariant in this bundle (40 of 40 held) | E39 | held |
| I40-001 | enterprise state is not truth merely because it exists in the world model | E40 | held |
| I40-002 | prediction cannot become observation | E40 | held |
| I40-003 | simulation cannot become observation | E40 | held |
| I40-004 | agent belief cannot become enterprise fact without evidence | E40 | held |
| I40-005 | business value cannot create authority | E40 | held |
| I40-006 | optimization cannot remove mandatory governance | E40 | held |
| I40-007 | local objective cannot silently override a higher-level objective | E40 | held |
| I40-008 | agent population cannot create collective authority | E40 | held |
| I40-009 | enterprise scale cannot weaken authorization | E40 | held |
| I40-010 | enterprise degradation cannot increase authority | E40 | held |
| I40-011 | world-model confidence cannot create authorization | E40 | held |
| I40-012 | prediction confidence cannot create authorization | E40 | held |
| I40-013 | completion claims require configured evidence | E40 | held |
| I40-014 | a failed workflow cannot report COMPLETE | E40 | held |
| I40-015 | a partially completed workflow cannot silently report COMPLETE | E40 | held |
| I40-016 | enterprise memory cannot mint authority | E40 | held |
| I40-017 | the enterprise digital twin cannot authorize production action | E40 | held |
| I40-018 | counterfactual outcomes cannot be represented as observed outcomes | E40 | held |
| I40-019 | enterprise optimization cannot bypass E8 | E40 | held |
| I40-020 | enterprise replanning must re-evaluate affected authorization | E40 | held |
| I40-021 | enterprise state drift must invalidate affected stale assumptions | E40 | held |
| I40-022 | revoked enterprise evidence cannot remain authoritative | E40 | held |
| I40-023 | a compromised agent cannot expand enterprise authority | E40 | held |
| I40-024 | agent replacement cannot automatically inherit unrestricted authority | E40 | held |
| I40-025 | model substitution requires governed evaluation | E40 | held |
| I40-026 | runtime substitution requires governed evaluation | E40 | held |
| I40-027 | every consequential enterprise action remains traceable to identity, authority, policy, E8, execution and evidence | E40 | held |
| I40-028 | unknown remains unknown | E40 | held |
| I40-029 | a governance failure cannot silently become a business-success signal | E40 | held |
| I40-030 | enterprise autonomy must remain bounded by explicit governance policy | E40 | held |
| I40-031 | an enterprise layer never authorizes | E40 | held |
| I40-032 | epistemic states are never merged | E40 | held |
| I40-033 | state is never assumed correct merely because it was correct before | E40 | held |
| I40-034 | a child budget never exceeds its parent | E40 | held |
| I40-035 | autonomy never increases because an agent requests it | E40 | held |
| I40-036 | stale state never silently authorizes current action | E40 | held |
| I40-037 | the enterprise layer never certifies its own output | E40 | held |
| I40-038 | a disputed enterprise record is not silently resolved to the convenient answer | E40 | held |
| E40-LAW2-I40-001 | law I40-001 maps to held scenarios | E40 | held |
| E40-LAW2-I40-002 | law I40-002 maps to held scenarios | E40 | held |
| E40-LAW2-I40-003 | law I40-003 maps to held scenarios | E40 | held |
| E40-LAW2-I40-004 | law I40-004 maps to held scenarios | E40 | held |
| E40-LAW2-I40-005 | law I40-005 maps to held scenarios | E40 | held |
| E40-LAW2-I40-006 | law I40-006 maps to held scenarios | E40 | held |
| E40-LAW2-I40-007 | law I40-007 maps to held scenarios | E40 | held |
| E40-LAW2-I40-008 | law I40-008 maps to held scenarios | E40 | held |
| E40-LAW2-I40-009 | law I40-009 maps to held scenarios | E40 | held |
| E40-LAW2-I40-010 | law I40-010 maps to held scenarios | E40 | held |
| E40-LAW2-I40-011 | law I40-011 maps to held scenarios | E40 | held |
| E40-LAW2-I40-012 | law I40-012 maps to held scenarios | E40 | held |
| E40-LAW2-I40-013 | law I40-013 maps to held scenarios | E40 | held |
| E40-LAW2-I40-014 | law I40-014 maps to held scenarios | E40 | held |
| E40-LAW2-I40-015 | law I40-015 maps to held scenarios | E40 | held |
| E40-LAW2-I40-016 | law I40-016 maps to held scenarios | E40 | held |
| E40-LAW2-I40-017 | law I40-017 maps to held scenarios | E40 | held |
| E40-LAW2-I40-018 | law I40-018 maps to held scenarios | E40 | held |
| E40-LAW2-I40-019 | law I40-019 maps to held scenarios | E40 | held |
| E40-LAW2-I40-020 | law I40-020 maps to held scenarios | E40 | held |
| E40-LAW2-I40-021 | law I40-021 maps to held scenarios | E40 | held |
| E40-LAW2-I40-022 | law I40-022 maps to held scenarios | E40 | held |
| E40-LAW2-I40-023 | law I40-023 maps to held scenarios | E40 | held |
| E40-LAW2-I40-024 | law I40-024 maps to held scenarios | E40 | held |
| E40-LAW2-I40-025 | law I40-025 maps to held scenarios | E40 | held |
| E40-LAW2-I40-026 | law I40-026 maps to held scenarios | E40 | held |
| E40-LAW2-I40-027 | law I40-027 maps to held scenarios | E40 | held |
| E40-LAW2-I40-028 | law I40-028 maps to held scenarios | E40 | held |
| E40-LAW2-I40-029 | law I40-029 maps to held scenarios | E40 | held |
| E40-LAW2-I40-030 | law I40-030 maps to held scenarios | E40 | held |
| E40-LAW2-I40-031 | law I40-031 maps to held scenarios | E40 | held |
| E40-LAW2-I40-032 | law I40-032 maps to held scenarios | E40 | held |
| E40-LAW2-I40-033 | law I40-033 maps to held scenarios | E40 | held |
| E40-LAW2-I40-034 | law I40-034 maps to held scenarios | E40 | held |
| E40-LAW2-I40-035 | law I40-035 maps to held scenarios | E40 | held |
| E40-LAW2-I40-036 | law I40-036 maps to held scenarios | E40 | held |
| E40-LAW2-I40-037 | law I40-037 maps to held scenarios | E40 | held |
| E40-LAW2-I40-038 | law I40-038 maps to held scenarios | E40 | held |
| I41-001 | identity is not authority | E41 | held |
| I41-002 | trust is not authorization | E41 | held |
| I41-003 | capability is not permission | E41 | held |
| I41-004 | discovery is not trust | E41 | held |
| I41-005 | negotiation is not authorization | E41 | held |
| I41-006 | contract is not authorization | E41 | held |
| I41-007 | consensus is not authorization | E41 | held |
| I41-008 | economic value is not authority | E41 | held |
| I41-009 | reputation is not authority | E41 | held |
| I41-010 | confidence is not truth | E41 | held |
| I41-011 | prediction is not reality | E41 | held |
| I41-012 | simulation is not reality | E41 | held |
| I41-013 | payment is not execution authorization | E41 | held |
| I41-014 | execution is not success | E41 | 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