Systematically generating tests that would have caught Anthropic's top‑K bug · HackerTrans