サブエージェントの模型

親のメッセージ列を $M$ とする。親がサブエージェントを 1 回呼ぶことを、次の 3 段階として定める。

1. 親のモデルが、課題の文 $q$ を入力とする Agent の呼び出し $\mathrm{call}(q)$ を出力する。$M$ の末尾に $\mathrm{call}(q)$ が足される。
2. 子のループが、メッセージ列 $M' = (z,\ q)$ から始まる。ここで $z$ は子の固定の文脈（子のシステムプロンプト、指示ファイル、ツール定義など）で、構成だけで決まり、$M$ に依らない。子はツールを使って量 $X$ の内容（ファイルやツール出力）を自分のメッセージ列に読み込み、最終の応答 $a$ を出力する。子のモデルとツールを写像と見て、$a = \mathrm{Child}(z, q, E)$ と書く（$E$ はファイルシステムなどの環境）。
3. ハーネスが、$a$ と付帯情報 $\mu$ から結果 $\mathrm{res}(a, \mu)$ を作り、$M$ の末尾に足す。

この模型は、5.1 節の公式ドキュメントの記述（子が受け取るのは課題の文と構成で決まる文脈だけ、親に戻るのは最終の応答だけ）を定式化したものである。fork は 2 の $M'$ が $M$ を含むので、この模型の対象外とする。