Registry · Definition V.D72 tau-effective formalized

V.D72 — Node density and confinement tension

The node density nu(n) counts occupied neutron nodes at orbit depth n. The confinement tension T_C(n) measures the strong-sector contribution to the GR tension functional from the carrier's strong-sector component chi_C|_n at that depth.

Book V Part 2 Ch. 17

Dependency Graph

Depends on (1)

Depended on by (4)

Lean Formalization

Module: TauLib.BookV.GravityField.TOVStarBuilder

Symbol: Tau.BookV.GravityField.NodeDensityAndConfinementTension