Registry · Remark IV.R38 tau-effective formalized

IV.R38 — Precision Gap Lesson

Precision gap between 0.025 ppm (spectral geometry) and ~3% (EW quantities) diagnoses the bottleneck: predictions needing only τ³ spectral geometry achieve extraordinary precision; those requiring τ-to-orthodox bridge achieve percent-level.

Book IV Part 4 Ch. 35

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.EWSynthesis

Symbol: Tau.BookIV.Electroweak.PrecisionGapLesson