SQL specializer groundwork: engine-per-module refactor, design docs, pre-loop prep - #23

Merged

ahrzb merged 12 commits into

claude/duckdb-native-interpreter-36d016

Jul 25, 2026

Commits on Jul 25, 2026

refactor(interpreter): per-engine module trees + a DuckDB engine stub

ahrzb
and
claude
committed
docs(specs): SQL specializer design + loop-execution design

ahrzb
and
claude
committed
chore(specializer): pre-loop preparation — gate, oracle, corpus, ledger

ahrzb
and
claude
committed
fix(interpreter): commit src/datafusion/ — an unanchored local exclude rule hid it

ahrzb
and
claude
committed
fix(lint): pin datafusion/duckdb as third-party for isort

ahrzb
and
claude
committed
feat(specializer): imperative IR — types, verifier, text format, fuzz (M-ir)

ahrzb
and
claude
committed
fix(specializer): harden the IR boundary against adversarial findings — TASK-41

ahrzb
and
claude
committed
chore(backlog): TASK-41 acceptance criteria checked + implementation notes

ahrzb
and
claude
committed
Merge pull request #24 from ahrzb/claude/specializer-m-ir
claude-agent-ahrzb[bot]
authored
feat(specializer): closure-compiled IR interpreter — the oracle (M-interp)

ahrzb
and
claude
committed
fix(specializer): harden the interpreter against adversarial findings — TASK-42

ahrzb
and
claude
committed
chore(backlog): TASK-42 acceptance criteria checked + implementation notes

ahrzb
and
claude
committed