Contents
The Reflexive Reality research program is a sustained formal investigation into the deepest structural constraints on any self-contained reality — what must be true of any universe that has no “outside.” The program spans two main sub-programmes — UGP Physics and NEMS — plus adjacent formal programs, all published on Zenodo with permanent DOIs and machine-checked in Lean 4 with a zero-sorry, zero-custom-axiom policy. See the sub-programme pages for full paper listings; this page is a topline overview and navigator.
UGP Physics Programme
The Universal Generative Principle (UGP) is a major fundamental physics research programme that provides a new foundation for physics, derived from pure number theory and machine-certified in Lean 4. Starting from a single 19-bit field theory uniquely selected by Minimum Description Length, the programme derives the Standard Model, quantum mechanics, gravitation, and cosmology in a single unified framework — with zero free parameters, zero empirical fitting, and over 40 falsifiable predictions. The formal derivation is verified by nearly 400 Lean 4 modules and more than 700 machine-checked theorems across 54 research papers. As a research programme it competes directly with string theory and other unification paradigms, offering machine-certified uniqueness results and specific near-term experimental tests (Belle II, LiteBIRD, DUNE).
★ Flagship Papers
Capstone Monograph — P48
The Complete GTE Framework
Standard Model, Gravity, Quantum Mechanics, and Cosmology from Φₘᴅᴸ — zero free parameters, 382 Lean modules, zero sorry.
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 first principles.
P47 — Cosmology
Cosmological Predictions from the GTE/Φₘᴅᴸ Framework
Dark energy, CMB spectral tilt, and gravitational wave signatures from first principles; falsifiable predictions: r = 0 (LiteBIRD), δᶜᴘ = 205.71° (DUNE).
ugp-lean — Lean Formalization
Machine-Checked Formalization of UGP Physics
392 modules, zero sorry, zero custom axioms. Ridge sieve, canonical orbit, Koide theorem, gauge couplings, Braid Atlas, octonion certificates — all machine-certified.
P53 — Companion Assessment
The GTE Framework: A Comparative Assessment
GTE assessed against a neutral 11-dimension rubric versus 10 competing frameworks. Only programme with derived selection, zero free parameters, and machine-certified proofs. ~40 zero-parameter predictions, ~37 within 1σ of PDG/NuFIT/Planck.
P54 — Observer Problem Essay
The Fire in the Equations: Consciousness, Physics, and the Primordial Ground
A formal essay arguing that GTE and NEMS together provide a theorem-backed answer to the observer problem and the hard problem of consciousness. Dissolves the measurement problem via PSC-forced transputation; locates experience in the same principle that selects physical law. Two questions remain open: qualia intrinsic character and the inventory of conscious systems.
NEMS — Reflexive Reality
NEMS (No External Model Selection) is a research programme proving that any self-contained system — physical, computational, or institutional — faces precise, theorem-grade structural constraints. Starting from the single principle of Perfect Self-Containment (PSC), NEMS derives machine-checked results spanning physics (gauge theory, the Born rule, quantum gravity), AI safety and alignment (formal limits on self-verification and self-improvement), institutional design and sustainability (structural constraints on governance under closure), and formal logic and consciousness. Over 93 papers, all machine-checked in Lean 4.
★ Start Here
Paper 00 — Overview
NEMS: An Overview of the Framework
The entry-point survey covering the core ideas, structure, and reading paths through the NEMS suite.
Paper 07 — Completeness
Completeness and the Limits of Self-Description
The general completeness theorem for self-referential theories: why no closed system can fully model itself.
Paper 81 — Synthesis
Big Results from the NEMS Program
A synthesis of the key results across the full NEMS suite — the flagship summary paper for researchers new to the programme.
★ Key Flagship Results
Paper 91 — Map
The NEMS Roadmap and Overview
Top-level map of all results across the NEMS suite; reader’s guide for all audiences.
Paper 11 — Logic & Physics
Physical Incompleteness from Universal Computation
Machine-checked diagonal barrier: any closed physical theory with universal computation is physically incomplete.
Paper 26 — Gauge Theory
Gauge Structure from PSC
PSC forces SU(3)×SU(2)×U(1) as the unique gauge group compatible with self-containment and renormalizability.
Paper 05 — Physics
PSC-Optimality of the Standard Model in 4D Gauge Theory Space
The Two-Layer PSC Theorem: hard closure constraints force SU(3)×SU(2)×U(1); Physical Incompleteness selects 3 generations.
Paper 14 — Quantum Mechanics
Born Rule — Bidirectional Theorem
The Born rule is the unique quantum probability assignment in perfectly self-contained theories, proved in both directions.
Paper 63 — Ontology
The Alpha Theorem
The necessary existence of an ontological ground beyond syntax and semantics — proved from the impossibility of self-grounding.
Paper 92 — Consciousness
Consciousness, Phenomenology, and Mind
A formal theory of sentience, qualia, and awareness in Reflexive Reality — machine-checked in Lean 4.
IC — Canonical Certification
Canonical Certification of the Infinity Compression Map
The central Infinity Compression theorem: the canonical IC map compresses the universe into itself via a unique certified orbit.
IC — Reflective Non-Exhaustion
Reflective Non-Exhaustion Summit
Peak result of the IC programme: no closed self-referential system can exhaust its own reflective content.
RI — Representational Incompleteness
Representational Incompleteness
No self-model can capture its own diagonal — the representational analogue of Gödel incompleteness, machine-certified.
RANex — Reflexive Non-Exhaustibility
The General Science of Reflexive Systems
Anchored completion limits, barrier families, residual aftermath, and the Reflexive Development Law — the capstone of the extended programs.
Other Programmes
- Foundational Monographs → — Five book-length monographs providing the theoretical foundations of the Reflexive Reality program, including the UGP Foundational Monograph (P08), the Mathematical Foundations of Reflexive Reality (P13), and the Complete GTE Framework capstone (P48).
- Novelty Theory → — Machine-checked proofs of why genuine novelty is not just possible but structurally necessary: final explanatory closure is impossible even under fixed deterministic laws.
- Cognitive Computing → — Formal bounds on ML architectures: theorem-grade constraints on what machine learning systems can and cannot achieve, derived from the NEMS framework.
- Explanatory Essays → — Accessible essays on the ideas behind the formal research: essays across multiple series, from the nature of self-reference to the hard problem of consciousness.
Full Research Abstracts
Complete abstracts for all papers in the Reflexive Reality program — NEMS, UGP Physics, Infinity Compression, Novelty Theory, Cognitive Computing, and Foundational Monographs. Each entry links to the Zenodo record (PDF + DOI).
Project Status
Project status
- Program: Active — formalization and archival publication are ongoing.
- Archived works (Zenodo): 233 citable records in this family.
- Reflexive Reality / NEMS family: 132 records — the 93-paper NEMS core suite (papers 00–92), 4 companion notes, 7 Infinity Compression papers, 19 Lean software archives (§B4–B5), 2 cognitive computing papers (§E), Novelty Theory, 2 foundational monographs, and 4 program resources (dataset, corpus, PDF archive, hub).
- UGP Physics program: 94 citable records — 59 papers (P00–P55 including the MFRR foundational monograph P13 and three P13 companion papers, the Complete GTE Framework capstone monograph P48, the GTE Polynomial Algebraic Structure paper P49, the Spin-7 lattice paper P50, the Polynomial Certificate of Transputation P51, the PSL(2,7) Algebraic Structure paper P52, the GTE Comparative Assessment P53, the consciousness synthesis essay P54, and the Octonionic Shadow of GF(7) P55), 4 Lean repo archives (ugp-lean, ugp-physics-lean, rule110-lean, srrg-lean), corpus tarball, hub, papers bundle, Falsifiable Predictions Registry v1, and 26 Tutorial Series documents.
- Public Lean codebases (GitHub): 23 repositories covering the NEMS spine, UGP Physics application layer, and adjacent formal programs.
- Lean source (project files only): 180,209 lines of
.leanoutside toolchains/Mathlib trees; 7,631 provedtheorem/lemmadeclarations (7,631 including common visibility modifiers).
Lean footprint last tallied 2026-07-06 on the public repositories counted for this site (see Is This AI-Generated? below). Figures move forward as the program grows.
Lean Repositories
Core Lean 4 formalization archives — all published on Zenodo and browsable on GitHub. Full repo list on the sub-programme pages.
| Repository | Coverage | Links |
|---|---|---|
| ugp-lean | UGP Physics primary library: 435 modules, ridge sieve, canonical orbit, Koide theorem, gauge couplings, Braid Atlas. Zero sorry; 98 disclosed named axioms. | Zenodo · GitHub |
| ugp-physics-lean | Index of all theorem-grade results and Lean proof names across the UGP Physics programme. | Zenodo · GitHub |
| nems-lean | NEMS core self-reference library: Papers 01–51 formalized. | Zenodo · GitHub |
| reflexive-closure-lean | Reflexive closure, frontier, and awareness arc: Papers 52–70 formalized. | Zenodo · GitHub |
| rule110-lean | Cook’s Rule 110 universality theorem (P30): infinite-tape semantics, ether stability, cyclic tag system. | Zenodo · GitHub |
Full listings with all 23 repositories on the UGP Physics Programme and NEMS pages.
Is This AI-Generated?
In the era of AI-assisted science it is natural to ask how much AI was involved in this research program, and how it was used. Transparency matters, so here is an honest account.
These proofs were not generated autonomously by AI. The genesis of this project originated in the 1990s, before the advent of modern AI and proof assistants such as Lean. The ideas here are original, human-generated, and human-directed, developed over many decades before AI tools existed.
Where AI was not used: AI did not originate the theoretical ideas, direct the theoretical development, or make the underlying breakthroughs.
Where AI was used: AI was used for development and data analysis, theoretical explorations, adversarially testing ideas, helping with Lean formalization and debugging, assisting in project management, and for documentation and drafting. AI assistance made a project of this scale tractable — the author made earlier attempts at developing and formalizing versions of this theory using Prolog, Scheme, and other languages, but the task was too large and the tools were not designed for it.
Computational tools: Some results made use of scientific computing tools for numerics, simulations, and computational search — including SageMath, PARI/GP, Python, NumPy, SciPy, SymPy, Pandas, scikit-learn, XGBoost, PyTorch, JAX, NetworkX, iGraph, Numba, PostgreSQL, and SAT/constraint solvers. Visualization: Matplotlib, Seaborn.
All scientific results are independently verified. Every claim labeled Category-A in the published papers is formalized in Lean 4, a formal proof assistant that mechanically checks each logical step. The Lean library contains hundreds of modules with zero unverified placeholders and zero custom axioms — the proofs depend only on the standard Mathlib library, which is itself fully machine-checked. Computational results (particle scans, spectrum predictions, numerical validations) are independently reproduced by the author against experimental data from established sources (PDG, NuFIT, Luyssaert et al., and others). The combination of formal proofs and independent computational verification means that every result in this programme can be audited, reproduced, and falsified — the opposite of generated content that is unverifiable.