The hidden cost of AI coding: Why proof will matter more than prompts — Blankdot