Systematically generating tests that would have caught Anthropic's top‑K bugtheorem.dev·80 pts·jasongross·20