Manuscript Oai227-A@1 · Oai227-A.tex · section · 7f45f607
Debugged template ledger
Stage 2: price only specified finite operations › Debugged template ledger · lines 915–986
| Template | Legitimate comparison | Boundary or correction |
|---|---|---|
| Template | Legitimate comparison | Boundary or correction |
Em04-A, thm:reduction | A specified XY-chain evolution with vacuum and one-excitation blocks. | Its assumed quantum dissipative generator is not (eq:generator). |
| Hawk02-D / Hawk02-E | Complete residual recovery in specified fermionic or regulated interacting models. | Neither gives a classical SK heat-bath reduction. Hawk02-E explicitly warns against this transfer. |
| En07-C | Thermal input and complete-complement distinctions. | The supplied thm:exact is a quantum recovery criterion, not an SK-temperature theorem. |
| Landmark I; VIII-B | Destructive quantum readout semantics and record-only quantum recovery limitations. | The supplied quantitative prop:classical-recovery passage is in VIII-B, not a proof of an SK autocorrelation assertion. |
| En01-B / En01-C | Bounded scores, complete records, and calibration/sample allowances. | Not asymptotic tightness or functional convergence. |
Em03-G, thm:lower | A positive recovery-error lower bound at every fixed finite source parameter. | The possibility of vanishing error with growing resources uses separate results, not this lower bound alone. |
Oai265-A, thm:separation | Static records do not determine channels or histories. | Not a dynamical SK process. |
| Oai272-A | A nominated secret-bit comparison in the supplied dossier. | No secret-key result is imported as a spin-memory theorem. |
| Oai283-A | A nominated implementation-distance ledger. | No unsupplied thm:assembly is reconstructed from its label; no distance budget constructs the heat-bath rates. |
The Cheung citations support these scoped comparisons, not premise transfers CheungEm04A,CheungHawk02D,CheungHawk02E, CheungEn07C,CheungI,CheungVIIIB,CheungEm03G,CheungOai265A. The Oai272-A and Oai283-A nominations remain dossier-level comparisons Dossier.