Registry · Definition VI.D42 established planned

VI.D42 — Structure Recycling Predicate

Three conditions: decomposition via Loop_rec factorization on η-fiber, Hodge capacity decrease (output simpler than input), material return in reusable form.

Book VI Part 5 Ch. 28

Lean Formalization

Module:

Symbol: