本文へスキップ

AI運用の判断と根拠を引く

トップへ戻る

LlamaIndex Workflows

用語・参照用語・参照公式仕様のみ公式仕様のみ鮮度未確認鮮度を確定できない

記事状態: 公開 · 最終確認: 未確認

要点

「LlamaIndex Workflowsの公式Docsは、Pydantic イベント、型付きstep、実行・停止・処理待ち時間の上限・streaming・文脈・入力情報 storeを使う処理の流れ構成を示している。型が検証されても、LLM出力の真偽、権限、安全な外部action、本番環境性能は別途検証が必要である。」

現在の判断

  • ESTABLISHED: 公式Docsは、ユーザー定義のPydantic イベント、処理の流れ、@step、入力/出力イベント型、実行前の推論型検証、StopEvent、処理待ち時間の上限、streaming、ctx.send_event/collect_events/store/Resourceを実装要素として示している。
  • NOT_ESTABLISHED: 型検証はLLM出力の真偽・意味的正しさ、ツール 外部への変更・送信の安全性、prompt injection耐性、業務SLA、全モデル/提供元での再現を保証しない。Docsのgpt-4.1例は利用可能性や推奨を証明しない。

どこまで当てはまるか

企業AI運用の共通原則 / 実装 / ガバナンス / 監査 / 運用性。LlamaIndexのワークフロー仕様と、LlamaAgentsおよびその他のモジュールの可用性を混同しないでください。

詳しく理解する

なぜ重要か

typed イベント・Pydantic・step・処理待ち時間の上限・streaming・状態/resourceを備えた処理の流れ実装として、型付き制御とLLMの意味的未確定性を分離して更新する。

対象範囲と前提

企業AI運用の共通原則 / 実装 / ガバナンス / 監査 / 運用性。LlamaIndexのワークフロー仕様と、LlamaAgentsおよびその他のモジュールの可用性を混同しないでください。

検討ポイント

現行公式Docsが処理の流れのイベント型、step、実行・停止・streaming・状態をどこまで仕様化しているか。型検証が何を保証し、何を保証しないか。

根拠資料の対応表

  • source_class=公式プロジェクトドキュメント; exact_title=Workflows; 著者・組織=LlamaIndex; canonical_url=https://developers.llamaindex.ai/python/llamaagents/workflows/ 公開/更新/アクセス日=現在のドキュメントに2026-09-13 JSTにアクセス; バージョン/公開・提供/tag/commit/API改訂版=現在のPythonドキュメント(固定のパッケージバージョンなし。例示モデルはgpt-4.1); supporting_locator=Events and Workflows / @step / StopEvent / Running a 処理の流れ / Streaming / Typed steps / 文脈・入力情報 store(Pydanticイベント、処理の流れクラス、型付きステップ、入力/出力イベントの受け入れ確認、StopEvent、実行タイムアウト/詳細表示、ストリーム、イベントの送信/収集、ctx.store/Resourceの記述); evidence_label=VERIFIED_SPEC+PRODUCT_VOLATILE; 対応関係=裏付け+limit

利用できる条件

Python/package バージョン、LlamaIndex module・integration依存、モデル ID/API資格情報・地域・契約、イベント データ形式の定義、状態/resource backend、処理待ち時間の上限・stream transport、ツール権限とhuman 承認。

実装・運用

OSS/Python official 仕様・利用方法の文書 + PRODUCT_VOLATILE。Docs exampleは実装入口で、認証済みモデル・組織の利用環境・外部書込み・本番負荷試験は未実施。

確認・評価方法

公式Docsの型検証・実行例はAPI仕様の根拠。処理の流れ耐久性、意味的正解率、ツール安全率、latency/costの独立比較評価は本Packetで確認しておらず未確認事項。

セキュリティとプライバシー

Security=データ形式の検証を認可・意味上の verificationの代替にしない。Privacy=イベント/状態/resourceとstreamログのPII境界を設定。監査=処理の流れ/バージョン、イベント、step、StopEvent、ツール、承認、再試行を相関。Cost=step・LLM・再試行・保存領域・streamを計測。Operability=処理待ち時間の上限、重複実行を防ぐ性質、dead-letter、再開/以前の状態へ戻す操作、依存バージョンを検証。

