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