Manuscript Oai276-A@1 · Oai276-A.tex · section · 215068af
Debugged comparison ledger
Stage 2: implementation, readout, and statistical pricing › Debugged comparison ledger · lines 1497–1564
| Template | Legitimate role | Boundary or correction |
|---|---|---|
| Template | Legitimate role | Boundary or correction |
En02-A, thm:Dprime | Pure-dilation and instrument environment accounting. | Not a Holevo formula or a decoder construction. |
En02-B, thm:B1 | Soundness and resource accounting of a supplied finite decoder. | Not a collective decoder for this channel. |
| En07-A | Complete outputs, exact-complement recovery, and readout-and-drop. | Its supplied thm:exact is a recovery criterion, not the label of a block entropy theorem. |
| En07-C | External thermal data and complete-complement distinctions. | Its supplied thm:exact is also a recovery criterion, not an identification of its thermal occupation with . |
| Hawk04-B; Landmark I | Typed destructive readout and record-only recovery. | No coding theorem follows from those facts. An unsupplied cor:gravity label is not invented here. |
Em03-F, thm:EB | A particular measure-and-prepare channel. | It is not identified with GAD. Some GAD parameters are entanglement breaking and some are not. |
Em03-G, thm:lower | A positive error lower bound at each finite source parameter. | Vanishing along growing resources requires the separate transmission theorem, not the lower bound alone. |
| En01-B/C | Finite-sample coverage on complete declared records. | Not a universally optimal channel rate. |
| Oai272-A | A conversation-supplied secret-bit certificate in its stated protocol model. | Not a classical-channel capacity theorem or a verified external state construction. |
| Oai265-A | Static-record/channel/history separation. | An area-law record is not a specified communication channel. |
| Oai283-A | A nominated normalization and implementation-budget comparison. | No missing lemma is imported; a distance is not an entropy difference until a conversion is proved. |
| Oai290-A | Complete-complement criteria and finite-channel comparison. | The supplied recovery statements do not specify the present GAD ensemble or its decoder. |
The supplied Cheung passages support these scoped uses CheungEn02A,CheungEn02B,CheungEn07A,CheungEn07C, CheungHawk04B,CheungI,CheungEm03F,CheungEm03G, CheungOai265A,CheungOai290A. Where the dossier only nominated a sheet, no full theorem or unseen proof is attributed to it Dossier276.