Registry · Theorem VI.T06 tau-effective planned

VI.T06 — Consumer Mixer Uniqueness

Unique admissible Life mixer sits on fiber pair (γ, η); signature rigidity excludes base-fiber and base-base mixing. Animals occupy the only mixed sector.

Book VI Part 1 Ch. 7

Dependency Graph

Depends on (2)

VI.D10 VI.T05

Depended on by (2)

VI.T25 VI.T38

Lean Formalization

Module: TauLib.BookVI.Sectors.LifeLoop

Symbol: Tau.BookVI.LifeLoop.ConsumerMixerUniqueness