Registry · Remark IV.R389 tau-effective formalized

IV.R389 — Scale Consistency

Tree value ι(1−ι) at μ*≈4.8 GeV. NLO (5/7)·ι³ captures 99.7% of SM 1-loop running to M_Z. 86 ppm residual from higher-loop/threshold effects.

Book IV Part 4 Ch. 35

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeinbergNLO

Symbol: remark_scale_consistency