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.

Book IV Part 2 Ch. 15

Lean Formalization

Module: TauLib.BookIV.Calibration.ConstantsLedgerExt

Symbol: Tau.BookIV.Calibration.HonestDeviations