Limits of the computational evidence

The recorded execution supports the selected formulas at the reported configuration and floating-point tolerance. It does not establish:

• exact arithmetic or universal correctness for other dimensions;

• a numerical upper bound on the diamond norm merely from a Bell test;

• unrestricted decoder optimality independently of the proofs;

• general environmental perturbation or collection robustness;

• entropy histories, arbitrary mode-mismatch instances, or the infinite weak-coupling example;

• hardware implementation, calibration, or black-hole identification.

No plots or numerical optimization results are reported. Future diagnostic revisions should log residual magnitudes and hashes of output artifacts, but that additional logging is not claimed for the reported run.