Manuscript Oai279-A@1 · Oai279-A.tex · section · a1abc73f
Debugged comparison table
Stage 2: price the comparisons, not a missing algorithm › Debugged comparison table · lines 1249–1327
| Template | Legitimate role | What it does not supply |
|---|---|---|
| Template | Legitimate role | What it does not supply |
| Landmark I | Declared destructive readout and classical records. | A factoring controller or exact order trial. |
VIII-B, prop:classical-recovery | The supplied sharp record-only quantum-recovery obstruction. | An obstruction to computing a classical prime list. |
| En07-A | Complete outputs, recovery criteria, and separately stated readout-and-drop conventions. | Probability-one factoring. Its supplied thm:exact is a recovery criterion, not (eq:readout-drop)'s factoring proof. |
| Hawk04-B | Typed classical readout versus full quantum recovery. | A decomposition into the present gate set. An unsupplied cor:gravity is not invented. |
En02-A, thm:Dprime | One-shot pure-environment and instrument dimension accounting. | Uniform generation or exact gate synthesis. |
En02-B, thm:B1 | Soundness and live-name accounting of a supplied programme. | Order finding or a missing circuit. |
| En01-B/C | Finite-sample statements for complete declared records. | A proof that every wrong-output amplitude is zero. |
Em03-G, thm:lower | A finite-parameter positive error lower bound. | A theorem that a limiting error is already zero. |
| Oai272-A comparison | A nominated secret-bit protocol comparison in the supplied dossier. | Integer factorization or an independently verified external Family 272 theorem. |
Oai265-A, thm:separation | Separation of selected records, spectra, recovery, and histories. | A prime list or a factoring circuit. |
| Oai283-A comparison | A nominated constant-error oracle-synthesis comparison. | Probability-one factoring; its unnamed implementation is not imported. |
| Family 274 context | A catalogue claim concerning constant-depth parity. | An all-depth obstruction to polynomial-size factoring. Its lower-bound proof is not a premise here. |
The Cheung references are restricted to the supplied manuscript versions and passages CheungI,CheungVIIIB,CheungVIIIC,CheungEn07A, CheungHawk04B,CheungEn02A,CheungEn02B,CheungEn01B, CheungEn01C,CheungEm03G,CheungOai265A. The other nominated comparisons are retained as dossier descriptions, not reconstructed theorems Dossier.