refactor: unify logical operators and scalar expressions - #528

Draft

Selvomega wants to merge 24 commits into

mainfrom

refactor/operator-flattening

Commits on Oct 2, 2026

refactor(types): unify pre- and post-ASAP schemas into Schema/Field/FieldDataType

Selvomega
and
claude
committed
6453d20
feat(ir): canonicalize, CSE, wire-6 export and lifecycle timing over the unified IR; frontend-common resolver crate

Selvomega
and
claude
committed
0970f46
refactor(types): port dag_export (viewer graph) to the unified IR

Selvomega
and
claude
committed
8227061
feat(ir): lower EXISTS / IN / scalar subqueries to joins in canonicalize

Selvomega
and
claude
committed
2d5ad63
viewer: node kind categories follow the unified IR

Selvomega
and
claude
committed
e905008
refactor(frontends): emit the unified IR through asap-frontend-common

Selvomega
and
claude
committed
2f70028
refactor(mapping): plan search, assembly, costing and lifecycle on the unified IR (library)

Selvomega
and
claude
committed
f07ff20
refactor(devtools): port binaries and tests to the unified IR; keep a kept subtree one node

Selvomega
and
claude
committed
78332fe
docs: describe the unified operator IR

Selvomega
and
claude
committed
e258e17
test: migrate every test suite to the unified IR; fix four planner regressions

Selvomega
and
claude
committed
f607310
refactor!: delete the old pre-/post-ASAP IR

Selvomega
and
claude
committed
09373ef
fix: resolve main merge and complete scalar IR migration
zzylol
committed
477decd
fix(ir): complete scalar lowering and preserve language semantics
zzylol
committed
36e8838
fix(ir): validate unified state and readout contracts
zzylol
committed
fca91f5
docs: record operator design acceptance and update DAG viewer
zzylol
committed
bea0e41
fix: satisfy Rust 1.99 lint checks
zzylol
committed
8630bd6
refactor: clarify workload DAG and summary evaluation contracts
zzylol
committed
1e0d4ee
fix: prevent retained evidence from hiding summary work
zzylol
committed
c036a14
docs: clarify retained DAG cost boundaries
zzylol
committed
f85ef87
fix: generalize summary cost evidence across arrival modes
zzylol
committed
b68b231
merge: integrate general cost evidence with unified operators
zzylol
committed
aea7f13
merge: record main after equivalent #532 squash integration
zzylol
committed
c3a5af9
refactor: name ASAP family strategies and clarify IR modules
zzylol
committed
fc328b1
refactor: rename legacy QueryExprError to SchemaDerivationError
zzylol
committed
150735f

Navigation Menu

refactor: unify logical operators and scalar expressions - #528

refactor: unify logical operators and scalar expressions#528
Selvomega wants to merge 24 commits into
mainfrom
refactor/operator-flattening

Commits on Oct 2, 2026

refactor(types): unify pre- and post-ASAP schemas into Schema/Field/FieldDataType

feat(ir): canonicalize, CSE, wire-6 export and lifecycle timing over the unified IR; frontend-common resolver crate

refactor(types): port dag_export (viewer graph) to the unified IR

feat(ir): lower EXISTS / IN / scalar subqueries to joins in canonicalize

viewer: node kind categories follow the unified IR

refactor(frontends): emit the unified IR through asap-frontend-common

refactor(mapping): plan search, assembly, costing and lifecycle on the unified IR (library)

refactor(devtools): port binaries and tests to the unified IR; keep a kept subtree one node

docs: describe the unified operator IR

test: migrate every test suite to the unified IR; fix four planner regressions

refactor!: delete the old pre-/post-ASAP IR

fix: resolve main merge and complete scalar IR migration

fix(ir): complete scalar lowering and preserve language semantics

fix(ir): validate unified state and readout contracts

docs: record operator design acceptance and update DAG viewer

fix: satisfy Rust 1.99 lint checks

refactor: clarify workload DAG and summary evaluation contracts

fix: prevent retained evidence from hiding summary work

docs: clarify retained DAG cost boundaries

fix: generalize summary cost evidence across arrival modes

merge: integrate general cost evidence with unified operators

merge: record main after equivalent #532 squash integration

refactor: name ASAP family strategies and clarify IR modules

refactor: rename legacy QueryExprError to SchemaDerivationError