IV.L12 — Excitation coherence

Excitation coherence: for all n >= n_*, rho(h_{n+1}) = h_n, because restriction maps perturbations to perturbations, excitation cost is non-decreasing under restriction by (KH-2), and surjectivity (KH-1) prevents strict improvement.