Remark: Completeness is essential

A selectively normalized outcome branch is generally not trace preserving. Its adjoint is not unital, and the preceding proof does not apply to that branch in isolation.

Conditioning on a remote outcome can change a local conditional law without creating a signalling path. Likewise, observational correlations caused by common ancestors are not the interventions in Theorem thm:schedule.