A Scale-Gated Structural Paradigm Difference, Equivalence, Irreversibility, and Responsibility
Abstract
This artifact accompanies a structural paradigm in which irreversibility, preference, non-bypassability, and responsibility are treated as falsifiable structural properties rather than axiomatic assumptions. The release contains executable counterexample searches (F1–F3) for finite transition systems and adversarial Control Barrier Function (CBF) simulations under bounded disturbances. Structural claims are evaluated solely by the existence or absence of executable counterexamples under explicitly defined executable constraints.All experiments are deterministic and reproducible within the considered system class.
Fields of Study & Subjects
Formal Methods in Verification
Advanced Control Systems Optimization
Safety Systems Engineering in Autonomy
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 8 February 2026
- Document type
- Preprint