test: #509 Examples 2–4 acceptance specs and end-to-end tests - #590

Draft

zzylol wants to merge 76 commits into

stack/509-e2-keyed-additive-topkfrom

stack/509-acceptance-examples-2-4

Commits on Oct 3, 2026

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

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

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

zzylol
and
claude
committed
3127b07
docs: explain the summary coverage problem with examples

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

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

zzylol
and
claude
committed
05cb0eb
docs: turn summary coverage into a design document

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

zzylol
and
claude
committed
dbee720
Update asap-primitive-schema.md
zzylol
authored
9a310a7
Update asap-primitive-schema.md
zzylol
authored
3cbfea0
Update asap-primitive-schema.md
zzylol
authored
0f4b677
Update asap-primitive-schema.md
zzylol
authored
23663bd
docs: add code interfaces and per-operator examples to the ASAP primitive schema design

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

zzylol
and
claude
committed
4a91371
feat(ir): define compatible logical summary merges
zzylol
committed
b001233
feat(ir): require disjoint coverage for summary merges
zzylol
committed
0fb19d3
refactor(ir): use SummaryCoverage names in summary merges

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

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

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

zzylol
and
claude
committed
700838b
feat(ir): add logical sub-DAG sharing and phase-free export
zzylol
committed
44c5f39
feat(ir): require summary coverage in logical transport

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

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

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

zzylol
and
claude
committed
0f6f539
feat: lower SQL through unified operators and scalars
zzylol
committed
c2c329b
feat(promql): lower queries to unified operator and scalar IR
zzylol
committed
ca8b839
feat(ir): restore execution timing assignment for physical plans

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

zzylol
and
claude
committed
5b1fa8c
feat(runtime): compile unified operator and scalar graphs
zzylol
committed
0dafa6c
feat(ir): give physical ASAP DAGs one root per batch query

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

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

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

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

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

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

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

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

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

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

zzylol
and
claude
committed
e529b6e
feat(planner): enumerate phase-free local logical alternatives
zzylol
committed
1c21189
docs(planner): say local candidates have no execution timing assigned

zzylol
and
claude
committed
39da475
test(planner): call the promoted PromQL workload lowering

zzylol
and
claude
committed
517cd55
feat(planner): compose a whole-workload candidate from Pass 1 choices

zzylol
and
claude
committed
e1106fc
feat(devtools): stage_pipeline writes real Stage 0/1 viewer documents

zzylol
and
claude
committed
b7f6a2f
fix(planner): adapt Stage 1 candidates to the promoted frontend and evaluation naming

zzylol
and
claude
committed
dfe9a35
fix(ir): name a finalized exact accumulator after the aggregate it realizes

zzylol
and
claude
committed
69042bf
fix(planner): rank Top-K summary items by the PromQL series identity column

zzylol
and
claude
committed
3c94cb5
test(devtools): regenerate the Stage 0/1 fixture after the accumulator naming fix

zzylol
and
claude
committed
084a8e2
feat(planner): #509 Stage 2 physical candidates and Stage 3 plan selection (MVP)

zzylol
and
claude
committed
8fcc859
feat(devtools): stage_pipeline emits all four stages for Example 1

zzylol
and
claude
committed
4b5b80c
test: acceptance spec and pending tests for planner-layering Example 1

zzylol
and
claude
committed
2ee0442
test: run the Example 1 acceptance tests against the real stages

zzylol
and
claude
committed
0afc939
refactor(types): arrange asap-types modules by #511 section (#572 B1)

zzylol
and
claude
committed
dfaa958

Commits on Oct 4, 2026

fix(types): top-k sketch readout derives the selected rows

zzylol
and
claude
committed
0dafd93
test: Example 1 expectations follow the planner's 24 candidates

zzylol
and
claude
committed
5796e23
fix(types): an exact top-k returns its selected rows, like a sketch readout

zzylol
and
claude
committed
e00864a
fix(planner): Stage 3 sizes every top-k realization by its logical result

zzylol
and
claude
committed
0afb19a
feat(planner): run the #509 stage pipeline with tree-DP selection; retire MajorPass

zzylol
and
claude
committed
8a986cc
refactor(planner): move legacy candidate selection out of replacement

zzylol
and
claude
committed
25c09da
refactor(planner): Stage 1 candidate generation no longer takes a cost model

zzylol
and
claude
committed
045f47d
test(planner): guard that Stage 1 does not import the cost model

zzylol
and
claude
committed
7b35498
docs(planner): describe cost-free Stage 1 candidate generation

zzylol
and
claude
committed
af65096
refactor(planner): remove the Stage 1 to Stage 3 blockers before the crate split

zzylol
and
claude
committed
fceb3d9
refactor(planner): extract the Stage 1 logical-optimizer crate

zzylol
and
claude
committed
f12411e
refactor(planner): extract the Stage 2 physical-optimizer crate

zzylol
and
claude
committed
a3c2d63
refactor(planner): extract the Stage 3 plan-selection crate

zzylol
and
claude
committed
452ed7d
refactor(planner): move the pass facade into asap-planner and delete asap-aware-mapping

zzylol
and
claude
committed
999fd95
refactor(planner): rename asap-physical-operators to the Stage 4 asap-executor crate

zzylol
and
claude
committed
b9dfd33
feat(planner): Pass 2 identical-expression rule as a Stage 1 sharing variant

zzylol
and
claude
committed
41c0c78
feat(planner): whole-expression top-k heap sketch over raw samples

zzylol
and
claude
committed
6575cfe
test(planner): acceptance specs and tests for #509 Examples 2-4

zzylol
and
claude
committed
287aebb
feat(devtools): stage_pipeline examples for #509 Example 3

zzylol
and
claude
committed
d064b46