Registry · Remark IV.R40 tau-effective formalized

IV.R40 — Honesty About Precision

Does not claim arbitrary precision today: m_e at 0.025 ppm, EW at 0.1–3%, quarks at 5–10%. Claims zero adjustable dimensionless parameters: improving precision extends perturbation series, not fitting new parameters. Structural claim, not numerical.

Book IV Part 4 Ch. 35

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.EWSynthesis

Symbol: Tau.BookIV.Electroweak.HonestyAboutPrecision