Skip to content

Evidence for AI operations

Enterprise AI Operations Dictionary

No English page yet. Showing the Japanese source.

Back to the entrance

タスク分解と処理工程

用語・参照用語・参照実挙動未確認実挙動未観測鮮度未確認鮮度を確定できない

記事状態: 公開 · 最終確認: 未確認

要点

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

現在の判断

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

どこまで当てはまるか

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）

詳しく理解する

仕組みと設計

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

1. Scope boundary

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）

2. Canonical concepts

CONCEPT_IDTERMCORE-03での境界
C-TASK-DECOMPOSITIONTask decompositionend-to-end goalを、独立に入力・出力・失敗・再実行を判定できるstageへ分けること
C-STAGE-BOUNDARYStage boundaryowner、input、allowed action、output、verification、stop conditionを固定する境界
C-INTERMEDIATE-ARTIFACTIntermediate artifact後続stageが再取得できる版付き成果物。会話中の一時文だけとは区別する
C-RETRY-UNITRetry unitfailure後に再実行してよい最小単位。既完了stageを無条件に巻き戻さない
C-VERIFICATION-STAGEVerification stageproductionとは独立したcriteria/readbackでstage outputまたはend stateを検査する段階
C-PARALLEL-SERIALParallel / serial decisiondependency、共有write、順序、resource、merge可能性から並列可否を決める契約
C-TRANSACTIONTransaction boundarycommit前・commit済み・partial・unknownを分け、retry/compensationへ渡す境界

3. Claims v0.1

  • 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

4.1 External evidence collected for Q-C03-001..004

  • 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該当性へ昇格しない

5. Dependency handoff

5.1 CORE-01から受け取るもの

  • 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を持つ。

5.2 CORE-02から受け取るもの

  • 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の少なくとも一つを要求する。

6. Stage Contract v0.1

FIELDREQUIREDNESSPURPOSE
STAGE_ID / CONTRACT_VERSIONREQUIREDstageとcontract版を一意化
GOAL / NON_GOALSREQUIREDlocal最適化が全体目的を置換しないようにする
INPUT_ARTIFACTSREQUIREDID、version/digest、authority、freshness、permissionを参照
ALLOWED_ACTIONS / PROHIBITED_ACTIONSREQUIRED実行権限と境界外操作を分離
OUTPUT_ARTIFACTREQUIRED unless pure decision gatetype、location、version、update modeを固定
ENTRY_CRITERIA / EXIT_CRITERIAREQUIRED開始可能性とstage完了を検証可能にする
VERIFIER / READBACKREQUIREDproducerの自己申告から独立して検査
RETRY_SCOPE / MAX_ATTEMPTSREQUIREDstage/pipeline/noneと上限を明示
IDEMPOTENCY / TRANSACTION_STATECONDITIONALwriteまたは外部side effectがある時に必須
DEPENDENCIES / SUCCESSORSREQUIREDserial orderとparallel候補を決める
OWNER / ESCALATION / STOPREQUIREDunowned taskと無限loopを防ぐ
OBSERVABILITYREQUIREDstarted/committed/verified/failed/unknownを証拠化

7. Serial / parallel decision matrix

CONDITIONDEFAULTREASON / CONTROL
input snapshotが独立し、write targetが別、mergeが決定的PARALLEL_CANDIDATEartifact IDを分離し、merge後にglobal verification
同一artifactまたは同一external recordへwriteSERIAL_OR_TRANSACTIONALlost update、duplicate、last-write-winsを防ぐ
BがAのverified outputへ依存SERIALAの生成終了でなくverification終了を待つ
shared quota/resourceへ高負荷BOUNDED_PARALLELconcurrency limitとretry storm防止
merge ruleが意味判断に依存PARALLEL_WITH_HUMAN/VERIFIER_GATEsubtask PASSだけで統合しない
authorization/source snapshotが変化し得るSERIALIZE_OR_REVALIDATEcommit直前にfreshness/permissionを再確認

8. Retry and transaction boundary

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

10. Acceptance tests

