スキルの文脈コスト

モデルが自分で呼び出せるスキルが $n$ 個あり、スキル $i$ の（切られたあとの）説明の長さを $\ell_i \le \ell$、本文の長さを $b_i$ とする。

1. どのスキルも呼び出していないとき、スキルのために文脈に置かれる量は $\sum_i \ell_i \le n\,\ell$ で、本文の長さ $b_1, \ldots, b_n$ に依らない。
2. 圧縮のあとに再び添付される量は、スキル 1 個あたりの上限を $a$、合計の上限を $A$、呼び出した相異なるスキルの数を $k$ とすると、高々 $\min(k\,a,\ A)$。