Mathematical Verification
Machine-verified proofs with live CI status
Live Verification
Claims Verified
Tools Available
Overview
RFT 15.5 demonstrates through exhaustive computer algebra that the embedding Eโ โ Eโ ร SU(3) is the unique way to achieve three-generation phenomenology in 4D spacetime. This page provides machine-verified proofs and downloadable evidence.
All calculations are reproducible via Docker containers and run automatically in our CI/CD pipeline, ensuring mathematical rigor and transparency.
๐ง Verification Tools
GAP Subgroup Scanner
Exhaustive Eโ โ EโรSU(3) uniqueness verification
Index Theorem Calculator
Hirzebruch-Riemann-Roch ฯ = -3 verification
Bundle Decomposer
SU(4) โ SM group breaking analysis
โ
Latest Verification Results
Real-time mathematical proof status
โผ
โ Latest Verification Results
Real-time mathematical proof status
Eโ Uniqueness
1/453,060 embeddings valid
Three Families
Index theorem verified
SU(4) Breaking
Generators preserved
๐ Continuous Integration
All calculations run automatically on every code change. GAP scans complete in ~5min, Sage calculations in ~2min.
๐ Supporting Papers
Traditional academic papers (optional reading)
โผ
๐ Supporting Papers
Traditional academic papers (optional reading)
Note: Papers provide traditional academic context. For hands-on verification, use the computational tools above.