arXiv論文：プロンプトを契約に変える「Harness Engineering」——LLMエージェントを監査可能にする設計を検証

結論から言うと、企業向けLLMエージェントを本番で使うなら、プロンプトだけに頼らず、コードで守る契約を作るべきだという研究です。arXivに2026年7月9日投稿された「From Prompts to Contracts」は、探索的に作ったLLMアプリを、監査しやすいエージェント構造に組み直すHarness Engineeringを提案しています。

企業のAIアプリは、最初は「こう答えて」というプロンプトとRAGの文脈で動きます。しかし本番化すると、どの情報源を使ったか、どの会社名やエンティティに答えているか、内部トレースを漏らしていないか、回答が契約通りの形かを確認する必要があります。

この研究では、決定的に守るべき部分をコード、マニフェスト、スキーマ、検証器に移し、モデルが置き換わっても外側の契約が守られる構造を作ります。韓国の5企業グループ、25上場企業の公開データで評価し、3つのホストモデルを使った270回の構成境界実行で、出典根拠、エンティティルーティング、トレース、出力衛生、推薦表現の契約が保たれたと報告しています。

プロンプト指示だけでは推薦表現や内部トレース漏れを防げず、外付けガードレールは過剰拒否で有用性が88/120に落ちた一方、Harnessは120/120を保ったとします。私たちに関係するのは、社内AIの安全性をプロンプト文面ではなく設計で担保する考え方です。ただし特定データでの実験なので、自社要件で検証が必要です。