References

ADH

A. Almheiri, X. Dong, and D. Harlow, Bulk Locality and Quantum Error Correction in AdS/CFT, Journal of High Energy Physics 2015, 163 (2015). arXiv:1411.7041. https://arxiv.org/abs/1411.7041.

HaPPY

F. Pastawski, B. Yoshida, D. Harlow, and J. Preskill, Holographic quantum error-correcting codes: Toy models for the bulk/boundary correspondence, Journal of High Energy Physics 2015, 149 (2015). arXiv:1503.06237. https://arxiv.org/abs/1503.06237.

Laflamme

R. Laflamme, C. Miquel, J. P. Paz, and W. H. Zurek, Perfect Quantum Error Correction Code, Physical Review Letters 77, 198–201 (1996). arXiv:quant-ph/9602019. https://arxiv.org/abs/quant-ph/9602019.

KL

E. Knill and R. Laflamme, A Theory of Quantum Error-Correcting Codes, Physical Review A 55, 900–911 (1997). arXiv:quant-ph/9604034. https://arxiv.org/abs/quant-ph/9604034.

BKK

C. Bény, A. Kempf, and D. W. Kribs, Quantum Error Correction of Observables, Physical Review A 76, 042303 (2007). arXiv:0705.1574. https://arxiv.org/abs/0705.1574.

BenyApprox

C. Bény, Conditions for the approximate correction of algebras, arXiv:0907.4207 (2009). https://arxiv.org/abs/0907.4207.

Cotler

J. Cotler, P. Hayden, G. Penington, G. Salton, B. Swingle, and M. Walter, Entanglement Wedge Reconstruction via Universal Recovery Channels, Physical Review X 9, 031011 (2019). arXiv:1704.05839. https://arxiv.org/abs/1704.05839.

Bisio

A. Bisio, G. M. D'Ariano, P. Perinotti, and M. Sedlák, Memory cost of quantum protocols, Physical Review A 85, 032333 (2012). arXiv:1112.3853. https://arxiv.org/abs/1112.3853.

PastawskiPreskill

F. Pastawski and J. Preskill, Code properties from holographic geometries, Physical Review X 7, 021022 (2017). arXiv:1612.00017. https://arxiv.org/abs/1612.00017.

Watrous

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

En02A

N. Cheung, En02-A: Finite-Resource Geometry for the Enter Calculus: Cut Monotones, Certificate Costs, and Conditional Born Rigidity. Companion manuscript, 02-A-v1.tex, 7 October 2026. The capacity convention, conditional rigidity statements, and one-shot implementation model are distinguished explicitly in the present paper.

I

N. Cheung, {Born–Lüders as the unique measurement strategy of a strictly linear quantum $\lambda$-calculus: The Enter Calculus}. Manuscript I, version 1. Cited for its specified finite destructive-measurement interface and the distinction between that semantics and characterization of an unknown strategy.

XEnter

N. Cheung, X-Enter. Manuscript, version 1. Complete-history instrument and record-channel conventions: :instrument and :recordchannel. Its named four-live-qubit programme restriction is not used as a decoder bound here.