Declarations

claim. The locally proved results are the one-use formula, the frozen finite certificate, and the stated implementation, readout, and statistical implications. The conditional repeated-use reduction retains its explicit hypothesis.

verification. The external all-parameter repeated-use and arbitrary-partner claims are recorded and audited, not independently verified in this manuscript. A source restatement is not verification.

. The inspected Comparator target contains sorry. No successful Lean build, elimination of its placeholder, or formalization of the partner-channel corollary is asserted.

and compilation. The finite inequalities have an exact-rational specification. The appendix is supplied for reproducibility. No executed checker log, proof-assistant run, successful pdfLaTeX build, laboratory realization, or independently implemented decoder is asserted.

citations. Supplied Cheung manuscripts are cited by their supplied identifiers, versions, and relevant labels. No exhaustive corpus inspection, proof-dependency reconstruction, or manuscript registration is claimed.

boundaries. No Page curve, island, horizon, Hawking-radiation derivation, gravity-generated entanglement, exclusion of classical gravity, or spacetime emergence is established. Enter is used only with its declared destructive-readout interface.

For the separate programme described in the dossier,

These statements do not deny the existence of technical continuation manuscripts or replace their version-specific results by a blanket nonexistence theorem.