Repository navigation

feat(planner): enumerate local logical alternatives without execution timing - #561

Draft

zzylol wants to merge 48 commits into

stack/528-08-cleanupfrom

stack/528-05b-local-alternatives

Commits on Oct 5, 2026

feat(ir): define joint summary observation coverage
zzylol
committed
60b8c13
refactor(ir): name represented observations ObservationExtent
zzylol
committed
c788556
refactor(ir): rename observation extent to SummaryCoverage and trim its fields

zzylol
and
claude
committed
17173ea
docs(ir): describe coverage source as any observation data source

zzylol
and
claude
committed
f968661
feat(ir): require coverage on summary nodes; allow regions without time bounds

zzylol
and
claude
committed
6f129a0
docs: explain the summary coverage problem with examples

zzylol
and
claude
committed
feca0d5
refactor(ir): keep only time and population in SummaryCoverage

zzylol
and
claude
committed
ea7e659
refactor(cost): rename SourceCoverage to ScanSelection

zzylol
and
claude
committed
3fb464b
docs: turn summary coverage into a design document

zzylol
and
claude
committed
6b6dff9
docs: design doc for ASAP primitive schema and summary semantics

zzylol
and
claude
committed
e529855
Update asap-primitive-schema.md
zzylol
committed
cb055c6
Update asap-primitive-schema.md
zzylol
committed
4a4627f
Update asap-primitive-schema.md
zzylol
committed
0febdae
Update asap-primitive-schema.md
zzylol
committed
d113b3a
docs: add code interfaces and per-operator examples to the ASAP primitive schema design

zzylol
and
claude
committed
87b4635
docs: move the ASAP primitive schema design to #573

zzylol
and
claude
committed
02833d1
feat(ir): define compatible logical summary merges
zzylol
committed
1653cb4
feat(ir): require disjoint coverage for summary merges
zzylol
committed
182160a
refactor(ir): use SummaryCoverage names in summary merges

zzylol
and
claude
committed
05df2fb
feat(ir): check merge update/reduction on producers; test documented coverage examples

zzylol
and
claude
committed
9440d33
test(ir): point coverage examples at the design document

zzylol
and
claude
committed
a116058
test(ir): point coverage examples at the ASAP primitive schema design doc

zzylol
and
claude
committed
f2b7b3f
feat(ir): add logical sub-DAG sharing and phase-free export
zzylol
committed
a9da6df
feat(ir): require summary coverage in logical transport

zzylol
and
claude
committed
bf148a1
test(ir): use typed coverage source in logical export

zzylol
and
claude
committed
4a48b04
docs(ir): describe logical export as having no execution timing assigned

zzylol
and
claude
committed
3e9b01e
feat(ir): export a query batch as one DAG with one root per query

zzylol
and
claude
committed
fa9c414
feat: lower SQL through unified operators and scalars
zzylol
committed
ba05ce8
fix: integrate with #614 (DataFusion 54) in the unified SQL lowering

zzylol
and
claude
committed
c664f59
feat(promql): lower queries to unified operator and scalar IR
zzylol
committed
13e9585
feat(ir): restore execution timing assignment for physical plans

zzylol
and
claude
committed
e5d3cff
feat(ir): export timed plans as PhysicalASAPDAG

zzylol
and
claude
committed
59c30ac
feat(runtime): compile unified operator and scalar graphs
zzylol
committed
70ee3ff
feat(ir): give physical ASAP DAGs one root per batch query

zzylol
and
claude
committed
c818819
fix: integrate with #614 (DataFusion 54): let chrono resolve to DF 54's version

zzylol
and
claude
committed
672a187
refactor(planner): plan one shared unified workload DAG

zzylol
and
claude
committed
6272362
feat(planner): declare whole-source coverage on planned summary states

zzylol
and
claude
committed
0dd65e7
feat(planner): export a planned workload as one physical ASAP DAG

zzylol
and
claude
committed
0c62c4a
refactor(ir): remove the legacy QueryExpr and SummaryExpr IRs

zzylol
and
claude
committed
8a49e06
docs: describe the unified operator IR instead of the removed legacy IRs

zzylol
and
claude
committed
5be51a2
chore(tools): align the DAG viewer with the unified operator kinds

zzylol
and
claude
committed
8238723
refactor(planner): remove the summary maintenance lifecycle

zzylol
and
claude
committed
b00817e
refactor(ir): default to query-time materialization

zzylol
and
claude
committed
68df715
docs: drop the summary maintenance lifecycle and document the query-time default

zzylol
and
claude
committed
d83ad48
chore(tools): name OperatorNode in viewer comments

zzylol
and
claude
committed
10ef511
feat(planner): enumerate phase-free local logical alternatives
zzylol
committed
2c6a4b1
docs(planner): say local candidates have no execution timing assigned

zzylol
and
claude
committed
849e483
test(planner): call the promoted PromQL workload lowering

zzylol
and
claude
committed
488c6eb