Stage B part 1: join multipliplicity under shape='many' — corpus 529 -> 546 (TASK-59) - #45

Merged

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

task-59-stage-b

Jul 28, 2026

Commits on Jul 28, 2026

docs(proposal): the columnar-path decision document (for the post-stage-B discussion)

ahrzb
and
claude
committed
docs(specializer): stage-B multiplicity pins + spec — multiset parity, engine-defined order (TASK-59)

ahrzb
and
claude
committed
docs(proposal): measured us-vs-duckdb-on-arrow numbers — serving regime ours by 1-3 orders, crossover ~2-3k rows/call today

ahrzb
and
claude
committed
feat(specializer): stage-B IR machinery — emit.to loops, multimap statics, range probes (TASK-59 stage B-1)

ahrzb
and
claude
committed
feat(specializer): stage-B loop lowering — dup-key equi-joins serve under shape='many' (TASK-59 stage B-2)

ahrzb
and
claude
committed
feat(specializer): stage-B live-stack loop lowering + corpus harness retry — 529 -> 546, 0 FAIL (TASK-59 stage B-3)

ahrzb
and
claude
committed
feat(specializer): stage-B contract surface — oracle tests, limitations doc/twin, corpus 546 (TASK-59 stage B-5)

ahrzb
and
claude
committed