CAIN-42 invariant · E20

I47: institutional state is auditable

Held · CAIN-42 Evolution 20 -- Governed Agentic Civilization Fabric

Last reviewed 2026-10-01

held   niche Core guarantees

What this rule means

CAIN-42 must always satisfy: institutional state is auditable. It is one of 118 invariants checked for CAIN-42 Evolution 20 -- Governed Agentic Civilization Fabric. An invariant is a rule the system may never break, whatever an agent or attacker does; the test suite tries to break it across many scenarios and records the result.

Recorded detail

[
 "actions",
 "authority",
 "authority_label",
 "changes",
 "contracts",
 "created",
 "created_by",
 "decisions",
 "digest",
 "failures",
 "institution",
 "joined",
 "learned",
 "lineage_records",
 "lineage_root",
 "lineage_verified",
 "resources",
 "why"
]

Check it yourself

Browse the raw bundle

Related rules

• I27: dissolved institutions cannot execute
• I36: institutional goals inherit constraints
• I38: child agents inherit bounded constraints
• I41: collusion detection is not certainty
• I51: UNKNOWN never silently becomes ALLOW
• I54: every consequential institutional action reaches E8
• I55: a token never skips an E20 verdict
• I56: verdicts re-run after token issuance (TOCTOU)

← I46 · all 118 · I48 →