Declarations

release. The main completed result is the explicit finite support and resource certificate in Theorem thm:finite. The general factoring endpoint remains an external claim record.

. The inspected Comparator endpoint contains sorry. No successful Lean run or completed formalization is asserted.

and execution. This is a single-file pdfLaTeX manuscript. No successful pdfLaTeX build, execution of the appendix checker, quantum-device run, independent referee review, or journal acceptance is asserted.

discipline. Cheung manuscripts are cited by supplied identifier and version. They are comparisons, not unacknowledged premises for the order trial or dyadic completion. The supplied dossier is not an exhaustive corpus scan.

boundaries. No Page curve, island, horizon, gravity-generated entanglement, exclusion of classical gravity, spacetime emergence, or hardware factoring claim is made. For the separate programme described in the supplied dossier,

These statements preserve the stated boundaries. They do not deny the existence of technical continuation manuscripts or promote an unconstructed object to a universal nonexistence theorem.