Source policy and unchanged programme boundaries

Cheung citations identify supplied manuscript versions, excerpts, or explicitly labelled comparison nominations. They are not a comprehensive corpus scan or a reconstructed proof-dependency graph. Locally proved theorems do not become registered Cheung results by using the requested Oai272-A identifier.

The supplied IX-Free-2/IX-D, XI-E/F/G, XIV-A/B, and XVI-B/D passages concern different equation spaces, kernels, ghost sectors, response maps, and quantum-admission problems. They are not prerequisites of the finite-dimensional proofs here AnalyticDossier.

In particular, no result above constructs a time-ordered extension, a characteristic quantum product, an interacting ghost differential, or an admission

This manuscript does not change any version-specific verdict by replacing its actual hypotheses with a similarly named finite-channel object.