11

严格的验收与历史继承机制

AI999 第6课:系统级持续演化:Genesis 与软件世界的沉淀
00:00

当算力把候选生成打开之后,新的难题随之而来:由 Agent 自动生成的修改,凭什么可以写进项目主干?严格的验收与历史继承机制把生成与采纳彻底解耦——Agent 提交的任何代码都只是候选修改(candidate patch),必须先通过一组验证闸门,才有资格被承认为项目历史的一部分。

候选修改 → 四层验收闸门 → 主干 / 拒绝 分流 生成与采纳解耦:未通过验证的修改不得写入主干 候选修改队列 Agent 提交 · 默认不可信 候选 A 待验证 候选 B 待验证 候选 C 待验证 候选 D 待验证 候选性默认原则 与主干严格隔离 杜绝「生成即入库」 四层验收闸门 · 成本从低到高 · 尽早失败 1 编译闸门 语法与接口可构建 · 成本最低、淘汰最快 成本 2 测试闸门 单元 / 集成测试通过 · 覆盖已有契约 成本 3 行为检查闸门 语义一致 · 容差、等价与回归对比 成本 4 上层验收 性能 · 加速比 · 可维护性 成本 四层全部通过 → 写入主干 ✕ 拒绝 · 失败档案区 任一层闸门未通过即转入此区 · 保留为负样本与诊断素材 · 隔离存放,不污染主干 · 拒绝本身即一次噪声过滤 · 避免重复探索同一死路 ✓ 主干版本历史 单调累积的演化链 基线 v3 · 后续 Agent 的执行起点 基线 v2 · 已沉淀 基线 v1 · 已沉淀 历史继承:已接纳基线成为后续 Agent 的执行起点

候选性默认原则

Agent 的输出默认被视为不可信输入:它在权限、存储与引用上与已接纳版本严格隔离,既不能直接读写主干,也不能被其他模块当作稳定依赖。这条原则的唯一目的,就是杜绝“生成即入库”。只有在通过全部闸门之后,候选修改才获得与主干同等的地位。

四层递进过滤:成本递增、尽早失败

  • 编译:语法与接口层面可构建。成本最低、淘汰最快,先把明显不成立的修改挡在门外。
  • 测试:单元测试与集成测试通过,覆盖已有契约。
  • 行为检查:语义与行为一致性,包含数值容差、等价性与回归对比,专门防范“测试通过但行为漂移”。
  • 上层验收:面向任务目标与工程约束的最终裁决,包含性能、加速比、可维护性等判断。

闸门按代价从低到高排列,使绝大多数无效修改在廉价阶段被截断,把昂贵的上层评审留给少量高质量候选——这正是“尽早失败”的经济学。

拒绝的价值与历史继承

未通过的尝试不进入主干,但可以保留为失败档案 / 负样本,用于诊断、去重与防止重复探索——拒绝本身即是一次噪声过滤。而通过验收的修改成为新的基线版本,后续执行者在此基础上继续演化,形成单调累积的演化链,而不是每轮从零重来。作为多 Agent 协作与递归任务拆解的合并规则与质量契约,验收网关定义了“谁能写入历史”,从而决定协作结果是收敛还是熵增。在编译器重构与科学软件升级等强正确性约束场景中,这套机制展现出极高的可靠性,并带来可观的运行加速比。

失效边界
验收标准本身的完备性会成为新的瓶颈:测试覆盖不足或行为检查缺失时,闸门会放行“通过验收但实际有害”的修改。因此需要用可观测指标与人工抽检兜底,并持续补强回归用例与容差定义。