Declarations

release. The main local theorem is the explicit two-spin uniform stationary–quench certificate. Its supporting finite-state, sampling, perturbation, and separation results are proved on their stated interfaces.

status. The universal non-point functional limit remains an external claim. This manuscript does not assert that it is false, and does not assert that it has been independently verified.

and computation. No successful Lean execution, removal of a Comparator placeholder, simulation run, finite-precision implementation, independent referee verification, or successful pdflatex execution is asserted. The displayed analytic proof does not depend on such execution.

use. The supplied Cheung manuscripts are cited by available identifier, version, section, and label. Incomplete excerpts do not license claims about the full corpus or uninspected proof dependencies. No source registration is asserted.

scope. The model is classical statistical mechanics. Its stochastic generator is not identified with a quantum Hamiltonian, Lindblad generator, QAOA circuit, spacetime metric, or gravitational dynamics.

programme boundaries. In the separate programme described in the dossier,

This does not deny the existence of technical continuation manuscripts or replace their version-specific conclusions by a universal nonexistence assertion.