Registry · Theorem VI.T04 tau-effective planned

VI.T04 — Layer Separation Lemma

SelfDesc is not available at E₁; carriers exist satisfying τ-Distinction but failing SelfDesc. E₂ is genuinely non-reducible to E₁. Life is a new ontological layer.

Book VI Part 1 Ch. 6

Dependency Graph

Depends on (3)

VI.D04 VI.D08 VI.L02

Depended on by (2)

VI.P09 VI.T40

Lean Formalization

Module: TauLib.BookVI.LifeCore.LayerSep

Symbol: Tau.BookVI.LayerSep.LayerSeparationLemma