Manuscript En03-A@1 · En03-A.tex · remark · 5398614e
Remark: Containment and complete laws
Kinematics and causal cuts on a prescribed schedule › Scheduled blocks · lines 726–733
En03-A@1#rem:schedule-containment
Scheduled ancestors are an exact upper bound, not necessarily the minimal influence region of a particular channel. Joint records use the backwards region of their full instrument network. Selective normalized updates are not trace-preserving channels; the statements concern unconditional channels that retain their records.