Has anyone bounced these kinds of Agents.md through practical benchmarks?
As an example, there’s a task that asks to make a MIPs interpreter to run Doom, and save a frame at something like /tmp/frame.bmp
My spec-driven flow was like “this is useless, let’s record frames like /tmp/frame-N.bmp”
Instant fail.
The task is to build a MIPS interpreter to run Doom. The "failed" workflow decided that it couldn't prove Doom was booting correctly by just checking one frame, and it decided to check multiple frames (hence /tmp/frame-N.bmp).
Arguably a better solution, but obviously fails a brittle test case.
The MIPS interpreter worked, but the verifier doesn't actually check that it works, just that a specific frame is logged.