Manuscript Oai119-A@1 · Oai119-A.tex · section · fdff7292
The comparison templates and their limits
Stage 2: pricing only the specified objects › The comparison templates and their limits · lines 1299–1388
| Template | What can be priced or compared | What is not supplied |
|---|---|---|
| Template | What can be priced or compared | What is not supplied |
En02-A, thm:Dprime | A specified quantum instrument's one-shot environment and register ledger. | Neither the classical kernel nor . |
En02-B, thm:B1 | Correctness and live-memory accounting for a supplied finite decoder program. | A Boolean optimizer or a decoder from a joining law. |
| Landmark I; VIII-B | Destructive readout semantics and a record-only quantum-recovery obstruction. | Coordinate optimality. The supplied quantitative prop:classical-recovery is in VIII-B, version 3. |
| En07-A | Complete-complement recovery and readout-and-drop. | Hellinger contraction. Its supplied thm:exact is a recovery criterion, not the label of a cube-noise inequality. |
| En01-B / En01-C | Coverage for declared complete-record statistics. | A sharp inequality for all truth tables and correlations. |
Em03-F, thm:EB | A particular measure-and-prepare channel and its recovery obstruction. | The cube-noise operator or its extremizers. |
Em03-G, thm:lower | A positive error lower bound at each fixed finite model parameter. | A vanishing-error theorem from the lower bound alone. Growing-resource transmission is a separate result. |
| Oai272-A context | The nominated uniform secret-bit gap in its declared protocol model. | A mutual-information inequality or a verified premise of this certificate. |
Oai265-A, thm:separation | Static-record, channel, and history separation. | A Boolean function or a cube-noise theorem. |
| Oai276 context | Classical transmission through a specified qubit damping channel. | The present uniform-cube summary problem. |
| Oai274 context | The nominated parity/circuit-complexity comparison. | A premise about , or a transfer of a coordinate optimizer to QAC. |
The Cheung references in this table are scoped comparisons drawn from the supplied passages CheungEn02A,CheungEn02B,CheungI,CheungVIIIB, CheungEn07A,CheungEm03F,CheungEm03G,CheungOai265A. Labels not supported by the supplied excerpts are not silently promoted to verified results.
Families 272, 274, 276, and 279 remain catalogue comparisons. No factoring theorem, zero-key construction, circuit lower bound, or damping-capacity theorem is needed for the local proof Dossier119,Oai276Context.