Correct dogs3 worst-case optimal tools - #821

Merged

frankmcsherry merged 5 commits into

TimelyDataflow:master-nextfrom

frankmcsherry:correct_dogs3_wco

Aug 7, 2026

Commits on Aug 7, 2026

Avoid non-termination that results from in-band progress tracking
frankmcsherry
committed
865bb73
Retarget count/propose/validate onto half_join

frankmcsherry
and
claude
committed
1482236
Test the WCOJ path over partially ordered times

frankmcsherry
and
claude
committed
02b75c0
State delta-query strictness directly, rather than in the timestamp

frankmcsherry
and
claude
committed
3a474d0
Delete altneu and calculus, which no longer have consumers

frankmcsherry
and
claude
committed
4cb5ddc