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 協調と再帰的タスク分解のマージ規則および品質契約として、検収ゲートウェイは「誰が歴史に書き込めるか」を定義し、それによって協調の結果が収束するかエントロピー増大に陥るかを決めます。コンパイラのリファクタリングや科学ソフトウェアのアップグレードなど、正確性の制約が厳しい場面では、この仕組みは極めて高い信頼性を示し、目覚ましい実行加速比をもたらします。

失效境界
検収基準そのものの完全性が新たなボトルネックとなります:テストカバレッジが不足していたり挙動検査が欠けている場合、ゲートは「検収には通るが実際には有害な」修正を通過させてしまいます。そのため、可観測指標と人手による抜き取り検査で下支えし、回帰ケースと許容誤差の定義を継続的に強化する必要があります。