Registry · Remark
IV.R285
tau-effective
formalized
IV.R285 — Honest deviations
The electron mass deviation (0.025 ppm) comes from the Level 1+ formula with zero free parameters. The W, Z, and Higgs deviations require the readout functor R_mu to translate boundary-fixed couplings to scale-dependent experimental values. All deviations are stated to full precision.