Corrections to the supplied revision

The substantive corrections made here are:

1. Snapshots are unnormalized classical–quantum block states. Affinity is not assigned to normalized conditional states separately. All retained placement and controller information belongs to the snapshot.

2. The schedule past is distinguished from its metric envelope and from actual influence. Reference statements specify agreement of joint input reductions with the reference.

3. Destructive Enter is not identified with unrestricted coherent recording. The inaccessible measured factor and the allowed record contexts are explicit.

4. Soundness is a theorem about finite compositional program networks, not arbitrary driven runs with finitely many live names. Routing is required from every starting tick.

5. Strong normalization alone is not claimed to bound elapsed substrate ticks. The completion and routing hypotheses are retained.

6. Channels on blocks shortened during repartitioning are specified anew. They are not silently inherited by restriction.

7. Non-product exceptional operations are not assumed transmissive. Classical-record reconstruction and entanglement-assisted transport have different receiver interfaces.

8. Teleportation includes its Bell resource, communication capacity, and charged processing ticks. A constant protocol overhead does not prove super-cone transport at every distance greater than $r$.

9. Fixed-gate ordering invariance and coordinate/device retiming are separated. The floor-based cycle calculation is retained as a formal implication, while the stronger ordinary-relay incompatibility is proved and the physical retiming-stability claim is withdrawn.

10. Site homogeneity is not promoted to transitivity on all Euclidean directions. The explicit cardinal diamond supplies the directional comparison.

11. Local mesh approximation uses distance functions rather than intersections with arbitrary compact sets. Cone convergence is uniform on bounded source and target sets.

12. The continuum operational interface includes matched realizations that preserve local modifications and unchanged data.

13. Algebraic microcausality requires a localized observable realization and cross-product-preserving convergence. Commuting superoperators alone do not provide it.

14. Frame calibration excludes the scale factor of every causal automorphism, not merely pure dilation elements.

15. Isotropic and frame-covariant existence remain open. Anisotropic no-signalling is not treated as a contradiction.