Registry · Theorem IV.T118 tau-effective formalized

IV.T118 — Bulk Overshoots --- IV.T13

The bulk term iota_tau^{-7} ~ 1853.567 strictly overshoots R_CODATA = 1838.683662 by approximately 14.88, a relative overshoot of 0.81%; this excess is precisely accounted for by the surface and holonomy corrections in the Level 0 and Level 1+ formulas.

Book IV Part 3 Ch. 25

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.MassDerivation.ElectronMass

Symbol: Tau.BookIV.MassDerivation.BulkOvershootsIvt13