Registry · Remark IV.R124 tau-effective formalized

IV.R124 — A testable prediction

The Rydberg constant is one of the most precisely measured quantities (uncertainty 1.1e-12), and the tau-prediction matches to 0.026 ppm (seven significant figures), limited by the 0.025 ppm residual in m_e; improvement requires either a Level 2 correction to the mass ratio or a more precise neutron mass measurement.

Book IV Part 6 Ch. 47

Lean Formalization

Module: TauLib.BookIV.Particles.BetaDecay

Symbol: Tau.BookIV.Particles.ATestablePrediction