PRIMARY SOURCE RECORD

9つのパケットにわたる9つのソースレコード。3つの主要な研究論文と、6つの現在の公式なプロジェクト/製品ドキュメントの記録。タイトル、作成者または組織、日付、改訂版またはリリース、正式なURL、根拠の所在、根拠ラベル、関係性が記録されている。

確認済みの記述と推論を区別する

EA-128..136 each has separate 検討する問い, established/unestablished findings, 根拠 対応関係, limits/反証/失敗 envelope, 利用可能性 gates, 実装 状態, 比較評価/評価, 誤解を防ぐ表現, 引継ぎ, open 未確認事項, stop condition.

EVIDENCE BOUNDARY

Primary paper results are research-condition 根拠; official Docs establish documented API/framework concepts only. Product existence, 契約プラン/region/org/mode 利用可能性, 組織の利用環境 behavior, 本番環境 安全性, and business quality remain separate gates or 未確認事項. 実環境への変更・送信: 0件。認証した組織の利用環境での操作、外部への書込み、課金、契約の変更、機密情報の入力、実環境への攻撃、危険な試験は行っていない。

検証済みの適用範囲

LlamaIndex Workflows typed-event/処理の流れ/実行環境 適用範囲 only. Typed/Pydantic 妥当性の検証 is structural, not 意味上の truth or 認可. 処理待ち時間の上限/状態/再開 do not imply exactly-once 外部 外部への変更・送信; 重複実行を防ぐ性質/再試行 boundaries remain required. OSS 実行環境 separate from LlamaParse/LlamaCloud entitlement/region/SLA/data-boundary. Independent operational 根拠 未確認事項.

確認できていること

  • ESTABLISHED: 公式Docsは、ユーザー定義のPydantic イベント、処理の流れ、@step、入力/出力イベント型、実行前の推論型検証、StopEvent、処理待ち時間の上限、streaming、ctx.send_event/collect_events/store/Resourceを実装要素として示している。

  • NOT_ESTABLISHED: 型検証はLLM出力の真偽・意味的正しさ、ツール 外部への変更・送信の安全性、prompt injection耐性、業務SLA、全モデル/提供元での再現を保証しない。Docsのgpt-4.1例は利用可能性や推奨を証明しない。

よくある失敗・反証

  • Pydantic/データ形式の定義に適合した誤情報、状態競合、処理待ち時間の上限後の再実行、イベント収集漏れ、外部外部への変更・送信の二重実行、stream断絶があり得る。処理の流れの停止制御とagentの安全な判断を別記述・判断にする。

  • データ形式の定義適合を正しさ・安全性・認可と同一視しない。例示モデルやdocsの実行成功を現行組織の利用環境・全配備の証拠にしない。 UNIT_CLOSE_STATUS: INDIVIDUAL_BOUNDED_CLOSE / EVIDENCE_RECORDED / UNKNOWN_PRESERVED

    ===== 実行 CLOSE / 引継ぎ ===== INDIVIDUAL_PACKET_COUNT: 9/9(EA-128..EA-136)

