Registry · Theorem
IV.T110
tau-effective
formalized
IV.T110 — Level~1+ mass ratio formula
The Level 1+ mass ratio formula is R = iota_tau^(-7) - (sqrt(3) + pi^3*alpha^2)*iota_tau^(-2) approx 1838.6837. The holonomy correction pi^3*alpha^2 approx 0.0017 arises from three independent U(1) circles in tau^3, improving accuracy from 7.7 ppm to 0.025 ppm.