result for nontrivial, self-authorizing continuation under persistent disturbance and fixed per-step resources

Zenodo (CERN European Organization for Nuclear Research) 2026 Dataset Open access

Read full text
Authors: Joshua A. Duran
DOI: 10.5281/zenodo.18636006
Cited by: 0

Abstract

A scoped impossibility result for nontrivial, self-authorizing continuation under persistent disturbance and fixed per-step resources. PMTT v2.2 defines PFS-SACMs and proves a case split: bounded self-model complexity forces trivial certification or fidelity failure (Bridge Lemma), while unbounded complexity triggers at least one obstruction module (stability/identifiability/absorption/channel/feasibility) under explicit assumptions. Intended as a regime-specific warning and a falsification target

Fields of Study & Subjects

Formal Methods in Verification Diverse Interdisciplinary Research Studies Complex Systems and Dynamics

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
13 February 2026
Language
EN
Document type
Dataset