Example: A nonvacuous analytical parameter certificate

Choose $\lambda$ so that

Then $p_{\lambda }\le 1/32$, and

Choose finite compact approximation parameters with $e_{\mathrm{src}}\le 1/8$. Equation (eq:compactrecovery) then gives $E<3/8$, decoded Bell fidelity greater than $5/8$, and a strictly negative bounded reference-packet witness.

This is an analytical specification, not a numerical or laboratory demonstration.