refactor(stage1-pass2): rollup from the finest common group, readout requirements, dead-candidate elimination, chain groups (#1207 PR 4) by zzylol · Pull Request #1234 · ProjectASAP/ASAPPlanner

refactor(stage1-pass2): rollup from the finest common group, readout requirements, dead-candidate elimination, chain groups (#1207 PR 4)

zzylol

committed

5ac57fc

refactor(accuracy): delete the classic HLL and UnivMon distinct-count guarantees no stage reads yet (#1207 PR 4)

zzylol

committed

e36699e

fix(accuracy): a count, min, max or avg grouped by an estimate has no error contract (#1207 PR 4)

zzylol

committed

34881c8

fix(stage1-pass2): prune for unknown values per evaluation only a readout no query gives a level (#1207 PR 4)

zzylol

committed

658c3f1

fix(stage1-pass2): a chain has an edge only into a reader whose evaluation grid its width divides (#1207 PR 4)

zzylol

committed

fa5e80b

fix(stage1-pass2): check a rollup before adding its compensating filter, with the source frontend's comparison semantics (#1207 PR 4)

zzylol

committed

507291b

docs(planner-layering): top-k reuse, readers without a declared phase and chain edges as the code does them (#1207 PR 4)

zzylol

committed

d1bdef5

test(stage1-pass2): PromQL rollup through production lowering (failing: per-series layers and scans listing different labels)

zzylol

committed

9a61080

fix(stage1-pass2): rollup sees through per-series layers and matches PromQL scans by lineage

zzylol

committed

9876e7a

Delete unused accuracy guarantee types, move sketch_statistic to SketchStatistic::for_intent, drop PR numbers

zzylol

committed

08a131f

Describe error propagation and readout requirements in accuracy docs

zzylol

committed

637e952

refactor(stage1-pass2,accuracy): lay out Pass 2 and accuracy by scope, remove duplicates (#1207 PR 4)

zzylol

committed

6dee526

docs(accuracy,planner): describe the error contracts and the current Pass 2 (#1207 PR 4)

zzylol

committed

bd5bd3b

feat(stage1-pass2): name the cause of a chain edge off the reader's evaluation grid (#1207 PR 4)

zzylol

committed

5f37ca7

Navigation Menu

Repository navigation

refactor(stage1-pass2): rollup from the finest common group, readout requirements, dead-candidate elimination, chain groups (#1207 PR 4) - #1234

refactor(stage1-pass2): rollup from the finest common group, readout requirements, dead-candidate elimination, chain groups (#1207 PR 4)#1234
zzylol wants to merge 25 commits into
mainfrom
refactor/1207-pass2

Commits on Nov 11, 2026

refactor(stage1-pass2): rollup from the finest common group, readout requirements, dead-candidate elimination, chain groups (#1207 PR 4)

refactor(accuracy): delete the classic HLL and UnivMon distinct-count guarantees no stage reads yet (#1207 PR 4)

fix(accuracy): a count, min, max or avg grouped by an estimate has no error contract (#1207 PR 4)

fix(stage1-pass2): prune for unknown values per evaluation only a readout no query gives a level (#1207 PR 4)

fix(stage1-pass2): a chain has an edge only into a reader whose evaluation grid its width divides (#1207 PR 4)

fix(stage1-pass2): check a rollup before adding its compensating filter, with the source frontend's comparison semantics (#1207 PR 4)

docs(planner-layering): top-k reuse, readers without a declared phase and chain edges as the code does them (#1207 PR 4)

test(stage1-pass2): PromQL rollup through production lowering (failing: per-series layers and scans listing different labels)

fix(stage1-pass2): rollup sees through per-series layers and matches PromQL scans by lineage

Delete unused accuracy guarantee types, move sketch_statistic to SketchStatistic::for_intent, drop PR numbers

Describe error propagation and readout requirements in accuracy docs

refactor(stage1-pass2,accuracy): lay out Pass 2 and accuracy by scope, remove duplicates (#1207 PR 4)

docs(accuracy,planner): describe the error contracts and the current Pass 2 (#1207 PR 4)

feat(stage1-pass2): name the cause of a chain edge off the reader's evaluation grid (#1207 PR 4)

Commits on Nov 12, 2026

fix(accuracy): judge PromQL Project items by the estimate and fail readouts without a guarantee (#1207 PR 4)

fix(stage1-pass2,accuracy,types): grids below subqueries, readout fan-in, per-query exact-only groups (#1207 PR 4)

fix(stage1-pass2): roll counts up under their own name and compensate with the frontend's comparison (#1207 PR 4)

docs(accuracy,planner): state the checked top-k contract, Project contracts, readout fan-in and exact-only groups (#1207 PR 4)

refactor(types): group scope directory, sibling test files, hash-consing tests, view coverage in plan (#1207 PR 4)

refactor(types): delete the never-set accuracy guarantee field of operator and plan nodes (#1207 PR 4)

docs(types): module docs describe present contents without issue numbers, tests of floor helpers in the test module, updated file paths (#1207 PR 4)

test(integration): drop the removed guarantee field from the plan fixtures (#1207 PR 4)

refactor(accuracy,stage1-pass2,types): one caps walk for reach, accepted metrics and caps; readout metrics and accepted input metrics computed once per edge pass; readout.rs, binomial.rs, target_li…

test(types,stage1-pass1,stage1-pass2): shared memo builders and fixtures in test_support; Pass 2 tests keep what the stage does with the accuracy results (#1207 PR 4)

docs(accuracy,planner): theta lists with the guarantee at the required failure probability, the delta grid, top-k and Hydra status, current Pass 2 and accuracy file layout (#1207 PR 4)