Workspace and permissible operations

There is no one-live-qubit or restricted streaming claim. Cheung's En02-B and En02-C distinguish batch availability from memory-constrained execution in their specified benchmarks CheungEn02BC.

A completed Petz map is a CPTP candidate, but its formula alone does not certify (eq:SDP)'s error. Similarly, a postselected map satisfying

is trace decreasing when $p_{\mathrm{succ}}<1$. A completed decoder with a failure output has unconditional error at most $1-p_{\mathrm{succ}}$ in half-diamond normalization, but not automatically zero. The success probability, reflections, failure flag, and resources in an amplitude-amplified implementation must be declared CheungEn02BC,YoshidaKitaev.