Java 8 to 21 on a batch full of traps I planted: the code-modernization plugin, end to end
I ran Anthropic's code-modernization plugin for Claude Code headless on a 2006-style billing batch I had booby-trapped. It caught every trap, found four problems I hadn't planted, and still only called its own proof "partly proven".