Comparison interfaces

The locality comparisons are with Cheung En03-A, VII-E, VII-G, VII-J, and Psy04-B CheungEn03A,CheungVIIE,CheungVIIG,CheungVIIJ,CheungPsy04B. They concern complete interfaces, prescribed supports, and unconditioned laws.

The optional program semantics are compared with Landmark I, En04-A, Hawk04-B, and En02-C CheungI,CheungEn04A,CheungHawk04B,CheungEn02C. Cheung's publisher record describes the Enter calculus as a linear calculus with an operational characterization of destructive measurement, separating the Born-equipped calculus from the measurement-characterization layer CheungEC. No syntax-specific metatheorem is needed to prove the geometric cone.

The finite-speed geometry is related to periodic-graph velocity polytopes Fritz, partitioned cellular automata ToffoliMargolus, and reversible quantum cellular automata SchumacherWerner. The present class includes irreversible instruments and does not inherit a reversible-QCA classification theorem.