Status: IN
Dedup retention outlives the aggregation window by 2×, and finalized results are irrevocable — this is coordinated design: since emitted results cannot be retracted, the system must ensure duplicates are caught before finalization, requiring dedup coverage to extend beyond the window boundary as a correctness invariant.
Irreversible finalization demands that dedup outlive the window — these two depth-1 conclusions are not independent but structurally dependent
Depends on (SL): dedup-outlives-aggregation-window, watermark-finalization-is-irreversible