{ "format": "agent-article-v0", "article_id": "EA-136", "canonical_url": "/tools/ea-136-llamaindex-workflows", "page_type": "reference", "claim_ids": [], "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" ], "operational_object_ids": [], "provider": [], "models": [], "plans": [], "surfaces": [], "regions": [], "current_status": "UNKNOWN", "observation_status": "SPEC_ONLY", "freshness": "UNKNOWN", "last_verified": null, "supersedes": [], "superseded_by": [], "provenance": [ "COMM-043-EA0136", "SRC-EA-136-URL-D7E28BD76292", "WEBBODY-EA0136-R8-9C75365E" ], "article_sources": [ { "id": "EVD-EA-136-URL-D7E28BD76292", "evidence_class": "RESEARCH", "title": "source_class=official project documentation; exact_title=Workflows; author/org=LlamaIndex; canonical_url=", "href": "https://developers.llamaindex.ai/python/llamaagents/workflows/", "supports": [], "limit": "元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。", "origin_class": "SOURCE_PACKET_REFERENCE", "source_or_experiment_ids": [ "SRC-EA-136-URL-D7E28BD76292" ], "supporting_locators": [ "EVIDENCE_TABLE", "- source_class=official project documentation; exact_title=Workflows; author/org=LlamaIndex; canonical_url=https://developers.llamaindex.ai/python/llamaagents/workflows/" ], "scope": "EVIDENCE_TABLE", "provenance_status": "SOURCE_PACKET_REFERENCE_PROJECTED" }, { "id": "EA-136-R11-RESEARCH", "evidence_class": "RESEARCH", "title": "EA-136 監査済みresearch / canonical revision binding", "supports": [ "- ESTABLISHED: 公式Docsは、ユーザー定義のPydantic event、Workflow、@step、入力/出力event型、実行前の推論型検証、StopEvent、timeout、streaming、ctx.send_event/collect_events/store/Resourceを実装要素として示している。\n- NOT_ESTABLISHED: 型検証はLLM出力の真偽・意味的正しさ、tool side effectの安全性、prompt injection耐性、業務SLA、全model/providerでの再現を保証しない。Docsのgpt-4.1例は利用可能性や推奨を証明しない。" ], "limit": "canonical監査・revision bindingの存在を示す。外部ソースcurrentnessが本文またはcontrol-planeで確定していない場合は、currentnessをUNKNOWNのまま保持する。", "origin_class": "AUDITED_CANONICAL_RESEARCH_PACKET", "source_or_experiment_ids": [ "COMM-043-EA0136" ], "supporting_locators": [ "COMM-043-EA0136", "EA-136-R5-LEGACY-MIGRATION-20261008-R1", "content/staging/EA-136.md" ], "scope": "監査済みEA本文・canonical revision・既存Source Graph relationの範囲。欠損currentnessは推測で閉じない。", "provenance_status": "AUDIT_PASS_CANONICAL_BINDING" }, { "id": "EA-136-R11-WEB-READBACK", "evidence_class": "IMPL", "title": "EA-136 Web body identity / canonical readback", "supports": [ "canonical staging bodyのSHA-256一致とR9 canonical ledger readbackをProduction projectionの入力として検証する。" ], "limit": "body identity/readbackは本文claim自体の真偽や外部ソースの最新性を追加保証しない。", "checked_at": null, "origin_class": "IMPLEMENTATION_READBACK", "source_or_experiment_ids": [ "WEBBODY-EA0136-R8-9C75365E" ], "supporting_locators": [ "WEBBODY-EA0136-R8-9C75365E", "content/staging/EA-136.md", "EA-136-R5-LEGACY-MIGRATION-20261008-R1" ], "scope": "R9/R10 canonical readback後のProduction生成時body identity。", "provenance_status": "CANONICAL_READBACK_BODY_HASH_MATCH" } ], "research_sections": [ { "heading": "WHY_THIS_MATTERS_TO_UPDATE", "text": "typed event・Pydantic・step・timeout・streaming・state/resourceを備えたworkflow実装として、型付き制御とLLMの意味的未確定性を分離して更新する。" }, { "heading": "SCOPE_ROUTING", "text": "Enterprise AI Core / implementation / governance / audit / operability。LlamaIndexのworkflow仕様とLlamaAgents/他moduleの可用性を混同しない。" }, { "heading": "CLAIM_OR_RESEARCH_QUESTION", "text": "現行公式DocsがWorkflowのイベント型、step、実行・停止・streaming・stateをどこまで仕様化しているか。型検証が何を保証し、何を保証しないか。" }, { "heading": "EVIDENCE_TABLE", "text": "- 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" }, { "heading": "FINDINGS", "text": "- ESTABLISHED: 公式Docsは、ユーザー定義のPydantic event、Workflow、@step、入力/出力event型、実行前の推論型検証、StopEvent、timeout、streaming、ctx.send_event/collect_events/store/Resourceを実装要素として示している。\n- NOT_ESTABLISHED: 型検証はLLM出力の真偽・意味的正しさ、tool side effectの安全性、prompt injection耐性、業務SLA、全model/providerでの再現を保証しない。Docsのgpt-4.1例は利用可能性や推奨を証明しない。" }, { "heading": "LIMITS / COUNTEREVIDENCE / FAILURE ENVELOPE", "text": "Pydantic/schemaに適合した誤情報、状態競合、timeout後の再実行、イベント収集漏れ、外部side effectの二重実行、stream断絶があり得る。workflowの停止制御とagentの安全な判断を別claimにする。" }, { "heading": "AVAILABILITY_GATES", "text": "Python/package version、LlamaIndex module・integration依存、model ID/API資格情報・地域・契約、event schema、state/resource backend、timeout・stream transport、tool権限とhuman approval。" }, { "heading": "IMPLEMENTATION_STATE", "text": "OSS/Python official documentation + PRODUCT_VOLATILE。Docs exampleは実装入口で、認証済みmodel・tenant・外部書込み・本番負荷試験は未実施。" }, { "heading": "BENCHMARK_OR_EVAL", "text": "公式Docsの型検証・実行例はAPI仕様の根拠。workflow耐久性、意味的正解率、tool安全率、latency/costの独立benchmarkは本Packetで確認しておらずUNKNOWN。" }, { "heading": "SECURITY / PRIVACY / AUDIT / COST / OPERABILITY", "text": "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を検証。" }, { "heading": "SAFE_WORDING_FOR_FUTURE_BOOK", "text": "「LlamaIndex Workflowsの公式Docsは、Pydantic event、型付きstep、実行・停止・timeout・streaming・context storeを使うworkflow構成を示している。型が検証されても、LLM出力の真偽、権限、安全な外部action、production性能は別途検証が必要である。」" }, { "heading": "UPDATE_WORK_HANDOFF", "text": "Core実装章へtyped control-flowとsemantic verificationを別列で引き継ぐ。次回は固定package/tag、各integrationのrelease、state/retry semantics、tool authorization、公開issue/incident、実業務benchmarkを追加採集する。" }, { "heading": "OPEN_UNKNOWN", "text": "current release/commit、typed stepの互換範囲、resume/exactly-once性、state backend、LlamaAgentsとの境界、model/provider別挙動、tenant availability、実業務評価。" }, { "heading": "STOP_CONDITION", "text": "schema適合を正しさ・安全性・認可と同一視しない。例示modelやdocsの実行成功を現行tenant・全deploymentの証拠にしない。\nUNIT_CLOSE_STATUS: INDIVIDUAL_BOUNDED_CLOSE / EVIDENCE_RECORDED / UNKNOWN_PRESERVED\n\n\n===== RUN CLOSE / HANDOFF =====\nINDIVIDUAL_PACKET_COUNT: 9/9（EA-128..EA-136）" }, { "heading": "PRIMARY_SOURCE_RECORD", "text": "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." }, { "heading": "CLAIM_SEPARATION", "text": "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." }, { "heading": "EVIDENCE_BOUNDARY", "text": "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.\nLIVE_SIDE_EFFECTS: 0. No authenticated tenant operation, external write, billing, contract change, secret input, live attack, or dangerous test." }, { "heading": "AUDITED_BOUNDARY", "text": "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." }, { "heading": "OPEN_UNKNOWN", "text": "All UNKNOWN/PRODUCT_VOLATILE/provider- or organization-specific limits from authority/audit remain open unless explicitly closed by the audited handoff." } ], "human_url": "/tools/ea-136-llamaindex-workflows", "markdown_url": "/agent/article.md?path=%2Ftools%2Fea-136-llamaindex-workflows", "json_url": "/agent/article.json?path=%2Ftools%2Fea-136-llamaindex-workflows" }