Registry · Remark V.R178 tau-effective formalized

V.R178 — The mass gap

The lower mass gap between M_Ch ~ 1.4 M_sun and ~2.5 M_sun is not structural in the tau-framework: the transition from neutron star to black hole is smooth in EOS parameter space, consistent with LIGO-Virgo observations (GW190814) of objects in this range.

Book V Part 5 Ch. 38

Lean Formalization

Module: TauLib.BookV.Astrophysics.CompactObjects

Symbol: Tau.BookV.Astrophysics.TheMassGap