-
Notifications
You must be signed in to change notification settings - Fork 0
Site Map
Brieuc 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 | E₈×E₈ architecture, K₇ 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: 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 |
| 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 | E₈ 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 G₂ 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