Documentary constraint ledger

Each row records a comparison licensed by the supplied version or excerpt and the conclusion that is not imported. The table is not a dependency graph, an exhaustive corpus audit, or verification of its source proofs. Generic titles are retained where complete metadata was not supplied.

{@{}P{.47}P{.47}@{}} Sheet and comparison used & What is not imported
Sheet and comparison used & What is not imported

I, v2 CheungI. Destructive computational-basis readout and consumption of the measured name. & No field instrument, apparatus limit, record-free uniqueness, or gravitational coefficient.

Hawk04-A, v1 CheungHawk04A. Complete preservation is distinguished from recovery through declared access. & No subsystem recovery, physical evaporation, or holographic identification follows from global unitarity alone.

Hawk04-B, v2 CheungHawk04B. Classical-output processing is distinguished from quantum-return decoding. & No decoder is supplied by a classical record, and no recovery task is assigned to the present correlator.

XVII-A, v1 CheungRegisteredXVIIA. The separate finite-matrix bounded-effect benchmark resolves the identifier collision. & Its reconstruction maps and time band are not this observable, an entanglement wedge, or spacetime emergence.

VI, v1 CheungVI. Classical relational descent and the RG-open quantum finite-renormalization audit remain distinct. & No complete quantum counterterm space, Ward identity, or RG certificate.

VII-C, v1 CheungVIIC. One logarithmic obstruction under its specified old-product and continuity requirements. & No universal obstruction to all algebras, topologies, or interacting constructions.

VII-D, v1 CheungVIID. One strong numerical finite part with a quantitative test-function remainder. & A finite part is not a binary algebra product or the present gravitational characteristic coefficient.

VII-H, v1 CheungVIIH. A free-field contact-ambiguity and invariant-test benchmark. & No identification with the reflected triangle, the inherited graph, or ultraviolet completion.

VII-I, v1 CheungVIII. Balanced forests and finite-width free constructions illustrate separate admission questions. & No transfer of sharp-product agreement, interacting BRST, or complete loop composition.

IX-B, v2 CheungIXB. One parent prescription can control an infinite derivative orbit. & No count of gravitational essential inputs or second-stage sharp multiplication.

IX-D, v3 CheungIXD. Free wordwise coherence, causal factorization, and normalized retarded orders are distinct. & No sharp $T_2$, normalized $R_1$, or $R_2$ on the unconstructed sector.