CAIN-42 invariant · E19

G44: unknown cannot silently become allow

Held · CAIN-42 Evolution 19 -- Governed Autonomy Operating Fabric

Last reviewed 2026-10-01

held   niche Core guarantees

What this rule means

CAIN-42 must always satisfy: unknown cannot silently become allow. It is one of 108 invariants checked for CAIN-42 Evolution 19 -- Governed Autonomy Operating 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

[
 [
  "AUTONOMY_LEVEL_INSUFFICIENT:UNKNOWN"
 ],
 [
  "EFFECTIVE_AUTHORITY_UNKNOWN",
  "NO_EFFECTIVE_AUTHORITY_FOR_CAPABILITY"
 ],
 [
  "BELIEF_UNKNOWN:ghost.claim"
 ]
]

Check it yourself

Browse the raw bundle

Related rules

• G24: execution cannot imply success
• G25: outcome must be independently observed
• G36: every consequential action reaches E8
• G38: every action has current state binding
• G43: uncertainty cannot silently become certainty
• G45: stale confidence cannot remain authoritative
• G58: goal termination invalidates dependent actions
• G65: security failure fails closed

← G43 · all 108 · G45 →