Manuscript Oai272-A@1 · Oai272-A.tex · section · a40828a0
Comparison ledger
Stage 2: what local resource and recovery certificates price › Comparison ledger · lines 1438–1500
| Component | Permitted role | Non-transfer |
|---|---|---|
| Component | Permitted role | Non-transfer |
| En07-A; Hawk04-B | Complete outputs, classical records, and operational discard must be distinguished. | No universal secret-bit obstruction follows from a recovery comparison. |
| Landmark I; VIII-B | Measure-and-prepare structure and its Bell-reference recovery obstruction. | Not a proof that a specified Choi support is product-free. |
| En02-A/B/C | Explicit one-shot, streaming, gate, and communication ledgers. | A decoder's memory optimum is not the fidelity argument. |
| Oai283-A | Normalization of full-diamond and half-diamond allowances on fixed comparison interfaces. | No classification of PPT maps or entanglement breaking. |
| Oai265-B; Oai290-A | A named Choi statistic, error-transfer budget, and acceptance, exclusion, or inconclusive decision. | No certification of the external matrices or of every key protocol. |
| Oai280-C | Reference-stable complete-channel comparison, where its declared model is actually supplied. | Privacy of an erased code subsystem is not automatically a distillable-key rate. |
| En01-C; En10-B | Bounded complete-record statistics for predeclared families. | A sample interval is not an arithmetic proof or an exhaustive protocol quantifier. |
| Em03-F | A specified measure-and-prepare channel and its quantum-recovery obstruction. | Not the Family 272 state or its complete key protocol. |
| Em03-G | Changing the source family can produce a resource-dependent recovery regime. | Receiver postprocessing cannot cancel a fixed uniform obstruction on another source class. |
The detailed supplied statements support the first three and the En01-C/Em03 comparisons CheungHawk04B,CheungEn02A,CheungEn02B,CheungEn02C, CheungEn01C,CheungEm03F,CheungEm03G. Other named sheets are retained as the plan's comparison nominations where a full theorem statement was not supplied; no missing theorem number or model identification is invented ComparisonDossier.