Debugging corrections and exact release

The proof requires the following corrections to overstrong readings of the proposed plan:

1. Full-diamond error $1/2$ is half-diamond error $1/4$.

2. One oracle is not one query.

3. A classical truth table must still support coherent quantum queries.

4. Polynomial query length does not price table provisioning or physical oracle realization.

5. Reduced logical accuracy does not specify a clean returned workspace or arrival register.

6. Restricted clean-subspace estimates must not be substituted for unrestricted per-gate bounds; the ideal-prefix telescoping lemma is the appropriate interface.

7. Isolated fresh-device tests do not control hidden memory reused across calls.

8. A Bell test can certify a channel only through a justified conversion, with its dimension and calibration dependence.

9. A scalar estimator needs a channel-identification theorem or an informationally complete test bank.

10. A general $n$-qubit message is not one laboratory qubit.

11. Constant-error synthesis is not a null-boundary approximation theorem or automatic error amplification.

12. A coherent oracle may create actual influence; it is not thereby a geometric cone-selection rule.

13. Serial teleportation, FPP clocks, and quench entropy membranes are different mathematical interfaces.

14. Smooth or strictly convex limit shapes are not automatically quadratic, homogeneous, or operationally causal.

15. A unitary channel at one time does not determine its Hamiltonian, energy observable, thermal cost, or gravitational dynamics.