Recognize an all-different check, and say what replacing it costs - #42

Merged

zmaril merged 6 commits into

mainfrom

pr2-idiom-all-different

Aug 25, 2026

Commits on Aug 25, 2026

Recognize an all-different check, and say what replacing it costs

zmaril
and
claude
committed
853428f
Measure on CodeNet, and let the corpus correct the shape

zmaril
and
claude
committed
ac74388
Read the bound off the catalog rather than from memory

zmaril
and
claude
committed
5319a4d
Use the problem id as a label, and follow what it says is missing

zmaril
and
claude
committed
60f626d
Teach the unifier about walks over pairs

zmaril
and
claude
committed
90232d0
Recognize the idiom with the matcher instead of beside it

zmaril
and
claude
committed
83b770f