拡張は経路かプログラムを増やす

導入した拡張の集合を $X$ とし、各拡張 $e$ の提供者を $\pi(e)$ とする。拡張は、次の一方または両方を足すとする（前章の分類による）。

• 信頼できない経路: その拡張が決める内容（ツールの説明と結果、スキルの本文など）が文脈に入る経路。
• 自動で動くプログラム: 利用者の権限で、権限の関門を通らずに動くプログラム（フックのコマンド、利用者の機械の上の MCP サーバのプロセスなど）。

このとき次が成り立つ。

1. 文脈に入る経路の集合と、自動で動くプログラムの集合は、$X$ について単調に増える（$X \subseteq X'$ なら、$X$ のもとでの集合は $X'$ のもとでの集合に含まれる）。
2. 「自動で動くプログラムに敵対的なものが無い」という性質が成り立つためには、自動で動くプログラムを足す拡張の提供者をすべて信頼する必要がある。すなわち、信頼しなければならない主体の集合は $\{\pi(e) : e \in X,\ e \text{ は自動で動くプログラムを足す}\}$ を含む。
3. 自動で動くプログラムは $Q$ の呼び出しではないので、定理 3.2 の上界の対象にならない。