Registry · Definition IV.D315 tau-effective formalized

IV.D315 — Holonomy Correction Data --- IV.D45

The holonomy correction data (pi^3, alpha^2, iota_tau^{-2}) combines the triple holonomy factor from three U(1) circles, the leading charge-conjugation-allowed EM coupling (second-order boundary holonomy), and the universal capacity factor from B|_L, assembling the Level 1+ formula R_1 = iota_tau^{-7} - (sqrt(3)+pi^3*alpha^2)*iota_tau^{-2}.

Book IV Part 3 Ch. 24

Lean Formalization

Module: TauLib.BookIV.MassDerivation.HolonomyDetail

Symbol: Tau.BookIV.MassDerivation.HolonomyCorrectionDataIvd45