Registry · Definition VI.D21 tau-effective planned

VI.D21 — NoDist

System fails τ-Distinction; no D: X → 2_τ satisfying all 5 conditions. Lacks intrinsic self/non-self boundary. Failure mode label for non-Life systems.

Book VI Part 1 Ch. 10

Dependency Graph

Depends on (1)

VI.D04

Depended on by (4)

VI.L05 VI.L06 VI.P09 VI.T15

Lean Formalization

Module: TauLib.BookVI.Sectors.Absence

Symbol: Tau.BookVI.Absence.Nodist