Registry · Remark V.R70 tau-effective formalized

V.R70 — No fitting

The precession formula contains no free parameters: G is derived from iota_tau, M_sun is measured, and orbital parameters a, e are measured. The prediction 43.0 arcsec/century matches observation within measurement uncertainty.

Book V Part 2 Ch. 14

Lean Formalization

Module: TauLib.BookV.GravityField.LinearEinstein

Symbol: Tau.BookV.GravityField.NoFitting