実務での使い方

  • Python/package バージョン、LlamaIndex module・integration依存、モデル ID/API資格情報・地域・契約、イベント データ形式の定義、状態/resource backend、処理待ち時間の上限・stream transport、ツール権限とhuman 承認。

  • OSS/Python official 仕様・利用方法の文書 + PRODUCT_VOLATILE。Docs exampleは実装入口で、認証済みモデル・組織の利用環境・外部書込み・本番負荷試験は未実施。

  • 公式Docsの型検証・実行例はAPI仕様の根拠。処理の流れ耐久性、意味的正解率、ツール安全率、latency/costの独立比較評価は本Packetで確認しておらず未確認事項。

  • Security=データ形式の検証を認可・意味上の verificationの代替にしない。Privacy=イベント/状態/resourceとstreamログのPII境界を設定。監査=処理の流れ/バージョン、イベント、step、StopEvent、ツール、承認、再試行を相関。Cost=step・LLM・再試行・保存領域・streamを計測。Operability=処理待ち時間の上限、重複実行を防ぐ性質、dead-letter、再開/以前の状態へ戻す操作、依存バージョンを検証。

  • Core実装章へtyped control-flowと意味上の verificationを別列で引き継ぐ。次回は固定package/tag、各integrationの公開・提供、状態/再試行 semantics、ツール 認可、公開issue/incident、実業務比較評価を追加採集する。

  • EA-128..136 each has separate 検討する問い, established/unestablished findings, 根拠 対応関係, limits/反証/失敗 envelope, 利用可能性 gates, 実装 状態, 比較評価/評価, 誤解を防ぐ表現, 引継ぎ, open 未確認事項, stop condition.

  • LlamaIndex Workflows typed-event/処理の流れ/実行環境 適用範囲 only. Typed/Pydantic 妥当性の検証 is structural, not 意味上の truth or 認可. 処理待ち時間の上限/状態/再開 do not imply exactly-once 外部 外部への変更・送信; 重複実行を防ぐ性質/再試行 boundaries remain required. OSS 実行環境 separate from LlamaParse/LlamaCloud entitlement/region/SLA/data-boundary. Independent operational 根拠 未確認事項.

まだ確認できていないこと

  • EA-136-UNKNOWN-01

    現在の 公開・提供/commit、typed stepの互換範囲、再開/exactly-once性、状態 backend、LlamaAgentsとの境界、モデル/提供元別挙動、組織の利用環境 利用可能性、実業務評価。

  • EA-136-UNKNOWN-02

    All 未確認事項/PRODUCT_VOLATILE/提供元- or organization-specific limits from authority/監査 remain open unless explicitly closed by the audited 引継ぎ.

  • EA-136-UNKNOWN-CURRENTNESS

    外部根拠の再確認日が正式な本文・公開管理情報で確定していないため、現行性は未確認のまま保持する。確認日を推測して補わない。

根拠資料

出典ID・検証情報・機械可読データ

根拠の種類と情報の鮮度は、ラベルとアイコンで確認できます。

記事ID
EA-136
最終確認日
—
提供元・モデル・プラン・利用環境
—
対象地域
—
元資料の全文と収録照合記録
WHY_THIS_MATTERS_TO_UPDATE

typed event・Pydantic・step・timeout・streaming・state/resourceを備えたworkflow実装として、型付き制御とLLMの意味的未確定性を分離して更新する。

SCOPE_ROUTING

Enterprise AI Core / implementation / governance / audit / operability。LlamaIndexのworkflow仕様とLlamaAgents/他moduleの可用性を混同しない。

CLAIM_OR_RESEARCH_QUESTION

現行公式DocsがWorkflowのイベント型、step、実行・停止・streaming・stateをどこまで仕様化しているか。型検証が何を保証し、何を保証しないか。

EVIDENCE_TABLE
  • source_class=official project documentation; exact_title=Workflows; author/org=LlamaIndex; canonical_url=https://developers.llamaindex.ai/python/llamaagents/workflows/ publication/update/access_date=current docs accessed 2026-09-13 JST; version/release/tag/commit/API revision=current Python docs(固定package versionなし。例示modelはgpt-4.1); supporting_locator=Events and Workflows / @step / StopEvent / Running a workflow / Streaming / Typed steps / Context store(Pydantic event、Workflow class、型付きstep、入力/出力event validation、StopEvent、run timeout/verbose、stream、send/collect event、ctx.store/Resourceの記述); evidence_label=VERIFIED_SPEC+PRODUCT_VOLATILE; relation=support+limit
