CAIN-42 invariant · E19

G70: legitimate recovery remains possible

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

Last reviewed 2026-10-01

held   niche Autonomy, control loops & recovery

What this rule means

CAIN-42 must always satisfy: legitimate recovery remains possible. 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

{
 "authority": "NONE",
 "cause": "sensor_corruption",
 "checkpoint": "5d1071a629e082752db008b6588d2e155cb54efd2b4bb0e48024c276a60aed4a",
 "checkpoint_problems": [],
 "digest": "bfa5b7c226958dedea5dcf3d0e0d23e8ed1fc1e75f3159ff98c4dde597882791",
 "recovery_mints_authority": false,
 "requires_action_contract": true,
 "restored_authority": [
  "dispatch",
  "notify",
  "read",
  "route"
 ]
}

Check it yourself

Browse the raw bundle

Related rules

• G49: checkpoint rollback cannot bypass governance
• G67: legitimate autonomy is not treated as replay

← G69 · all 108 · G71 →