Proposition: Inert range is harmless

An inert exceptional block can be refined into the two singletons $\{P\},\{Q\}$ with the same complete update. The refined dynamics is admissible in the original metric $d$.

Proof. The factorization identifies the exceptional update with the product of the two singleton channels. All remaining blocks have diameter at most $r$.