Registry · Definition IV.D288 tau-effective formalized

IV.D288 — Holonomy Correction Factor

The holonomy correction factor R(iota_tau) = alpha_em / alpha_spec = (15/8)*alpha_em / iota_tau^4 approx 1.006 measures the 0.6% refinement between the spectral leading-order formula and the exact holonomy formula, encoding arena-level geometric corrections.

Book IV Part 2 Ch. 11

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionlessAlpha

Symbol: Tau.BookIV.Calibration.HolonomyCorrectionFactor