Bend 2 and the Vibe-Coding Trap
Bend 2's law-and-proof workflow makes AI-written code auditable, but it also exposes a danger of vibe coding: inventing a new verification system before studying mature tools such as SPARK and GNATprove. The lesson is about research, not dismissing new languages.