The Correctness Layer: How We Beat Claude Code on the ADE Benchmark | Hacker News Reader