Status: IN
Forward-only correctness is the codebase's universal processing primitive, applying uniformly across all three processing paradigms: event streams (exactly-once via coordinated dedup and finalization), task orchestration (DAG forward progress via control-data separation), and message delivery (bounded retry with escalation to permanent failure).
depth-5 beliefs covering streams+tasks and delivery are both unused; combining reveals forward-only spans every processing paradigm, not just data and execution layers
Depends on (SL): event-and-task-processing-share-forward-only-correctness, notification-instantiates-forward-only-delivery