Registry · Definition IV.D106 tau-effective formalized

IV.D106 — Holonomy Correction Factor

The holonomy correction factor R(iota_tau) = alpha_em/alpha_spec = (15/8)*alpha_em/iota_tau^4 ~ 1.006 encodes the 0.6% refinement from fiber curvature and base-fiber coupling.

Book IV Part 4 Ch. 29

Dependency Graph

Depends on (2)

IV.T63 IV.T64

Lean Formalization

Module: TauLib.BookIV.Electroweak.AlphaDerivation

Symbol: Tau.BookIV.Electroweak.HolonomyCorrectionFactor