A complete mathematical proof architecture beginning from four axioms (A1–A4) on Wheeler superspace. The proof graph derives — non-parametric, from first principles — implications across galactic kinematics, cosmology, horizon physics, emergence of classicality, particle physics, information theoretics, and foundational physics and mathematics. Includes a ZFC proof of the Yang–Mills mass gap (56-entity closure, zero physics axioms) and the Poincaré Conjecture via superspace diffusion.
Every experiment executes the canonical Python codebase in-browser via Pyodide. Observational probes process real datasets — no synthetic data. Dual verification by SymPy (algebraic, 1438 scripts) and Lean Lite (structural, 100%).
Axioms
A1 Configuration space: Riem(Σ)/Diff(Σ) with DeWitt supermetric
A2 Stochastic evolution: dg = D[g]dτ + ℓPdW with σ = ℓP
A3 Classical correspondence: emergent Lorentzian geometry satisfies EFE
A4 Single realisation: epistemic probability, not ontological multiplicity
96 In-Browser Experiments across Eight Domains
I · Sigma-Continuum · 8 experiments tracing σ from classical mechanics to QED
II · Galactic Kinematics · 6 probes across 20 observational datasets (284 entities)
III · Cosmology · 12 experiments: BAO, SNe Ia, CMB, cosmic web, perturbations (243 entities)
IV · Horizon Physics · Hawking temperature, Bekenstein–Hawking entropy, Page curve (54 entities)
V · Classicality · Decoherence, Born rule, Bell–CHSH, spin-statistics, Zeno (102 entities)
VI · Particle Physics · SM parameters from 4 axioms: Koide, strong CP, Z₃ (306 entities)
VII · Information Theoretics · Five meta-theorems, axiom reduction, Lorentzian signature (298 entities)
VIII · Foundational · ZFC mass gap, Poincaré, Navier–Stokes (159 entities)
Garcia, Perea Durán, Venezia & Conradie (2026). arXiv:2603.20423
© University College London (2026). All rights reserved.