FINDINGS
  • ESTABLISHED: 公式Docsは、ユーザー定義のPydantic event、Workflow、@step、入力/出力event型、実行前の推論型検証、StopEvent、timeout、streaming、ctx.send_event/collect_events/store/Resourceを実装要素として示している。
  • NOT_ESTABLISHED: 型検証はLLM出力の真偽・意味的正しさ、tool side effectの安全性、prompt injection耐性、業務SLA、全model/providerでの再現を保証しない。Docsのgpt-4.1例は利用可能性や推奨を証明しない。
LIMITS / COUNTEREVIDENCE / FAILURE ENVELOPE

Pydantic/schemaに適合した誤情報、状態競合、timeout後の再実行、イベント収集漏れ、外部side effectの二重実行、stream断絶があり得る。workflowの停止制御とagentの安全な判断を別claimにする。

AVAILABILITY_GATES

Python/package version、LlamaIndex module・integration依存、model ID/API資格情報・地域・契約、event schema、state/resource backend、timeout・stream transport、tool権限とhuman approval。

IMPLEMENTATION_STATE

OSS/Python official documentation + PRODUCT_VOLATILE。Docs exampleは実装入口で、認証済みmodel・tenant・外部書込み・本番負荷試験は未実施。

BENCHMARK_OR_EVAL

公式Docsの型検証・実行例はAPI仕様の根拠。workflow耐久性、意味的正解率、tool安全率、latency/costの独立benchmarkは本Packetで確認しておらずUNKNOWN。

SECURITY / PRIVACY / AUDIT / COST / OPERABILITY

Security=schema validationをauthorization・semantic verificationの代替にしない。Privacy=event/state/resourceとstreamログのPII境界を設定。Audit=workflow/version、event、step、StopEvent、tool、approval、retryを相関。Cost=step・LLM・retry・storage・streamを計測。Operability=timeout、idempotency、dead-letter、resume/rollback、依存versionを検証。

SAFE_WORDING_FOR_FUTURE_BOOK

「LlamaIndex Workflowsの公式Docsは、Pydantic event、型付きstep、実行・停止・timeout・streaming・context storeを使うworkflow構成を示している。型が検証されても、LLM出力の真偽、権限、安全な外部action、production性能は別途検証が必要である。」

UPDATE_WORK_HANDOFF

Core実装章へtyped control-flowとsemantic verificationを別列で引き継ぐ。次回は固定package/tag、各integrationのrelease、state/retry semantics、tool authorization、公開issue/incident、実業務benchmarkを追加採集する。

OPEN_UNKNOWN

current release/commit、typed stepの互換範囲、resume/exactly-once性、state backend、LlamaAgentsとの境界、model/provider別挙動、tenant availability、実業務評価。

STOP_CONDITION

schema適合を正しさ・安全性・認可と同一視しない。例示modelやdocsの実行成功を現行tenant・全deploymentの証拠にしない。 UNIT_CLOSE_STATUS: INDIVIDUAL_BOUNDED_CLOSE / EVIDENCE_RECORDED / UNKNOWN_PRESERVED

===== RUN CLOSE / HANDOFF ===== INDIVIDUAL_PACKET_COUNT: 9/9(EA-128..EA-136)

PRIMARY_SOURCE_RECORD

9 source records across 9 packets; 3 primary research papers and 6 current official project/product documentation records with title/author-or-org/date/version-or-release/canonical URL/supporting locator/evidence label/relation recorded.

CLAIM_SEPARATION

EA-128..136 each has separate question, established/unestablished findings, evidence relation, limits/counterevidence/failure envelope, availability gates, implementation state, benchmark/eval, safe wording, handoff, open unknown, stop condition.

EVIDENCE_BOUNDARY

Primary paper results are research-condition evidence; official Docs establish documented API/framework concepts only. Product existence, plan/region/org/mode availability, tenant behavior, production safety, and business quality remain separate gates or UNKNOWN. LIVE_SIDE_EFFECTS: 0. No authenticated tenant operation, external write, billing, contract change, secret input, live attack, or dangerous test.

AUDITED_BOUNDARY

