Registry · Definition VI.D65 tau-effective planned

VI.D65 — Distinction/SelfDesc Matrix

2×2 classifier: (I) inert, (II) impossible (no carrier), (III) bounded-not-alive, (IV) alive. Exhaustive. Quadrant II empty by structure.

Book VI Part 7 Ch. 48

Dependency Graph

Depended on by (1)

Lean Formalization

Module:

Symbol: