Manuscript En08-A@1 · En08-A.tex · remark · c688d76d
Remark: Probability and finite programs
Legal schedules and a local record model › Classical linear wires · lines 580–586
The deterministic laws are point masses. Any fixed joint law on the initial controls gives schedule-independent output laws by pushforward. Interventions are compared with the nonintervened law held fixed. An infinite graph describes compatible finite experiments, not one finite term that completes infinitely many reductions.