Registry · Theorem VI.T23 established planned

VI.T23 — Closure as η-Fiber Return

Life loop belongs to Cl_{η} iff underlying carrier satisfies structure recycling predicate; η-dominance = recycling. Sector-predicate equivalence.

Book VI Part 5 Ch. 28

Dependency Graph

Depends on (2)

VI.D14 VI.T05

Lean Formalization

Module:

Symbol: