Registry · Remark V.R94 tau-effective formalized

V.R94 — No ``tension maximum''

There is no upper bound on the tension within ball-topology configurations. The orthodox maximum mass (Oppenheimer-Volkoff limit) corresponds to the coherence horizon M_n* where the tension hits the structural threshold Lambda_tau.

Book V Part 2 Ch. 18

Lean Formalization

Module: TauLib.BookV.GravityField.TOVPhaseBoundary

Symbol: Tau.BookV.GravityField.NoTensionMaximum