Society · Protocols
ReversibilityCheck
Reversibility Audit (Alias for Check(Reversibility))
Definition
Mechanism
A convenience wrapper for a Check configured with the Reversibility condition. Halts execution if the action is deemed irreversible (Type 1 decision) without proper authorization. It applies the Check primitive to the Reversibility condition, ensuring the WorldReversible invariant holds, mandating HumanApprove if the action is irreversible.
Invariants
None stated.
Risks
Failure modes
False confidence
check reports reversible but undo path fails under load or changed state.
Relationships
Builds on
References
Infrastructure
Side-effect-free observational verification yielding Verified/Falsified/Unknown
Infrastructure
Pause for human approval before critical actions
Physics
Condition: Can this action be undone?
Mind
Designing for zero-cost undo
Nothing in this library builds on this pattern yet.
Reference
Signature
Check(Reversibility)