# LlamaIndex Workflows

CURRENT_STATUS: UNKNOWN
OBSERVATION: SPEC_ONLY
FRESHNESS: UNKNOWN
PAGE_TYPE: reference
CANONICAL_URL: /tools/ea-136-llamaindex-workflows
CLAIM_IDS: none
EVIDENCE_IDS: EVD-EA-136-URL-D7E28BD76292, EA-136-R11-RESEARCH, EA-136-R11-WEB-READBACK
UNKNOWN_IDS: EA-136-UNKNOWN-01, EA-136-UNKNOWN-02, EA-136-UNKNOWN-CURRENTNESS
OPS_IDS: none

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

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

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

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

## UNKNOWN
- EA-136-UNKNOWN-01: current release/commit、typed stepの互換範囲、resume/exactly-once性、state backend、LlamaAgentsとの境界、model/provider別挙動、tenant availability、実業務評価。
- EA-136-UNKNOWN-02: All UNKNOWN/PRODUCT_VOLATILE/provider- or organization-specific limits from authority/audit remain open unless explicitly closed by the audited handoff.
- EA-136-UNKNOWN-CURRENTNESS: 外部根拠の再確認日がcanonical body/control-planeで確定していないため、currentnessはUNKNOWNとして保持する。日付を推測補完しない。

## Evidence
- EVD-EA-136-URL-D7E28BD76292 (RESEARCH): source_class=official project documentation; exact_title=Workflows; author/org=LlamaIndex; canonical_url= — https://developers.llamaindex.ai/python/llamaagents/workflows/
- EA-136-R11-RESEARCH (RESEARCH): EA-136 監査済みresearch / canonical revision binding
- EA-136-R11-WEB-READBACK (IMPL): EA-136 Web body identity / canonical readback

## Failure / limits
Pydantic/schemaに適合した誤情報、状態競合、timeout後の再実行、イベント収集漏れ、外部side effectの二重実行、stream断絶があり得る。workflowの停止制御とagentの安全な判断を別claimにする。
## Failure / limits
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）
## Practice
Python/package version、LlamaIndex module・integration依存、model ID/API資格情報・地域・契約、event schema、state/resource backend、timeout・stream transport、tool権限とhuman approval。
## Practice
OSS/Python official documentation + PRODUCT_VOLATILE。Docs exampleは実装入口で、認証済みmodel・tenant・外部書込み・本番負荷試験は未実施。
## Practice
公式Docsの型検証・実行例はAPI仕様の根拠。workflow耐久性、意味的正解率、tool安全率、latency/costの独立benchmarkは本Packetで確認しておらずUNKNOWN。
## Practice
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を検証。
## Practice
Core実装章へtyped control-flowとsemantic verificationを別列で引き継ぐ。次回は固定package/tag、各integrationのrelease、state/retry semantics、tool authorization、公開issue/incident、実業務benchmarkを追加採集する。
## Practice
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.
## Practice
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.
## 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.

NEXT: /agent/start.json
STOP: This is a knowledge projection, not an execution order.