-
Notifications
You must be signed in to change notification settings - Fork 0
Home
Brieuc edited this page Mar 12, 2026
·
4 revisions
A zero-parameter framework deriving Standard Model constants from G2 holonomy geometry.
| Property | Value |
|---|---|
| Predictions | 89 observables (33 dimensionless + 56 structural/cosmological) |
| Mean deviation | 0.24% across 32 well-measured observables (PDG 2024 / NuFIT 6.0) |
| Free parameters | 0 |
| Lean 4 verification | 126 files, 2636 build jobs, 0 sorry, 38 axioms |
| Statistical significance | p < ×ばつ10−5 (σ > 4.2), unique among 3M+ configurations |
| Monte Carlo null model | P(algebraic) = 10−133 over 4.2M formulas |
| New here? | Getting Started — Pick your path |
| Read papers | Paper:-Main-Framework — Paper:-Explicit-G2-Metric — Paper:-Spectral-Geometry |
| Browse predictions | Observable Reference — 89 observables with formulas |
| Check proofs | Lean Formalization — 127-conjunct certificate |
| Observable | GIFT Formula | Value | Exp. | Dev. |
|---|---|---|---|---|
| sin2θ_W | b2/(b3+dim(G2)) = 21/91 | 3/13 | 0.2312 | 0.19% |
| N_gen | rank(E8) − Weyl | 3 | 3 | exact |
| Q_Koide | dim(G2)/b2 = 14/21 | 2/3 | 0.6667 | 0.001% |
| α_s(M_Z) | √2/(dim(G2)−p2) | √2/12 | 0.1179 | 0.04% |
| δ_CP | dim(K7)×ばつdim(G2)+H* | 197° | 177°±20° | 1.0σ |
| m_τ/m_e | ×ばつ99 | 3477 | 3477.2 | 0.004% |
| Ω_DE | ln(2)×ばつ98/99 | 0.686 | 0.685 | 0.21% |
All predictions derive from topological constants of a compact G2 manifold K7 with Betti numbers b2 = 21, b3 = 77, coupled to ×ばつE8 gauge structure (dim = 496):
sin2θ_W = b2 / (b3 + dim(G2)) = 21/91 = 3/13
Q_Koide = dim(G2) / b2 = 14/21 = 2/3
N_gen = |PSL(2,7)| / fund(E7) = 168/56 = 3
κ_T = 1/(b3 − dim(G2) − p2) = 1/61
α = e^K (geometric coupling, zero free params)
| Prediction | Experiment | Timeline | Status |
|---|---|---|---|
| δ_CP = 197° ± 5° | DUNE | 2028–2039 | Awaiting |
| sin2θ_W = 3/13 | FCC-ee | 2040s | Awaiting |
| N_gen = 3 (no 4th gen) | LHC/FCC | Ongoing | Consistent |
| m_s/m_d = 20 | Lattice QCD | ~2030 | Consistent |
This wiki consolidates GIFT documentation across three repositories:
- gift-framework/GIFT — Theoretical documentation, papers, outreach
- gift-framework/core — Lean 4 proofs, Python package, blueprint
- Zenodo deposits — Archived data with DOIs
Browse the sidebar for full navigation, or see the Site Map for a complete index.
GIFT Framework v3.3 | GitHub | Core | Blueprint | Zenodo | MIT License
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