Models often guess valid but wrong executable references, and this benchmark catches it. — Synthesis