K₇ (formerly GIFT), the founding framework of the Arithmon program. Standard Model parameters as topological invariants of a G₂ manifold. Zero free parameters, formally verified, falsifiable.
scientific-computing cosmology lean particle-physics theoretical-physics standard-model quantum-field-theory dark-energy mathematical-physics e8 cp-violation neutrino-physics gauge-theory physics-framework dimensional-reduction lean4 lie-algebras topological-physics g2-holonomy
-
Updated
Sep 7, 2026 - TeX