Registry · Lemma VI.L16 tau-effective not_formalized

VI.L16 — Basin Is Absorbing

Once a system enters the Distinction+SelfDesc basin, it remains there under bounded perturbation; SelfDesc closure provides internal evaluator for reconstruction.

Book VI Part 2 Ch. 14

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module:

Symbol: