Registry · Remark V.R110 tau-effective formalized

V.R110 — The 7times amplification in R

The mass ratio formula R ~ iota_tau^(-7) amplifies errors in iota_tau by a factor of 7, while the closing identity amplifies by 72. Hence m_e prediction (0.025 ppm) is ten times more precise than G prediction (3 ppm), a structural feature of the framework.

Book V Part 2 Ch. 20

Lean Formalization

Module: TauLib.BookV.GravityField.ClosingIdentity

Symbol: Tau.BookV.GravityField.The7timesAmplificationInR