このプレプリントは、ある非対称性から出発する。コーディングエージェントによって、デジタルな実行(リポジトリ分析、コード生成、テスト、移行、ツール利用、運用の一部)は人員の増加を伴わずに複製・並列化できるようになった。一方で、問題の枠組み設定、意味的コミットメント、検証、統合、人間の注意、残余リスクの受容は、依然として人間の認知、組織上の権限、予算によって制約されている。著者らは、これによってソフトウェアエンジニアリングの制御対象が人間の活動からソフトウェアの変更そのものへと移ると主張し、この転換を「人間のプロセス制御から信頼された変更のガバナンスへ」の移行と要約している。
この転換を整理するため、本論文は 2 つの主要構成概念と 1 つの実行抽象を提案する。Trustworthy Change(TC) は、変更を意図から委任、検証、統合、受容、運用に至るまで追跡するエンジニアリング上の対象である。責任トポロジー(Responsibility Topology) は、残余リスクを受容する独立した権限がどのように分布しているかによってソフトウェア組織を分類するもので、最終的な責任アンカーが 1 つだけの単一中心型と、独立に統治される複数のドメインにまたがる共同受容を必要とする複数アンカー型とを区別する。ヒューマン・エージェント・セル は実行単位(人間と、その人のエージェント、コンテキスト、ツール、権限、予算)であり、候補、提案、エビデンスを生み出すが、実行したからといってそれらを受容する権限を得るわけではない。注文システムの cancelled ステータスを、ユーザーによるキャンセルと支払いタイムアウトによる expired に分割するという実行例が全体を通して用いられ、小さな成果物の変更であっても、大きな意味的・検証的・責任上のスコープを伴いうることが示される。
著者らは自らの貢献を、実証的な検証ではなく理論構築と操作化であると位置づけており、責任、説明責任、変更管理、仕様、検証、人間による監督はいずれも本論文以前から存在すると明言している。彼らのより限定的な主張は、エージェントによってスケールした実行が、これらの関心事の組み合わさり方を変えるという点にある。
要点
- 本論文は、変更のガバナンスを意図、委任、検証、統合、運用の 5 つのループとして表現する。仕様は意図を委任可能にする詳細化、エビデンスは検証の主な出力と位置づけられ、責任は 5 つのループすべてを横断する。
- 変更の進行を Candidate(候補)、Eligible(適格)、Accepted(受容済み)の各状態に分け、実装の完了、エンジニアリング上の適格性の充足、残余リスクの正式な受容を「完了」という 1 つの概念にまとめてしまわないようにする。権威あるベースラインを変更できるのは、受容済みの変更だけである。
- 候補が適格になるのを妨げる 6 つの条件(意図/仕様、委任/リソース、変更/来歴、エビデンス、統合/運用、責任のそれぞれにおける失敗)を挙げる。また、必要な承認者が存在するもののまだ承認していない変更は、責任の失敗ではなく受容保留として扱う。
- 責任トポロジーは人員数とは独立であると論じる。20 個のエージェントを並行稼働させる創業者は単一中心型のままでありうる一方、2 人のエンジニアでも、それぞれが影響を受けるドメインに対して取り消し不能な受容権を持つなら複数アンカー型の組織を形成しうる。
- 分散した実行が生む圧力(コンテキストの乖離、古くなったコンテキスト)と、分散した権限が生む圧力(共同受容、責任の閉包)とを区別する。前者への対応として Context Invalidation(コンテキスト無効化)を提案する。これは、権威ある事実が変わったとき、進行中の各タスクが継続、古い状態としてのマーク、リフレッシュ、再計画、再検証、停止のいずれかを選ぶというものである。
- Minimum Sufficient Specification(最小十分仕様)仮説を提案する。ある種類の変更には、それを超えて仕様の厳密さを高めてもライフサイクルコストに見合わなくなる水準が存在しうるというものである。本論文が描くコスト曲線は例示的なものと明記されており、データに当てはめたものではない。
- エージェントに与えるタスクを、目標、コンテキスト、スコープ、権限、予算、受容、停止条件、引き継ぎを網羅する契約として扱う。停止条件を第一級の要素とし、許可されていないデータ、より広い書き込みアクセス、不可逆な移行、より大きな予算が必要になった場合、エージェントは処理を続けるのではなくエスカレーションするようにする。
- エージェントのセキュリティを封じ込めの観点から捉える。たとえばプロンプトインジェクションによってエージェントの解釈が侵害されても、それが行動の無制限な侵害につながってはならず、権限境界、サンドボックス、ツールフック、エグレスポリシーによって制限すべきだとする。
- 生成が検証を上回ると検証キューが形成され、キューが大きくなるにつれて責任者は要約や迅速な承認に頼る方向へ押しやられると論じる。信頼できる成果の計上単位として、コード行数、コミット数、エージェントのタスク数ではなく、受容された変更の数を数えることを提案する。
- 観測可能な予測と反証シグナルを伴う 8 つの命題を提示する。その中には、エージェントの並行性は固定された検証容量に対して飽和すること、責任トポロジーは人員数を統制した後も説明力を保つことが含まれる。さらに、エージェントへの委任とコンテキスト依存性が、人間のコミュニケーションを超えてソフトウェアの共変更に対する説明力を加えるという「拡張コンウェイ(augmented Conway)」仮説を提案する。
補足
本論文は、アクター、プロセス、ツール、成果物の変化を検討するものとして SE 3.0 と Structured Agentic Software Engineering(SASE) に対して自らを位置づけている。また 仕様駆動開発 やハーネスエンジニアリングに対しても位置づけを行い、それらのプリミティブ(リポジトリの指示ファイル、スキル、フック、MCP ツール、サンドボックス、サブエージェント)を新しいものとして主張するのではなく、自らの構成概念に対応づけている。さらに、2026 年の隣接研究である人間–エージェント間の責任プロトコルや段階的監督については、独立した受容の中心によって組織を分類するものではなく、責任がどのように制約されるか、あるいは監督がどのように調整されるかを規定するものだと説明している。
著者らは、実行例は例示であってケーススタディではないこと、容量の上限は較正された法則ではなく概略的なものであること、実証上のコミットメントは単一中心型と複数アンカー型のみを対象としており、階層型、連邦型、プラットフォーム媒介型の責任は対象外であること、そして中心的な区別のいずれもが測定に耐えられない可能性があることを注記している。