1
Overview
2
Haar Measure Foundation
▶
2.1
Self-Duality on Compact Groups
3
Functional Equation
▶
3.1
Completed Riemann Zeta Function
4
Shadow Symmetry = Time Reversal
▶
4.1
The Three-Step Proof
5
Riemann Hypothesis (Pathway 2)
▶
5.1
Two-Zeros Argument
5.2
Spectral Multiplicity
6
thm:link6 Formalized
7
Celestial Holography
▶
7.1
Shadow Discontinuity = Loop Integrand
8
Adèlic \(L^2\) Regularization
9
Spectral Weil Formula
10
Cesàro Regularization and the Weil Positivity Criterion
11
L
2
Constraint
▶
11.1
\(L^2(K^1)\) Forces \(\mathrm{Re}(s) = \tfrac {1}{2}\)
12
Standard Model — Three Generations
▶
12.1
Division Algebra Tower
13
Standard Model — Dark Matter Abundance
14
Quantum Gravity — Born Rule from Haar
15
General Relativity — Rigidity
16
Axiom Inventory
▶
16.1
Mathematical Axioms
16.2
Physics Axioms (New — Celestial Holography)
16.3
Infrastructure Axioms (new files)
16.4
Infrastructure Sorries (non-mathematical gaps)
Dependency graph
1
Overview
2
Haar Measure Foundation
2.1
Self-Duality on Compact Groups
3
Functional Equation
3.1
Completed Riemann Zeta Function
4
Shadow Symmetry = Time Reversal
4.1
The Three-Step Proof
5
Riemann Hypothesis (Pathway 2)
5.1
Two-Zeros Argument
5.2
Spectral Multiplicity
6
thm:link6 Formalized
7
Celestial Holography
7.1
Shadow Discontinuity = Loop Integrand
8
Adèlic \(L^2\) Regularization
9
Spectral Weil Formula
10
Cesàro Regularization and the Weil Positivity Criterion
11
L
2
Constraint
11.1
\(L^2(K^1)\) Forces \(\mathrm{Re}(s) = \tfrac {1}{2}\)
12
Standard Model — Three Generations
12.1
Division Algebra Tower
13
Standard Model — Dark Matter Abundance
14
Quantum Gravity — Born Rule from Haar
15
General Relativity — Rigidity
16
Axiom Inventory
16.1
Mathematical Axioms
16.2
Physics Axioms (New — Celestial Holography)
16.3
Infrastructure Axioms (new files)
16.4
Infrastructure Sorries (non-mathematical gaps)