Registry · Lemma VI.L03 tau-effective planned

VI.L03 — Loop Factorization

Every metabolic cycle γ decomposes uniquely as γ_src ∗ γ_rec ∗ γ_base via π₁(τ³) decomposition. Canonical factorization of metabolism.

Book VI Part 1 Ch. 7

Dependency Graph

Depends on (1)

VI.D10

Lean Formalization

Module: TauLib.BookVI.LifeCore.LayerSep

Symbol: Tau.BookVI.LayerSep.LoopFactorization