Registry · Remark V.R93 tau-effective formalized

V.R93 — The TOV maximum mass

Above M_Ch, strong-sector support maintains equilibrium up to the TOV maximum mass M_TOV approximately 2.0-2.3 M_sun (maximum neutron star mass before collapse to black hole). The star builder Star_n(C) predicts M_TOV through the baryon count at which strong-sector tension saturates.

Book V Part 2 Ch. 17

Lean Formalization

Module: TauLib.BookV.GravityField.TOVStarBuilder

Symbol: Tau.BookV.GravityField.TheTovMaximumMass