refactor(stage2): physical expansion (decision-tree levels 3–4), physical edges, pruned alternatives; Count-Min weights via column_sign (#1207 PR 5) by zzylol · Pull Request #1235 · ProjectASAP/ASAPPlanner

refactor: define every stage's interfaces from #1207 and delete the ones they replace (#1207 PR 0)

zzylol

committed

1df3d47

refactor(types): CandidateForMemoGroupId.index -> index_in_group

zzylol

committed

99245c1

refactor(types): drop the physical schedule σ; PhysicalProperties { timing, lifetime }

zzylol

committed

940c88b

refactor(types): theta must be listed, floors need not be; satisfies_physical drops memo

zzylol

committed

cb6e9e1

refactor(plan-selection): one evaluation context per schedule

zzylol

committed

ed44fc2

refactor(types): rename the #1207 interfaces as agreed (2026-11-06)

zzylol

committed

9416f44

refactor(types): execution contexts reuse the workload's recurrence

zzylol

committed

b05cec1

refactor: naming sweep for the #1207 unit

zzylol

committed

868d2f8

refactor(types): Memo methods return Result; CandidateError (#1207 PR 0)

zzylol

committed

f4c0397

refactor: Memo groups private behind groups(); Stage 0 through the Memo (#1207 PR 0)

zzylol

committed

98f4eb2

refactor(types): a memo group is its expression and GroupProperties; OperatorInput; coverage only in the memo (#1207 PR 0)

zzylol

committed

f104f6f

refactor(accuracy): delete size_for_all_readers and its shared-size helpers (#1207 PR 0)

zzylol

committed

0fe71dd

refactor(types): InputOrTemporaryBuild; subquery groups in unlifted operators; delete merged_window_build_node (#1207 PR 0)

zzylol

committed

2a04c9f

refactor(types): 2026-11-07 interfaces: chains without a window count, TimeBound, Pass 2 pruned list, Stage 2 entry (#1207 PR 0)

zzylol

committed

ac7273d

refactor(types): IntervalConstraintLimit ends for Constraint::Interval; ScalarValue::Timestamp (#1207 PR 0)

zzylol

committed

8a98866

refactor(types): PromQL ranges are (t - r, t] in the interval examples; delete ParametersOfAnotherFamily (#1207 PR 0)

zzylol

committed

31f25bb

refactor(types): 2026-11-08 interfaces: summary types, required accuracy, the plan is one PhysicalASAPDAG (#1207 PR 0)

zzylol

committed

0d992a1

refactor(types): guarantees at a failure probability, AccuracyEvidence trait, MemoQuery, evaluation grids of groups (#1207 PR 0)

zzylol

committed

d82c149

refactor: delete Pass 1's test-support whole-workload composition and the tests that use it (#1207 PR 0)

zzylol

committed

5587607

test(sql): lower main's new ClickHouse tests without the removed accuracy argument (#1207 PR 0)

zzylol

committed

61541f7

refactor: one crate per stage (#1207 PR 0b)

zzylol

committed

77ebd23

test: delete the tests that cross stage crates (#1207 PR 0b)

zzylol

committed

6cdaa2f

test: delete the frontend and Pass 1 tests that cross stage crates (#1207 PR 0b)

zzylol

committed

d18a86f

test: delete the frontend tests that plan through the facade (#1207 PR 0b)

zzylol

committed

a4290ee

refactor(types): properties and requirements from #1207 (#1207 PR 1)

zzylol

committed

13063ab

feat(stage0, types): memo hash-consing, group properties (column_sign, depends_on_evaluation_time, aggregate_coverage), @ end()/@ start() lifted above their subtree (#1207 PR 2)

zzylol

committed

36312cb

refactor(types, frontends): column lineage replaces table qualifiers (#1207 PR 2b)

zzylol

committed

50686ae

refactor(stage1-pass1): per-computation candidates over memo groups (#1207 PR 3)

zzylol

committed

0c11cd7

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

zzylol

committed

e98e80b

refactor(stage2): physical expansion, physical edges and pruned alternatives; Count-Min weights via column_sign (#1207 PR 5)

zzylol

committed

8876072

Navigation Menu

Repository navigation

refactor(stage2): physical expansion (decision-tree levels 3–4), physical edges, pruned alternatives; Count-Min weights via column_sign (#1207 PR 5) - #1235

refactor(stage2): physical expansion (decision-tree levels 3–4), physical edges, pruned alternatives; Count-Min weights via column_sign (#1207 PR 5)#1235
zzylol wants to merge 30 commits into
refactor/1207-pass2from
refactor/1207-stage2

Commits on Nov 10, 2026

refactor: define every stage's interfaces from #1207 and delete the ones they replace (#1207 PR 0)

refactor(types): CandidateForMemoGroupId.index -> index_in_group

refactor(types): drop the physical schedule σ; PhysicalProperties { timing, lifetime }

refactor(types): theta must be listed, floors need not be; satisfies_physical drops memo

refactor(plan-selection): one evaluation context per schedule

refactor(types): rename the #1207 interfaces as agreed (2026-11-06)

refactor(types): execution contexts reuse the workload's recurrence

refactor: naming sweep for the #1207 unit

refactor(types): Memo methods return Result; CandidateError (#1207 PR 0)

refactor: Memo groups private behind groups(); Stage 0 through the Memo (#1207 PR 0)

refactor(types): a memo group is its expression and GroupProperties; OperatorInput; coverage only in the memo (#1207 PR 0)

refactor(accuracy): delete size_for_all_readers and its shared-size helpers (#1207 PR 0)

refactor(types): InputOrTemporaryBuild; subquery groups in unlifted operators; delete merged_window_build_node (#1207 PR 0)

refactor(types): 2026-11-07 interfaces: chains without a window count, TimeBound, Pass 2 pruned list, Stage 2 entry (#1207 PR 0)

refactor(types): IntervalConstraintLimit ends for Constraint::Interval; ScalarValue::Timestamp (#1207 PR 0)

refactor(types): PromQL ranges are (t - r, t] in the interval examples; delete ParametersOfAnotherFamily (#1207 PR 0)

refactor(types): 2026-11-08 interfaces: summary types, required accuracy, the plan is one PhysicalASAPDAG (#1207 PR 0)

refactor(types): guarantees at a failure probability, AccuracyEvidence trait, MemoQuery, evaluation grids of groups (#1207 PR 0)

refactor: delete Pass 1's test-support whole-workload composition and the tests that use it (#1207 PR 0)

test(sql): lower main's new ClickHouse tests without the removed accuracy argument (#1207 PR 0)

refactor: one crate per stage (#1207 PR 0b)

test: delete the tests that cross stage crates (#1207 PR 0b)

test: delete the frontend and Pass 1 tests that cross stage crates (#1207 PR 0b)

test: delete the frontend tests that plan through the facade (#1207 PR 0b)

refactor(types): properties and requirements from #1207 (#1207 PR 1)

feat(stage0, types): memo hash-consing, group properties (column_sign, depends_on_evaluation_time, aggregate_coverage), @ end()/@ start() lifted above their subtree (#1207 PR 2)

refactor(types, frontends): column lineage replaces table qualifiers (#1207 PR 2b)

refactor(stage1-pass1): per-computation candidates over memo groups (#1207 PR 3)

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

refactor(stage2): physical expansion, physical edges and pruned alternatives; Count-Min weights via column_sign (#1207 PR 5)