feat(promql+sql): unified positional L3 intent algebra (PromQL & SQL lowering) - #5

Merged

zzylol merged 41 commits into

mainfrom

feat/promql-l1-l3

May 27, 2026

Commits on May 20, 2026

feat(promql): L1-L3 PromQL lowering to intent algebra

zzylol
and
claude
committed
36854f3
refactor(promql): adopt asapquery-backend control-plane IR architecture

zzylol
and
claude
committed
fb17ce9

Commits on May 22, 2026

docs(promql): explain Binder, positional ColumnId, and CSE with a traced example

zzylol
and
claude
committed
62c2191
docs(promql): add unique_keys propagation example

zzylol
and
claude
committed
133bf61
docs(promql): add input-vs-output ColumnId (2 vs 0) table

zzylol
and
claude
committed
96d2ecd
docs(promql): label L3 explicitly in the pipeline diagram

zzylol
and
claude
committed
5203733
fix(promql): address PR #5 review — outer-agg drop, histogram, CSE key, per-branch binding

zzylol
and
claude
committed
e6a3b18
test(promql): add semantic conformance suite vs PromQL spec/cheat-sheet

zzylol
and
claude
committed
0e5d7c4
test(promql): semantic-equivalence suite + fix the divergences it exposed

zzylol
and
claude
committed
127e98b
test(promql): exhaustive query corpus from the three PromQL sources

zzylol
and
claude
committed
8753094
chore(deps): upgrade promql-parser 0.8 -> 0.9 (more of the corpus parses)

zzylol
and
claude
committed
6b00acc
chore(deps): vendor promql-parser via private mirror (ProjectASAP/promql-parser)

zzylol
and
claude
committed
95da3d6
docs: add THIRD_PARTY.md (dependency licenses + promql-parser attribution)

zzylol
and
claude
committed
c5a5f8b
chore(promql): track private parser `asap` branch (added functions) + CI auth

zzylol
and
claude
committed
867e143
ci: disable Rust CI auto-triggers until private-dep credential is set

zzylol
and
claude
committed
2c50467

Commits on May 24, 2026

docs: add intent_algebra reconciliation plan (ASAPController ⇄ control_plane)

zzylol
and
claude
committed
17a2876

Commits on May 26, 2026

feat(core): make L3 IR SQL-ready — scalar superset, col-carrying AggIntent, SQL-node schema flow

zzylol
and
claude
committed
d36c23f
feat(core): thread per-aggregate input column through L2→L3 convert (D4)

zzylol
and
claude
committed
3f7f360
feat(core): make L2→L3 convert bottom-up schema-aware for SQL trees

zzylol
and
claude
committed
90a9193
Merge origin/main (#4 SQL lowering) into feat/promql-l1-l3

zzylol
and
claude
committed
6e235fe
feat(core): add Project to relational L2 + convert arm (SQL projection)

zzylol
and
claude
committed
4594ac6
feat(sql): re-target DataFusion front end to emit relational L2 (positional IR)

zzylol
and
claude
committed
99c2747
docs+chore: mark #4⇄#5 reconciliation done; fix stale L4 doc comment

zzylol
and
claude
committed
bdca7e1
feat(sql): wire JOIN front end (LogicalPlan::Join → relational L2 Join)

zzylol
and
claude
committed
6ae087b
feat(core+sql): thread aggregate output names so Project-over-Aggregate resolves

zzylol
and
claude
committed
d96e032
feat(core): route tabular GROUP BY through positional Aggregate.by (key in schema)

zzylol
and
claude
committed
f9458d6
refactor(core): split scalar IR into L2Expr (names) + L3Expr (positional) [3a]

zzylol
and
claude
committed
e97eaaf

Commits on May 27, 2026

fix(sql): correct three silent-mis-lowering bugs in the SQL aggregate path

zzylol
and
claude
committed
389fa66
fix(promql+sql): reject malformed range-vector args + out-of-range agg params

zzylol
and
claude
committed
d9377f9
fix(core+promql): resolve HAVING against agg output schema (#5); cap nesting depth (#8)

zzylol
and
claude
committed
42c8636
feat(sql): restore SQL window functions on the positional IR (#11)

zzylol
and
claude
committed
6409ef3
fix(sql): alias-qualify schema columns so join keys disambiguate (issue #7)

zzylol
and
claude
committed
61533c6
fix(promql): reject unary negation instead of silently dropping the sign

zzylol
and
claude
committed
e0deef9
fix(lower): drop "PromQL" from the shared UnsupportedFeature label

zzylol
and
claude
committed
1f1f908
test: add regression tests for the review fixes (#7 qualifiers, unary, #2, #3)

zzylol
and
claude
committed
e0e1b47
refactor(core): unify the duplicated operator vocabularies (review A)

zzylol
and
claude
committed
fe5d0a2
refactor(core): remove name-based residue from the positional L3 IR (review E)

zzylol
and
claude
committed
1a16657
feat(core): converge PromQL grouped aggregates onto positional Aggregate.by (review D)

zzylol
and
claude
committed
e1b309d
fix(core): qualify L2 group keys so GROUP BY/PARTITION BY/TopK disambiguate joins (L2 review #1)

zzylol
and
claude
committed
3356bdf
refactor(core): L2 hygiene — drop dead AggItem.distinct, align alias, mark reserved nodes (L2 review #3/#4/#6)

zzylol
and
claude
committed
958f786
refactor(core): unify L2Expr/L3Expr into one generic Expr<C> (L2 review #2, scalar)

zzylol
and
claude
committed
a7f9c83