LangGraph

durable execution・streaming・human-in-loop・persistenceを持つ低レベルorchestrationとして、LLM agentの制御フローと外部実行の境界を現行仕様で更新する。

Enterprise AI Core / implementation / governance / audit / operability。LangSmith等の周辺サービスは別availability gateで扱う。

現行公式DocsがLangGraphの実行・状態・人間介入・観測をどこまで仕様として記述しているか。durabilityやhuman-in-loopを安全保証と誤認しない境界は何か。

• source_class=official project documentation; exact_title=LangGraph overview; author/org=LangChain Inc.; canonical_url=https://docs.langchain.com/oss/python/langgraph/overview publication/update/access_date=current docs accessed 2026-09-13 JST; version/release/tag/commit/API revision=current OSS Python docs（ページ上に固定releaseなし）; supporting_locator=Overview / Install / Build a basic graph / Persistence / Human-in-the-loop / Production（low-level orchestration、durable execution、streaming、human-in-loop、deterministicとLLM steps、persistence/memory、LangSmith tracing/evaluation、standalone利用の記述）; evidence_label=VERIFIED_SPEC+PRODUCT_VOLATILE; relation=support+limit

• ESTABLISHED: 公式DocsはLangGraphを低レベルorchestrationとして説明し、deterministic stepとLLM stepの混在、durable execution、streaming、persistence、human-in-the-loop、memory、trace/debugを構成として記載している。
• NOT_ESTABLISHED: docsの“production-ready”や機能存在は、全deploymentでの耐久性・再実行安全性、LLMの正しさ、human approvalの適切さ、SLA、LangSmith等のプラン・地域可用性を証明しない。

checkpointer/backend、idempotency、side-effect ordering、resume設計を誤ると再実行で二重actionが起こり得る。stream/traceの欠損、状態肥大、長時間workflow、tool失敗、LLM hallucinationは別途扱う。オーケストレーション機能をagent品質へ外挿しない。

package version、Python/JS実装差、checkpointer・database・deployment backend、LangSmithの利用条件、model/provider API、human approver identity/RBAC、外部tool権限。

OSS/Python official documentation + PRODUCT_VOLATILE。Docs exampleは実装入口であり、production deployment・外部side effect・認証tenantでの実測は未実施。

Docsにtracing/evaluationの説明はあるが、特定業務の独立benchmark・durability SLO・二重実行率は本Packetで確立していない。UNKNOWN。

Security=human-in-loopをaction境界に置き、side effectはidempotency keyとdeny-by-defaultで制御。Privacy=state/checkpoint/traceのPII保持と削除。Audit=graph version・node・state transition・approval・tool resultを相関。Cost=resume/retry/trace/storageを含む。Operability=checkpoint restore、timeout、dead-letter、rollback、backend障害を試験。

「LangGraphの公式Docsは、LLM stepと決定的stepを組み合わせる低レベルorchestrationとして、persistence・durable execution・streaming・human-in-the-loop等を記載している。これらは制御基盤の仕様候補であり、LLMの正しさ、side effectの安全性、全deploymentのSLAを自動保証しない。」

Core実装章へ、graph/state/checkpoint/tool side effectを別claimとして引き継ぐ。次回は固定package/commit、checkpointerの再実行仕様、LangSmithのversion・data boundary、公開issue/incident、業務benchmarkを補う。

current release/commit、各backendのdurability、exactly-once相当の保証有無、human approval race、LangGraph/LangSmith境界、JS/Python parity、tenant availability。

“durable”をexactly-once・データ完全性・安全な外部actionへ読み替えない。Docsの例やtrace表示を業務品質の証拠にしない。 UNIT_CLOSE_STATUS: INDIVIDUAL_BOUNDED_CLOSE / EVIDENCE_RECORDED / UNKNOWN_PRESERVED

---

LangGraph durable execution is not exactly-once external execution; external side effects require idempotency; HITL is not authorization; OSS distinct from hosted entitlement/production guarantees.

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