Registry · Theorem VI.T16 tau-effective planned

VI.T16 — Persistence as α-Base Stability

Life loop belongs to Pers_α iff underlying carrier satisfies the temporal stability predicate; α-dominance = temporal stability. Sector-predicate equivalence.

Book VI Part 2 Ch. 12

Dependency Graph

Depends on (1)

Lean Formalization

Module:

Symbol: