Specializer M-lower: frontend + BTA + lowering for the v0 subset - #26

Merged

claude-agent-ahrzb[bot] merged 9 commits into

claude/specializer-m-lower

Jul 26, 2026

Commits on Jul 26, 2026

feat(specializer): frontend + lowering spine — SQL runs end-to-end (M-lower stretch 1)

ahrzb
and
claude
committed
feat(specializer): 3VL core — Kleene logic, CASE, CAST, IS NULL, typed NULL (M-lower stretch 2)

ahrzb
and
claude
committed
style: cargo fmt the crate — mechanical, no semantic changes

ahrzb
and
claude
committed
feat(specializer): BTA + statics — equi-joins to probes, scalar folding, DuckDBInferFn boundary (M-lower stretch 3)

ahrzb
and
claude
committed
feat(specializer): builtin catalogue from measured pins — string ops, abs/round, COALESCE/NULLIF, || concat (M-lower stretch 4)

ahrzb
and
claude
committed
feat(specializer): corpus replay at zero FAILs + adversarial-fleet divergence fixes (M-lower stretch 5)

ahrzb
and
claude
committed
feat(specializer): static-only queries become constant emitters — AC #2 (M-lower stretch 6)

ahrzb
and
claude
committed
chore(backlog): TASK-43 all acceptance criteria checked + final summary

ahrzb
and
claude
committed
feat(specializer): DuckDB simple case mapping, measured and dependency-free — census-verified exception table

ahrzb
and
claude
committed