现代软件自动化只解决执行，未解决意图。部署、基础设施、事件响应和AI代理常成功执行却违背业务约束。文章提出可执行运维规范：独立于执行工具，用机器可读方式描述目标、约束、所需证据和评估规则，再对照实际证据判断是否符合意图。这使运维从关注发生了什么转向是否达到预期，让自动化可验证、可审计。