从 Spec 驱动转向环境与验证驱动——我对 AI Coding 的一点思考