Registry · Theorem VI.T44 tau-effective not_formalized

VI.T44 — Attractor Existence

Under finite defect budget, polarity seed existence, and temporal stability satisfiability, Distinction+SelfDesc basin entry is forced at some orbit step n_0.

Book VI Part 2 Ch. 14

Dependency Graph

Depends on (4)

VI.D75 VI.D76 VI.L15 VI.T01

Depended on by (1)

VI.T46

Lean Formalization

Module:

Symbol: