-
Notifications
You must be signed in to change notification settings - Fork 0
Site Map
Brieuc de La Fournière edited this page Mar 12, 2026
·
3 revisions
Complete index of all wiki pages.
| Page | Description |
|---|---|
| Home | Landing page with key results and quick links |
| Getting Started | Choose your reading path by background |
| GIFT for Everyone | Complete guide using everyday analogies (no math required) |
| FAQ | Frequently asked questions organized by topic |
| Glossary | Technical terms, notation, and acronyms |
| Page | Description |
|---|---|
| For Physicists | ×ばつE8 architecture, K7 compactification, predictions |
| For Geometers | Computational pipeline: TCS, PINNs, spectral methods |
| For Formalization Experts | Lean 4 formalization: architecture, methodology, access |
| Page | Description |
|---|---|
| Paper Main Framework | Main paper: 33 predictions, 0.24% mean deviation |
| Paper S1 Foundations | S1: E8, G2, K7 mathematical foundations |
| Paper S2 Derivations | S2: Complete derivations for all 33 observables |
| Paper Explicit G2 Metric | 169-parameter Chebyshev-Cholesky G2 metric |
| Paper Spectral Geometry | KK spectrum, Betti numbers, mass hierarchy |
| Page | Description |
|---|---|
| Observable Reference | 89 observables: formulas, values, deviations |
| Statistical Evidence | 7-component validation, 3M+ exhaustive search |
| Validation Summary | Sector-by-sector results with NuFIT 6.0 |
| Independent Validations | External research converging with GIFT |
| Page | Description |
|---|---|
| Blog Roberto Carlos Geometry | The geometry of impossible curves |
| Blog Lice of the Universe | Why the universe's constants aren't arbitrary |
| Blog The Algebra That Waited | E8 and the algebra behind physics |
| Blog Gift from Bit | Information-theoretic foundations |
| Blog On What Comes First | Geometry before physics |
| Blog Joyce Theorem in Lean | Formalizing G2 existence in Lean 4 |
| Blog 13 Theorems Zero Trust | Trust nothing, verify everything |
| Page | Description |
|---|---|
| Lean Formalization | 126 files, 38 axioms, 127 conjuncts, blueprint |
| Repository Structure | Directory layout and navigation |
| External Resources | Links to all external resources |
| Citation Guide | How to cite GIFT (BibTeX, APA, DOIs) |
| Changelog Highlights | Recent version history |
Total pages: 32
Start Here
By Audience
Papers
Reference
Blog Posts
- Roberto Carlos' Geometry
- Lice of the Universe
- The Algebra That Waited
- Gift from Bit
- On What Comes First
- Joyce's Theorem in Lean
- 13 Theorems, Zero Trust
Project