feat(query-engine): computed top-k in range queries + stage-E equivalence tests (#581 stage E prep) - #629

Merged

milindsrivastava1997 merged 4 commits into

mainfrom

581-unify-instant-range-stage-c

Aug 26, 2026

Commits on Aug 26, 2026

feat(query-engine): computed top-k in range queries + stage-E equivalence tests (#581 stage E prep)

milindsrivastava1997
and
claude
committed
cbeae1b
fix(query-engine): drop dead-code retain in apply_range_topk (roborev #23)

milindsrivastava1997
and
claude
committed
e76a147
test(query-engine): pin topk binary-expr label bugs found via PR #629 Finding 1

milindsrivastava1997
and
claude
committed
c73d52e
fix(query-engine): deterministic range topk tie-break, fewer label clones

milindsrivastava1997
and
claude
committed
8551d2f