those are not verified. I've tried forgecode and I cannot believe they didn't do something to influence the benchmarks

Yup, they were found to be sneaking the answer key using agents.md

https://debugml.github.io/cheating-agents/#sneaking-the-answ...