Registry · Definition VI.D37 tau-effective planned

VI.D37 — Structure Generation Predicate

Three conditions: production (loop factors through Loop_src), complexity increase (Hodge capacity output > input), autotrophy or net contribution.

Book VI Part 4 Ch. 23

Lean Formalization

Module:

Symbol: