Registry · Theorem
VI.T50
tau-effective
not_formalized
VI.T50 — Substrate Abstraction
Five tau-Distinction and three SelfDesc conditions are jointly necessary and sufficient for life, independent of material substrate; no condition references material predicates.
Book VI
Part 6
Ch. 42