GIFT: Geometric Information Field Theory

GIFT derives Standard Model parameters from E₈ × E₈ gauge theory compactified on G₂-holonomy manifolds, achieving 0.24% mean deviation across 50+ physical observables with 455+ machine-verified relations and zero free parameters.

Quick Links

GIFT Blueprint v3.4.0 - Dependency graph visualization
Blueprint (web) - Lean blueprint with proofs
Blueprint (pdf) - Downloadable PDF
Dependency Graph - Proof dependencies
API Documentation - Lean code documentation

Key Results

Constant	GIFT Value	Measured	Deviation
sin²θ_W	3/13 ≈ 0.2308	0.2312	0.17%
α_EM⁻¹	137.036…	137.036	<0.001%
n_s	ζ(11)/ζ(5) ≈ 0.965	0.965	0.03%

Repository Structure

gift-framework/core/
├── GIFT/           # Lean 4 formal proofs (460+ relations)
├── GIFTTest/       # Lean test files
├── contrib/        # Python package, blueprint, docs
└── lakefile.lean   # Lake build configuration

Getting Started

# Clone the repository
git clone https://github.com/gift-framework/core.git
cd core

# Build Lean proofs
lake build

# Install Python package
pip install giftpy