Site Map
Complete index of all wiki pages.
Start Here
| Page | Description | |——|————-| | Home | Landing page with key results and quick links | | Getting Started | Choose your reading path by background | | K₇ for Everyone | Complete guide using everyday analogies (no math required) | | FAQ | Frequently asked questions organized by topic | | Glossary | Technical terms, notation, and acronyms |
Audience Guides
| Page | Description | |——|————-| | For Physicists | E₈×E₈ architecture, K₇ compactification, predictions | | For Geometers | Computational pipeline: TCS, PINNs, spectral methods | | For Formalization Experts | Lean 4 formalization: architecture, methodology, access |
Papers
| Page | Description | |——|————-| | Paper Main Framework | Main paper: 95 observables (33 Type I, 0.99% mean dev) + 19 Type II + 21 Type III + 22 Type IV | | Paper S1 Foundations | S1: E₈, G₂, K₇ mathematical foundations | | Paper S2 Derivations | S2: Complete derivations for all 33 observables | | Paper Explicit G2 Metric | 169-parameter Chebyshev-Cholesky G₂ metric | | Paper Spectral Geometry | KK spectrum, Betti numbers, mass hierarchy |
Reference Data
| Page | Description | |——|————-| | Observable Reference | 95 observables: formulas, values, deviations (Type I/II/III/IV) | | Statistical Evidence | 7-component validation, 3M+ exhaustive search | | Validation Summary | Sector-by-sector results with NuFIT 6.1 | | Independent Validations | External research converging with K₇ |
Blog Posts
Twenty-nine posts, in three tracks. English originals are on arithmon.substack.com; French translations are hosted in this wiki. The single maintained list, with dates and both languages per row, is the Blog Index.
| Track | What it is | Posts |
|---|---|---|
| The Series | Physics through the games you have already played, Episode 0 to Episode 10 | 11 |
| The Ideas | Why the constants of nature might not be arbitrary: the hypothesis, its metaphors, the proofs | 14 |
| The Story | An independent researcher, an AI, and a year of unorthodox research | 4 |
Project
| Page | Description | |——|————-| | Lean Formalization | 146 files, 14 axioms (4 main-chain + 10 interval-arithmetic), 213 conjuncts, blueprint | | Repository Structure | Directory layout and navigation | | External Resources | Links to all external resources | | Citation Guide | How to cite K₇ (BibTeX, APA, DOIs) | | Changelog Highlights | Recent version history |
Total pages: 32