対応の不変条件

メッセージ列 $h = (m_1, \ldots, m_N)$ が次の 3 条件を満たすとき、$h$ は対応の不変条件 $\mathrm{Inv}$ を満たすという。

• (P1) $m_1$ の役割は $\mathtt{user}$ で、$m_N$ の役割も $\mathtt{user}$ である。
• (P2) 役割が $\mathtt{assistant}$ で $U(m_i) = (u_1, \ldots, u_q)$ が空でないすべての $i$ について、$i \lt N$ であり、$m_{i+1}$ は役割 $\mathtt{user}$ のメッセージで、その内容の最初の $q$ 個のブロックは、この順に id が $u_1, \ldots, u_q$ の tool_result ブロックである。
• (P3) (P2) の $m_{i+1}$ の $q + 1$ 個目以降のブロックに tool_result ブロックは無い。また、tool_result ブロックは (P2) の形で現れるものに限る。