Registry · Lemma VI.L06 tau-effective planned

VI.L06 — NS-NoSelfDesc

Neutron star near TOV passes all 5 distinction conditions but oscillatory instability prevents evaluator convergence. Not alive but close — the phase boundary.

Book VI Part 1 Ch. 10

Dependency Graph

Depends on (1)

VI.D21

Depended on by (1)

VI.P05

Lean Formalization

Module: TauLib.BookVI.Sectors.Absence

Symbol: Tau.BookVI.Absence.Nsnoselfdesc