Theorem Zero: Information-Constrained Axiomatics for Physical Structure

Theorem Zero: Information-Constrained Axiomatics for Physical Structure Description We present a formal axiom system for information-constrained physical structure consisting of six axioms: A0 (finite enforceability) and five regularity conditions R0–R4 (nontrivial cost, monotonicity, superadditivity, contextual marginals, redundant encoding). From this base, we derive four structural theorems: T0.1 (Bounded Complexity): Sets with uniformly costly elements are bounded in size T0.2 (Non-Closure): Admissible sets are not closed under union T0.3 (Contextual Marginals): Marginal costs depend on context T0.4 (Irreversibility): Records exist that cannot be removed via admissible paths Each theorem is computationally verified on a witness model and falsified on explicit countermodels demonstrating tightness. The framework makes four testable predictions (holographic bound, monogamy, minimum distinction cost, arrow of time). Key features: Honest epistemic accounting: R0–R4 are axioms, not derived from A0 No circularity: admissibility derived from (E,C); meaningfulness derived from admissibility Executable proofs: all checks are finite witness-finders with runnable Python code Countermodels for each theorem showing exactly what must fail for the theorem to fail This is foundational work for information-constrained approaches to physics, not a claim to derive specific physical theories. Keywords information theory, axiomatic foundations, admissibility, capacity constraints, irreversibility, non-closure, formal verification, computational verification License CC BY 4.0 Resource Type Preprint / Working Paper About the series. Admissibility Physics derives the Standard Model gauge group, fermion content, quantum formalism, Lorentzian spacetime, the Einstein field equations, the cosmological constant, and the neutrino, strong-CP, and dark sectors from a single assumption — that enforcement is finite at every causally connected region — with zero free parameters. The core derivation runs Papers 0–11; the extension papers carry the individual sectors. Each paper's main text and Technical Supplement is deposited separately, and every quantitative claim traces to a named, executable check in the public theorem bank (over 3,800 bank-registered theorems across roughly 450 modules, 48 quantitative predictions). Website: admissibilityphysics.com. Engine and theorem bank: https://github.com/Ethan-Brooke/APF-Engine. Full series and latest deposits: Zenodo community admissibility_physics. The Engine — Admissibility Physics: An Executable Constraint Framework and Constants Map — DOI 10.5281/zenodo.18529115. Paper 0 — What Physics Permits: A Constraint-First Framework for Physics — DOI 10.5281/zenodo.18439523 Paper 1 — The Enforceability of Distinction — DOI 10.5281/zenodo.18439200 Paper 2 — Finite Admissibility and the Failure of Global Description — DOI 10.5281/zenodo.18439274 Paper 3 — Entropy, Time, and Accumulated Cost — DOI 10.5281/zenodo.18439363 Paper 4 — Admissibility Constraints and Structural Saturation — DOI 10.5281/zenodo.18439397 Paper 5 — Quantum Structure from Finite Enforceability — DOI 10.5281/zenodo.18439433 Paper 6 — Dynamics and Geometry as Optimal Admissible Reallocation — DOI 10.5281/zenodo.18439445 Paper 7 — A Minimal Quantum of Action from Finite Admissibility — DOI 10.5281/zenodo.18439513 Paper 8 — The Admissibility-Capacity Ledger — DOI 10.5281/zenodo.19721384 Paper 9 — The Geometric Substrate as Cost Structure of Comparison Continuations — DOI 10.5281/zenodo.20041675 Paper 10 — The Calculus of Finite Continuability — DOI 10.5281/zenodo.20041680 Paper 11 — Forced Universality from Capacity-Bounded Admissibility — DOI 10.5281/zenodo.20684198 Paper 13 — The Minimal Admissibility Core — DOI 10.5281/zenodo.18361446 Paper 16 — Markov Breakdown and the Hard Problems — DOI 10.5281/zenodo.20684207 Paper 18 — The Electroweak Sector as a Capacity Equilibrium — DOI 10.5281/zenodo.20684209 Paper 20 — The Enforcement Crystal — DOI 10.5281/zenodo.18531732 Paper 24 — The Recruitment-Radius Extension — Foundations — DOI 10.5281/zenodo.20684211 Paper 28 — Absolute Mass Scales from Electroweak Capacity Saturation — DOI 10.5281/zenodo.20684215 Paper 29 — Plaquette Representation Dominance and Confinement — DOI 10.5281/zenodo.20684218 Paper 30 — A Tube Mechanism for the Lattice Mass Gap — DOI 10.5281/zenodo.20684220 Paper 31 — Osterwalder–Schrader Structure of Lattice Yang–Mills — DOI 10.5281/zenodo.20684222 Paper 33 — Trace-to-Scheme Export Architecture — DOI 10.5281/zenodo.20684224 Paper 35 — The Dark Sector as a Two-Role Capacity Decomposition — DOI 10.5281/zenodo.20684228 Paper 40 — The Thermodynamics of Finite Distinction (Between Symmetry and the Void) — DOI 10.5281/zenodo.20684235 Paper 41 — The Horizon as a Continuation Ledger — DOI 10.5281/zenodo.20684241 Paper 42 — The Weak Mixing Angle Is Not Free — DOI 10.5281/zenodo.20684245 Paper 43 — The Neutrino Sector — DOI 10.5281/zenodo.21194191 Paper 44 — What a Finite Theory Owes the Continuum — DOI 10.5281/zenodo.21195874 Paper 45 — What the Vacuum Can Keep — DOI 10.5281/zenodo.21194195 Paper 46 — The Strong CP Angle Is Not Free — DOI 10.5281/zenodo.21194197 Paper 47 — The Confinement Antecedent Is Not Forced — DOI 10.5281/zenodo.21194199 Technical Supplements cross-link to their main paper via isSupplementTo and to the engine via isDocumentedBy. Concept DOIs above resolve to the latest version. Author. Ethan Brooke, Independent Researcher, San Anselmo, California, USA. ORCID: 0009-0001-2261-4682 LinkedIn: linkedin.com/in/ethanbrooke GitHub: github.com/Ethan-Brooke Contact: brooke.ethan@gmail.com