Registry · Remark V.R99 tau-effective formalized

V.R99 — Observational tests

The maximum neutron star mass is an active area of observational research. NICER and gravitational-wave observations (GW170817, GW190425) constrain M_max to 2.0-2.5 M_sun. The tau-prediction for the coherence horizon is testable against this range.

Book V Part 2 Ch. 18

Lean Formalization

Module: TauLib.BookV.GravityField.TOVPhaseBoundary

Symbol: Tau.BookV.GravityField.ObservationalTests