The Observational Incompleteness Framework

Abstract

The Observational Incompleteness Framework is an AI-based research programme deriving quantum-mechanical structure from the premise that observation is a proper subsystem of a deterministic whole. The archive contains three kinds of content: Technical papers (papers/) — the authoritative technical content, including the core papers Main (central theorem and emergent quantum mechanics), Substratum (substratum construction and reconstruction theorem), Structure (structural realism), SM (Standard Model derivation) and GR (gravitational sector), together with the focused presentation Juno (neutrino-sector prediction), the methodology paper Physics Modulo Gauge, and the companion documents Explainer, Complexity, Medicine and Bioinformatics. Sources and built PDFs are both included. Book manuscript (book/) — The Incompleteness of Observation: A Unified Framework from Quantum Mechanics to Computational Biology, a working draft addressed to a general technical readership. The papers, not the book, are the primary reference for framework-internal derivations. Verification and formalization (verification/, papers/oi_lattice_code/) — Lean/Mathlib theorem developments, independent executable probes and countercontrols, a coverage ledger and proof-status census, lattice Monte Carlo sources, run drivers, analysis scripts, and deterministic test suites. The verification record distinguishes executable evidence from kernel-checked results and tracks graded proof status. Among the formally tracked milestones is the K2 two-branch Hamiltonian reconstruction theorem: under its stated hypotheses, transition-probability dynamics determine the Hamiltonian up to diagonal rephasing, energy origin, and a global antiunitary branch; the named non-kernel step is the cited integer turnpike classification of Bekir and Golomb. Licensing. This deposit is mixed content under a single Zenodo license field. The manuscripts are licensed CC-BY-4.0, which is the label shown here; the source code is licensed MIT, per the LICENSE file at the archive root. The Licensing section of README.md is the authoritative statement of scope. Version-specific DOIs are minted for each release; the concept DOI resolves to the latest version. Work reproducing a specific claim should cite the version DOI of the release that carries it. Discussion and feedback are welcome via the linked GitHub repository (Discussions).