Manuscript I-B@1 · I-B-v1.tex · section · 5357688f
A finite local execution model
Schedule locality and the metric causal dictionary › A finite local execution model · lines 1112–1119
This is the local proof underlying the prescribed-network comparisons in En03-A, En05-A, and En06-A CheungEn03,CheungEn05A,CheungEn06A. It concerns complete unconditioned channels with records retained, not normalized postselection.