Registry · Remark IV.R370 tau-effective formalized

IV.R370 — The iota_tau^2 cancellation

The master constant iota_tau enters the holonomy as iota_tau^2 and the phase quantum normalization as iota_tau^{-2}; these cancel in the ratio, leaving alpha expressed entirely in terms of relational units and pi -- a structural cancellation, not accidental.

Book IV Part 4 Ch. 29

Lean Formalization

Module: TauLib.BookIV.Electroweak.AlphaDerivation

Symbol: Tau.BookIV.Electroweak.TheIotatau2Cancellation