Choose the path that fits you best:

Start with GIFT for Everyone — a complete guide using everyday analogies. Then check the FAQ for common questions.

Read For Physicists for a concise technical overview: ×ばつE8 architecture, K7 compactification, and the 33 predictions. Then dive into the Main Paper .

Read For Geometers for the computational pipeline: TCS construction, PINN metrics, spectral extraction, and Lean 4 bridges. The Explicit G2 Metric paper is your entry point.

Read For Formalization Experts for the Lean 4 architecture: 126 files, 38 axioms, 127-conjunct certificate, zero sorry. See Lean Formalization for the full picture.

Go straight to Observable Reference (89 observables) and Statistical Evidence (7-component validation, 3M+ exhaustive search).

See Citation Guide for BibTeX, APA, and DOI information.

1. GIFT for Everyone or For Physicists (depending on background)
2. Main Framework Paper — the complete theory
3. Observable Reference — all predictions in one table
4. Statistical Evidence — why the numbers matter
5. Lean Formalization — machine-checked proofs

• GitHub: GIFT documentation
• GitHub: Core (Lean 4 + Python)
• Lean Blueprint
• Substack blog