TEST_IDTESTPASS CONDITIONCURRENT RESULT
TST-C03-01end-to-end vs decomposedstage failure locationとglobal resultを別に記録PASS_LOCAL_RULE
TST-C03-02retry isolationfailed stageだけを選べ、既完了artifactを再生成しないPASS_DECLARATION_RULE_ONLY
TST-C03-03artifact existencemissing outputをstage completionにしないPASS_LOCAL_RULE
TST-C03-04parallel conflictshared writeを検知し並列安全と誤判定しないPASS_LOCAL_RULE
TST-C03-05handoff completenessreceiptなしをhandoff完了にしないPASS_LOCAL_RULE
TST-C03-06verification stageverifier/readback欠落をcompletionにしないPASS_LOCAL_RULE
TST-C03-07pinned runtime parallel conflictreducerなし同一key競合をerrorとし、reducer付きだけ明示mergeするPASS_LANGGRAPH_1.2.11_3_OF_3
TST-C03-08cancel and blind retrycaller cancel後の外部commitをreadbackし、blind retryの重複を検出するFAILURE_REPRODUCED_3_OF_3
TST-C03-09timeout and compensationtimeout後commitを検出し、実行前登録済み補償を冪等適用するPASS_BOUNDED_REPAIR_8_OF_8

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の保証ではない。

12. Bounded answers and remaining UNKNOWNs

  • 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。
UNKNOWN_IDUNKNOWNCLOSURE CONDITION
UNK-C03-001分解粒度のprovider-neutral決定則task coupling/risk/artifact/retry costを含む研究・OSS・実務証拠と比較試験
UNK-C03-002parallel/serial切替閾値shared state、dependency、merge、quota、latencyを変えたbounded profile
UNK-C03-003intermediate artifactの保存・破棄条件recovery/audit/privacy/costのtrade-offを標準・実装・組織overlayへ分離
UNK-C03-004transactionを持たないLLM/agent workflowでのpartial commit検出十分性versioned OSSのfailure reportとsafe local fault-injection test

13. Gemini Product / Organization handoff

  • 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。

14. GPT Product Mapping handoff

  • 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を追跡する。

Claude Product Mapping delta — 2026-09-09

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と既存実験の帰属は変更しない。

Grok Product Mapping delta — 2026-09-12

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と既存実験の帰属は変更しない。

よくある失敗・反証

  • IDCOUNTEREVIDENCE / LIMITDESIGN CONSEQUENCE
    CE-C03-001分解はcoordination、latency、cost、保存物、failure surfaceを増やすtask risk/duration/side effectに応じてsingle-agent bounded taskを残す
    CE-C03-002subtask score最大化がend-to-end目的や一貫性を損なうglobal verifierとacceptanceを別stageに置く
    CE-C03-003並列化は同一snapshot、共有write、quota、merge conflictを増やす並列を既定にせずdependency/write matrixで決める

    代替経路は、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。
    UNKNOWN_IDUNKNOWNCLOSURE CONDITION
    UNK-C03-001分解粒度のprovider-neutral決定則task coupling/risk/artifact/retry costを含む研究・OSS・実務証拠と比較試験
    UNK-C03-002parallel/serial切替閾値shared state、dependency、merge、quota、latencyを変えたbounded profile
    UNK-C03-003intermediate artifactの保存・破棄条件recovery/audit/privacy/costのtrade-offを標準・実装・組織overlayへ分離
    UNK-C03-004transactionを持たないLLM/agent workflowでのpartial commit検出十分性versioned OSSのfailure reportとsafe local fault-injection test

実務での使い方

  • FIELDREQUIREDNESSPURPOSE
    STAGE_ID / CONTRACT_VERSIONREQUIREDstageとcontract版を一意化
    GOAL / NON_GOALSREQUIREDlocal最適化が全体目的を置換しないようにする
    INPUT_ARTIFACTSREQUIREDID、version/digest、authority、freshness、permissionを参照
    ALLOWED_ACTIONS / PROHIBITED_ACTIONSREQUIRED実行権限と境界外操作を分離
    OUTPUT_ARTIFACTREQUIRED unless pure decision gatetype、location、version、update modeを固定
    ENTRY_CRITERIA / EXIT_CRITERIAREQUIRED開始可能性とstage完了を検証可能にする
    VERIFIER / READBACKREQUIREDproducerの自己申告から独立して検査
    RETRY_SCOPE / MAX_ATTEMPTSREQUIREDstage/pipeline/noneと上限を明示
    IDEMPOTENCY / TRANSACTION_STATECONDITIONALwriteまたは外部side effectがある時に必須
    DEPENDENCIES / SUCCESSORSREQUIREDserial orderとparallel候補を決める
    OWNER / ESCALATION / STOPREQUIREDunowned taskと無限loopを防ぐ
    OBSERVABILITYREQUIREDstarted/committed/verified/failed/unknownを証拠化

まだ確認できていないこと

  • CORE-03-CURRENTNESS

    原資料の確定版から収録しています。外部根拠の最新性を今回の取込日で確認済みと扱いません。本文の未解決事項・残余制約を保持します。

根拠資料

この記事には、直接開ける外部出典が登録されていません。出典IDや検証情報は末尾で確認できます。

出典ID・検証情報・機械可読データ

根拠の種類と情報の鮮度は、ラベルとアイコンで確認できます。

記事ID
CORE-03
最終確認日
—
提供元・モデル・プラン・利用環境
—
対象地域
—
元資料の全文と収録照合記録
資料の識別情報

Source SHA-256 9861e19eb3a6c0fd5b449ee7d93ac14a5cf2d6e729f223854dd5d717ed209f1a

Enterprise AI Core — CORE-03 Task Decomposition / Pipeline Architecture

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

1. Scope boundary

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）
2. Canonical concepts
CONCEPT_IDTERMCORE-03での境界
C-TASK-DECOMPOSITIONTask decompositionend-to-end goalを、独立に入力・出力・失敗・再実行を判定できるstageへ分けること
C-STAGE-BOUNDARYStage boundaryowner、input、allowed action、output、verification、stop conditionを固定する境界
C-INTERMEDIATE-ARTIFACTIntermediate artifact後続stageが再取得できる版付き成果物。会話中の一時文だけとは区別する
C-RETRY-UNITRetry unitfailure後に再実行してよい最小単位。既完了stageを無条件に巻き戻さない
C-VERIFICATION-STAGEVerification stageproductionとは独立したcriteria/readbackでstage outputまたはend stateを検査する段階
C-PARALLEL-SERIALParallel / serial decisiondependency、共有write、順序、resource、merge可能性から並列可否を決める契約
C-TRANSACTIONTransaction boundarycommit前・commit済み・partial・unknownを分け、retry/compensationへ渡す境界
3. Claims v0.1
  • 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
4. Internal source manifest
SOURCE_IDCONTRIBUTIONEXTRACTION STATUS / LIMIT
SRC-S003検証可能な制約、constraint isolation、出力契約DIRECT EXTRACT AVAILABLE; pipeline十分性は未証明
SRC-S005tool/agentの反復信頼性とfinal-state評価EXTRACTED VIA CORE-01; stage granularityの決定則は未抽出
SRC-S007Gemini CLI Hooks、LangGraph checkpoint/pending writes、ADK state/event historyを比較し、state・permission・resume・stop・auditをprompt外の実行architectureへ出すDIRECT SECTION EXTRACTED; 製品記述は採集時点依存、Coreへは設計原則だけ採用
SRC-S015repository taskをInventory→Context Map→Contract→Patch→Review→Isolated Run→Regression→Deployment→Smoke→Artifact/checkpointへ分解し、Aider/SWE-agent/RepoBench/RepoCoderを比較DIRECT SECTION EXTRACTED; 比較profileは提案であり実測結果ではない
SRC-S018side-effect、approval、undo、recoveryの時間境界EXTRACTED VIA CORE-01; 詳細はCORE-05へ送る
SRC-S027Evidence→Plan→Validation→Authorization→Execution→Verification、IR-0..IR-5、構造・意味・権限の三段検証DIRECT SECTION EXTRACTED; schema適合を真実性と同一視しない
SRC-S029incident時のevidence、containment、recovery transitionEXTRACTED VIA CORE-01; incident詳細はCORE-12へ送る
SRC-S040canary、rollback、known-good manifest、stop conditionEXTRACTED VIA CORE-01; release詳細はCORE-06/11へ送る
SRC-S041checkpoint、degraded mode、resume、provider handoffEXTRACTED VIA CORE-01
SRC-S044prompt/configurationをproduction stateとして扱うEXTRACTED VIA CORE-01; configuration詳細はCORE-06へ送る
SRC-S045versioned acceptance contractEXTRACTED VIA CORE-01; evaluation体系はCORE-07へ送る
SRC-S052multi-agent failure dimensions、handoff completeness、duplicate/unowned taskDIRECT EXTRACTION VIA CORE-01; S063内の誤った節名は採らない
SRC-S055Core/Product/Organizationの三層分離EXTRACTED VIA CORE-02
SRC-S056Existing Book crosswalkEXTRACTED VIA CORE-02; Frozen TOC変更には使わない
SRC-S063Frozen scope、CORE-01/02 dependency、layer ruleEXTRACTED / FROZEN
4.1 External evidence collected for Q-C03-001..004
  • 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該当性へ昇格しない
5. Dependency handoff

5.1 CORE-01から受け取るもの

  • 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を持つ。

5.2 CORE-02から受け取るもの

  • 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の少なくとも一つを要求する。
6. Stage Contract v0.1
FIELDREQUIREDNESSPURPOSE
STAGE_ID / CONTRACT_VERSIONREQUIREDstageとcontract版を一意化
GOAL / NON_GOALSREQUIREDlocal最適化が全体目的を置換しないようにする
INPUT_ARTIFACTSREQUIREDID、version/digest、authority、freshness、permissionを参照
ALLOWED_ACTIONS / PROHIBITED_ACTIONSREQUIRED実行権限と境界外操作を分離
OUTPUT_ARTIFACTREQUIRED unless pure decision gatetype、location、version、update modeを固定
ENTRY_CRITERIA / EXIT_CRITERIAREQUIRED開始可能性とstage完了を検証可能にする
VERIFIER / READBACKREQUIREDproducerの自己申告から独立して検査
RETRY_SCOPE / MAX_ATTEMPTSREQUIREDstage/pipeline/noneと上限を明示
IDEMPOTENCY / TRANSACTION_STATECONDITIONALwriteまたは外部side effectがある時に必須
DEPENDENCIES / SUCCESSORSREQUIREDserial orderとparallel候補を決める
OWNER / ESCALATION / STOPREQUIREDunowned taskと無限loopを防ぐ
OBSERVABILITYREQUIREDstarted/committed/verified/failed/unknownを証拠化
7. Serial / parallel decision matrix
CONDITIONDEFAULTREASON / CONTROL
input snapshotが独立し、write targetが別、mergeが決定的PARALLEL_CANDIDATEartifact IDを分離し、merge後にglobal verification
同一artifactまたは同一external recordへwriteSERIAL_OR_TRANSACTIONALlost update、duplicate、last-write-winsを防ぐ
BがAのverified outputへ依存SERIALAの生成終了でなくverification終了を待つ
shared quota/resourceへ高負荷BOUNDED_PARALLELconcurrency limitとretry storm防止
merge ruleが意味判断に依存PARALLEL_WITH_HUMAN/VERIFIER_GATEsubtask PASSだけで統合しない
authorization/source snapshotが変化し得るSERIALIZE_OR_REVALIDATEcommit直前にfreshness/permissionを再確認
8. Retry and transaction boundary

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を検証する。
9. Failure modes
FAILURE_IDFAILUREDETECTIONSAFE RESPONSE
F-C03-001orchestration overheadがtask価値を上回るone-shot/decomposedのlatency/cost/quality比較low-risk bounded taskへ単一stage route
F-C03-002context loss at boundaryrequired input/source/artifact hash欠落handoff拒否、欠落fieldを回収
F-C03-003duplicate subtask/retrystable stage/run/idempotency key重複dedup、external readback、reconciliation
F-C03-004parallel write conflictsame target/versionへの複数writerserial化、optimistic lock、transactional merge
F-C03-005local pass / global failstage tests PASSだがend artifact不成立end-to-end acceptanceを別実行
F-C03-006missing/unversioned artifactoutput参照不可、digestなしstageを未完了へ戻し再生成または回収
F-C03-007unowned tasknext owner/receiptなしhandoff pendingで停止
F-C03-008cancel後partial commitruntime cancel後に外部state差分retry前readback、compensation/repair route
10. Acceptance tests
TEST_IDTESTPASS CONDITIONCURRENT RESULT
TST-C03-01end-to-end vs decomposedstage failure locationとglobal resultを別に記録PASS_LOCAL_RULE
TST-C03-02retry isolationfailed stageだけを選べ、既完了artifactを再生成しないPASS_DECLARATION_RULE_ONLY
TST-C03-03artifact existencemissing outputをstage completionにしないPASS_LOCAL_RULE
TST-C03-04parallel conflictshared writeを検知し並列安全と誤判定しないPASS_LOCAL_RULE
TST-C03-05handoff completenessreceiptなしをhandoff完了にしないPASS_LOCAL_RULE
TST-C03-06verification stageverifier/readback欠落をcompletionにしないPASS_LOCAL_RULE
TST-C03-07pinned runtime parallel conflictreducerなし同一key競合をerrorとし、reducer付きだけ明示mergeするPASS_LANGGRAPH_1.2.11_3_OF_3
TST-C03-08cancel and blind retrycaller cancel後の外部commitをreadbackし、blind retryの重複を検出するFAILURE_REPRODUCED_3_OF_3
TST-C03-09timeout and compensationtimeout後commitを検出し、実行前登録済み補償を冪等適用するPASS_BOUNDED_REPAIR_8_OF_8

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の保証ではない。

11. Counterevidence and alternatives
IDCOUNTEREVIDENCE / LIMITDESIGN CONSEQUENCE
CE-C03-001分解はcoordination、latency、cost、保存物、failure surfaceを増やすtask risk/duration/side effectに応じてsingle-agent bounded taskを残す
CE-C03-002subtask score最大化がend-to-end目的や一貫性を損なうglobal verifierとacceptanceを別stageに置く
CE-C03-003並列化は同一snapshot、共有write、quota、merge conflictを増やす並列を既定にせずdependency/write matrixで決める

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

12. Bounded answers and remaining UNKNOWNs
  • 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。
UNKNOWN_IDUNKNOWNCLOSURE CONDITION
UNK-C03-001分解粒度のprovider-neutral決定則task coupling/risk/artifact/retry costを含む研究・OSS・実務証拠と比較試験
UNK-C03-002parallel/serial切替閾値shared state、dependency、merge、quota、latencyを変えたbounded profile
UNK-C03-003intermediate artifactの保存・破棄条件recovery/audit/privacy/costのtrade-offを標準・実装・組織overlayへ分離
UNK-C03-004transactionを持たないLLM/agent workflowでのpartial commit検出十分性versioned OSSのfailure reportとsafe local fault-injection test
13. Gemini Product / Organization handoff
  • 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。
14. GPT Product Mapping handoff
  • 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を追跡する。

Claude Product Mapping delta — 2026-09-09

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と既存実験の帰属は変更しない。

Grok Product Mapping delta — 2026-09-12

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と既存実験の帰属は変更しない。

  • CORE-03-DOCUMENT-READBACK実装資料実装資料根拠の出所: DOCUMENT_INGESTION_READBACK

    原資料との収録照合

    裏付ける内容
    資料単位の本文ハッシュ、段落数、表数を照合しています。
    確認日
    —
    出典・実験ID
    DOC-083cde4caa627644-CORE-03
    検証箇所
    18WPldGemks2px0ukhKYINeBMrBwAmlAi · 083cde4caa627644036a2225f1f6ff29b8015bd902614fe1f7a00a997b4eb59c · packets/CORE-03.md · c4cc984fd64fbccad8fe2b4b7c637afbc2574be73cc13fe2e31dde522d7606d4
    適用範囲
    公開指定を受けた資料単位の全文・表・出典。
    出典・来歴
    SOURCE_IDENTITY_VERIFIED
    限界
    収録照合は主張の真偽や外部根拠の最新性を追加保証しません。
出典ID
DOC-083cde4caa627644-CORE-03
追跡中のUNKNOWN ID
CORE-03-CURRENTNESS
再確認のきっかけ
原資料の更新 · 参照資料の変更 · 新しい反証・検証記録

機械検査: 通過 — Automated validation does not guarantee accuracy or authorize execution.

    同じ記事IDの機械可読データです。