References

DaviesLewis

E. B. Davies and J. T. Lewis, “An operational approach to quantum probability,” Communications in Mathematical Physics 17 (1970), 239–260. DOI: 10.1007/BF01647093.

Choi

M.-D. Choi, “Completely positive linear maps on complex matrices,” Linear Algebra and its Applications 10 (1975), 285–290. DOI: 10.1016/0024-3795(75)90075-0.

Watrous

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

CheungVIIE

N. Cheung, Observation boundaries for destructive quantum readout and external geometry. Manuscript VII-E. -E.tex, version 1, Enter Calculus Companion, unpublished manuscript. The source author field is empty; attribution follows the companion's documentary record. Relevant locators include :pullback, :residual-obstruction, :luders, :composition, and :certificate. https://enter.grok.me/browse/VII-E.

CheungVIIG

N. Cheung, Landmark VII-G: Completely positive observation boundaries for finite matter–geometry feedback. -G.tex, version 1, Enter Calculus Companion, unpublished manuscript. Relevant locators include :structure, :observation, :histories, :decouple, :affine, and :finite-model. https://enter.grok.me/browse/VII-G.

CheungEnter

N. Cheung, “The Enter Calculus: A Linear Quantum Lambda Calculus with an Operational Characterization of Measurement,” Frontiers in Physics 14 (2026), article 1954943. Accepted 28 September 2026; the consulted publisher record identifies the final formatted version as forthcoming. DOI: 10.3389/fphy.2026.1954943.

CheungI

N. Cheung, Manuscript I. .tex, version 2, Enter Calculus Companion, supplied unpublished manuscript. The characterization theorem concerns its specified strategy class and five requirements. https://enter.grok.me/browse/I.

CheungPhilosophy

N. Cheung, The Philosophy of Enter: Destructive Readout, Quantum Recovery, and the Refusal of Identification. -v2.tex, version 2. Introductory essay, Enter Calculus Companion. https://enter.grok.me/enter.

CheungIB

N. Cheung, I-B-v1: A Finite Enter Spacetime: Calibrated Destructive Time Readout on a Prescribed Conical Product. -B-v1.tex, version 1. Enter Calculus Companion, unpublished manuscript. https://enter.grok.me/browse/I-B.

GurevichBlass

Y. Gurevich and A. Blass, “Quantum circuits with classical channels and the principle of deferred measurements,” Theoretical Computer Science 920 (2022), 21–32. DOI: 10.1016/j.tcs.2022.02.002. https://arxiv.org/abs/2107.08324.

KnillLaflamme

E. Knill and R. Laflamme, “Theory of quantum error-correcting codes,” Physical Review A 55 (1997), 900–911. DOI: 10.1103/PhysRevA.55.900. https://arxiv.org/abs/quant-ph/9604034.

KSW

D. Kretschmann, D. Schlingemann, and R. F. Werner, “The information-disturbance tradeoff and the continuity of Stinespring's representation,” IEEE Transactions on Information Theory 54 (2008), 1708–1717. DOI: 10.1109/TIT.2008.917696. https://arxiv.org/abs/quant-ph/0605009.

DJH

S. Deser, R. Jackiw, and G. 't Hooft, “Three-dimensional Einstein gravity: Dynamics of flat space,” Annals of Physics 152 (1984), 220–235. DOI: 10.1016/0003-4916(84)90085-X. Context for conical and polygonal descriptions only; no $3+1$-dimensional source equation is imported.

CheungPackets

N. Cheung, VIII-B, -B-v3.tex, version 3; and VIII-C, -C-v3.tex, version 3. Enter Calculus Companion, supplied unpublished source records. Variable-deficit packet dictionaries, deterministic Option N, and promised source tokens are separate contracts. https://enter.grok.me/browse/VIII-B; https://enter.grok.me/browse/VIII-C.

CheungTransport

N. Cheung, Manuscript VII-J. -J.tex, version 1. Enter Calculus Companion, supplied unpublished manuscript. Scheduled reachability, intervention influence, and physical causal containment are separately specified. https://enter.grok.me/browse/VII-J.

CheungClockLocality

N. Cheung, En09-A, 09-A.tex, version 1; En03-A, 03-A.tex, version 1; and En05-A, 05-A.tex, version 1. Enter Calculus Companion, supplied unpublished source records. Clock conditioning and complete-channel schedule locality are comparisons, not premises. https://enter.grok.me/browse/En09-A; https://enter.grok.me/browse/En03-A; https://enter.grok.me/browse/En05-A.

CheungComparisons

N. Cheung, Enter Calculus Companion: version-specific documentary records supplied with this problem. This grouped entry identifies the supplied comparisons: I, II, II-B, III, III-B, IV, IV-B, V-B; VII-A through VII-D, VII-F, VII-H, VII-I; VIII-A through VIII-C; IX-A through IX-E, X-G, XI-G; Em02-E, XX-A, XIX-A, En02-C, En08-A, En08-B, Oai282-A, and the named Hawk, Psy, and Em packet records. Grouping is bibliographic only and implies no common model, theorem transfer, or independent verification. https://enter.grok.me/browse.

The separately supplied OpenAI catalogue is attributed to OpenAI, not to N. Cheung. It is not a premise; no family proof or formalization claim is verified or imported.

AnalyticRecords

N. Cheung, XIV-H, version 1; XIV-I, version 1; XIV-J, version 1; technical XV-B, version 2; XVI-N, revision r12; XVI-O, revision o70-sync; and the separately scoped XVI-Q, release Q11. Enter Calculus Companion, supplied unpublished source records. Historical H2, constructed internal I2, unresolved full I3/J2, and prescription-specific O.1 statements are distinct. https://enter.grok.me/browse/XIV-H; https://enter.grok.me/browse/XIV-I; https://enter.grok.me/browse/XIV-J; https://enter.grok.me/browse/XVI-O.