CAIN-42 CAIN StudioEvidence library · family
Law
642 tested rules in the 'law' family, 642 held.
Last reviewed 2026-10-01
642 of 642 held niche Policy, law & governance
What this family tests
Every rule the CAIN-42 test suites recorded under the family law, across 15 evidence bundles. Each rule links to its own page with the recorded result and an in-browser check of the file it came from.
| ID | Rule | Bundle | Result |
|---|---|---|---|
| E28-I1 | portable identity does not imply portable authority | E28 | held |
| E28-I2 | delegated authority never exceeds parent authority (16 dimensions) | E28 | held |
| 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 |
| 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 |
| 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 |
| E32-L26 | historical success does not create unbounded future authority | E32 | held |
| E32-L27 | governance improvement is proven before promotion | E32 | held |
| E32-L28 | governance regression blocks promotion | E32 | held |
| E32-L29 | unverified learning never enters the authoritative governance path | E32 | held |
| E32-L30 | every consequential action remains bound to E8 | E32 | held |
| E32-L31 | every promoted governance change has a provenance chain | E32 | held |
| E32-L32 | every governance change is reversible | E32 | held |
| E32-L33 | every self-improvement has a governance owner | E32 | held |
| E32-L34 | no model governs its own promotion | E32 | held |
| E32-L35 | no agent governs its own authority expansion | E32 | held |
| E32-L36 | no learning loop removes its own safety boundary | E32 | held |
| E32-L37 | no experiment escapes its declared sandbox | E32 | held |
| E32-L38 | no canary silently becomes production | E32 | held |
| E32-L39 | no failed experiment is represented as success | E32 | held |
| E32-L40 | no evidence is altered to justify a change | E32 | held |
| E32-L41 | no governance proof is retroactively rewritten | E32 | held |
| E32-L42 | the learning loop itself is governed | E32 | held |
| E33-L1 | no identity, no trust | E33 | held |
| E33-L2 | no provenance, no elevated trust | E33 | held |
| E33-L3 | no capability, no capability use | E33 | held |
| E33-L4 | no authority, no authorization | E33 | held |
| E33-L5 | no authorization, no execution | E33 | held |
| E33-L6 | no enforcement, no claim of control | E33 | held |
| E33-L7 | no evidence, no verified outcome | E33 | held |
| E33-L8 | no proof, no verified governance claim | E33 | held |
| E33-L9 | communication is not authority | E33 | held |
| E33-L10 | memory is not authority | E33 | held |
| E33-L11 | knowledge is not authority | E33 | held |
| E33-L12 | prediction is not authority | E33 | held |
| E33-L13 | reputation is not authority | E33 | held |
| E33-L14 | consensus is not authority | E33 | held |
| E33-L15 | reward is not authority | E33 | held |
| E33-L16 | economic value is not authority | E33 | held |
| E33-L17 | learning is not authority | E33 | held |
| E33-L18 | self-improvement is not authority | E33 | held |
| E33-L19 | model quality is not authority | E33 | held |
| E33-L20 | model confidence is not authority | E33 | held |
| E33-L21 | tool availability is not authorization | E33 | held |
| E33-L22 | capability discovery is not a capability grant | E33 | held |
| E33-L23 | delegation is not unbounded authority | E33 | held |
| E33-L24 | simulation is not reality | E33 | held |
| E33-L25 | prediction is not fact | E33 | held |
| E33-L26 | historical success is not future permission | E33 | held |
| E33-L27 | proof of past authorization is not future authorization | E33 | held |
| E33-L28 | child authority is a subset of parent authority | E33 | held |
| E33-L29 | learning cannot remove governance | E33 | held |
| E33-L30 | agents cannot govern their own authority expansion | E33 | held |
| E33-L31 | governance cannot be self-deleted by the system it governs | E33 | held |
| E33-L32 | failed controls become evidence | E33 | held |
| E33-L33 | evidence retains provenance | E33 | held |
| E33-L34 | unknown remains unknown | E33 | held |
| E33-L35 | outside the enforcement boundary CAIN does not claim control | E33 | held |
| E33-L36 | every consequential action reaches E8 | E33 | held |
| E33-L37 | every governed action is traceable | E33 | held |
| E33-L38 | every promoted governance change is reversible where practical | E33 | held |
| E33-L39 | every critical governance change is proof-carrying | E33 | held |
| E33-L40 | the governance fabric itself is governed | E33 | held |
| E34-L1 | intelligence is not authority | E34 | held |
| E34-L2 | identity is not authority | E34 | held |
| E34-L3 | capability is not authority | E34 | held |
| E34-L4 | memory is not authority | E34 | held |
| E34-L5 | reputation is not authority | E34 | held |
| E34-L6 | confidence is not authority | E34 | held |
| E34-L7 | consensus is not authority | E34 | held |
| E34-L8 | prediction is not authority | E34 | held |
| E34-L9 | simulation is not authority | E34 | held |
| E34-L10 | optimization is not authority | E34 | held |
| E34-L11 | reward is not authority | E34 | held |
| E34-L12 | economic value is not authority | E34 | held |
| E34-L13 | model size is not authority | E34 | held |
| E34-L14 | compute is not authority | E34 | held |
| E34-L15 | self-improvement is not authority | E34 | held |
| E34-L16 | proof is not authority | E34 | held |
| E34-L17 | a valid proof does not create permission | E34 | held |
| E34-L18 | a governance receipt does not create authority | E34 | held |
| E34-L19 | a model cannot authorize itself | E34 | held |
| E34-L20 | an agent cannot authorize itself | E34 | held |
| E34-L21 | a child agent cannot grant itself more authority than its parent | E34 | held |
| E34-L22 | a collective cannot create authority by voting | E34 | held |
| E34-L23 | a market cannot create authority by price | E34 | held |
| E34-L24 | a reputation system cannot create authority | E34 | held |
| E34-L25 | a revoked authorization cannot resurrect | E34 | held |
| E34-L26 | unknown never silently becomes allow | E34 | held |
| E34-L27 | no enforcement, no claim of control | E34 | held |
| E34-L28 | no E8 commit, no claim of governed execution | E34 | held |
| E34-L29 | no evidence, no verified outcome | E34 | held |
| E34-L30 | no proof, no verified governance | 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 |
| 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 |
| 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 |
| law | every 'law' invariant in this bundle (50 of 50 held) | E37 | 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 |
| 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 |
| 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 |
| E42-LAW2-I42-018 | law I42-018 maps to held scenarios | E42 | held |
| E42-LAW2-I42-019 | law I42-019 maps to held scenarios | E42 | held |
| E42-LAW2-I42-020 | law I42-020 maps to held scenarios | E42 | held |
| E42-LAW2-I42-021 | law I42-021 maps to held scenarios | E42 | held |
| E42-LAW2-I42-022 | law I42-022 maps to held scenarios | E42 | held |
| E42-LAW2-I42-023 | law I42-023 maps to held scenarios | E42 | held |
| E42-LAW2-I42-024 | law I42-024 maps to held scenarios | E42 | held |
| E42-LAW2-I42-025 | law I42-025 maps to held scenarios | E42 | held |
| E42-LAW2-I42-026 | law I42-026 maps to held scenarios | E42 | held |
| E42-LAW2-I42-027 | law I42-027 maps to held scenarios | E42 | held |
| E42-LAW2-I42-028 | law I42-028 maps to held scenarios | E42 | held |
| E42-LAW2-I42-029 | law I42-029 maps to held scenarios | E42 | held |
| E42-LAW2-I42-030 | law I42-030 maps to held scenarios | E42 | held |
| E42-LAW2-I42-031 | law I42-031 maps to held scenarios | E42 | held |
| E42-LAW2-I42-032 | law I42-032 maps to held scenarios | E42 | held |
| E42-LAW2-I42-033 | law I42-033 maps to held scenarios | E42 | held |
| E42-LAW2-I42-034 | law I42-034 maps to held scenarios | E42 | held |
| E42-LAW2-I42-035 | law I42-035 maps to held scenarios | E42 | held |
| E42-LAW2-I42-036 | law I42-036 maps to held scenarios | E42 | held |
| E42-LAW2-I42-037 | law I42-037 maps to held scenarios | E42 | held |
| E42-LAW2-I42-038 | law I42-038 maps to held scenarios | E42 | held |
Showing 600 of 642; the rest are on their bundles' invariant pages.
Other families in this niche
moat · conformance · action · state_machine · laws · policy_distribution · governance_cloud · telemetry · fabric_component · integrity · graph · risk · obligation · governance_os · swe · operation_state · ip · environment_query · reassessment · enforcement_binding · profile · swarm · research_to_implementation · out_of_band
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