References

AmbainisRAC

A. Ambainis, D. Leung, L. Mancinska, and M. Ozols. Quantum Random Access Codes with Shared Randomness. arXiv:0810.2937v3, 2009; original submission 2008. https://arxiv.org/abs/0810.2937. Established classical and quantum RAC benchmarks.

ChiribellaNetworks

G. Chiribella, G. M. D'Ariano, and P. Perinotti. Theoretical framework for quantum networks. Physical Review A 80 (2009), 022339. https://doi.org/10.1103/PhysRevA.80.022339. Author manuscript: https://arxiv.org/abs/0904.4483.

Watrous

J. Watrous. The Theory of Quantum Information. Cambridge University Press, 2018. Author's manuscript: https://cs.uwaterloo.ca/ watrous/TQI/.

CheungEnter

N. Cheung. The Enter Calculus: A Linear Quantum Lambda Calculus with an Operational Characterization of Measurement. Frontiers in Physics 14 (2026), article 1954943. https://doi.org/10.3389/fphy.2026.1954943. Publisher's accepted-article record lists acceptance on 28 September 2026. The concrete semantics and measurement characterization are separate logical layers.

CheungI

N. Cheung. {Born–Lüders as the unique measurement strategy of a strictly linear quantum $\lambda$-calculus: The Enter Calculus}. Manuscript I.tex, supplied in full with the present study; undated. Relevant internal identifiers: lem:path, thm:adequacy, thm:internal-ns, and sec:interfaces. Internal numbering is not identified with publisher-formatted numbering.

CheungPsy04A

N. Cheung. Psy04-A: Delayed Random Access and Bounded Classical-Memory Exclusion: Sequential Qubit Benchmarks, Complete-Record Certificates, and the Environmental-Memory Boundary. Manuscript Psy04-A-v1.tex, supplied in full; undated. Predecessor task specification. All bounds used in the present manuscript are proved here.

CheungVIIJ

N. Cheung. VII-J. Unpublished manuscript, version 1; supplied excerpts. Relevant records: “The complete timed dependency network—Scheduled ancestors,” thm:schedule, and release/scope. Documentary interface, not an external implementation certificate.

CheungEm06B

N. Cheung. Em06-B. Unpublished manuscript, version 1; supplied excerpts. Relevant record: “Quantitative stability of the classical inputs,” thm:input-stability. Its prescribed metric, scalar input map, and constants are not imported.

CheungPsy02B

N. Cheung. Psy02-B. Unpublished manuscript Psy02-B-v2.tex, version 2; supplied excerpts. Relevant record: “Complete-process identification,” thm:process.

CheungPsy03A

N. Cheung. Psy03-A. Unpublished manuscript, version 1; supplied excerpts. Relevant records: thm:classicalboundary and evaluation interfaces. The finite diagonal-preserving boundary used here is independently proved.

CheungPsy03B

N. Cheung. Psy03-B. Unpublished manuscript Psy03-B-v1.tex, version 1; supplied excerpts. Relevant records: thm:operationalmemory and thm:conditional. Its persistent register is classical; the present causal-break example is separately specified.

CheungPsy03C

N. Cheung. Psy03-C. Unpublished manuscript Psy03-C-v1.tex, version 1; supplied excerpts and source descriptions. Relevant records: thm:qpilot and prop:register. Its phase-label retention model is distinct from the present random-access task.

CheungPsy03D

N. Cheung. Psy03-D. Unpublished manuscript Psy03-D-v1.tex, version 1; supplied excerpts. Relevant record: cor:qobstruction, carrier-independent absence of an uncued observation. The present query-independence statement uses its own freshness and access hypotheses.

RoySequential

A. K. Roy, V. Srivastava, S. Mahanti, C. Giarmatzi, and A. Gilchrist. Semi-device-independent certification of quantum non-Markovianity using sequential random access codes. Physical Review A 110 (2024), 012608. https://doi.org/10.1103/PhysRevA.110.012608. Author manuscript: https://arxiv.org/abs/2309.16190. The intermediate-instrument and classical-environment assumptions are not replaced by the present wholly classical cut bound.

PollockMarkov

F. A. Pollock, C. Rodríguez-Rosario, T. Frauenheim, M. Paternostro, and K. Modi. Operational Markov condition for quantum processes. Physical Review Letters 120 (2018), 040405. https://doi.org/10.1103/PhysRevLett.120.040405. Author manuscript: https://arxiv.org/abs/1801.09811.

Hoeffding

W. Hoeffding. Probability inequalities for sums of bounded random variables. Journal of the American Statistical Association 58, no. 301 (1963), 13–30. https://doi.org/10.1080/01621459.1963.10500830. The conditional bounded-score estimate needed here is explicitly proved.

CheungBoundaryRecords

N. Cheung. Supplied analytic source-status records: XIV-I, XIV-J, XVI-N, XVI-O, and XV-B. Unpublished manuscripts and documentary excerpts; no publication dates inferred. Cited only for the scope distinction between finite process construction and unrelated analytic admission obligations. No theorem in that analytic chain is a premise of the present finite-memory results.