Registry · Theorem V.T43 tau-effective formalized

V.T43 — Neutron node EW stability

In the carrier Star_n(C) with baryon count above the Chandrasekhar threshold, every interior neutron node is EW-stable. The stability is controlled by the weak-sector coupling kappa(A;1) = iota_tau: beta decay costs more energy than it releases when node density exceeds a critical value.

Book V Part 2 Ch. 17

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.GravityField.TOVStarBuilder

Symbol: Tau.BookV.GravityField.NeutronNodeEwStability