WebMCP

1. 表明: これらの手順は 並列に実行されています。

2. traversable の 保留中ツール実行 マップ[uuid] が 存在しない場合、返ります。

   注: ツールの通常の 解決／拒否と呼び出し元によるキャンセルが競合する仕組みについては、この注記を参照してください。その結果、 uuid の保留中実行エントリーがここに到達する前に削除される場合があります。その場合でも、 executeTool() の promise は中止の 中止理由によって拒否され、ツールの 通常の解決／拒否を観測することはありません。

3. execution を traversable の 保留中ツール実行 マップ[uuid] とします。

4. traversable の 保留中ツール実行 マップ[uuid] を 削除します。

5. targetDocument を execution の 対象文書とします。

   注: これらの手順が実行されるとき、 targetDocument は依然として存在する（すなわち、アンロードも破棄もされていない）ことが 保証されています。これは、targetDocument が破棄されていた場合、この仕様の文書アンロード時クリーンアップ手順が すでに execution をマップから削除しており、上記の早期 return パスに入っているためです。

6. targetDocument の 関連するグローバルオブジェクトを指定し、webmcp タスクソース上に グローバルタスクをキューに入れ、次の手順を実行します。

   1. localExecutions を targetDocument の 関連付けられた ModelContextの 内部コンテキストの ローカル保留中ツール 実行マップとします。

   2. localExecutions[uuid] が 存在しない 場合、返ります。

   3. localExecution を localExecutions[uuid] とします。

   4. localExecutions[uuid] を 削除します。

   5. localExecution の 中止コントローラーに対して 中止を通知します。

      targetDocument の関連するグローバルオブジェクトで "toolcanceled" イベントを発火します。 [Issue #146]

1. traversable を document の ノードナビガブルの トラバーサブルナビガブルとします。

2. 次の手順を 並列に実行します。

   1. executionsToRemove を空の リストとします。

   2. traversable の 保留中ツール 実行マップ内の各 uuid → execution について それぞれ、

      1. document が execution の 対象文書であるか、 document が execution の 呼び出し元文書である場合、 uuid を executionsToRemove に 追加します。

   3. executionsToRemove の各 uuid について それぞれ、

      1. execution を traversable の 保留中ツール 実行マップ[uuid] とします。

      2. document が execution の 対象文書であり、かつ execution の 呼び出し元文書ではない場合、 execution の 完了手順を null と false を指定して実行します。

         注: これにより execution は 保留中ツール 実行マップから削除されます。

      3. そうではなく、document が execution の 呼び出し元文書であり、かつ execution の 対象文書ではない場合、 traversable と uuid を指定して 保留中のツール 実行をキャンセルします。

      4. それ以外の場合、traversable の 保留中ツール 実行マップ[uuid] を 削除します。

      5. 表明: traversable の 保留中ツール 実行マップ[uuid] は 存在しない。

1. 表明: これらの手順は 並列に実行されています。

2. navigablesToNotify を tool owner の ノードナビガブルの トラバーサブルナビガブルの 包含子孫ナビガブルとします。

3. navigablesToNotify の各 navigable について それぞれ、

   1. targetDocument を navigable の アクティブ文書とします。

   2. targetDocument が "tools" 機能の使用を 許可されていない場合、 続行します。

   3. tool owner の オリジン、exposed origins、および targetDocument の オリジンを指定して ツールがオリジンに公開されている場合、 targetDocument の 関連するグローバルオブジェクトを指定し、webmcp タスクソース上に グローバルタスクをキューに入れ、targetDocument の 関連付けられた ModelContextで toolchange という名前の イベントを発火します。

document.modelContext.ontoolchange = e => console.log('親の toolchange');
iframe.contentDocument.modelContext.ontoolchange = e => console.log('子の toolchange');

// `webmcp task source` 上で `toolchange` を発火するタスクをキューに追加する。
const p = document.modelContext.registerTool({
  name: "tool_name",
  description: "tool_desc",
  execute: async () => {}
});

p.then(() => console.log('登録の promise が解決された'));

// `timer task source` 上にタスクをキューに追加する。
setTimeout(() => console.log('登録後のタスク'));

// `Parent toolchange` は常に `Child toolchange` より前にログ出力され、
// `Register promise resolved` は常に両方の後にログ出力される。
// ただし `Post-register task` は、3 つすべての前、間、または後にログ出力される可能性がある。

1. tool owner origin が accessing origin と 同一オリジンである場合、true を返します。

2. exposed origins の各 allowed origin について それぞれ、

   1. accessing origin が allowed origin と 同一オリジンである場合、 true を返します。

3. false を返します。

1. 表明: これらの手順は targetDocument の 関連するエージェントの イベントループ上で実行されています。

2. toolMap を targetDocument の 関連付けられた ModelContextの 内部 コンテキストの ツールマップとします。

3. toolMap[toolName] が 存在しない場合、 completionSteps を null と false を指定して実行し、 これらの手順を中止します。

   呼び出し元へ、より詳細なエラーを 伝達する仕組みをサポートする必要があります。これは呼び出し側の文書で "NotFoundError" になるべきです。

   これは、ツールの登録解除と実行との間の競合から保護します。ツールの 存在はこの競合から保護されますが、ツールの登録解除の後すぐに、同じ toolName で入力スキーマが異なるツールを再登録する場合は保護 されません。

   その結果、古いツール用の inputArguments が新しいツールの 入力スキーマに適用され、issue #92 が解決された際に、 それによって発生しうる何らかのエラーを引き起こす可能性があります。

   // -- ツール所有者の文書。 --
   const oldInputSchema = {...};
   const newInputSchema = {...};
   const ac = new AbortController();
   document.modelContext.registerTool({..., inputSchema: oldInputSchema}, {signal: ac.signal});
   
   // 登録を解除し、更新された入力スキーマで素早く再登録する。
   ac.abort();
   document.modelContext.registerTool({..., inputSchema: newInputSchema});
   
   
   // -- 実行する文書。 --
   //
   // これは上記の「古い」ツールまたは「新しい」ツールのどちらかを対象とする可能性があり、
   // 実行時に不一致によって必要なエラーが発生する可能性がある。
   const [tool] = await document.modelContext.getTools();
   document.modelContext.executeTool(tool, {a: 10});
   

4. tool を toolMap[toolName] とします。

5. targetDocument、inputArguments、 completionSteps、および uuid を指定して、tool の 実行手順を実行します。

   注: ここで、命令的実行手順または 宣言的実行手順のいずれかに分岐します。

1. 表明: これらの手順は targetDocument の 関連するエージェントの イベントループ上で実行されています。

2. inputObject を、inputArguments と targetDocument の 関連する Realmを指定して JSON 文字列を JavaScript 値として構文解析した結果とします。例外が投げられた場合、 completionSteps を null と false を指定して実行し、これらの手順を 中止します。

   より 詳細なエラーをサポートする必要があります。ここでは、呼び出し元がその Promise を "DataError" DOMException で拒否するよう促すものを返すべきです。

3. inputObject が Object ではないことが false の場合、completionSteps を null と false を指定して実行し、これらの手順を中止します。

   "toolactivated" イベントを仕様化し、発火してください。 [Issue #146]

4. controller を、targetDocument の 関連する Realm内に作成された 新しい AbortController とします。

5. localExecution を、次の 項目を持つ新しい ローカル 保留中ツール実行とします。

   中止コントローラー

   controller

6. targetDocument の 関連付けられた ModelContextの 内部 コンテキストの ローカル保留中ツール実行 マップ[uuid] を localExecution に設定します。

7. options を、次のフィールドを持つ新しい ToolExecuteCallbackOptions 辞書とします。

   signal

   controller の signal

8. toolPromise を、inputObject と options を指定して tool の execute を 呼び出した結果とします。

9. toolPromise に 反応します。

   • toolPromise が値 v で履行された場合:

     1. localExecutions を targetDocument の 関連付けられた ModelContextの 内部コンテキストの ローカル保留中 ツール実行マップとします。

     2. localExecutions[uuid] が 存在しない場合、返ります。

        注: 実行が、開発者の toolPromise が確定する前に キャンセルされ（そのため対応する エントリーが削除され）た場合、uuid に対応するエントリーは存在しません。

     3. localExecutions[uuid] を 削除します。

     4. serializedResult を、v を指定して JavaScript 値を JSON 文字列にシリアライズした結果とします。これが例外を投げた場合、completionSteps を null と false を指定して実行し、これらの手順を中止します。

     5. completionSteps を serializedResult と true を指定して実行します。

   • toolPromise が理由 r で拒否された場合:

     1. 任意で、r を説明する 警告をコンソールに報告します。

     2. localExecutions を targetDocument の 関連付けられた ModelContextの 内部コンテキストの ローカル保留中 ツール実行マップとします。

     3. localExecutions[uuid] が 存在しない場合、返ります。

     4. localExecutions[uuid] を 削除します。

     5. completionSteps を null と false を指定して実行します。

1. 表明: これらの手順は modelContext の 関連するエージェントの イベントループ上で実行されています。

2. tool map を modelContext の 内部 コンテキストの ツールマップとします。

3. tool map[tool name] が 存在しない場合、 返ります。

4. exposed origins を tool map[tool name] の 公開先オリジンとします。

5. tool map[tool name] を 削除します。

6. targetDocument を modelContext の 関連するグローバルオブジェクトの 関連付けられた Documentとします。

7. 並列に、targetDocument と exposed origins を指定して ツールの変更を文書に通知します。

1. this の 関連付けられた ModelContext オブジェクトを返します。

1. global を this の 関連するグローバルオブジェクトとします。

2. tool owner を global の 関連付けられた Documentとします。

3. tool owner が 完全にアクティブでない場合、"InvalidStateError" DOMException で 拒否された promiseを返します。

4. this の 周囲の エージェントの エージェントクラスターの オリジンキー化されているかが false であり、かつ this の 関連する設定オブジェクトの オリジンの スキームが "file" でない場合、 "SecurityError" DOMException で 拒否された promiseを返します。

5. tool owner が "tools" 機能の使用を 許可されていない場合、"NotAllowedError" DOMException で 拒否された promiseを返します。

6. tool map を this の 内部コンテキストの ツールマップとします。

7. tool name を tool の name とします。

8. tool title を tool の title とします。

9. tool map[tool name] が 存在する場合、 InvalidStateError DOMException で 拒否された promiseを返します。

10. tool name または description が空文字列である場合、InvalidStateError DOMException で 拒否された promiseを返します。

11. tool name が空文字列であるか、その 長さ が 128 より大きいか、または tool name に ASCII 英数字、U+005F (_)、 U+002D (-)、U+002E (.) 以外の コードポイント が含まれる場合、InvalidStateError DOMException で 拒否された promiseを返します。

12. stringified input schema を空文字列とします。

13. tool の inputSchema が 存在する場合、stringified input schema を、tool の inputSchema を指定して JavaScript 値を JSON 文字列にシリアライズした結果に設定します。 これが例外を投げた場合、その例外で 拒否された promiseを返します。

    上記のシリアライズアルゴリズムは、次の場合に例外を投げます。

    1. 背後の "JSON.stringify()" が undefined を生成する場合、たとえば "inputSchema: { toJSON() {return HTMLDivElement;}}" や "inputSchema: { toJSON() {return undefined;}}" の場合、 新しい TypeError を投げます。

    2. たとえば "inputSchema" が循環参照を持つオブジェクトである場合など、 "JSON.stringify()" によって投げられた例外を再スローします。

14. options の signal が 存在し、かつ 中止済みである場合、options の signal の 中止理由で 拒否された promiseを返します。

15. exposed origins を、オリジンの空の リストとします。

16. options の exposedTo が 存在する場合:

    1. options の exposedTo の各 origin について それぞれ、

       1. parsedURL を、origin に対して URL パーサーを実行した結果とします。

       2. parsedURL が failure であるか、その オリジンが 潜在的に信頼できない場合、 "SecurityError" DOMException で 拒否された promiseを返します。

       3. parsedURL の オリジンを exposed origins に 追加します。

17. promise を this の 関連する Realm内に作成された 新しい promiseとします。

18. options の signal が 存在する場合:

    1. signal を options の signal とします。

    2. signal が 中止済みである場合、 signal の 中止理由で 拒否された promiseを返します。

    3. 次の中止手順を signal に 追加します。

       1. this と tool name を指定して ツールの登録を解除します。

       2. promise を signal の 中止理由で 拒否します。

19. tool definition を、次の 項目を持つ新しい ツール定義とします。

    名前

    tool name

    タイトル

    tool title

    説明

    tool の description

    入力スキーマ

    stringified input schema

    実行手順

    Document targetDocument、文字列 inputArguments、アルゴリズム completionSteps、および 一意な内部値 uuid を受け取り、 tool、targetDocument、inputArguments、 completionSteps、および uuid を指定して 命令的実行手順を実行するアルゴリズム。

    注釈

    tool の annotations が 存在しない場合は null。それ以外の場合、次の 項目を持つ 注釈。

    読み取り専用ヒント

    tool の annotations の readOnlyHint

    信頼されていないコンテンツのヒント

    tool の annotations の untrustedContentHint

    公開先オリジン

    exposed origins

20. this の 内部コンテキストの ツールマップ[tool name] を tool definition に設定します。

21. 次の手順を 並列に実行します。

    1. tool owner と exposed origins を指定して ツールの変更を文書に通知します。

    2. global を指定して webmcp タスクソース上に グローバルタスクをキューに入れ、promise を undefined で 解決します。

22. promise を返します

1. global を this の 関連するグローバルオブジェクトとします。

2. toolRequestor を global の 関連付けられた Documentとします。

3. toolRequestor が 完全にアクティブでない場合、"InvalidStateError" DOMException で 拒否された promiseを返します。

4. this の 周囲のエージェントの エージェント クラスターの オリジンキー化されているかが false であり、かつ this の 関連する設定オブジェクトの オリジンの スキームが "file" でない場合、"SecurityError" DOMException で 拒否された promiseを返します。

5. toolRequestor が "tools" 機能の使用を 許可されていない場合、"NotAllowedError" DOMException で 拒否された promiseを返します。

6. from origins を、オリジンの空の リストとします。

7. options の fromOrigins が 存在する場合:

   1. options の fromOrigins の各 origin について それぞれ、

      1. parsedURL を、origin に対して URL パーサーを実行した結果とします。

      2. parsedURL が failure であるか、その オリジンが 潜在的に信頼できない場合、 "SecurityError" DOMException で 拒否された promiseを返します。

      3. parsedURL の オリジンを from origins に 追加します。

8. promise を this の 関連する Realm内に作成された 新しい promiseとします。

9. 次の手順を 並列に実行します。

   1. tools を、RegisteredTool 辞書の空の リストとします。

   2. navigables を toolRequestor の ノードナビガブルの トラバーサブルナビガブルの 包含子孫ナビガブルとします。

   3. navigables の各 navigable について それぞれ、

      1. targetDocument を navigable の アクティブ文書とします。

      2. targetDocument が "tools" 機能の使用を 許可されていない場合、 続行します。

      3. targetOrigin を targetDocument の オリジンとします。

      4. callerOrigin を toolRequestor の オリジンとします。

      5. targetOrigin が callerOrigin と 同一オリジンであるか、 from origins が targetOrigin を 含む場合は toolOwnerIsRequested を true、 それ以外の場合は false とします。

      6. toolOwnerIsRequested が false の場合、続行します。

      7. targetToolMap を targetDocument の 関連付けられた ModelContextの 内部コンテキストの ツールマップとします。

      8. targetToolMap の各 tool name → tool definition について それぞれ、

         1. targetOrigin、tool definition の 公開先オリジン、 および callerOrigin を指定した ツールがオリジンに公開されているの結果が false の場合、 続行します。

         2. registeredTool を、次のフィールドを持つ新しい RegisteredTool 辞書とします。

            name

            tool definition の 名前

            title

            tool definition の タイトルが null でなければその値、それ以外の場合は空 文字列。

            空文字列をデフォルトにせず、この メンバー自体を除外して undefined になるようにすることを検討してください。 [Issue #224]

            description

            tool definition の 説明

            inputSchema

            tool definition の 入力スキーマ が空文字列でない場合、tool definition の 入力スキーマを指定して JSON 文字列を JavaScript 値として構文解析した結果。それ以外の場合は undefined。

            注: ツール定義に格納されている文字列は常に有効な JSON 文字列であるため、これは 決して例外を投げません。

            window

            targetDocument の 関連するグローバル オブジェクト

            origin

            targetOrigin を シリアライズしたもの。

            annotations

            tool definition の 注釈が null でない場合、ToolAnnotations 辞書。その readOnlyHint は tool definition の 注釈の 読み取り専用ヒント であり、 untrustedContentHint は tool definition の 注釈の 信頼されていない コンテンツのヒントです。

         3. registeredTool を tools に 追加します。

   4. a["name"] が b["name"] より コード単位で小さい場合に a が b より小さいものとして、 tools を 昇順に並べ替えます。

   5. global を指定して webmcp タスクソース上に グローバルタスクをキューに入れ、promise を tools で 解決します。

10. promise を返します。

1. callerDocument を this の 関連するグローバルオブジェクトの 関連付けられた Documentとします。

2. callerDocument が 完全にアクティブでない場合、"InvalidStateError" DOMException で 拒否された promiseを返します。

3. this の 周囲のエージェントの エージェント クラスターの オリジンキー化されているかが false であり、 this の 関連する設定オブジェクトの オリジンの スキームが "file" でない場合、 "SecurityError" DOMException で 拒否された promiseを返します。

4. callerDocument が "tools" 機能の使用を 許可されていない場合、"NotAllowedError" DOMException で 拒否された promiseを返します。

5. expectedTargetOriginURL を tool の origin を 構文解析した結果とします。

6. expectedTargetOriginURL が failure であるか、expectedTargetOriginURL の オリジンが 不透明オリジンである場合、"NotSupportedError" DOMException で 拒否された promiseを返します。

7. expectedTargetOrigin を expectedTargetOriginURL の オリジンとします。

8. 表明: expectedTargetOrigin は 不透明オリジンではありません。

9. inputArguments を、inputObject を指定して JavaScript 値を JSON 文字列にシリアライズした結果とします。これが例外を投げた場合、その例外で 拒否された promiseを返します。

10. promise を this の 関連する Realm内に作成された 新しい promiseとします。

11. targetWindow を tool の window とします。

12. targetDocument を targetWindow の 関連付けられた Documentとします。

13. uuid を新しい 一意な内部値とします。

14. options の signal が 存在する場合:

    1. signal を options の signal とします。

    2. signal が 中止済みである場合、 signal の 中止理由で 拒否された promiseを返します。

    3. traversable を targetDocument の ノードナビガブルの トラバーサブルナビガブルとします。

    4. 次の中止手順を signal に 追加します。

       1. promise を signal の 中止理由で 拒否します。

       2. 並列に、traversable と uuid を指定して 保留中のツール 実行をキャンセルします。

15. 次の手順を 並列に実行します。

    1. targetDocument の ノードナビガブルの トラバーサブルナビガブルが callerDocument の ノードナビガブルの トラバーサブルナビガブルでない場合、callerDocument の 関連するグローバルオブジェクトを指定して webmcp タスクソース上に グローバルタスクをキューに入れ、 promise を "UnknownError" DOMException で 拒否し、これらの 手順を中止します。

       同じ ブラウジングコンテキストグループ内のトップレベル文書間での ツール実行のサポートを検討してください。 [Issue #227]

       各失敗ケースに基づき、"UnknownError" より詳細なエラーをサポートしてください。

    2. targetOrigin を targetDocument の オリジンとします。

    3. callerOrigin を callerDocument の オリジンとします。

    4. targetOrigin が expectedTargetOrigin と 同一オリジンでない場合、 callerDocument の 関連するグローバルオブジェクトを指定して webmcp タスクソース上に グローバルタスクをキューに入れ、 promise を "UnknownError" DOMException で 拒否し、これらの手順を中止します。

       各失敗ケースに基づき、"UnknownError" より詳細なエラーをサポートしてください。

    5. targetToolMap を targetDocument の 関連付けられた ModelContextの 内部コンテキストの ツールマップとします。

    6. toolName を tool の name とします。

    7. targetToolMap[toolName] が 存在しない場合、callerDocument の 関連するグローバルオブジェクトを指定して webmcp タスクソース上に グローバルタスクをキューに入れ、 promise を "UnknownError" DOMException で 拒否し、これらの手順を中止します。

       各失敗ケースに基づき、"UnknownError" より詳細なエラーをサポートしてください。

    8. tool definition を targetToolMap[toolName] とします。

    9. targetOrigin、tool definition の 公開先オリジン、および callerOrigin を指定した ツールがオリジンに公開されているの結果が false の場合、 callerDocument の 関連するグローバルオブジェクトを指定して webmcp タスクソース上に グローバルタスクをキューに入れ、 promise を "UnknownError" DOMException で 拒否し、これらの手順を中止します。

       各失敗ケースに基づき、"UnknownError" より詳細なエラーをサポートしてください。

    10. completionSteps を、文字列または null の result と 真偽値 success を受け取り、次の手順を実行するアルゴリズムとします。

        1. 表明: これらの手順は 並列に実行されています。

        2. targetDocument の ノードナビガブルの トラバーサブルナビガブルの 保留中ツール 実行マップ[uuid] が 存在しない場合、 返ります。

           uuid で識別される保留中の実行がすでに 存在しない場合があります。これは、(a) 呼び出し元文書が 破棄されたとき、または呼び出し元が options の signal を介して 実行を中止したときのツールキャンセルと、(b) ツール promise の解決との競合によって 起こりえます。これらはいずれも completionSteps の呼び出しを競い、最初の呼び出しが キー uuid によって保留中の実行を削除します。このチェックは、後から競合して 呼び出されたものを保護します。

        3. targetDocument の ノードナビガブルの トラバーサブルナビガブルの 保留中 ツール実行マップ[uuid] を 削除します。

        4. success が true の場合、callerDocument の 関連するグローバルオブジェクトを指定して webmcp タスクソース上に グローバルタスクをキューに入れ、 promise を result で 解決します。

        5. それ以外の場合、callerDocument の 関連するグローバルオブジェクトを指定して webmcp タスクソース上に グローバルタスクをキューに入れ、 promise を "UnknownError" DOMException で 拒否します。

    11. execution を、次の 項目を持つ新しい 保留中ツール実行とします。

        呼び出し元文書

        callerDocument

        対象文書

        targetDocument

        ツール名

        toolName

        完了手順

        completionSteps

    12. targetDocument の ノードナビガブルの トラバーサブルナビガブルの 保留中ツール 実行マップ[uuid] を execution に設定します。

    13. targetWindow を指定して webmcp タスクソース上に グローバルタスクをキューに入れ、toolName、 targetDocument、inputArguments、completionSteps、 および uuid を指定して ツール実行手順を実行します。

        注: 文書は 完全にアクティブな場合にのみイベントループ上の タスクを処理するため、targetDocument が 完全にアクティブでない場合、これは単にツールを実行する 手順をキューに追加し、文書が最終的に再びアクティブになったとき（すなわち bf-cache を離れたとき）に実行します。

16. promise を返します。

1. TODO: form とその フォーム関連要素から、適合する JSON Schema オブジェクトを導出します。

宣言的な 実行手順と、それらのフォーム要素との統合を仕様化してください。

1. 表明: このアルゴリズムは ブラウザーエージェントの AI エージェントキュー内で実行されています。

2. 表明: traversable の アクティブ文書は 完全にアクティブです。

3. observation を新しい 観測とします。

4. flat descendants を、traversable の アクティブ文書の 包含子孫ナビガブルとします。

5. flat descendants の各 ナビガブル descendant について それぞれ、

   1. document を descendant の アクティブ文書とします。

   2. id を document の 一意な IDとします。

   3. observation の ツールマップ[id] = document の 関連付けられた ModelContextの 内部コンテキストの ツールマップの 値、すなわち ツール定義に設定します。

6. 単に ツールマップを設定する以外に、ユーザーエージェントが 有用または必要と判断するものを observation に追加するための 実装定義の手順を実行します。 これには、ページの注釈付きスクリーンショット、アクセシビリティツリーの一部などが含まれる場合があります。

7. observation と ブラウザーエージェントを使用して、 observation の ツールマップを、ブラウザーエージェントが受け付ける任意の方法で 公開するための 実装定義の手順を実行します。

   注: この API の名前（すなわち WebMCP）にもかかわらず、この仕様は、ツールを ブラウザーエージェントに公開する形式を規定しません。ブラウザーは自由に、 Model Context Protocol、その他の独自の「function calling」方式、または適切と判断するその他の方法でツールを要約し 公開できます。

   実装は、ブラウザーエージェントに対し、ツール定義に関連するあらゆる関連 セキュリティ情報、たとえば発生元の オリジンなどを伝えることが期待されます。 これにより、背後のモデルが関係する異なる主体を把握でき、 エンドユーザーの意図を最も安全に実行できるようになります。