A theoretical physics framework that derives Standard Model constants from the topology of an E8xE8 compactification on a G2-holonomy 7-manifold.
33 dimensionless predictions from fixed topological structure. No free parameters.
| Repository | Description |
|---|---|
| core | Lean 4 formalization - 146 files, 455+ certified relations, 0 incomplete proofs. Also hosts giftpy (PyPI). |
| GIFT | Publications, documentation, and statistical validation code for the framework (v3.3). |
| giftheory.substack.com | Essays on topology, physics, and the research process |
| @GIFTheory | Automated facts from the framework, twice a week |
-
GIFT v3.3 -- Framework for Standard Model Unification Through E8xE8 Dimensional Reduction DOI: 10.5281/zenodo.18837071
-
Explicit G2 Metric -- Explicit G2 Holonomy Metric on a Compact TCS 7-Manifold DOI: 10.5281/zenodo.18860358
The framework proposes that the 19+ free parameters of the Standard Model may be derivable from topological invariants of a compact 7-manifold K7 with G2 holonomy (b2 = 21, b3 = 77) and gauge group E8xE8 (dim = 496).
- 33 dimensionless observables derived from topology, 0.24% mean deviation from experiment (PDG 2024 / NuFIT 6.0)
- Exhaustive search over 3,070,396 topological configurations confirms statistical significance
- 169-parameter analytical G2 metric on the full TCS manifold, certified via Newton-Kantorovich (h = 6.65e-8)
- Lean 4 formalization with modular certificate: Foundations (26), Predictions (48), Spectral (27) conjuncts
- Heyes, Hirst, Sa Earp, Silva -- Neural G2 metrics (arXiv: 2602.12438), Imperial College London / UNICAMP
- Mamun -- The Void Paradox: Towards a Universal Coordinate System for Information Reality (2026), University of Oxford
- Blueprint -- Lean formalization dependency graph
- giftpy on PyPI --
pip install gift-core - Zenodo -- Canonical publications
GIFT FROM BIT