Status of the supplied Cheung manuscripts

The references to Cheung below identify the supplied manuscript versions and their reported scopes. They are comparisons and non-premise records, not an independent verification of the full manuscripts. No theorem in Sections sec:objects– sec:missing-maps relies on an unprovided result from them.

In particular, an emission-law calculation on an assumed metric is not already operator reconstruction from a declared boundary region. A reconstruction theorem additionally needs the boundary objects, the connecting map, and its proof.

{ {}1.15 {@{}p{0.17}p{0.38}p{0.39}@{}} Source & Reported supply & Status in XVII-A
Source & Reported supply & Status in XVII-A

I CheungI & Finite instruments, records, ownership, and budgeted readout stability. & Not an encoding or a bulk–boundary map. Not a premise.

V; VII-A CheungV,CheungVII & Represented responses and a relational-scalar plateau result in their separately declared models. & Candidate bulk-side comparisons only. No identification with (eq:named-observable) is asserted. Not premises.

VII-E CheungVII & Scheduled dependency and a directional velocity set. & Not a derived light cone or the region $B$. Not a premise.

VII-G; VII-H CheungVII & A finite hybrid instrument on a fixed cone; a free massless Minkowski susceptibility. & Neither supplies the present boundary family, effect, or readout. Not premises.

VIII-A–C CheungVIII & A source-free conical dictionary, a variable-deficit family, and prescribed-schedule support bounds. & The zero-cosmological-constant conical data are not the AdS background (eq:metric). No collar is renamed a boundary. Not premises.

En02-A CheungEn02 & Cut conservation, register cost $N_0$, and conditional Born rigidity. & Resource counters are not geometry. The X-Enter occupancy class is not $N_0$. Not a premise.

En02-B CheungEn02 & An exact two-live-qubit perfect-code decoder and a module-class tree bound. & Not the correspondence $U$, an entanglement wedge, or unrestricted decoder optimality. Not a premise.

En02-C CheungEn02 & Exact finite-prefix recovery and a specified one-live-qubit streaming error. & Not the record obstruction of Proposition prop:record-obstruction, despite possible numerical coincidence of a bound. Not a premise.

En02-D CheungEn02 & A transmission-dependent memory gap and a prepared entropy sequence; an unexecuted computational supplement. & Not a Page curve or Hawking dynamics. No supplement execution is imported. Not a premise.

En02-E CheungEn02 & A finite Gaussian packet state and flagged cutoff; a benchmark calibrated by nonvacuum probability. & Not a metric reconstruction or the present finite-matrix effect. Not a premise.