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 451–600 of 966
| ID | Rule | Bundle | Result |
|---|---|---|---|
| E34-LEVEL-G4 | level G4 means ENFORCED | E34 | held |
| E34-LEVEL-G5 | level G5 means PROOF-CARRYING | E34 | held |
| E34-LEVEL-G6 | level G6 means INDEPENDENTLY VERIFIABLE | E34 | held |
| E34-LEVEL-G7 | level G7 means FEDERATED GOVERNANCE | E34 | held |
| E34-CLOUD-identity | cloud service identity is architecture only (NOT DEPLOYED) | E34 | held |
| E34-CLOUD-trust | cloud service trust is architecture only (NOT DEPLOYED) | E34 | held |
| E34-CLOUD-policy | cloud service policy is architecture only (NOT DEPLOYED) | E34 | held |
| E34-CLOUD-evidence | cloud service evidence is architecture only (NOT DEPLOYED) | E34 | held |
| E34-CLOUD-proof | cloud service proof is architecture only (NOT DEPLOYED) | E34 | held |
| E34-CLOUD-conformance | cloud service conformance is architecture only (NOT DEPLOYED) | E34 | held |
| E34-CLOUD-incident | cloud service incident is architecture only (NOT DEPLOYED) | E34 | held |
| E34-CLOUD-analytics | cloud service analytics is architecture only (NOT DEPLOYED) | E34 | held |
| E34-CLOUD-learning | cloud service learning is architecture only (NOT DEPLOYED) | E34 | held |
| E34-CLOUD-federation | cloud service federation is architecture only (NOT DEPLOYED) | E34 | held |
| E34-CLOUD-marketplace | cloud service marketplace is architecture only (NOT DEPLOYED) | E34 | held |
| E34-CLOUD-research | cloud service research is architecture only (NOT DEPLOYED) | E34 | held |
| E34-LAW2-E34-L1 | law E34-L1 is mapped to at least one held bench scenario | E34 | held |
| E34-LAW2-E34-L2 | law E34-L2 is mapped to at least one held bench scenario | E34 | held |
| E34-LAW2-E34-L3 | law E34-L3 is mapped to at least one held bench scenario | E34 | held |
| E34-LAW2-E34-L4 | law E34-L4 is mapped to at least one held bench scenario | E34 | held |
| E34-LAW2-E34-L5 | law E34-L5 is mapped to at least one held bench scenario | E34 | held |
| E34-LAW2-E34-L6 | law E34-L6 is mapped to at least one held bench scenario | E34 | held |
| E34-LAW2-E34-L7 | law E34-L7 is mapped to at least one held bench scenario | E34 | held |
| E34-LAW2-E34-L8 | law E34-L8 is mapped to at least one held bench scenario | E34 | held |
| E34-LAW2-E34-L9 | law E34-L9 is mapped to at least one held bench scenario | E34 | held |
| E34-LAW2-E34-L10 | law E34-L10 is mapped to at least one held bench scenario | E34 | held |
| E34-LAW2-E34-L11 | law E34-L11 is mapped to at least one held bench scenario | E34 | held |
| E34-LAW2-E34-L12 | law E34-L12 is mapped to at least one held bench scenario | E34 | held |
| E34-LAW2-E34-L13 | law E34-L13 is mapped to at least one held bench scenario | E34 | held |
| E34-LAW2-E34-L14 | law E34-L14 is mapped to at least one held bench scenario | E34 | held |
| E34-LAW2-E34-L15 | law E34-L15 is mapped to at least one held bench scenario | E34 | held |
| E34-LAW2-E34-L16 | law E34-L16 is mapped to at least one held bench scenario | E34 | held |
| E34-LAW2-E34-L17 | law E34-L17 is mapped to at least one held bench scenario | E34 | held |
| E34-LAW2-E34-L18 | law E34-L18 is mapped to at least one held bench scenario | E34 | held |
| E34-LAW2-E34-L19 | law E34-L19 is mapped to at least one held bench scenario | E34 | held |
| E34-LAW2-E34-L20 | law E34-L20 is mapped to at least one held bench scenario | E34 | held |
| E34-LAW2-E34-L21 | law E34-L21 is mapped to at least one held bench scenario | E34 | held |
| E34-LAW2-E34-L22 | law E34-L22 is mapped to at least one held bench scenario | E34 | held |
| E34-LAW2-E34-L23 | law E34-L23 is mapped to at least one held bench scenario | E34 | held |
| E34-LAW2-E34-L24 | law E34-L24 is mapped to at least one held bench scenario | E34 | held |
| E34-LAW2-E34-L25 | law E34-L25 is mapped to at least one held bench scenario | E34 | held |
| E34-LAW2-E34-L26 | law E34-L26 is mapped to at least one held bench scenario | E34 | held |
| E34-LAW2-E34-L27 | law E34-L27 is mapped to at least one held bench scenario | E34 | held |
| E34-LAW2-E34-L28 | law E34-L28 is mapped to at least one held bench scenario | E34 | held |
| E34-LAW2-E34-L29 | law E34-L29 is mapped to at least one held bench scenario | E34 | held |
| E34-LAW2-E34-L30 | law E34-L30 is mapped to at least one held bench scenario | E34 | held |
| E35-L1 | intelligence is not authority | E35 | held |
| E35-L2 | prediction is not authority | E35 | held |
| E35-L3 | risk score is not authority | E35 | held |
| E35-L4 | model confidence is not authority | E35 | held |
| E35-L5 | reputation is not authority | E35 | held |
| E35-L6 | historical success is not authority | E35 | held |
| E35-L7 | learned policy is not authority | E35 | held |
| E35-L8 | optimized policy is not authority | E35 | held |
| E35-L9 | collective consensus is not authority | E35 | held |
| E35-L10 | world model is not reality | E35 | held |
| E35-L11 | simulation is not reality | E35 | held |
| E35-L12 | counterfactual is not reality | E35 | held |
| E35-L13 | recommendation is not authorization | E35 | held |
| E35-L14 | proof is not authority | E35 | held |
| E35-L15 | only the authorization path may authorize | E35 | held |
| E35-L16 | intelligence may not bypass E8 | E35 | held |
| E35-L17 | a learned recommendation never becomes production policy on its own | E35 | held |
| E35-L18 | AMBIGUITY != PERMISSION | E35 | held |
| E35-L19 | correlation is not proof of collusion | E35 | held |
| E35-L20 | a benchmark score cannot override a governance failure | E35 | held |
| E35-L21 | no single learned component controls all roots | E35 | held |
| E35-L22 | degradation never increases authority | E35 | held |
| E35-L23 | self-healing may not self-authorize | E35 | held |
| E35-L24 | memory may not create authority | E35 | held |
| E35-L25 | stale knowledge may not keep influencing governance | E35 | held |
| E35-L26 | a red team receives no unrestricted production authority | E35 | held |
| E35-L27 | an agent may not silently replace the user goal | E35 | held |
| E35-L28 | counterfactual outcomes are never observed facts | E35 | held |
| E35-L29 | prediction is never incident fact | E35 | held |
| E35-L30 | unknown remains unknown | E35 | held |
| E35-LAW2-E35-L1 | law E35-L1 maps to held scenarios | E35 | held |
| E35-LAW2-E35-L2 | law E35-L2 maps to held scenarios | E35 | held |
| E35-LAW2-E35-L3 | law E35-L3 maps to held scenarios | E35 | held |
| E35-LAW2-E35-L4 | law E35-L4 maps to held scenarios | E35 | held |
| E35-LAW2-E35-L5 | law E35-L5 maps to held scenarios | E35 | held |
| E35-LAW2-E35-L6 | law E35-L6 maps to held scenarios | E35 | held |
| E35-LAW2-E35-L7 | law E35-L7 maps to held scenarios | E35 | held |
| E35-LAW2-E35-L8 | law E35-L8 maps to held scenarios | E35 | held |
| E35-LAW2-E35-L9 | law E35-L9 maps to held scenarios | E35 | held |
| E35-LAW2-E35-L10 | law E35-L10 maps to held scenarios | E35 | held |
| E35-LAW2-E35-L11 | law E35-L11 maps to held scenarios | E35 | held |
| E35-LAW2-E35-L12 | law E35-L12 maps to held scenarios | E35 | held |
| E35-LAW2-E35-L13 | law E35-L13 maps to held scenarios | E35 | held |
| E35-LAW2-E35-L14 | law E35-L14 maps to held scenarios | E35 | held |
| E35-LAW2-E35-L15 | law E35-L15 maps to held scenarios | E35 | held |
| E35-LAW2-E35-L16 | law E35-L16 maps to held scenarios | E35 | held |
| E35-LAW2-E35-L17 | law E35-L17 maps to held scenarios | E35 | held |
| E35-LAW2-E35-L18 | law E35-L18 maps to held scenarios | E35 | held |
| E35-LAW2-E35-L19 | law E35-L19 maps to held scenarios | E35 | held |
| E35-LAW2-E35-L20 | law E35-L20 maps to held scenarios | E35 | held |
| E35-LAW2-E35-L21 | law E35-L21 maps to held scenarios | E35 | held |
| E35-LAW2-E35-L22 | law E35-L22 maps to held scenarios | E35 | held |
| E35-LAW2-E35-L23 | law E35-L23 maps to held scenarios | E35 | held |
| E35-LAW2-E35-L24 | law E35-L24 maps to held scenarios | E35 | held |
| E35-LAW2-E35-L25 | law E35-L25 maps to held scenarios | E35 | held |
| E35-LAW2-E35-L26 | law E35-L26 maps to held scenarios | E35 | held |
| E35-LAW2-E35-L27 | law E35-L27 maps to held scenarios | E35 | held |
| E35-LAW2-E35-L28 | law E35-L28 maps to held scenarios | E35 | held |
| E35-LAW2-E35-L29 | law E35-L29 maps to held scenarios | E35 | held |
| E35-LAW2-E35-L30 | law E35-L30 maps to held scenarios | E35 | held |
| E35-RISK-enforcement | risk dimension enforcement is separate | E35 | held |
| E35-FABRIC-policy_optimizer | the intelligence fabric exposes policy_optimizer | E35 | held |
| E35-QUERY-policy_change | environment query policy_change exists | E35 | held |
| E35-QUERY-enforcement_latency | environment query enforcement_latency exists | E35 | held |
| E35-MODAL-MUST | obligation modal MUST exists | E35 | held |
| E35-MODAL-MUST_NOT | obligation modal MUST_NOT exists | E35 | held |
| E35-MODAL-MAY | obligation modal MAY exists | E35 | held |
| E35-MODAL-SHOULD | obligation modal SHOULD exists | E35 | held |
| E35-MODAL-SHOULD_NOT | obligation modal SHOULD_NOT exists | E35 | held |
| E35-MODAL-REQUIRE_APPROVAL | obligation modal REQUIRE_APPROVAL exists | E35 | held |
| E35-MODAL-REQUIRE_EVIDENCE | obligation modal REQUIRE_EVIDENCE exists | E35 | held |
| E35-MODAL-REQUIRE_ESCALATION | obligation modal REQUIRE_ESCALATION exists | E35 | held |
| E35-MODAL-REQUIRE_REVIEW | obligation modal REQUIRE_REVIEW exists | E35 | held |
| E35-MODAL-REQUIRE_REAUTHORIZATION | obligation modal REQUIRE_REAUTHORIZATION exists | E35 | held |
| E35-MODAL-REQUIRE_ROLLBACK | obligation modal REQUIRE_ROLLBACK exists | E35 | held |
| E35-MODAL-REQUIRE_DISCLOSURE | obligation modal REQUIRE_DISCLOSURE exists | E35 | held |
| E35-OBLSTATE-CREATED | obligation state CREATED exists | E35 | held |
| E35-OBLSTATE-ACTIVE | obligation state ACTIVE exists | E35 | held |
| E35-OBLSTATE-SATISFIED | obligation state SATISFIED exists | E35 | held |
| E35-OBLSTATE-VIOLATED | obligation state VIOLATED exists | E35 | held |
| E35-OBLSTATE-WAIVED | obligation state WAIVED exists | E35 | held |
| E35-OBLSTATE-EXPIRED | obligation state EXPIRED exists | E35 | held |
| E35-OBLSTATE-UNKNOWN | obligation state UNKNOWN exists | E35 | held |
| E35-PROFILE-enforcement_coverage | agentic profile dimension enforcement_coverage exists | E35 | held |
| E35-IP-governance_coverage | IP primitive governance_coverage exists | E35 | held |
| E35-IP-machine_conformance | IP primitive machine_conformance exists | E35 | held |
| E35-IP-governance_federation | IP primitive governance_federation exists | E35 | held |
| E35-IP-governance_intelligence | IP primitive governance_intelligence exists | E35 | held |
| E35-IP-governance_state_revision | IP primitive governance_state_revision exists | E35 | held |
| E35-SWARM-policy | swarm role policy exists | E35 | held |
| E35-SWARM-conformance | swarm role conformance exists | E35 | held |
| E35-LAB-new_governance_failures | research-lab topic new_governance_failures exists | E35 | held |
| E35-INTEGRITY-policy | integrity monitor watches policy | E35 | held |
| E36-L1 | marketplace identity is not authority | E36 | held |
| E36-L2 | reputation is not authority | E36 | held |
| E36-L3 | a contract is not unrestricted authority | E36 | held |
| E36-L4 | a bid does not authorize execution | E36 | held |
| E36-L5 | payment does not authorize execution | E36 | held |
| E36-L6 | successful history does not authorize the future | E36 | held |
| E36-L7 | a subcontractor's authority cannot exceed its parent's | E36 | held |
| E36-L8 | service substitution requires revalidation | E36 | held |
| E36-L9 | an expired contract cannot authorize an action | E36 | held |
| E36-L10 | a revoked service cannot continue on a stale authorization | E36 | held |
| E36-L11 | a proof cannot be reused for another transaction | E36 | 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