Registry · Lemma VI.L04 tau-effective planned

VI.L04 — No Fifth Primitive Sector

π₁(τ³) has exactly 4 independent winding directions; fibration map f is structural, not a generator. No 5th primitive sector exists.

Book VI Part 1 Ch. 8

Dependency Graph

Depends on (1)

VI.D15

Lean Formalization

Module: TauLib.BookVI.Sectors.LifeLoop

Symbol: Tau.BookVI.LifeLoop.NoFifthPrimitiveSector