Registry · Corollary V.C04 tau-effective formalized

V.C04 — TOV Limit

The coherence horizon M_n* is well-defined, finite, and positive, serving as the tau-native analogue of the Oppenheimer-Volkoff limit. Every TOV configuration with M_n > M_n* must have torus topology, by tension monotonicity and the structural threshold.

Book V Part 2 Ch. 18

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookV.GravityField.TOVPhaseBoundary

Symbol: Tau.BookV.GravityField.TovLimit