概要
AWSは、AIエージェントの行動を実行時に検証するためのガバナンス言語「Dogwood」をApache 2.0ライセンスでオープンソース公開した。同時に、IDE「Kiro」向けに複数のエージェントが協調して作業を進める新機能「Kiro Crew」も発表している。ただし後者については、オーケストレーション層のみがオープンソース化され、基盤モデルとの通信や推論を担う「エージェントハーネス」そのものは非公開のまま据え置かれた。両者はいずれも、企業が自律的に動くAIエージェントをどこまで信頼し、どう統制するかという課題に対するAWSの回答と位置づけられる。
Dogwoodの技術的な仕組み
Dogwoodは、AWSの既存の認可言語「Cedar」を土台に、時間軸を扱う機能を追加したものだ。Cedarは高速で読みやすく自動推論分析も可能だが、単一のリクエストをその場限りで評価する仕組みに限定されていた。Dogwoodはこれを拡張し、ランタイム検証分野に由来する「メトリック一階時間論理(MFOTL)」に基づいて、過去のイベント履歴を参照しながらポリシーを評価できるようにしている。
具体的には、指定した時間内の過去イベントを検索するformerly、時間窓内のイベント数を数えるcount_within、異なる値の数を数えるcount_distinct_within、金額などを合計するsum_withinといった演算子を備える。これにより「直前1時間以内に承認された取引のみ売却を許可する」「1時間以内に5回を超える送金を禁止する」「1時間の送金総額を5,000ドルまでに制限する」「1時間以内に異なる受取人最大3人までしか送金できない」といった、時間の経過を伴う複雑なガバナンスルールを表現できるようになった。なお、ポリシーはレスポンスではなくリクエストイベントを基準にカウントすべきだとされており、これは複数の並行リクエストを発行して制限を回避される攻撃を防ぐための設計上の要点だ。
既存のCedarポリシーはそのまま書き換えなしで利用でき、必要に応じて時間条件句を追加していく段階的な移行が可能という。AWSはAgentCore Policyレイヤーにも対応を組み込み、Model Context Protocol(MCP)のツールマニフェストからアクションスキーマを自動生成する仕組みも用意した。今後は固定時間枠に基づく絶対時間対応や、承認の完了など将来の保証を扱う活性検証、複数エージェント間の協調ルールへの対応も計画されている。
Kiro Crewとオープンソースの線引き
Kiro Crewは、開発者が別の作業をしている間もバックグラウンドで動き続ける永続的なエージェントプラットフォームで、元々はAmazon社内で「MeshClaw」というプロジェクト名で開発されていたという。今回のオープンソース化では、ハートビート監視やwebhookによるスケジューリング、コンテキストを保持するメモリ管理、Agent Client Protocol(ACP)経由のマルチエージェント協調、OSサンドボックスや監査ログによるセキュリティといったオーケストレーション層がApache 2.0で公開された。
一方で、基盤モデルとの通信やツール呼び出し、推論を担う「エージェントハーネス」自体、Cedarベースの権限ポリシー実装、Kiroクレジットの消費ロジックといった中核部分は非公開のままだ。AWSのVP Deepak Singh氏は「ハーネスはオープンソース化しない」と明言しており、この方針は、AWSが自社の「オープン実装」ではなく標準化された「オープンプロトコル」(ACPなど)を軸に据えていることを示している。
今後の注目点
Forbesの分析では、企業がKiro Crewの採用を検討する際に確認すべき点として、監査ログの署名方式の詳細が未発表であること、オーケストレーション層とハーネス層という2層のポリシーが競合した場合の挙動、Kiroクレジットの消費管理という運用コスト面、そして他のACP互換ランタイムへの移植可能性が挙げられている。オーケストレーション層で競争優位性を手放す一方、推論エンジンと利用料金でマネタイズを確保するという線引きは、AIエージェント関連ツールを手がけるベンダー各社が今後どこまでをオープンにするかを占う一例として注目される。