Registry · Remark V.R92 tau-effective formalized

V.R92 — No free parameter

The Chandrasekhar mass is not a free parameter but is determined by sector couplings from iota_tau. The only external input is the neutron mass m_n (calibration anchor). Both m_e = m_n/R and G = (c^3/hbar) iota_tau^2 are derived, making M_Ch a prediction.

Book V Part 2 Ch. 17

Lean Formalization

Module: TauLib.BookV.GravityField.TOVStarBuilder

Symbol: Tau.BookV.GravityField.NoFreeParameter