IV.T211 — Decidable Phase Classification Meta-Theorem

At fixed refinement stage n with bounded budget K, every regime predicate is decidable by finite recursion on NF-coded states. NF code space finite, defect components computable, no reals needed.