Explicit 状態 Machine vs Free-form Agent Loop
記事状態: 公開 · 最終確認: 2026-10-06
要点
状態 machine採用だけでexactly-onceや正当性は保証されず、free-form loopもtermination・権限・途中状態の保存地点・結果の照合を明示すれば統制できる。
現在の判断
状態 machine採用だけでexactly-onceや正当性は保証されず、free-form loopもtermination・権限・途中状態の保存地点・結果の照合を明示すれば統制できる。
どこまで当てはまるか
Explicit 状態 Machine vs Free-form Agent Loop
詳しく理解する
要点と前提
Agent制御は状態 machineとfree-form loopの二択ではない。明示状態 machineは遷移、再試行/catch、pause/再開、履歴、再開位置を外部制御面へ出しやすい。free-form loopもmax turns、termination、引継ぎ、ツール 権限等を外部化できる。
企業運用では、探索の自由度と業務状態確定を分離する。承認、外部副作用、再試行、停止、再開、authoritative 結果の照合は状態 条件・契約へ置き、その境界内でLLMに探索やツール選択を委ねる構成を基本候補とする。ただしhybrid構成を普遍的最適解とはしない。
AWS Step Functions Standardのredriveは失敗stepから同じinput・definitionで再開し成功済みstepの結果/履歴を保持するが、eligibility、履歴、処理の流れ mode等の制約がある。LangGraphのinterrupt/pause/再開、OpenAI Agents SDKのmax_turns、AutoGenのtermination conditionsも各framework固有の機能であり横断保証へ一般化しない。
途中状態の保存地点や処理の流れ 履歴は外部 side-effectのexactly-once保証ではない。再実行され得るツール/APIには重複実行を防ぐ性質 key、実行前の条件、deduplication、取り消し・埋め合わせ処理、authoritative 結果の照合を別途設計する。
失敗 envelope: non-termination、transition drift、要再確認 途中状態の保存地点、definition/バージョン drift、duplicate 外部への変更・送信、wrong 再開 point、hidden ツール 状態、partial update、引継ぎ cycle、termination error、文脈・入力情報 loss、承認 bypass、データ形式の定義 migration 失敗、利用枠/保持期間・保持方針 exhaustion、cancellation inconsistency。
まだ確認できていないこと
- EA-270-UNKNOWN-01
組織 処理の流れ engine/バージョン、途中状態の保存地点 store、データ形式の定義 migration、ツール 重複実行を防ぐ性質、承認/IAM、turn/time/cost limits、保持期間・保持方針、replay/cancellation semantics、外部 side-effect 条件・契約、incident 復旧、組織の利用環境 realized behavior。
根拠資料
この記事には、直接開ける外部出典が登録されていません。出典IDや検証情報は末尾で確認できます。
更新履歴
EA-270-FIRST-20261006: 正式な 監査/publication 対応付け
出典ID・検証情報・機械可読データ
根拠の種類と情報の鮮度は、ラベルとアイコンで確認できます。
- 記事ID
- EA-270
- 最終確認日
- 2026-10-06
- 提供元・モデル・プラン・利用環境
- —
- 対象地域
- —
元資料の全文と収録照合記録
要点と前提
Agent制御はstate machineとfree-form loopの二択ではない。明示state machineは遷移、retry/catch、pause/resume、履歴、再開位置を外部制御面へ出しやすい。free-form loopもmax turns、termination、handoff、tool permission等を外部化できる。
企業運用では、探索の自由度と業務状態確定を分離する。承認、外部副作用、再試行、停止、再開、authoritative readbackはstate contractへ置き、その境界内でLLMに探索やtool選択を委ねる構成を基本候補とする。ただしhybrid構成を普遍的最適解とはしない。
AWS Step Functions Standardのredriveは失敗stepから同じinput・definitionで再開し成功済みstepの結果/historyを保持するが、eligibility、history、workflow mode等の制約がある。LangGraphのinterrupt/pause/resume、OpenAI Agents SDKのmax_turns、AutoGenのtermination conditionsも各framework固有の機能であり横断保証へ一般化しない。
checkpointやworkflow historyはexternal side-effectのexactly-once保証ではない。再実行され得るtool/APIにはidempotency key、precondition、deduplication、compensation、authoritative readbackを別途設計する。
Failure envelope: non-termination、transition drift、stale checkpoint、definition/version drift、duplicate side effect、wrong resume point、hidden tool state、partial update、handoff cycle、termination error、context loss、approval bypass、schema migration failure、quota/retention exhaustion、cancellation inconsistency。
OPEN_UNKNOWN
organization workflow engine/version、checkpoint store、schema migration、tool idempotency、approval/IAM、turn/time/cost limits、retention、replay/cancellation semantics、external side-effect contract、incident recovery、tenant realized behavior。
SAFE_WORDING
state machine採用だけでexactly-onceや正当性は保証されず、free-form loopもtermination・権限・checkpoint・readbackを明示すれば統制できる。
EA-270-CURRENT-APPROVAL研究資料研究資料根拠の出所: AUDITED_CANONICAL_RESEARCH_PACKET現行本文の監査・revision対応
- 裏付ける内容
- 現行台帳のAUDIT_PASSと候補・revision・本文ハッシュの対応を確認しています。
- 確認日
- —
- 出典・実験ID
- CANDIDATE-EA270-FIRST-20261015-C5
- 検証箇所
- 1KqhJtiSb2S84rWmeYVwKcT_76dBwZ_B0ZZuAWQqH0rQ/EA_REVISION_LEDGER!A67:U67 · EA_REVISION_LEDGER!A67:U67 · EA-270-FIRST-20261006
- 適用範囲
- —
- 出典・来歴
- CURRENT_CANONICAL_APPROVAL_READBACK
- 限界
- 監査状態と来歴の記録です。外部根拠の最新性や本文の全主張を追加保証しません。
EA-270-CURRENT-BODY-READBACK実装資料実装資料根拠の出所: IMPLEMENTATION_READBACK現行本文の収録照合
- 裏付ける内容
- 公開生成入力の本文SHA-256が、監査済み候補に結び付いたハッシュと一致しています。
- 確認日
- 2026-10-17
- 出典・実験ID
- BODY-SHA256:7c72b4a71cd0bc88b066d5784505e6d522b67020da9351f34358e7e6f19e44da
- 検証箇所
- content/staging/EA-270.md · 7c72b4a71cd0bc88b066d5784505e6d522b67020da9351f34358e7e6f19e44da · EA-270-FIRST-20261006
- 適用範囲
- —
- 出典・来歴
- CURRENT_APPROVED_BODY_HASH_MATCH
- 限界
- 本文の同一性の検査です。外部システムの挙動や全主張の真偽を実証したものではありません。
- 出典ID
- CANDIDATE-EA270-FIRST-20261015-C5, BODY-SHA256:7c72b4a71cd0bc88b066d5784505e6d522b67020da9351f34358e7e6f19e44da
- 追跡中のUNKNOWN ID
- EA-270-UNKNOWN-01
- 再確認のきっかけ
- 正式な 改訂版/publication 状態 change · 本文 成果物 hash change · 出典 現行性 change · new contradiction or 実装 結果の照合
機械検査: 通過 — 機械検査の結果です。情報の正確性や実行の承認を保証するものではありません。
同じ記事IDの機械可読データです。