Registry · Remark V.R129 tau-effective formalized

V.R129 — Why alpha and not iota_tau^2

Why alpha and not iota_tau^2: the B-sector self-coupling kappa(B;2) = iota_tau^2 approx 0.1166 is the tau-native sector strength, while alpha approx 1/137 is its E1 readout after holonomy correction alpha approx (8/15) iota_tau^4. Macroscopic measurements see alpha because the readout functor includes the holonomy factor.

Book V Part 3 Ch. 24

Lean Formalization

Module: TauLib.BookV.Thermodynamics.HeatEM

Symbol: Tau.BookV.Thermodynamics.WhyAlphaAndNotIotatau2