Registry · Definition VI.D14 tau-effective planned

VI.D14 — Closure Sub-Class (Loop_rec)

Life loops winding nontrivially around η-circle (recycling); archetype: fungi decomposing complex organic matter.

Book VI Part 1 Ch. 7

Dependency Graph

Depended on by (2)

Lean Formalization

Module: TauLib.BookVI.Sectors.LifeLoop

Symbol: Tau.BookVI.LifeLoop.ClosureSubclassLooprec