The Monotonic Accountability Invariant Fraud Closure Under Regime Change in Irreversible Execution Systems

Read full text
Authors: Gary Ellis Carp
Cited by: 0

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