Registry · Theorem VI.T07 tau-effective planned

VI.T07 — Generator Adequacy at E₂

Loop_L = S_α ⊔ S_π ⊔ S_{γ} ⊔ S_{η} ⊔ S_{(γ,η)}; five sectors cover all Life loops disjointly. No Life form outside these five.

Book VI Part 1 Ch. 8

Dependency Graph

Depends on (6)

VI.D15 VI.D16 VI.D17 VI.D18 VI.D19 VI.L05

Depended on by (1)

VI.T40

Lean Formalization

Module: TauLib.BookVI.Sectors.FourPlusOne

Symbol: Tau.BookVI.FourPlusOne.GeneratorAdequacyAtE