Registry · Lemma VI.L02 tau-effective planned

VI.L02 — NS-TOV Counterexample

Neutron star near TOV limit satisfies all 5 distinction conditions but fails SelfDesc due to oscillatory boundary instability. Constructive witness for Layer Separation.

Book VI Part 1 Ch. 6

Dependency Graph

Depends on (1)

VI.D04

Depended on by (2)

VI.P03 VI.T04

Lean Formalization

Module: TauLib.BookVI.LifeCore.LayerSep

Symbol: Tau.BookVI.LayerSep.NstovCounterexample