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
English posts are hosted on Substack (arithmon.substack.com). French translations live in this wiki (see Site Map FR).
| Post | Description |
|---|---|
| Episode 6: The day Stardew taught you why time moves in one direction | Stardew, the arrow of time and entropy |
| Episode 5: The day Skyrim wasn’t breathing without you | Skyrim, a world waiting for an observer |
| The Singing Glass | When a Burgundy wine glass explains the hidden dimensions of the universe |
| Episode 4: The day Minecraft taught you to draw a sphere that wasn’t one | Minecraft, discretization and the eternal problem of the continuum |
| The Furrow | One year of unorthodox research: what changed, what didn’t, and what I still don’t know |
| Episode 3: The day the blue shell knew where you were | Mario Kart, non-locality and correlations at a distance |
| No Word for This | Three names that don’t work, and an open question about the role in human-AI collaboration |
| We’ve Released Our Draft Blueprint | Announcing K₇ v3.4 in plain language |
| Episode 2: The day Tetris taught you that order is everything | Tetris and productive non-commutativity |
| Episode 1: The day Newton lost control | Fall Guys and the myth of predictable physics |
| Episode 0: The day Pudge taught you quantum mechanics | Gaming as a school of quantum intuition (series opener) |
| Orientation, not ontology | The philosophical posture behind K₇ |
| What if the universe was a Lego set? | Counting pieces, recognizing themes, reading the manual |
| “The author’s name appears to be fabricated” | Learning physics with AI: the accidental origin of K₇ |
| The Geometry of the Impossible | What Roberto Carlos knew (without knowing it) |
| The Lice of the Universe | Why the universe’s constants aren’t arbitrary |
| The Algebra That Waited | E₈ and the algebra behind physics |
| 13 Theorems, Zero Trust Required | Trust nothing, verify everything |
| On What Comes First | Geometry before physics |
| Joyce’s Theorem, Now in Lean | Formalizing G₂ existence in Lean 4 |
| Gift from Bit | Information-theoretic foundations |
Project
| Page | Description | |——|————-| | Lean Formalization | 143 files, 15 axioms, 140 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