Debugging summary

The completed framework includes the following corrections to potentially stronger but unjustified claims.

1. Reference preservation is built into the error metric, rather than inferred from unentangled test states.

2. The constant-complement criterion is restricted to full-code recovery.

3. Snapshot determination and adjoint containment imply linear factorization, not a CPTP inverse.

4. The joined normalized tensors require the explicit factor $2\sqrt{2}$ in (eq:W-components).

5. The connected encoder is implemented deterministically through (eq:W); Bell postselection is not silently normalized away.

6. A coherent environment lower bound is not a universal live-memory lower bound.

7. Streaming and communication lower bounds are scoped to their stated input access and resource architectures.

8. Decoder workspace and source storage are accounted for separately.

9. Failure branches are included in the tested channel.

10. The identity Choi-overlap conversion has factor $d$. Mixed algebra and subsystem targets use a separate trace-norm certificate.

11. Calibration allowances and tested-to-claimed channel transfer allowances have different meanings.

12. The forty-shot limitation is procedure-specific.

13. A specified decoder's lower bound does not exclude every decoder.

14. Ideal privacy obstructions are not automatically valid after arbitrary global boundary noise.

15. No finite recovery map is silently identified with an entanglement wedge or a metric.