Registry · Theorem VI.T10 tau-effective planned

VI.T10 — Homeostasis = Basin Stability

SelfDesc implies basin B_n around DecodeTarget; evaluator corrects perturbations; defect non-increasing under correction. Third hallmark derived.

Book VI Part 1 Ch. 9

Dependency Graph

Depends on (3)

VI.D04 VI.D08 VI.D17

Depended on by (2)

VI.P04 VI.T32

Lean Formalization

Module: TauLib.BookVI.Sectors.Hallmarks

Symbol: Tau.BookVI.Hallmarks.HomeostasisBasinStability