Registry · Definition V.D73 tau-effective formalized

V.D73 — EW-stable node

A neutron node Node(n,j) is EW-stable if every weak-sector perturbation delta_A * chi_A at that node increases the total GR tension functional: T[chi + delta_A * chi_A] > T[chi] for all delta_A != 0. Converting a neutron to a proton costs energy.

Book V Part 2 Ch. 17

Lean Formalization

Module: TauLib.BookV.GravityField.TOVStarBuilder

Symbol: Tau.BookV.GravityField.EwstableNode