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.

Book IV Part 2 Ch. 12

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Calibration.CalibrationAnchorExt

Symbol: Tau.BookIV.Calibration.Level1MassRatioFormula