DDIR: the optimizer as a DDIR program (an e-graph over each scope) - #856

Open

frankmcsherry wants to merge 12 commits into

master-nextfrom

Commits on Sep 2, 2026

leave_dynamic: a capability per element of a multi-element stamp

frankmcsherry
and
claude
committed
95ce579
ddir driver: with EDGES_FILE, the rounds edit the file's rows

frankmcsherry
and
claude
committed
9c50a5d
DDIR: pin corgi at the sum-compare merge

frankmcsherry
and
claude
committed
4a42154
DDIR: consolidate feedback before setting a var; DD's identifiers as a program

frankmcsherry
and
claude
committed
50c1988
leave_dynamic: a test with a message over two epochs, and where such messages come from

frankmcsherry
and
claude
committed
f6d0854
Records of a batch go out under one capability each: as_collection, count, threshold route by time

frankmcsherry
and
claude
committed
8cebac3
DDIR: an arithmetic e-graph as a program, with a reference oracle

frankmcsherry
and
claude
committed
a648732
DDIR: the optimizer as a DDIR program — an e-graph over each scope

frankmcsherry
and
claude
committed
4fc45f5
DDIR e-graph: row widths, demand pushdown, join commutativity, scalar facts

frankmcsherry
and
claude
committed
f86e77b
DDIR e-graph: DAG-aware extraction, and Program::optimize goes through it

frankmcsherry
and
claude
committed
2abc57f
DDIR e-graph: concat flattening, filter pushdown, row volumes, rules to a fixpoint

frankmcsherry
and
claude
committed
c9101a9
DDIR e-graph: random extraction, as the check that the cost model is extraction's alone

frankmcsherry
and
claude
committed
a8ccf74