References

CheungEn05A

N. Cheung, Exact Causal Cones for Partitioned Enter Dynamics: Snapshot–Channel Comparison, Sharp Relay Speed, and Conditional Continuum Limits. En05-A, version 1, supplied manuscript En05-A-v1.tex, October 2026. Relevant supplied locators: lem:comparison, thm:cone, thm:isotropyobstruction, hyp:C1–hyp:C7, and prop:relaygap.

CheungEn03

N. Cheung, En03-A, version 1. Supplied companion manuscript En03-A.tex. Relevant supplied locators: lem:one-layer, thm:locality, thm:retiming, and prop:directional. Source archive description: https://enter.grok.me/.

CheungVIIE

N. Cheung, Landmark VII-E, version 1. Supplied companion manuscript VII-E.tex. Prescribed kinematics, fixed-labelled-channel ordering, and directional comparison; relevant supplied locators: thm:retiming and prop:direction. Source archive description: https://enter.grok.me/.

CheungVIIG

N. Cheung, Landmark VII-G, version 1. Supplied companion manuscript VII-G.tex. Operational locality with explicit controller support; relevant supplied locator: thm:locality. Source archive description: https://enter.grok.me/.

CheungVIIJ

N. Cheung, Landmark VII-J, version 1. Supplied companion manuscript VII-J.tex. Complete timed dependency networks, influence containment, and cycle-velocity polytopes; relevant supplied locators: thm:nosignal, thm:schedule, and thm:polytope. Source archive description: https://enter.grok.me/.

CheungPsy04B

N. Cheung, Psy04-B, version 1. Supplied companion manuscript Psy04-B-v1.tex. Complete finite causal networks; relevant supplied locator: thm:schedule. Source archive description: https://enter.grok.me/.

CheungI

N. Cheung, Landmark I, version 2. Supplied companion manuscript I.tex. Finite path semantics, destructive Enter, and circuit adequacy; relevant supplied locators: lem:path, thm:adequacy, and prop:classical-recovery. Source archive description: https://enter.grok.me/.

CheungEn04

N. Cheung, En04-A, version 1. Supplied companion manuscript En04-A.tex. Complete finite-program soundness, destructive readout, and residual-response distinctions; relevant supplied locators: thm:soundness, thm:drop, and cor:bridge. Source archive description: https://enter.grok.me/.

CheungHawk04B

N. Cheung, Hawk04-B, version 2. Supplied companion manuscript Hawk04-B.tex. Typed finite-program semantics and destructive readout; relevant supplied locators: thm:adequacy, thm:drop, and thm:classical. Source archive description: https://enter.grok.me/.

CheungEn02B

N. Cheung, En02-B, version 1. Supplied companion manuscript En02-B-v1.tex. Compatible half-diamond implementation accounting; relevant supplied locator: thm:B6. Source archive description: https://enter.grok.me/.

CheungEn02C

N. Cheung, En02-C, version 1. Supplied companion manuscript En02-C-v1.tex. Reference-preserving sequential-program soundness; relevant supplied locator: thm:C1. Source archive description: https://enter.grok.me/.

CheungXIVI

N. Cheung, Landmark XIV-I, version 1. Supplied companion manuscript XIV-I.tex. Relevant supplied locators: thm:I2, thm:I3, and thm:release. The internal amplitude construction and the remaining full joint-map obligation are distinct. Source archive description: https://enter.grok.me/.

CheungXIVJ

N. Cheung, Landmark XIV-J, version 1. Supplied companion manuscript XIV-J.tex. Relevant supplied locators: prop:descent, thm:reference, thm:J2, and cor:noadmission. The supported-sector reference is not the full characteristic map. Source archive description: https://enter.grok.me/.

Choi

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

Watrous

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

Fritz

T. Fritz, “Velocity polytopes of periodic graphs and a no-go theorem for digital physics,” Discrete Mathematics 313 (2013), 1289–1301. arXiv:1109.1963. doi:10.1016/j.disc.2013.02.010.

SchumacherWerner

B. Schumacher and R. F. Werner, Reversible quantum cellular automata. arXiv:quant-ph/0405174, 2004. Cited as a structural comparison, not a classification result for the arbitrary complete instruments used here.

Song

X. Song, Quantum Cellular Automaton Model for the Generalized Dirac Equation. arXiv:1610.02425. Cited only to distinguish an equation-of-motion continuum comparison from the present matched operational transport limit.