English

Reconstructive Authority Model: Runtime Execution Validity Under Partial Observability

Cryptography and Security 2026-04-28 v1 Artificial Intelligence Computer Science and Game Theory

Abstract

Autonomous systems increasingly operate under partial observability where execution-relevant state is never fully accessible. Existing governance mechanisms -- trusted execution environments, oracle-signed state proofs, cryptographic attestation -- enforce the integrity of computation and state projections. We show this is structurally insufficient: an authenticated projection of state is necessary but never sufficient for execution validity. We introduce the Reconstructive Authority Model (RAM), which separates integrity from coverage. RAM defines a reconstruction gate that reasons over an explicit coverage envelope -- comprising proven state, declared assumptions, and an acknowledged unobservable residual -- and permits execution only when coverage is adequate for the action class. When coverage is insufficient, RAM narrows privileges dynamically or fails closed. Attestation proves trust in measurement; RAM proves adequacy of what is measured. We formalize RAM, prove necessity via two theorems (attestation insufficiency and RAM necessity) and three corollaries, and present a hybrid RAM+Attestation architecture with privilege-narrowing. Synthetic experiments (N=100,000, seed=42) show RAM achieves zero invalid execution rates at all coverage levels. Attestation-based systems exhibit IER=0.423 at low coverage and IER=0.233 even at full coverage, the latter arising from undefined-state handling failures undetectable by integrity checks alone. This reframes execution validity as a coverage reconstruction problem, distinct from and complementary to integrity guarantees provided by attestation.

Keywords

Cite

@article{arxiv.2604.22898,
  title  = {Reconstructive Authority Model: Runtime Execution Validity Under Partial Observability},
  author = {Marcelo Fernandez - TraslaIA},
  journal= {arXiv preprint arXiv:2604.22898},
  year   = {2026}
}

Comments

Agent Governance Series, Paper P5. Standalone resubmission following consolidation of P3+P4 into a single paper (P3/4, submit/7510907). Prior submission: submit/7501806. Companion papers on arXiv: P0 (2604.17511), P1 (2603.18829), P2 (2604.17517). Zenodo: 10.5281/zenodo.19669430

R2 v1 2026-07-01T12:34:22.143Z