Manuscript En03-A@1 · En03-A.tex · section · 5398614e
Retiming fixed gates
Kinematics and causal cuts on a prescribed schedule › Retiming fixed gates · lines 885–891
Records and control dependencies belong to supports. The theorem does not move a gate past a gate using its record, change a geometric parameter while retaining the same channel label, or establish no-signalling for nonlinear geometric coupling.