SWE-bench verified agents may look at future repository state