Complete-record sampling and finite coverage

The independence is across repetitions, not across the spins within one trajectory. Correlated spin coordinates have not been counted as independent samples.

This is the legitimate comparison with Cheung's bounded, complete-record statistical certificates CheungEn01B,CheungEn01C. A confidence interval alone does not give functional convergence. Equation (eq:grid-certificate) obtains finite-compact coverage only because a deterministic modulus has also been proved.