Registry · Theorem VI.T05 tau-effective planned

VI.T05 — Metabolic Fiber Theorem

Every Life loop factors through Loop_src × Loop_rec × Loop_base; both production and recycling components are nontrivial. All life requires both anabolism and catabolism.

Book VI Part 1 Ch. 7

Dependency Graph

Depends on (3)

VI.D10 VI.D11 VI.D12

Depended on by (8)

VI.P11 VI.T06 VI.T14 VI.T16 VI.T18 VI.T19 VI.T20 VI.T23

Lean Formalization

Module: TauLib.BookVI.Sectors.LifeLoop

Symbol: Tau.BookVI.LifeLoop.MetabolicFiberTheorem