Registry · Definition VI.D22 tau-effective planned

VI.D22 — NoSelfDesc

System admits τ-Distinction but fails SelfDesc; has boundary but no internal evaluator converging to fixed point. Second failure mode label.

Book VI Part 1 Ch. 10

Dependency Graph

Depends on (1)

VI.D08

Depended on by (1)

VI.L07

Lean Formalization

Module: TauLib.BookVI.Sectors.Absence

Symbol: Tau.BookVI.Absence.Noselfdesc