UGP Physics Program

← Back to Research Program  ·  → Blog: “The Standard Model Is Not a Coincidence”  ·  → Corpus Hub on Zenodo

Programme Overview

The UGP Physics programme derives the Standard Model of particle physics — its gauge structure, particle spectrum, and all known parameters — from a single 19-bit polynomial over GF(7), selected by Minimum Description Length applied to a self-referential system. Starting from Perfect Self-Containment (PSC) as the foundational axiom, the framework derives over 170 quantitative observables across 15 prediction sectors with zero free parameters. Every major result is cross-sector: the same arithmetic that selects the gauge group determines particle masses, which determine nuclear structure, which constrains the cosmological constant — with no inter-sector parameter tuning. 56 papers (P00–P55). Machine-certified in Lean 4, more than 400 modules, all results independently verifiable.

Capstone Monograph — P48

The Complete GTE Framework: Standard Model, Gravity, Quantum Mechanics, and Cosmology from ΦMDL

Starting from Perfect Self-Containment (PSC) and Minimum Description Length as its unique operational expression, P48 derives the complete Standard Model parameter set, spacetime geometry, the Born rule (four independent routes, two machine-certified), and cosmological observables — all with zero free parameters fitted to particle physics data. Three fermion generations are machine-certified as the unique PSC survivors across 34,560 candidates; falsifiable predictions include a dark sector particle at 211.9 MeV (Belle II), r = 0 (LiteBIRD), and w = −1 exactly (Euclid). All central results are machine-certified in Lean 4 with nearly 400 Lean 4 modules — all results independently machine-verifiable across more than 400 modules — the capstone of the UGP Physics programme.

Zenodo (PDF + DOI): 10.5281/zenodo.20560550


Companion Assessment — P53

The GTE Framework: A Comparative Assessment

Assesses GTE against a neutral 11-dimension rubric side by side with 10 competing frameworks (the Standard Model, SUSY GUT, string theory/landscape, loop quantum gravity, causal sets, the Wolfram physics programme, asymptotic safety, Wheeler’s “it from bit,” Tegmark’s mathematical universe, and Penrose objective reduction). GTE is the only programme simultaneously supplying a derived selection principle, zero free dimensionless parameters, machine-certified proofs in Lean 4 (zero sorry, more than 400 modules), cross-sector predictions in domains causally disconnected from any fitting target, and named near-term falsifiers. Roughly 40 zero-parameter predictions, ∼37 within 1σ of PDG 2024/NuFIT 6.0/Planck 2018. Conclusion: the framework earns serious consideration on its own stated terms.

Zenodo (PDF + DOI): 10.5281/zenodo.20684419  ·  Abstract ↗

Additional Flagship Results

P01 — Founding Paper

A Deterministic Number-Theoretic Framework for the Standard Model

Introduces the GTE arithmetic framework and derives the Standard Model parameter spectrum from the uniquely selected seed (1, 73, 823).

P47 — Cosmology

Cosmological Predictions of the GTE/ΦMDL Framework

Dark energy, CMB spectral tilt, and gravitational signatures from first principles. Falsifiable predictions: r = 0 (LiteBIRD) and δCP = 205.71° (DUNE/Hyper-K).

ugp-lean — Lean Formalization

Machine-Checked Formalization (more than 400 modules, 145-page paper)

The Lean 4 formalization of UGP Physics: more than 400 modules, 142-page paper, zero sorry. Covers ridge sieve, canonical orbit, Quarter-Lock, Turing universality, Braid Atlas, Koide theorem, and gauge couplings. Read the formalization paper on Zenodo; browse and clone the full source on GitHub.

NEMS papers relevant to this programme: Papers 03, 04, 05, 06, 07, 13, 14, and 16 of the NEMS suite provide the PSC-theoretical foundations from which the UGP Physics gauge and quantum structure are derived.  See NEMS →

Papers

All 56 papers are published on Zenodo with permanent DOIs. The programme survey guide (P00) provides one-paragraph summaries of all 49 companion papers with a thematic grouping and reading paths for different backgrounds — it is the recommended entry point for new readers. Papers marked are book-length monographs.

Lean Formalizations

The core derivations of the UGP Physics programme are machine-certified in Lean 4 with a strict zero-sorry, zero-custom-axiom policy. All Lean libraries are published on Zenodo and browsable on GitHub.

  • ugp-lean — more than 400 modules, more than 400 Lean 4 modules — all results independently machine-verifiable. The primary formalization library for UGP Physics: the ridge sieve, prime-lock criterion, GTE update map, canonical orbit, Quarter-Lock identity, Turing universality, Braid Atlas, Koide theorem, gauge coupling derivations, interaction skeleton, and all machine-certified results throughout the programme corpus. GitHub.
  • ugp-physics-lean — Formalization paper documenting the Lean 4 proofs across the UGP Physics programme, providing a curated index of all theorem-grade results and their Lean proof names. GitHub.
  • srrg-lean — Lean 4 formalization of the Self-Referential Renormalization Group (P27): fixed-point structure, SRRG monotonicity, Vieta no-third-zero certificate, and the β-function algebraic uniqueness results. GitHub.
  • rule110-lean — Lean 4 formalization of Cook’s Rule 110 universality theorem (P30): infinite-tape semantics, ether stability, cyclic tag system evaluation, glider overlays, and the structured partial discharge of Cook’s bridge lemmas. GitHub.

Tutorial Series

Companion tutorial documents — accessible worked examples for each major result of the UGP Physics programme.

Links