LlamaIndex Workflows typed-event/workflow/runtime scope only. Typed/Pydantic validation is structural, not semantic truth or authorization. Timeout/state/resume do not imply exactly-once external side effects; idempotency/retry boundaries remain required. OSS runtime separate from LlamaParse/LlamaCloud entitlement/region/SLA/data-boundary. Independent operational evidence UNKNOWN.

OPEN_UNKNOWN

All UNKNOWN/PRODUCT_VOLATILE/provider- or organization-specific limits from authority/audit remain open unless explicitly closed by the audited handoff.

  • EVD-EA-136-URL-D7E28BD76292研究資料研究資料根拠の出所: SOURCE_PACKET_REFERENCE

    source_class=official project documentation; exact_title=Workflows; author/org=LlamaIndex; canonical_url=

    裏付ける内容
    —
    確認日
    —
    出典・実験ID
    SRC-EA-136-URL-D7E28BD76292
    検証箇所
    EVIDENCE_TABLE · - source_class=official project documentation; exact_title=Workflows; author/org=LlamaIndex; canonical_url=https://developers.llamaindex.ai/python/llamaagents/workflows/
    適用範囲
    EVIDENCE_TABLE
    出典・来歴
    SOURCE_PACKET_REFERENCE_PROJECTED
    限界
    元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
  • EA-136-R11-RESEARCH研究資料研究資料根拠の出所: AUDITED_CANONICAL_RESEARCH_PACKET

    EA-136 監査済みresearch / canonical revision binding

    裏付ける内容
    - ESTABLISHED: 公式Docsは、ユーザー定義のPydantic event、Workflow、@step、入力/出力event型、実行前の推論型検証、StopEvent、timeout、streaming、ctx.send_event/collect_events/store/Resourceを実装要素として示している。 - NOT_ESTABLISHED: 型検証はLLM出力の真偽・意味的正しさ、tool side effectの安全性、prompt injection耐性、業務SLA、全model/providerでの再現を保証しない。Docsのgpt-4.1例は利用可能性や推奨を証明しない。
    確認日
    —
    出典・実験ID
    COMM-043-EA0136
    検証箇所
    COMM-043-EA0136 · EA-136-R5-LEGACY-MIGRATION-20261008-R1 · content/staging/EA-136.md
    適用範囲
    監査済みEA本文・canonical revision・既存Source Graph relationの範囲。欠損currentnessは推測で閉じない。
    出典・来歴
    AUDIT_PASS_CANONICAL_BINDING
    限界
    canonical監査・revision bindingの存在を示す。外部ソースcurrentnessが本文またはcontrol-planeで確定していない場合は、currentnessをUNKNOWNのまま保持する。
  • EA-136-R11-WEB-READBACK実装資料実装資料根拠の出所: IMPLEMENTATION_READBACK

    EA-136 Web body identity / canonical readback

    裏付ける内容
    canonical staging bodyのSHA-256一致とR9 canonical ledger readbackをProduction projectionの入力として検証する。
    確認日
    —
    出典・実験ID
    WEBBODY-EA0136-R8-9C75365E
    検証箇所
    WEBBODY-EA0136-R8-9C75365E · content/staging/EA-136.md · EA-136-R5-LEGACY-MIGRATION-20261008-R1
    適用範囲
    R9/R10 canonical readback後のProduction生成時body identity。
    出典・来歴
    CANONICAL_READBACK_BODY_HASH_MATCH
    限界
    body identity/readbackは本文claim自体の真偽や外部ソースの最新性を追加保証しない。
出典ID
COMM-043-EA0136, SRC-EA-136-URL-D7E28BD76292, WEBBODY-EA0136-R8-9C75365E
追跡中のUNKNOWN ID
EA-136-UNKNOWN-01, EA-136-UNKNOWN-02, EA-136-UNKNOWN-CURRENTNESS
再確認のきっかけ
正式な 改訂版/publication 状態 change · 本文 成果物 hash change · 出典 現行性 change · new contradiction or 実装 結果の照合

機械検査: 通過 — 機械検査の結果です。情報の正確性や実行の承認を保証するものではありません。

    同じ記事IDの機械可読データです。