Registry · Theorem VI.T20 tau-effective planned

VI.T20 — Source as γ-Fiber Production

Life loop belongs to Src_{γ} iff underlying carrier satisfies structure generation predicate; γ-dominance = structure generation. Sector-predicate equivalence.

Book VI Part 4 Ch. 23

Dependency Graph

Depends on (2)

VI.D13 VI.T05

Lean Formalization

Module:

Symbol: