Registry · Remark
IV.R276
tau-effective
formalized
IV.R276 — R~formula independence
The mass ratio formula R = iota_tau^(-7) - (sqrt(3) + pi^3*alpha^2)*iota_tau^(-2) does not depend on kappa_n. The electron mass derivation (0.025 ppm) is entirely insulated from uncertainty in the co-rotor coupling; the closing identity is a consistency check, not a dependency.
Book IV
Part 2
Ch. 13