AI SDD 开发规范-25-编码完成后的“最终裁决体系” AI_POST_EXECUTION_GATES

老马啸西风2025/12/27大约 4 分钟

工程级、可直接落地的《AI_POST_EXECUTION_GATES.md》标准规范文档

作为 AI 编码完成后的“最终裁决体系”，决定代码是否具备继续流转（合并 / 发布 / 上线）的资格。

你可以把它当成 AI 时代的质量门禁 + 风险控制中枢。

AI 编码事后检验与 Gate 限制规范

本文档定义 AI 生成或修改代码后，必须依次通过的校验 Gate。
任何 Gate 未通过，变更必须被阻断，不得进入下一阶段。

- Gate 是裁决系统，不是建议系统
- Gate 按顺序执行，不允许跳过
- Gate 失败必须显性化原因
- “勉强可接受”等价于失败

适用范围：

Gate 0：AI 变更合法性 Gate（AI 特有）
Gate 1：编译 / 静态校验 Gate
Gate 2：单元 / 契约测试 Gate
Gate 3：行为回归 / QA Gate
Gate 4：性能 / 稳定性 / 风险 Gate

目的：验证 AI 是否“守规矩”

- 是否严格遵守 AI_EXECUTION_CONTEXT_SNAPSHOT
- 是否遵守 AI_CODE_EXECUTION_RULES
- 是否存在越权、扩散或隐性修改

- 修改文件是否在 Snapshot 授权范围内
- 是否触碰禁止目录 / 高风险模块
- 是否新增 public API / 改变接口语义
- Git Diff 是否与 AI PLAN / Intent 对齐

Gate 0 失败：
- ❌ 不允许进入 Gate 1
- ❌ 不进行代码质量讨论
- 只能：回退 / 拆分 / 重新执行

目的：验证代码在工程层面是否成立

- 构建 / 编译通过
- Lint / Format 校验通过
- 静态分析无新增严重问题

- Warning 视为 Error（对 AI Commit）
- 不允许引入新的静态分析基线

- 失败即阻断
- 不允许人工忽略

目的：验证逻辑与接口语义正确性

- AI 修改或新增逻辑 → 必须有对应测试
- 关键分支 / 异常路径需覆盖

- 对外接口返回结构未变化
- 行为与历史约定一致

- 不补测 = 不通过
- 测试 flaky 视为失败

目的：验证系统级行为未被破坏

- 核心业务流程
- 历史问题高发路径
- 边界条件 / 默认行为

- 默认值变化
- 异常处理差异
- 隐性行为变化（如重试 / 超时）

- 自动化 + 人工确认
- QA / 业务负责人具备否决权

目的：防止“功能正确但线上事故”

- 延迟无明显退化
- 资源消耗无异常增长

- 并发 / 重试 / 熔断行为一致
- 不引入死锁 / 竞争风险

- 未突破 Failure Budget
- 未引入不可回滚改动

- 明确失败 Gate
- 明确失败原因
- 明确修复路径

禁止：

❌ “先合再说”
❌ “线上再观察”

仅当以下条件全部满足，AI 代码才具备继续流转资格：

Gate 0 ~ Gate 4 全部通过
且
无未声明风险
且
责任人与回滚方案明确

AI 写的代码，只有在“被制度证明安全”之后，才算完成。

事前：AI_EXECUTION_CONTEXT_SNAPSHOT
事中：AI_CODE_EXECUTION_PROMPT + RULES
事后：AI_POST_EXECUTION_GATES

三者共同构成：

完整的 AI 软件工程治理闭环