Three necessary corrections

1. The target substrate must be specified. A Euclidean upper speed bound alone does not supply isotropic routing. Our target generator set is stated explicitly.

2. Future-directed transport uses a time-orientation-preserving group. We use the proper orthochronous Poincare group ${\mathsf{P}}_{+}^{\uparrow }$. A time reversal does not preserve the directed network class. Spatial parity could be added without changing the proof, but time reversal is not included.

3. Channel comparison and observable comparison are different. An arbitrary channel's Heisenberg adjoint need not preserve products. The observable comparison below is instead an explicit $\ast$-isomorphism on a selected logical dilation algebra.

Cheung's En05-B is a documentary comparison for separated lanes, junction interfaces, and reference-preserving identity transport CheungEn05B. En05-C is a comparison for complete-device specification and product-preserving observable identifications CheungEn05C. None of their unseen proofs is used below.

Discrete Lorentz covariance for particular quantum walks and cellular automata is a distinct construction ArrighiFacchiniForets. Likewise, the scaling-algebra framework of Buchholz and Verch starts with a local quantum field theory and addresses its short-distance limits BuchholzVerch. Neither result is substituted for the finite measurement-and-record construction proved here.