Registry · Lemma
VI.L08
tau-effective
planned
VI.L08 — Substrate Replacement Preserves Life-Equivalence
Two SelfDesc triples with same code, same distinction, same evaluator deformation class are life-equivalent: same earned predicates, same ω-germ, same sector.
Book VI
Part 6
Ch. 42