Status: IN
Event stream processing (exactly-once via coordinated dedup and finalization) and task graph processing (video pipeline forward progress via control-data separation and failure cascading) achieve their correctness guarantees through the same forward-only principle despite operating on fundamentally different processing models — both prevent regression and maximize useful work through irrevocable transitions.
two independent processing domains converge on the same no-regression mechanism
Depends on (SL): forward-only-stream-processing-is-exactly-once, control-data-separation-enables-forward-progress