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