feat: multi-trace induction — infer a parameterized program (params/loops/branches) from multiple demos, reject-if-underdetermined#81

Merged

abrichr merged 3 commits into

mainfrom

feat/multi-trace-induction

Jul 13, 2026

Commits on Jul 13, 2026

feat: workflow-program IR Phase 2 — loops, branches, subflows, exception paths (the state machine)

abrichr
and
claude
committed
feat: multi-trace induction — infer a parameterized program (params/loops/branches) from multiple demos, reject-if-underdetermined

abrichr
and
claude
committed
Merge remote-tracking branch 'origin/main' into feat/multi-trace-induction
abrichr
committed