Registry · Proposition V.P20 tau-effective formalized

V.P20 — TOV balance as tension equilibrium

The TOV balance for the neutron-star carrier Star_n(C) is: kappa_tau * nu(n) * m_n (gravitational pull) = T_C(n) + T_A(n) (pressure support from strong-sector confinement tension plus weak-sector degeneracy). This is the orbit-depth-wise tau-Einstein identity.

Book V Part 2 Ch. 17

Dependency Graph

Depends on (2)

Depended on by (6)

Lean Formalization

Module: TauLib.BookV.GravityField.TOVStarBuilder

Symbol: Tau.BookV.GravityField.TovBalanceAsTensionEquilibrium