Registry · Remark IV.R116 tau-effective formalized

IV.R116 — Why 0.0009% and not exact

The experimental deviation Q_exp - 2/3 = -6e-6 is of order alpha^2 ~ 5e-5, consistent with radiative correction from EM vacuum polarization (the same mechanism producing the pi^3 alpha^2 correction in the R formula); the Koide relation is exact at tree level within Category tau.

Book IV Part 6 Ch. 46

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.Why00009AndNotExact