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