LlamaIndex Workflows

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

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

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

• 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

• 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例は利用可能性や推奨を証明しない。

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

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

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

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

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を検証。

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

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

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

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）

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.

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.

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.

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.

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