Manuscript Hawk04-C@1 · Hawk04-C-v1.tex · section · 94d46352
Version-pinned comparisons
Correction and provenance ledger › Version-pinned comparisons · lines 2041–2116
The following identifiers document comparisons. They are not dependencies for the locally proved exact theorem.
| Source | Comparison retained here |
|---|---|
| Source | Comparison retained here |
| Hawk04-A@1 | Complete restoration, exact complete-complement recovery, and the distinction between global preservation and outgoing recovery. The supplied excerpts do not identify its microscopic model with the register examples here. |
| Hawk04-B@2 | Typed destructive readout, classical-output obstruction, readout-and-drop, and apparatus accounting. The exact statements used here have local proofs. |
| En07-A@1 | Complete-access restoration, operational forgetting, and the separation of channel equality from thermodynamic erasure. |
| En07-B@1 | The conditional endpoint direction and the distinction between accessible replacement and complementary decoupling. The source's open physical obligations are not discharged here. |
| En07-C@1 | External typing of Hawking's spectrum and the four same-model endpoint obligations. Only the finite conditional comparison is used. |
| En04-A@1 | Nonconstant complementary response does not locate an independently recoverable whole code or establish geometric backreaction. |
| Oai265-A@1 | A documentary selected-entropy separation. It is a Cheung comparison note about an external catalogue, not verification of that catalogue's area-law claim. |
| En02-C@1 | A separately specified streaming benchmark distinguishes information-theoretic recovery from executable recovery under a live-qubit budget. Its source-reported one-slot error is , while a two-slot protocol is exact; these model-specific values are not premises here CheungEn02C. |
| En02-D@4 | Its prepared entropy sequence is a finite-model turnover, not an identified gravitational Page curve. No emission law or transmission parameter from that model is imported CheungEn02D. |
Publication of the journal article CheungEnter does not assign publication dates or journal status to the separately versioned companion manuscripts. The Philosophy essay is an introductory source, not a registered gravitational theorem. No claim is made that the present source has been machine checked.