Registry · Definition V.D71 tau-effective formalized

V.D71 — Neutron node

A neutron node at orbit depth n is a local minimum of the strong-sector confinement functional kappa(C;3) = iota_tau^3/(1-iota_tau) applied to the fiber component of the equilibrium carrier Star_n(C). Each neutron occupies a specific orbit depth and fiber address.

Book V Part 2 Ch. 17

Dependency Graph

Depended on by (7)

Lean Formalization

Module: TauLib.BookV.GravityField.TOVStarBuilder

Symbol: Tau.BookV.GravityField.NeutronNode