Registry · Proposition VI.P11 tau-effective planned

VI.P11 — Krebs Cycle as Loop_L Instantiation

Krebs cycle satisfies Loop_L: distinction preserved, OAA regenerated (closed), nontrivial source+closure winding numbers. Central metabolic loop.

Book VI Part 3 Ch. 19

Dependency Graph

Depends on (4)

VI.D10 VI.D13 VI.D14 VI.T05

Lean Formalization

Module:

Symbol: