タスク分解と処理工程

Source SHA-256 9861e19eb3a6c0fd5b449ee7d93ac14a5cf2d6e729f223854dd5d717ed209f1a

PACKET_ID: PKT-GEMINI-A-CORE-03-v0.1

SECTION_ID: CORE-03

WAVE: WAVE-A

LAYER: ENTERPRISE_AI_CORE

STATUS: GEMINI_CYCLE_BOUNDED_CLOSED_V0.4

AS_OF: 2026-09-06

DEPENDENCIES: CORE-01, CORE-02

FROZEN_TOC: S063 v0.1

CORE-03は、複合taskを検証可能なstageへ分け、stage間の入出力、intermediate artifact、retry、verification、parallel/serial、transaction境界を定義する。目的は「一発でやらせない」という標語ではなく、失敗を局所化し、再実行で完了済み工程や外部状態を壊さず、local passとend-to-end successを分けて判定できるpipeline contractを作ることである。

含まない:

• task state、checkpoint、handoff、business acceptanceの基本定義（CORE-01）

• retrieval、memory、source bindingの内部評価（CORE-02）

• model/tool/source/stateのroute選定（CORE-04）

• side effect、補償、undo、human escalationの詳細（CORE-05）

• cost最適化の詳細（CORE-13）

• Gemini固有のagent、Gem、Workspace、Studio、API、画面、上限（PM-GEMINI）

• CLAIM_ID: CLM-C03-001; CLAIM: 分解の単位は文章上の小見出しではなく、独立したinput/output/failure/verificationを持つstageである; EVIDENCE CLASS: INTERNAL_DIRECT + RESEARCH; CURRENT SUPPORT: S015/S027; ADaPT v2; STATUS: EVIDENCE_BOUND_PARTIAL

• CLAIM_ID: CLM-C03-002; CLAIM: stage outputは後続処理から再取得できる版付きintermediate artifactとして外部化し、暗黙の会話状態だけに置かない; EVIDENCE CLASS: INTERNAL_DIRECT + OSS_DOC + DEPENDENCY; CURRENT SUPPORT: S007/S015/S027; Airflow 3.3.1 XCom; CORE-01; STATUS: EVIDENCE_BOUND_PARTIAL

• CLAIM_ID: CLM-C03-003; CLAIM: retryはpipeline全体の既定動作ではなく、失敗stage、side-effect state、idempotency/readbackを見て限定する; EVIDENCE CLASS: OSS_DOC + PINNED_LOCAL_RUNTIME + FAILURE_CARRY; CURRENT SUPPORT: Temporal Activity/Retry docs; LangGraph 1.2.11 fault profile; CORE-01/02; STATUS: PINNED_LOCAL_EVIDENCE

• CLAIM_ID: CLM-C03-004; CLAIM: verificationは生成stage自身の成功申告と分離し、stage-local criteriaとend-to-end acceptanceの両方を持つ; EVIDENCE CLASS: INTERNAL_DIRECT + DEPENDENCY; CURRENT SUPPORT: S015/S027; CORE-01 runtime/business split; STATUS: EVIDENCE_BOUND_PARTIAL

• CLAIM_ID: CLM-C03-005; CLAIM: 並列化はsubtask独立性だけで決めず、共有write、順序依存、同一snapshot、merge規則、resource contentionを明示する; EVIDENCE CLASS: OSS_DOC + PINNED_LOCAL_RUNTIME + FAILURE_CARRY; CURRENT SUPPORT: LangGraph 1.2.11 concurrent update/reducer profile; S052; CORE-02; STATUS: PINNED_LOCAL_EVIDENCE

• CLAIM_ID: CLM-C03-006; CLAIM: local stage PASSの集合はend-to-end successを自動的に意味せず、handoff、artifact lineage、統合後検証を別に要求する; EVIDENCE CLASS: INTERNAL_DIRECT + DEPENDENCY; CURRENT SUPPORT: S015/S027/S052; CORE-01 handoff/readback; STATUS: EVIDENCE_BOUND_PARTIAL

• CLAIM_ID: CLM-C03-007; CLAIM: transaction境界はLLM応答単位と同一視せず、prepare/commit/readbackとpartial/unknown stateを区別する; EVIDENCE CLASS: OSS_DOC + PINNED_LOCAL_RUNTIME + FAILURE_CARRY; CURRENT SUPPORT: Temporal Activity/Saga docs; LangGraph 1.2.11 + SQLite fault profile; CORE-01/02; STATUS: PINNED_LOCAL_EVIDENCE

• CLAIM_ID: CLM-C03-008; CLAIM: 分解の価値はcoordination、latency、cost、context loss、merge riskを含むend-to-end差分で評価し、細分化自体を成功条件にしない; EVIDENCE CLASS: RESEARCH + COUNTEREVIDENCE_BOUND; CURRENT SUPPORT: ADaPT v2; CE-C03-001..003; S024; STATUS: EVIDENCE_BOUND_PARTIAL

• EVIDENCE_ID: EXT-C03-001; SOURCE / SNAPSHOT: ADaPT, arXiv:2311.05772 v2; OBSERVATION: executorがsubtaskを実行できない時だけ再帰分解し、task complexityとexecutor capabilityへ適応する。ALFWorld/WebShop/TextCraftで改善を報告; BOUNDARY: 三benchmarkの研究結果。enterprise全taskの固定stage数・token閾値は導かない

• EVIDENCE_ID: EXT-C03-002; SOURCE / SNAPSHOT: LangGraph official INVALID_CONCURRENT_GRAPH_UPDATE, accessed 2026-09-06; OBSERVATION: fan-out nodeが同一state keyを並行更新するとmergeが曖昧になり、reducer定義を要求する; BOUNDARY: rolling author docs。全backendのtransaction安全性やsemantic merge正しさは保証しない

• EVIDENCE_ID: EXT-C03-003; SOURCE / SNAPSHOT: Temporal official Activity Definition / Retry Policy, accessed 2026-09-06; OBSERVATION: Activityは再実行され得て、内部の一部が複数回完了し得る。失敗局所化には粒度を小さくし、writeはidempotentにする。ただしEvent History増大とのtrade-offがある; BOUNDARY: Temporal実装pattern。exactly-once side effectではなく、他runtimeへの自動保証でもない

• EVIDENCE_ID: EXT-C03-004; SOURCE / SNAPSHOT: Temporal official recovery/Saga guide, accessed 2026-09-06; OBSERVATION: response lossで外部side effectだけ成立し得るため、補償をforward call前に登録し、idempotent compensationをLIFO実行する; BOUNDARY: example/pattern。transaction非対応の任意systemで完全修復を証明しない。補償詳細はCORE-05へ送る

• EVIDENCE_ID: EXT-C03-005; SOURCE / SNAPSHOT: Apache Airflow 3.3.1 XCom docs; OBSERVATION: XComは小さいtask間data向けで、大値を渡さない。failed task retry時にXComはclearされ、retry跨ぎの永続stateには使えない。large/high-volumeはobject storage backend推奨; BOUNDARY: Airflow固有。artifactの組織保持期間・privacy値は定めない

• EVIDENCE_ID: EXT-C03-006; SOURCE / SNAPSHOT: LangGraph 1.2.11, release commit 644815f; local SQLite fault profile; OBSERVATION: reducerなし同一key fan-outはInvalidUpdateError、reducer付きは両値保持。cancel/timeout後も外部writeは残り、blind retryで重複。readbackと事前登録済み冪等補償で検出・修復。15/15一致; BOUNDARY: local Python/SQLiteのみ。補償はtest-ownedでLangGraph機能保証ではない。remote/distributed/exactly-once/providerへ外挿しない

• EVIDENCE_ID: EXT-C03-007; SOURCE / SNAPSHOT: Google ADK rolling docs + google/adk-python issue #6732, accessed 2026-09-06; OBSERVATION: ADKはdeterministicなsequential/parallel workflow、versioned Artifact、Event history、明示resumeを提供する一方、ADK 2.7.0 + Postgresの公開issueではparallel gated/ungated toolがconfirmation pauseを跨ぐ時にevent欠落と実行済みside effect/空replyが報告された; BOUNDARY: Gemini Product Mapping用。各機能の存在を組合せ安全性、exactly-once、業務tenant該当性へ昇格しない

• stageはtask stateではなく、そのstateを変える実行単位である。

• stage input/outputはOperating Contractのsource snapshot、artifact descriptor、allowed scopeへ結ぶ。

• runtime terminalとbusiness acceptanceを分離し、verification/readbackなしのCOMPLETEDを完成扱いしない。

• retry前にidempotency、外部state、receipt、reconciliationを確認する。

• handoffは会話要約ではなく、completed/pending/artifacts/next owner/receiptを持つ。

• retrieval、memory、source取得は独立stageとして観測可能にしなければ、failure locationを確定できない。

• OpenFGA→LlamaIndex参照profileは、本文取得前認可という安全なstage境界の例であるが、製品全体の保証ではない。

• Mem0 2.0.20のlocal async反例では、cancel後にvector insertだけが完了し、historyが欠け、retryがhash抑止され修復しなかった。したがってcaller taskのcancelと、下流commitの不存在を同一視しない。

• 同一snapshotを読むparallel callは重複writeを生み得る。共有stateへ書くstageはserial化、unique constraint、transaction、reconciliationの少なくとも一つを要求する。

stageは少なくともNOT_STARTED → RUNNING → PREPARED → COMMIT_UNKNOWN/COMMITTED → VERIFYING → VERIFIED/REJECTEDを区別する。FAILEDやCANCELLEDを観測しても、外部writeや下流threadが実行されていないとは限らない。retry判断は次の順序とする。

• last durable checkpointとinput/artifact versionを読む。

• commit/readback evidenceを確認する。

• COMMIT_UNKNOWNなら同じ処理を直ちに再送せず、reconciliationを行う。

• no-commitが証明できるか、idempotency/dedupが成立する時だけstageを再実行する。

• retry後は欠落artifact/history/evidenceを含む整合性を再検証する。

• stage-local PASS後、pipeline全体のartifact lineageとacceptanceを検証する。

tests/CORE-03_pipeline_contract_fixture_v0.1.pyは上記のdiagnostic contractを6/6で確認した。runner SHA256は3df498…a8ec、resultはtests/CORE-03_pipeline_contract_fixture_result_v0.1.jsonである。これはprovider、LLM planner、workflow engine、real side effectの試験ではなく、retry isolationも実runtime fault injectionではなく宣言規則の確認に限る。

tests/CORE-03_langgraph_conflict_cancel_retry_fault_v0.1.pyはLangGraph 1.2.11で15/15一致した。runner SHA256は192aee…086e、result SHA256は16a65b…b242。同一key競合/reducerはruntime実挙動、SQLite writeは外部side-effect観測点である。cancel/timeout後の残存とblind retry重複はfailure evidence、readback/補償成功はtest-owned repair profileであり、LangGraph、Gemini、分散transactionの保証ではない。

代替経路は、single-agent bounded task、deterministic pipeline、manual stage gate、human coordinatorである。分解不能または観測不能な処理を、pipeline図があるだけで安全とみなさない。

• Q-C03-001: PARTIALLY_CLOSED。固定stage数ではなく、executor不能、外部side effect、独立検証、再取得可能artifact、failure isolationが追加分解のtriggerとなる。単純・低risk・可逆taskはsingle bounded stageを残す。普遍的な数量閾値はUNKNOWN。

• Q-C03-002: PINNED_LOCAL_BOUNDED_CLOSE。LangGraph 1.2.11で同一key競合errorとreducer mergeを再現した。dependencyなし・別write target・決定的merge・同一authority snapshotをparallel候補とし、同一external recordはserial/transaction/reconciliationへ送る。quota/latencyの切替数値とremote backendはUNKNOWN。

• Q-C03-003: PARTIALLY_CLOSED。stage間にはpayload本体でなくID/version/digest/authority/receiptを渡し、大artifactは外部保存する。retry中に必要なstateを一時channelだけへ置かない。保持期間、削除、暗号化、機密区分はOrganization OverlayのUNKNOWN。

• Q-C03-004: PINNED_LOCAL_BOUNDED_CLOSE。LangGraph 1.2.11 node内のSQLite write後にcancel/timeoutを注入し、commit残存、blind retry重複、external readback、pre-registered idempotent compensationを再現した。exactly-once、remote/distributed backend、任意systemでの完全修復はUNKNOWN。

• PM-GEMINI-CORE-03-v0.1はGemini Apps/Gem、Gemini API、ADK、Google Cloud Workflowsを別surfaceとして対応づけた。

• ADKのSequential/Parallel、Artifact/Event、ResumeとGemini APIのfunction calling/structured outputは実装可能性を示すが、end-to-end transactionやsemantic correctnessを保証しない。

• open issue #6732を、parallel tool + confirmation + resumeの組合せfailure signalとして保持する。同一side-effect groupは固定版で試験されるまでserialを安全側既定とする。

• ORG-CORE-03-v0.1はdirect file sync/API/integration禁止、chat synthetic prompt許容、Gem test可能候補を記録した。artifact retention、retry、compensation、observability、ownerはUNKNOWN。

• PM-GPT-CORE-03-v0.1はOpenAI Agents SDK、Responses/Conversations API、ChatGPTを別surfaceとして対応づけた。

• code-owned/LLM-owned orchestration、handoff/agent-as-tool、RunState/session/conversation item、traceをCORE-03 contractへ接続したが、feature existenceをtransaction・artifact durability・business acceptanceへ昇格していない。

• open issue #4827/#4775はv0.22.0周辺の限定current failure signal、closed #3004/#3116はfixed historical regression intentとして分離した。

• EXP-C03-LOCAL-001/002は本研究のprovider-neutral local一次証拠のまま保持し、GPT実測へ再分類していない。Agents SDK/API/ChatGPT/tenant/external toolは今回操作していない。

• Core claimは変更していないため、先発Gemini Product Mappingの遡及監査は不要。GPT固有runtime適合、session backend、外部atomicity、組織値はUNKNOWN / NOT_TESTEDである。

NEXT_PACKET_ACTION: GPT CORE-03 Product Mappingは6軸監査後に境界付き閉鎖。次はPM-GPT-CORE-04-v0.1へ進み、CORE-02/03のlive/Organization residualを追跡する。

provider_mappings/PM-CLAUDE-CORE-03.mdでAgent loop、subagent、session、hook/permission、application workflowを別surfaceとしてQ-C03-001..004へ対応づけた。subagentの独立contextとsummaryはartifact lineageではなく、maxTurns partialをcompletionにしない。resumeは会話履歴の継続でありfilesystem/external stateの復元ではない。parallel subagentはpermission prompt増殖・recursive hook loop・shared-write conflictを持ち得るため、read-only/別target/決定的mergeに限定し、side effectはserial/lock/readbackへ送る。Core claimと既存実験の帰属は変更しない。

provider_mappings/PM-GROK-CORE-03.mdでResponses、client/server tool、default parallel calls、Multi-Agent、Remote MCP、context compaction、WebSocket、deferred/Batchを別carrierとして対応づけた。request-local max_turnsはclient-tool後の新規requestでresetされるためglobal boundにはならず、Multi-Agentのleader-visible outputはsubagent完全lineageではない。Remote MCPはallowed_tools省略時の全tool exposureとrequire_approval非対応を持つため、allowlist・upstream auth・application approval・receipt/readbackを別gateとした。compaction/WebSocket continuityをartifact/audit/recovery保証へ昇格しない。Core claimと既存実験の帰属は変更しない。