Make your coding agent prove its tests can fail | Hacker News Reader