情報科学 › Claude Code の中身 › エージェントループ
API の応答は、生成が止まった理由 stop_reason を持つ。2026-10 時点の公式ドキュメントが挙げる値は次の 7 つである。
| 値 | 止まった理由 |
|---|---|
end_turn | モデルが応答を自然に終えた |
tool_use | モデルが(クライアント側の)ツールを呼ぼうとしている |
max_tokens | 出力が要求の max_tokens の上限に達した |
stop_sequence | 指定した停止文字列が出力された |
pause_turn | サーバ側のツールの反復が、その回数の上限に達した |
refusal | モデルが応答を断った |
model_context_window_exceeded | 出力の途中でコンテキストウィンドウの上限に達した |
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。