Registry · Remark IV.R114 tau-effective formalized

IV.R114 — Non-integer exponents are physical

Generation exponents are not exact integers: bare topological values (5 for muon, 15/2 for tau lepton) are shifted by electromagnetic radiative corrections of order alpha ~ 1/137, following the same pattern as the neutron mass ratio where the bare exponent 7 receives an O(alpha^2) holonomy correction.

Book IV Part 6 Ch. 46

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.NonintegerExponentsArePhysical