Relation to the supplied Cheung manuscripts

Hawk04-A separates complete preservation from radiation-only recovery and supplies the predecessor restore map, exact correction structure, four-Majorana control, and endpoint distinctions CheungHawk04A (Theorems thm:global, thm:exact, thm:four-majorana, and thm:endpoint). Those results are proved or refined below.

Landmark I characterizes Born probabilities and positive-branch destructive residual rays within its declared strategy class CheungI (thm:main). En03-A specifies a minimal linear circuit interface and distinguishes that interface from assertions about a larger calculus CheungEn03A. Here the finite fragment and its channel semantics are defined independently. Neither a field-to-qubit preparation nor the full hypotheses of Landmark I's characterization are reconstructed from its excerpt.

Hawk02-E supplies the regulated quartic source–scalar architecture, finite-proxy comparison discipline, and separation of source energy from complete residual independence CheungHawk02E. Hawk02-D concerns a different quadratic fermionic Hamiltonian and its scattering endpoint CheungHawk02D. No quadratic survival law or scattering amplitude is spliced into the present scalar model.

The apparatus and process distinctions in Em03-C, En02-B, En02-C, and En02-E are maintained CheungEm03C,CheungEn02B,CheungEn02C,CheungEn02E. In particular, the existence of a decoder is distinct from its execution under a particular resource budget; consuming syndrome qubits is distinct from consuming the recovered quantum output.

The analytic and OpenAI catalogue comparisons are confined to Appendices app:analytic and app:catalogue. They are documentary separations, not premises of the channel or Hamiltonian proofs.