许愿式编程的门槛不在许愿，在许完愿之后。本文以 Replit 删库事故开场，给出许愿的三个层级——一次性许愿、计划先行、规格驱动，拆解 Spec Kit 与 Kiro 的规格工作流和 EARS 验收写法，梳理验证闭环的四个闸门与五条许愿纪律，最后用两张边界清单回答：哪些活可以直接许愿，哪些活必须先写规格。