A Scale-Gated Structural Paradigm Difference, Equivalence, Irreversibility, and Responsibility

Read full text
Authors: xie kaifan
Cited by: 0

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