Proposition: What retiming preserves

Swapping adjacent independent channel nodes acting on disjoint factors preserves the complete channel, including records and references. It need not preserve an assigned physical timing certificate.

Proof. The two tensor-factor maps commute, also after amplification. A finite sequence of such swaps preserves their composition. Their new assigned port times need not satisfy the original causal inequalities, which are separate hypotheses.