The Monotonic Accountability Invariant Fraud Closure Under Regime Change in Irreversible Execution Systems
Abstract
A companion paper [1] proved that irreversible actions require pre-admissible execution under distributed constraint authority. A second companion [2] defined MA-Commit—a necessary and sufficient primitive for safe irreversible execution—and identified monotonic accountability as the property distinguishing it from prior atomic commit operations. Both papers assume fixed admissibility predicates. This paper asks: what happens when the predicates change? We extend the model to admit epoch transitions—discrete changes to the admissibility regime—and define the monotonic accountability invariant: no committed action becomes inadmissible under any subsequent regime. We prove that epoch transitions not subject to MA-Commit necessarily introduce safety violations at epoch boundaries (the boundary vulnerability theorem). We prove that the unique admissible transition form the invariant is one in which epoch transitions are themselves MA-Commit invocations with joint witnesses spanning old and new regimes (the closure theorem). The model has no escape hatch: regime change is an irreversible action, and irreversible actions require pre-admissible execution.
Fields of Study & Subjects
Distributed systems and fault tolerance
Access Control and Trust
Formal Methods in Verification
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 15 February 2026
- Language
- EN
- Document type
- Preprint