要求とプレフィックス

トークンの集合を $\mathcal{V}$ とする。要求は、モデルの名前 $\mu$ と、トークン列 $x = (x_1, \ldots, x_n) \in \mathcal{V}^n$ の組である。$x$ は、ツール定義の部分 $x^{\mathrm{tools}}$、システムプロンプトの部分 $x^{\mathrm{sys}}$、メッセージ列の部分 $x^{\mathrm{msg}}$ をこの順につないだ列

である。$0 \le j \le n$ について、先頭の $j$ トークン $x[1..j] = (x_1, \ldots, x_j)$ を $x$ の長さ $j$ のプレフィックスという。列 $p$ が $x$ のプレフィックスであることを $p \sqsubseteq x$ と書く。