智能体写代码的瓶颈在于验证而非生成，声明式管道将验证对象从整段过程代码收敛为一个可检查的目标状态。