Manuscript Oai280-C@1 · Oai280-C.tex · section · 7d44b8c0
Source provenance and manuscript identifiers
Source provenance and manuscript identifiers · lines 2160–2218
The bibliography separates identified published articles from internal Cheung manuscript identifiers. For the latter, the supplied document Oai280-C ref.txt reports thematic roles and theorem labels. It does not supply the full manuscripts, exact titles, dates, venues, or persistent identifiers. The entries below therefore do not invent those details.
| Supplied identifier | Reported role | Local replacement |
|---|---|---|
| En02-B/C | Task split, ideal access, legal programmes, resource and approximation ledgers | Sections sec:tasks, sec:block, sec:programmes, sec:approx |
| En05-C | Snapshot determination and adjoint containment | Theorem thm:snapshot |
| I / En06-A | Classical-record entanglement-breaking gate | Proposition prop:EB |
| VII-G / Em05-B | Full-code complement and complete instruments | Theorem thm:complement; Theorem thm:programme |
| Oai265-B | Complete validation and finite-confidence accounting | Contracts con:main and con:validation; Theorem thm:simultaneous |
| Oai290-A | Specified versus optimal decoder; three-way decision | Proposition prop:effect; Section sec:statistics |
| XVII-A | Typed operator/channel target and no-wedge warning | Sections sec:tasks, sec:interpretation |
| Oai280-A/B | Effect, spectator, and small-shot controls; patch benchmarks | Sections sec:block, sec:patch, sec:noise, sec:feasibility |
| En07-B | Additional same-model endpoint obligations | Not invoked or discharged |
The local results need not coincide with every stronger statement reported in the notes, because different resource conventions can change a theorem. In particular, the streaming lower bound in this paper is explicitly the three-share model of Theorem thm:stream. Verification of any different manuscript claim requires its full definitions.