検証負債（verification debt）とは、エージェント型 AI によってコード、テスト、ドキュメント、パッチの量が、その出力を検証するチームの能力を上回る速さで増えたときに蓄積する不足分である。Koch はこの用語を Agentic Agile-V: ソフトウェアおよびハードウェア開発におけるバイブコーディングから検証済みエンジニアリングへ で定義し、その構成要素を列挙している。弱いテスト、隠れたリグレッション、範囲の広すぎるパッチ、未検証の依存関係、文書化されていない振る舞い、そしてレビュアーの負担増である。根底にある観察は、エージェント型システムは人間が点検できるよりも速く、もっともらしいエンジニアリング成果物を生成できるため、ボトルネックがコードの合成から、仕様の品質、実行コンテキスト、検証、トレーサビリティ、そして統制された反復へと移る、というものである。
用法
この用語は、AI 支援によって測定された生産性の向上がなぜ実現しないことがあるのかを説明するために用いられる。Koch は、成熟したリポジトリで作業する経験豊富な開発者について、AI ツールがタスクの完了時間をかえって増加させたというランダム化試験と、AI 支援による出力がレビューと手戻りの負荷を経験豊富な開発者の側へと移すことを示唆する別の研究を紹介し、両者を合わせて、レビューや後片付けが体感上のスピードアップを帳消しにしうることの証拠として読んでいる。
その深刻さは領域によって異なると論じられている。ハードウェアや組み込みの作業では、検証負債が運用上あるいは物理的なリスクになりうると Koch は述べる。彼はこれとは別に、これらの領域はより厳しい故障モードを持つと述べている。誤ったピンマッピング、レジスタ値、タイミングの前提、バスの挙動、リセット処理、メモリレイアウトは、高くつく、あるいは安全でない故障を生みうるからであり、そこではコンパイルが通ることは証明にならないとしている。この概念は、Agentic Agile-V の受け入れ側の動機となっている。リスク適応型のゲートと証拠バンドルは、エージェントの出力がもっともらしさによってではなく、そのリスクに見合った証拠に基づいて受け入れられるようにするために存在する。
適用される場面
Koch が述べる条件は速度の比較である。出力量が検証能力よりも速く増えれば、チームは検証負債を蓄積する。彼はこれとは別に、テストカバレッジ、依存関係のセットアップ、検証コストを、あるタスクにおいてエージェントが役立つか害になるかを決める要因として挙げている。エージェント型開発を導入するチームに向けて彼が引き出す示唆には、テストをエージェントのループの後ではなく内側に置くこと、リスクが高い場合には実装エージェントと検証エージェントを分けること、そしてコード量だけでなく、レビュー負荷、欠陥の流出、手戻り、リードタイムを追跡することが含まれる。
この用語は、統合的な論文における一人の著者の捉え方であり、確立された指標を持つ測定量ではない。Koch は検証負債を直接測定する方法を示しておらず、未解決の研究課題の一つとして、証拠バンドルが生産性の向上を帳消しにすることなく検証負債を減らせるかどうかを挙げている。したがってこの概念は、独立に確立されたものとしてではなく、既存の生産性や保守負担に関する知見を見るためのレンズとして読むのが最もよい。
関連用語
Agentic Agile-V, Agentic Agile-V: ソフトウェアおよびハードウェア開発におけるバイブコーディングから検証済みエンジニアリングへ, 認知的負債, 70% 問題