Limits of the execution evidence

The record supports the selected finite-proxy identities and two allowance predicates at the stated configuration. It does not independently establish:

• continuum spectral purity or absence of prepared bound states;

• exact arithmetic or a universal result in $d,N,T$;

• an optimized diamond norm or unrestricted decoder optimum;

• a continuum numerical error enclosure without arithmetic bounds;

• perturbed-Hamiltonian or physical-collection robustness;

• the $T=40$ epsilon example;

• hardware collection, local detector dynamics, or gravitational identification.

The analytical theorems, not the execution status, establish the general claims.