Corollary: Any prescribed nontrivial full-diamond tolerance

For every $0<\epsilon <1$, choose

There is one finite model and a set of Haar unitaries of measure at least $1/64$ on which

with the same decoder core, strict coherent rise-and-fall, and a cutoff retaining one physical qubit.

Proof. The chosen $h$ satisfies (eq:size), and $2\sqrt{2\zeta }=\epsilon$. Apply Theorem thm:joint. The nonduplicate condition is proved in Section sec:nocopy. Since $\epsilon <1<2b_{16}$, the receiver is below the purely classical recovery floor.