Registry · Definition IV.D318 tau-effective formalized

IV.D318 — Level 1+ Formula --- IV.D48

The Level 1+ mass ratio R = iota_tau^{-7} - (sqrt(3) + pi^3*alpha^2)*iota_tau^{-2} with iota_tau = 2/(pi+e) and alpha = (8/15)*iota_tau^4 achieves 0.025 ppm agreement with CODATA; all ingredients are determined by categorical axioms K_0-K_6 and the constants pi, e, with zero free parameters.

Book IV Part 3 Ch. 25

Lean Formalization

Module: TauLib.BookIV.MassDerivation.ElectronMass

Symbol: Tau.BookIV.MassDerivation.Level1FormulaIvd48