reduce: add a model-derived `reference` tactic (differential oracle) - #780

Merged

frankmcsherry merged 10 commits into

TimelyDataflow:master-nextfrom

frankmcsherry:reduce-reference-tactic

Jul 3, 2026

Commits on Jul 2, 2026

reduce: add TimeReplay, a time-only non-destructive ValueHistory walk

frankmcsherry
and
claude
committed
5de4f02
reduce: add model-derived 'reference' tactic

frankmcsherry
and
claude
committed
c15b63c
reduce: differential + oracle tests and benchmark for the reference tactic

frankmcsherry
and
claude
committed
b3a2d7b
reduce: move reference tactic's time buffer out of ValueHistory

frankmcsherry
and
claude
committed
7499d38
reduce: hide reference entry points from the public API

frankmcsherry
and
claude
committed
d56cf94
reduce: drop reference tactic's inherent methods from Collection/Arranged

frankmcsherry
and
claude
committed
9ef4601
reduce: consolidate reference tactic into mod reference; demote metrics

frankmcsherry
and
claude
committed
bf93ec2
reduce: remove the reduce-metrics counters and over_derivation test

frankmcsherry
and
claude
committed
52f504d
reduce: drop the reduce_bench example

frankmcsherry
and
claude
committed
4e03613

Commits on Jul 3, 2026

reduce: fix reference tactic's phase-2 catch-up walk (partial vs total order)

frankmcsherry
and
claude
committed
616fb79