Replication data for "Zero-Override Architecture: Formally Verified Process Flow Integrity for Security Control Enforcement in Payment Systems": TLA+ specifications and TLC model-checking outputs

TLA+ specifications, TLC model-checker configurations, and verification output logs supporting the formal verification of the Zero-Override Architecture (ZOA). The dataset contains the ZOA state-transition model with its four verified properties (completeness, non-bypassability, replay-resistance, fail-secure) and an explicit adversary, a baseline model with a manual override used as a negative control, four run configurations, and the corresponding TLC outputs. The specifications were written in TLA+ and checked with the TLC model checker (TLA+ Tools). Reproduction instructions are provided in README.txt.