refactor: define every stage's interfaces from #1207 and delete the ones they replace (#1207 PR 0) by zzylol · Pull Request #1226 · 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: organize the stage types by scope; name the memo query and requirement setters by what they hold (#1207 PR 0)

zzylol

committed

fe1473c

refactor: organize asap-types, asap-accuracy and asap-cost by scope (#1207 PR 0)

zzylol

committed

7030d68

Navigation Menu

Repository navigation

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

refactor: define every stage's interfaces from #1207 and delete the ones they replace (#1207 PR 0)#1226
zzylol merged 22 commits into
mainfrom
refactor/1207-interfaces

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: organize the stage types by scope; name the memo query and requirement setters by what they hold (#1207 PR 0)

refactor: organize asap-types, asap-accuracy and asap-cost by scope (#1207 PR 0)