Random streams, causal claims, and non-transfer

A controlled classical potential outcome can be written

where $U$ is the training/scoring/random-initialization input and $Z$ is the evaluation input. Paired interventions specify the coupling of these inputs.