Registry · Lemma
V.L9
tau-effective
not_formalized
V.L9 — Basin Preservation under Ringdown Dynamics
If two BH states x, y share NF_n(x) = NF_n(y) at depth n, then after ringdown (post-merger relaxation) they satisfy NF_m(x) = NF_m(y) for all m >= n. Ringdown does not split dynamical basins.