状態を持つAIの運用契約
記事状態: 公開 · 最終確認: 未確認
要点
この章の仕事は、LLMを「会話を返すもの」から「状態を持つ業務に参加するもの」へ移すときに必要な最小契約を定義することである。
現在の判断
この章の仕事は、LLMを「会話を返すもの」から「状態を持つ業務に参加するもの」へ移すときに必要な最小契約を定義することである。
どこまで当てはまるか
この章の仕事は、LLMを「会話を返すもの」から「状態を持つ業務に参加するもの」へ移すときに必要な最小契約を定義することである。
含む:
- 一回の応答と継続業務の区別
- 状態 / 状態の永続保存 / セッション / 途中状態の保存地点 / 引継ぎ
- 入力の条件 / 出力の条件 / 完了の判定条件
- 外部への変更・送信の有無の宣言
- 根拠 / 結果の照合
- 人による確認・承認の位置
- ブロック済み / 失敗 / 一時停止 / 再開状態
含まない:
- 検索・取得・記憶情報・出典との対応付けの詳細定義(CORE-02)
- task decompositionと処理工程の詳細(CORE-03)
- 処理先の振り分けの選定則(CORE-04)
- 外部への変更・送信・操作の取り消し・復旧の詳細(CORE-05)
- human trust 数値評価と実態の対応調整(CORE-09)
- インシデント対応 / BCP(CORE-12)
- Gemini固有の履歴、Gem、Workspace、管理者、edition、UI、上限(PM-GEMINI)
- 特定組織組織の利用環境の可否・設定・実測値(組織ごとの追加条件)
詳しく理解する
Compilation Packet — CORE-01 Operating Contracts for Stateful AI
PACKET_ID: PKT-GEMINI-A-CORE-01-v0.1
提供元: GEMINI cycle / CROSS_PROVIDER core
TARGET_SECTION_ID: CORE-01
TARGET_SECTION_TITLE: Operating Contracts for Stateful AI
WAVE: WAVE-A
CORE_OR_PRODUCT_OR_ORG: ENTERPRISE_AI_CORE
状態: AUDIT_READY_WITH_TRACKED_UNKNOWNS
LAST_UPDATED: 2026-09-05 18:30 JST
1. 適用範囲 条件・契約
この章の仕事は、LLMを「会話を返すもの」から「状態を持つ業務に参加するもの」へ移すときに必要な最小契約を定義することである。
含む:
- 一回の応答と継続業務の区別
- 状態 / 状態の永続保存 / セッション / 途中状態の保存地点 / 引継ぎ
- 入力の条件 / 出力の条件 / 完了の判定条件
- 外部への変更・送信の有無の宣言
- 根拠 / 結果の照合
- 人による確認・承認の位置
- ブロック済み / 失敗 / 一時停止 / 再開状態
含まない:
- 検索・取得・記憶情報・出典との対応付けの詳細定義(CORE-02)
- task decompositionと処理工程の詳細(CORE-03)
- 処理先の振り分けの選定則(CORE-04)
- 外部への変更・送信・操作の取り消し・復旧の詳細(CORE-05)
- human trust 数値評価と実態の対応調整(CORE-09)
- インシデント対応 / BCP(CORE-12)
- Gemini固有の履歴、Gem、Workspace、管理者、edition、UI、上限(PM-GEMINI)
- 特定組織組織の利用環境の可否・設定・実測値(組織ごとの追加条件)
2. Required concepts
| CONCEPT_ID | 正式な 分類ラベル | 適用範囲 NOTE |
| C-STATE | 現在の task 状態 | 次の実行判断を変える現在値。会話全文とは同一でない |
| C-PERSISTENCE | 状態の永続保存 | セッションを越えて状態/成果物/根拠を再取得できる性質 |
| C-SESSION | セッション | 一続きの実行境界。task lifecycle全体とは限らない |
| C-CHECKPOINT | 途中状態の保存地点 | 再開に必要な状態と成果物参照を固定した時点 |
| C-HANDOFF | 引継ぎ | 担当者または実行主体の変更時に責任・状態・未完了を移す契約 |
| C-IO-CONTRACT | Input / 出力の条件 | 入力の適用範囲・権威・版と、出力成果物・形式・場所の約束 |
| C-COMPLETION-CONTRACT | 完了の判定条件 | 「完了」を判定する状態・証拠・結果の照合条件 |
| C-SIDE-EFFECT-DECLARATION | 副作用の宣言 | read/draft/書込み/send/削除等の外部状態変更有無の宣言 |
| C-EVIDENCE-READBACK | 根拠 / 結果の照合 | 実行主体の自己申告ではなく、成果物または外部最終状態で確かめること |
| C-HUMAN-GATE | 人による確認・承認 | 人間の承認・判断・例外処理を置く境界 |
3. Required 記述・判断 記録台帳
- CLAIM_ID: CLM-C01-001; 正式な STATEMENT: 一回の応答イベントと、継続業務のtask 状態は同じものではない; 根拠 状態: INTERNAL_OBSERVATION + OSS_PRACTICE; PRIMARY 裏付け: S020; LangGraph 状態の永続保存; Temporal 処理の流れ 実行; 対象 状態: EVIDENCE_BOUND
- 記述・判断ID: CLM-C01-002; 正式な記述: 状態を持つAI業務においては、次の実行判断を左右する現在値を、会話本文から独立して取得できなければならない; 根拠の状態: 内部観察 + OSSの実践; 主要な根拠: S020; LangGraphのチェッカー/ストアの分離; Temporalのイベント履歴; 目標ステータス: 根拠に基づいた状態
- CLAIM_ID: CLM-C01-003; 正式な STATEMENT: 入力の条件はtask目的だけでなく、権威ある出典、snapshot/バージョン、許可された適用範囲、開始状態を含む; 根拠 状態: STANDARD/OSS-supported synthesis; PRIMARY 裏付け: S019/S020/S041/S044/S045/S049; W3C PROV-DM; OpenLineage; A2A Task モデル; 対象 状態: EVIDENCE_BOUND_WITH_SYNTHESIS
- CLAIM_ID: CLM-C01-004; 正式な STATEMENT: 出力の条件は回答文ではなく、要求成果物、保存先、形式、検証方法、更新可否を定義する; 根拠 状態: STANDARD/OSS-supported synthesis; PRIMARY 裏付け: S005/S019/S040/S044/S045; OpenLineage outputs; A2A 成果物/Part モデル; 対象 状態: EVIDENCE_BOUND_WITH_SYNTHESIS
- CLAIM_ID: CLM-C01-005; 正式な STATEMENT: 完了はモデルの自己申告ではなく、要求成果物の存在と期待する最終状態の結果の照合で判定する; 根拠 状態: RESEARCH + OSS_PRACTICE; PRIMARY 裏付け: S005; τ-bench final database 状態; Prefect final-state semantics; 対象 状態: EVIDENCE_BOUND
- CLAIM_ID: CLM-C01-006; 正式な STATEMENT: 途中状態の保存地点は完了済み・未完了・blocker・成果物 location・next actionを分離して保存する; 根拠 状態: INTERNAL_OBSERVATION + OSS_PRACTICE + LIMIT; PRIMARY 裏付け: S020; LangGraph; Temporal; LangGraph issues #8039/#7417; 対象 状態: EVIDENCE_BOUND_WITH_LIMIT
- CLAIM_ID: CLM-C01-007; 正式な STATEMENT: 引継ぎは会話要約ではなく、状態、参照資料の固定版、completed/not-done、open questions、next 担当者、stop condition、結果の照合 根拠を持つ; 根拠 状態: PROTOCOL/OSS-supported synthesis + limit; PRIMARY 裏付け: S029/S041/S052; W3C PROV-DM; A2A; OpenAI Agents SDK; 意味上の Kernel; 対象 状態: EVIDENCE_BOUND_WITH_LIMIT
- CLAIM_ID: CLM-C01-008; 正式な STATEMENT: 外部への変更・送信の有無と許可境界は実行前に宣言し、詳細な回復設計はCORE-05へ委譲する; 根拠 状態: INTERNAL_OBSERVATION + OSS_FAILURE_EVIDENCE; PRIMARY 裏付け: S018; Temporal Activity 適用限界; LangGraph issues #8039/#7417; 対象 状態: EVIDENCE_BOUND_WITH_LIMIT
- CLAIM_ID: CLM-C01-009; 正式な STATEMENT: 人による確認・承認が存在しても、入力要約・action summary・成果物・最終状態の検証を省略できない; 根拠 状態: RESEARCH-supported 限界; PRIMARY 裏付け: S012; Goddard et al. systematic review; S018; 対象 状態: EVIDENCE_BOUND
- CLAIM_ID: CLM-C01-010; 正式な STATEMENT: blocked、failed、paused、未確認事項を「未完了」の一語へ潰さず、再開条件と次の安全な行動を保持する; 根拠 状態: OSS_PRACTICE + reliability-derived; PRIMARY 裏付け: Prefect 状態 taxonomy; Temporal 実行 状態; S029/S041/S049; 対象 状態: EVIDENCE_BOUND
6. 未確認事項 レジスタ
- UNKNOWN_ID: UNK-C01-001; 検討する問い: あらゆるstateful AI業務に共通する最小運用の条件・契約 fieldはどこまでか; WHY IT MATTERS: fieldを増やしすぎず再開・監査を成立させる; 現在の 根拠: S020/S052、W3C PROV、OpenLineage 1.53.0、A2A、OpenAI Agents SDK、意味上の Kernelに部分集合。普遍的十分条件は未発見; CLOSURE ROUTE: 未抽出S019/S029/S041/S044/S045/S049→データ形式の定義 v0.2の模擬task比較→他提供元実装で反証; TEMPORARY POLICY: データ形式の定義 v0.2を標準由来/合成/条件付きへ分け、最小性は閉じない
- 不明なID: UNK-C01-002; 問い: チェックポイント/引き継ぎの完全性を、特定のプロバイダーに依存せずに測定するための最小限のテストは何か; 重要性: プロバイダー間の比較および長期タスクの回帰テストに必要; 現在の根拠: S052、四院失敗の観測、一連の処理(処理の流れ)OSS、A2A、公開されているIssueに加え、ローカルの模擬環境(mock)において、クリーンなプロセスでの中断からの再開、履歴の欠落、コミット後のクラッシュ、重複排除を伴う再試行、受領書、結果の照合(結果の照合)のすべてにおいて6/6の合格(PASS)を確認; 完了への経路: 同一のテストプロファイルを用いてGemini/GPT/Claude/Grokおよび実際のワークフローエンジンで再実行すること; 一時的な方針: コアテストのローカル基線は確定済み。プロバイダー/ランタイムへの適合性は、プロダクトマッピングで確定するまで継続する
- UNKNOWN_ID: UNK-C01-003; 検討する問い: 人による確認・承認をどのリスク classで必須にするか; WHY IT MATTERS: 承認過多と事故防止の両立; 現在の 根拠: S012/S018/S025/S051/S054、automation-bias review、NIST AI RMF 1.0/GAI Profile、EU AI Act Article 14; CLOSURE ROUTE: CORE-05でside-effect classを精緻化し、sector ruleと組織リスク toleranceへmapping; TEMPORARY POLICY: Coreはリスク/autonomy/文脈・入力情報、影響、可逆性、不確実性、外部適用範囲をdecision dimensionsとして固定。数値・業種・承認者閾値はORG/専門章へ
7. Product volatility 適用限界
CORE-01には固定値のPRODUCT_VOLATILE 記述・判断を置かない。次はPM-GEMINIへ送る。
- Geminiの会話履歴、記憶情報、Gems、Workspace side panel等の具体的状態/状態の永続保存
- モデル名、コンテキスト/ファイルの上限、UI、展開、エディション
- バックグラウンド実行、自動化、エージェント/アクション、承認UI
- native 監査 イベント、保持期間・保持方針、export、バージョン 履歴
組織固有の「AI Studio / Workspace Studio / NotebookLMがblocked」等はORG-01/ORG-05へ送り、Google製品一般の非対応へ昇格しない。
8. 運用の条件・契約 データ形式の定義 v0.2
出典 BASISはfieldの由来を示す。STANDARD-BASEDは標準と同じ概念を持つこと、CORE SYNTHESISは複数出典と失敗観測から本辞典が要求することを意味する。前者も標準準拠を自動認定する表示ではない。
- グループ: アイデンティティ; フィールド: 契約バージョン; 必須条件: すべての具体化された契約(OC-0を含む); 意味: スキーマとポリシーの版。以前のフィクスチャではOC-1に寄せていたが、契約そのものを識別するために全ティアで必須とするよう修正; 根拠: コア統合 + 再監査
- GROUP: 主体の識別; FIELD: TASK_ID; REQUIRED WHEN: OC-2以上、または非同期task; MEANING: lifecycleを通じて不変の仕事ID; 出典 BASIS: A2A / CORE SYNTHESIS
- GROUP: 主体の識別; FIELD: RUN_ID; REQUIRED WHEN: 再試行、再実行、外部への変更・送信、監査対象; MEANING: 同じtask内の実行attemptを識別; 出典 BASIS: OpenLineage
- グループ:識別情報;フィールド:CONTEXT_ID;必須条件:複数のタスクやメッセージを同一の文脈にまとめる時;意味:タスク間の文脈を識別するための識別子および生成主体;出典の根拠:A2A + CORE SYNTHESIS
- グループ:識別情報;フィールド:EXECUTION_ACTOR;必須条件:監査対象、引き継ぎ、外部アクション;意味:実行エージェント/モデル/インターフェース/アカウント/ロールを識別;出典の根拠:W3C Agent + S019
- GROUP: 主体の識別; FIELD: RUN_TIME_WINDOW; REQUIRED WHEN: 非同期、監査、外部への変更・送信、incident; MEANING: 実行の開始・終了・観測時刻; 出典 BASIS: W3C time / OpenLineage + S019
- GROUP: 設定; FIELD: CONFIG_RELEASE_REF; REQUIRED WHEN: prompt/出典/モデル/ツール/データ形式の定義/policyが版管理される時; MEANING: 複合実行構成の公開・提供 IDまたはmanifest参照; 出典 BASIS: S040/S044
- グループ:意図(Intent);フィールド:目的(OBJECTIVE);必要な場合:すべてのタスク;意味:何を変える、作る、判断する仕事か;根拠となるソース:W3C 契約プラン + コア合成
- GROUP: Intent; FIELD: COMPLETION_CRITERIA; REQUIRED WHEN: 全materialized task; MEANING: 観測可能なbusiness 受け入れ確認条件。OC-0では回答存在・適用範囲等の軽量条件でよい; 出典 BASIS: CORE SYNTHESIS
- グループ:意図(Intent);フィールド:ACCEPTANCE_CONTRACT_REF;必要条件:反復的な評価、リリース判定、複数の検証者;意味:データセット、スコアラー、評価基準、合格ポリシー、ソースのスナップショットなどを含む、改訂版の契約内容;根拠となるソース:S045
- GROUP: 制御; FIELD: ALLOWED_ACTIONS; REQUIRED WHEN: 全task; MEANING: read/draft/書込み/send/削除等の許可境界; 出典 BASIS: CORE SYNTHESIS
- GROUP: 制御; FIELD: PROHIBITED_ACTIONS; REQUIRED WHEN: 全task; MEANING: 明示的に行ってはならない操作; 出典 BASIS: CORE SYNTHESIS
- GROUP: 制御; FIELD: AUTHORIZATION_SCOPE; REQUIRED WHEN: 外部ツール、非read action、trust 適用限界、agent 引継ぎ; MEANING: 操作主体、resource、操作内容、期限、承認条件; 出典 BASIS: A2A security + CORE SYNTHESIS
- GROUP: 制御; FIELD: SIDE_EFFECT_PROFILE; REQUIRED WHEN: 外部状態を変えるtask; MEANING: primary/secondary effect、commit point、reversibility、blast radius; 出典 BASIS: S018/S029 + CORE SYNTHESIS
- GROUP: 制御; FIELD: RETRY_IDEMPOTENCY_POLICY; REQUIRED WHEN: 再試行可能な外部への変更・送信。Temporal Activityはat-least-onceになり得るためC3で必須; MEANING: 再試行単位、重複実行を防ぐ性質 key/dedup、reconciliation、上限; 出典 BASIS: S005/S018/S041 + EXT-C01-018/019
- GROUP: Input; FIELD: AUTHORITATIVE_INPUTS; REQUIRED WHEN: source-backed task、またはOC-1以上の成果物 task。外部出典なしは明示的な空集合/NOT_APPLICABLE; MEANING: 正本entity/出典と対象適用範囲; 出典 BASIS: W3C Entity/Usage + CORE SYNTHESIS
- GROUP: Input; FIELD: SOURCE_AUTHORITY_RULE; REQUIRED WHEN: 出典衝突・複数版が起こり得る時; MEANING: どの出典/バージョンを優先するか; 出典 BASIS: CORE SYNTHESIS
- グループ: 入力; フィールド: 入力エンティティのバージョン・スナップショット; 必要となる条件: 変更可能なソース、またはOC-2以上で外部ソースを使用する場合; 意味: エンティティID、バージョン/ハッシュ/改訂版、取得時点; 出典の根拠: W3C PROV / OpenLineage
- GROUP: 状態; FIELD: CURRENT_STATE; REQUIRED WHEN: OC-2以上; MEANING: 次の実行判断を変える現在値; 出典 BASIS: A2A TaskStatus + 処理の流れ practice
- GROUP: 状態; FIELD: RUNTIME_STATUS; REQUIRED WHEN: 非同期、処理の流れ/agent実行; MEANING: submitted/working/failed等の実行状態; 出典 BASIS: A2A / OpenLineage
- グループ: 状態; フィールド: BUSINESS_ACCEPTANCE_STATUS; 必須条件: 成果物または外部の状態を受け入れるタスク。対象外の場合は NOT_APPLICABLE を明示すること; 意味: 検証中/受け入れ済み/拒否などの業務受入状態; 出典根拠: コア合成 + EXT-C01-004/020
- GROUP: Output; FIELD: EXPECTED_ARTIFACTS; REQUIRED WHEN: 成果物を作るtask; MEANING: 成果物の役割と期待数; 出典 BASIS: OpenLineage / A2A + CORE SYNTHESIS
- GROUP: Output; FIELD: ARTIFACT_DESCRIPTOR; REQUIRED WHEN: 成果物を作るtask; MEANING: ID、type、format/media type、location、バージョン/hash; 出典 BASIS: A2A Part/成果物 + W3C Entity
- GROUP: Output; FIELD: OUTPUT_LINEAGE; REQUIRED WHEN: 出典変換・合成・監査対象; MEANING: generated-by、derived-from、responsible agent/実行; 出典 BASIS: W3C PROV / OpenLineage
- GROUP: Output; FIELD: UPDATE_MODE; REQUIRED WHEN: 既存成果物を変更する時; MEANING: create/append/replace/supersedeと上書き可否; 出典 BASIS: CORE SYNTHESIS
- GROUP: Verification; FIELD: EXECUTION_EVIDENCE; REQUIRED WHEN: OC-3以上、監査対象、incident、cross-boundary 引継ぎ; MEANING: declared/evidenced 出典、requested/実行済み action、trace、before/after; 出典 BASIS: S019/S029
- GROUP: Verification; FIELD: APPROVAL_EVIDENCE; REQUIRED WHEN: 人による確認・承認がある時; MEANING: approver、対象critical fields、decision、時刻、条件; 出典 BASIS: S019/S044 + CORE SYNTHESIS
- GROUP: Verification; FIELD: READBACK_EVIDENCE; REQUIRED WHEN: 成果物または外部状態を変えるtask; MEANING: 検証方法、観測値、時点、verifier; 出典 BASIS: CORE SYNTHESIS; τ-bench practice
- グループ: 進捗; フィールド: CHECKPOINT_ID_TIME; 必須条件: セッションをまたぐ場合、リトライ時、受け渡し時; 意味: 再開地点、バージョン、確定時刻; 根拠: 一連の処理の実践 + W3C 時間基準
- グループ:進捗状況;フィールド:完了済みユニット;必要条件:OC-2以上;意味:受け入れ済みの境界確定済みユニットと証拠;出典根拠:コア合成
- GROUP: Progress; FIELD: NOT_DONE; REQUIRED WHEN: OC-2以上; MEANING: 未着手・未完成・検証待ち; 出典 BASIS: CORE SYNTHESIS
- GROUP: Progress; FIELD: DECISIONS_AND_REJECTED_ALTERNATIVES; REQUIRED WHEN: 過去判断が次の選択を制約する時; MEANING: 採否、理由、根拠。却下案の無限再提案を防ぐ; 出典 BASIS: S041 + CORE SYNTHESIS
- GROUP: Progress; FIELD: OPEN_UNKNOWNS; REQUIRED WHEN: 不明点がある時。無い場合も空集合を記録; MEANING: 未確定事項、影響、closure route; 出典 BASIS: CORE SYNTHESIS
- GROUP: Progress; FIELD: BLOCKERS; REQUIRED WHEN: 全OC-2以上(blockerなしも空集合を記録); MEANING: 原因の根拠、影響、解除条件、迂回可否; 出典 BASIS: CORE SYNTHESIS
- GROUP: 引継ぎ; FIELD: HANDOFF_FROM; REQUIRED WHEN: 担当者/制御 transfer; MEANING: 渡し手とそのrole; 出典 BASIS: W3C Agent/Delegation + CORE SYNTHESIS
- GROUP: 引継ぎ; FIELD: NEXT_OWNER; REQUIRED WHEN: 担当者/制御 transfer; MEANING: 受け手と必要利用可能な機能; 出典 BASIS: agent SDK practice + CORE SYNTHESIS
- GROUP: 引継ぎ; FIELD: HANDOFF_REASON; REQUIRED WHEN: 担当者/制御 transfer; MEANING: なぜ、どの条件で移すか; 出典 BASIS: OpenAI Agents SDK typed input example
- GROUP: 引継ぎ; FIELD: HISTORY_POINTER_OR_CURATED_HISTORY; REQUIRED WHEN: 過去interactionが次判断を変える時; MEANING: 必要部分へのversioned参照。全文転送を既定にしない; 出典 BASIS: A2A + CORE SYNTHESIS
- GROUP: 引継ぎ; FIELD: HANDOFF_RECEIPT; REQUIRED WHEN: trust 適用限界、非同期、high-impact。単一process内の低リスク transferはNOT_APPLICABLEを明示; MEANING: 受け手がtask ID、snapshot、成果物、適用範囲を検証した記録; 出典 BASIS: CORE SYNTHESIS + A2A delivery limit
- GROUP: Continuation; FIELD: NEXT_ACTION; REQUIRED WHEN: OC-2以上; MEANING: 次回が再説明なしで実行できる一手; 出典 BASIS: CORE SYNTHESIS
- GROUP: Continuation; FIELD: STOP_CONDITION; REQUIRED WHEN: 全task; MEANING: 完了、停止、承認要求、escalation条件; 出典 BASIS: CORE SYNTHESIS
- GROUP: Continuation; FIELD: RECOVERY_OR_FALLBACK_REF; REQUIRED WHEN: continuity要件、OC-3以上、business critical; MEANING: 回復、degraded/manual routeと失われる利用可能な機能への参照; 出典 BASIS: S029/S040/S041
- GROUP: 根拠; FIELD: EVIDENCE_LABELS; REQUIRED WHEN: 全materialized 条件・契約; MEANING: 観測済み/spec/research/推論/未確認事項等; 出典 BASIS: CORE SYNTHESIS
- GROUP: 根拠; FIELD: LAST_UPDATED; REQUIRED WHEN: OC-2以上; MEANING: 状態 情報の鮮度と更新主体; 出典 BASIS: W3C time + CORE SYNTHESIS
8.1 Field-source crosswalk 監査
- 運用上の必要性:入出力に由来するもの。W3C PROV:エンティティ、使用、生成、派生、およびエージェントの責任。OpenLineage 1.53.0:ジョブ/実行と入出力データセット、ソースのバージョン。Temporal:イベント履歴上のコマンド/アクティビティの結果。Prefect 3:状態データ/結果は成果物側へ分離され得る。A2A仕様 1.0.0:成果物とパーツは保持するが、ソースの権限は自由なメタデータとする。エージェント/ワークフローのOSS受け渡し:フレームワークに依存。CORE-01 の決定:エンティティ/バージョン/リネージを第一級オブジェクト(first-class)とし、権限ルールは合成フィールドとする。
- OPERATIONAL NEED: task/実行/文脈・入力情報識別; W3C PROV: activity/agent IDは表せる; OpenLineage 1.53.0: job namespace/name、実行 ID; Temporal: 処理の流れ ID、Namespace、実行 ID; Prefect 3: flow/task 実行と状態 履歴; A2A spec 1.0.0: task ID、文脈・入力情報 ID; Agent/処理の流れ OSS 引継ぎ: agent/transfer 対象; CORE-01 DECISION: TASK/実行/文脈・入力情報を別IDにし、必要条件を分ける
- OPERATIONAL NEED: 実行状態; W3C PROV: activity start/end; OpenLineage 1.53.0: STARTとterminal events; Temporal: Open/Closed、Running/Paused/Completed/Failed、append-only イベント; Prefect 3: 状態 name/type/terminal、Scheduled/Running/Failed/Crashed等; A2A spec 1.0.0: detailed TaskStateとtimestamp; Agent/処理の流れ OSS 引継ぎ: 処理先の振り分け/制御 transfer + 実行環境; CORE-01 DECISION: RUNTIME_STATUSとして採用するがbusiness 受け入れ確認と分離
- 運用上の必要性: 成果物; W3C PROV: エンティティとして表現可能; OpenLineage 1.53.0: 出力データセット; 時間的側面: ワークフローの結果やイベントは業務上の成果物を定義しない; Prefect 3: 状態の結果やデータを成果物テーブルに配置可能; A2A仕様 1.0.0: 成果物、構成要素、メディアタイプ、ファイル名/URL; エージェント/ワークフローOSS間の受け渡し: メッセージ/コンテキストと永続ストレージの実装の差異; CORE-01 の決定: ARTIFACT_DESCRIPTOR を永続的な出力契約とする
- OPERATIONAL NEED: 契約プラン/objective; W3C PROV: 契約プラン entityとactivity association; OpenLineage 1.53.0: job 付随情報/仕様・利用方法の文書; Temporal: 処理の流れ definition/commands; Prefect 3: flow/task function definition; A2A spec 1.0.0: task 付随情報へ拡張可能; Agent/処理の流れ OSS 引継ぎ: 引継ぎ description/ツール データ形式の定義; CORE-01 DECISION: OBJECTIVEは必須、契約プラン/procedure参照は必要時にinputへ含める
- 運用上の必要性:認可。W3C PROV:責任/委譲は表現可能。OpenLineage 1.53.0:観測スキーマが中心。Temporal:Activity実装側の認可へ委譲。Prefect 3:タスク/フローの状態は認可範囲を規定しない。A2A仕様 1.0.0:認証/セキュリティスキームは存在する。Agent/ワークフローのOSS引き継ぎ:有効化/フィルタ/コールバックはあるが、フィールド値の認可は別途必要。CORE-01 の決定:AUTHORIZATION_SCOPEを合成フィールドとして保持する。
- OPERATIONAL NEED: 完了/受け入れ確認; W3C PROV: domain 受け入れ確認は規定外; OpenLineage 1.53.0: terminal 実行 状態; Temporal: 処理の流れ/Activity terminalはbusiness 受け入れ確認でない; Prefect 3: return値でCompletedになり得る; A2A spec 1.0.0: completed terminal 状態; Agent/処理の流れ OSS 引継ぎ: transfer成功は成果受入と別; CORE-01 DECISION: 実行環境とbusiness 受け入れ確認を二層化し結果の照合必須
- OPERATIONAL NEED: 再試行/重複実行を防ぐ性質; W3C PROV: 規定外; OpenLineage 1.53.0: 実行 イベントの観測; Temporal: Activityは再試行され得て、実行 ID+Activity ID keyを推奨; Prefect 3: 再試行/状態 履歴は業務dedupを保証しない; A2A spec 1.0.0: protocolはpolicyを規定しない; Agent/処理の流れ OSS 引継ぎ: framework/ツールごとに異なる; CORE-01 DECISION: C3で再試行 policy、dedup、結果の照合を必須化
- OPERATIONAL NEED: 引継ぎ completeness; W3C PROV: communication/delegationは表せる; OpenLineage 1.53.0: 担当者 transferは中心外; Temporal: child 処理の流れ/signalは責任移管の業務packetでない; Prefect 3: callback/実行環境は移送・受領を規定しない; A2A spec 1.0.0: 状態/artifacts/履歴/付随情報; Agent/処理の流れ OSS 引継ぎ: typed input、filter、reason、対象、directed edges; CORE-01 DECISION: completed/not-done/unknowns/処理結果の受領記録を合成し、標準だけで十分としない
- OPERATIONAL NEED: critical 履歴; W3C PROV: bundle/collectionは表せる; OpenLineage 1.53.0: additive イベント観測; Temporal: イベント 履歴はdurableだがMemoはcritical 状態に不適; Prefect 3: 状態 履歴は観測用でbusiness 出典ではない; A2A spec 1.0.0: 履歴は任意で全message保存を保証しない; Agent/処理の流れ OSS 引継ぎ: input filter/履歴 nestingが可能; CORE-01 DECISION: critical 状態を履歴外のfirst-class fieldへ置く
このcrosswalkでCLM-C01-003/004/007の構成要素は外部データ形式の定義へ部分的に結び付いた。ただし、どの標準も本章の全fieldを規定していないため、EVIDENCE_BOUNDではなくWITH_SYNTHESISまたはWITH_LIMITを維持する。UNK-C01-001は未解決である。
8.1.1 Requiredness re-audit (2026-09-05)
今回の再監査では、標準のfield存在をそのまま「全task必須」と数えず、契約をmaterializeする最低限(M0)と、業務形状が発生した時だけ必須となる条件付き集合(C1〜C4)へ分けた。W3C PROVはentity/activity/agent、usage/generation/derivation、responsibility/delegation、timeを与えるが、business 完了・認可・引継ぎ 処理結果の受領記録は規定しない。Temporalはイベント 履歴と処理の流れ/実行識別、Activity 再試行を実装するが、Activityは複数回実行され得る。Prefectは状態のname/type/terminalとresult/成果物を分ける。A2Aはtask/文脈・入力情報/状態/成果物を持つが、履歴とmessage配送はcritical 状態の耐久層ではない。OpenAI Agents SDKと意味上の Kernelは引継ぎ先、条件、payload、callback/実行環境を提供するが、出典 authority、completed/not-done、受領照合、business 結果の照合を自動付与しない。
- PROFILE: M0 MATERIALIZED; REQUIRED FIELD SET: CONTRACT_VERSION, OBJECTIVE, COMPLETION_CRITERIA, ALLOWED_ACTIONS, PROHIBITED_ACTIONS, STOP_CONDITION, EVIDENCE_LABELS; RE-AUDIT DECISION: 全materialized 条件・契約で必須。read-onlyではALLOWED_ACTIONS=[read,draft]、禁止集合や停止条件は空にせず明示する; 根拠 / 失敗 ENVELOPE: W3C 契約プラン/timeの不足をCore synthesisで補う。OC-0へTASK/途中状態の保存地点を強制しない(R-01/R-03)
- PROFILE: C1 出典 / 成果物; REQUIRED FIELD SET: source-backedまたはOC-1以上: AUTHORITATIVE_INPUTS; 成果物 task: EXPECTED_ARTIFACTS, ARTIFACT_DESCRIPTOR, BUSINESS_ACCEPTANCE_STATUS, READBACK_EVIDENCE; RE-AUDIT DECISION: 出典なしの一回回答へ参照資料の固定版を強制しない。ただし成果物を要求した時はmessageやreturn値だけでなくdescriptor/結果の照合を必須化; 根拠 / 失敗 ENVELOPE: A2Aはoutputを成果物へ置くことを推奨し、Prefectは状態 dataを成果物側へ分離し得る。COMPLETEDだけでは受入不可(EXT-C01-004/010/020)
- PROFILE: C2 RESUMABLE; REQUIRED FIELD SET: TASK_ID, CURRENT_STATE, CHECKPOINT_ID_TIME, COMPLETED_UNITS, NOT_DONE, OPEN_UNKNOWNS, BLOCKERS, NEXT_ACTION, LAST_UPDATED; RE-AUDIT DECISION: セッション越え、長時間、再試行、担当交代のいずれかで必須。critical 状態を履歴/messageだけへ置かない; 根拠 / 失敗 ENVELOPE: Temporal イベント 履歴/A2A task 状態は再開を支えるが、A2A 履歴は任意・非信頼、Temporal memoもcritical 状態向きでない(EXT-C01-003/010)
- PROFILE: C3 SIDE-EFFECTING; REQUIRED FIELD SET: RUN_ID, EXECUTION_ACTOR, RUN_TIME_WINDOW, AUTHORIZATION_SCOPE, SIDE_EFFECT_PROFILE, RETRY_IDEMPOTENCY_POLICY, EXECUTION_EVIDENCE, READBACK_EVIDENCE, RECOVERY_OR_FALLBACK_REF; RE-AUDIT DECISION: 外部状態変更または再試行可能なactionで必須。TemporalのActivity 再試行は「観測上の完了一回」と「実行一回」を分けるため、重複実行を防ぐ性質/dedup/結果の照合を落とせない; 根拠 / 失敗 ENVELOPE: Temporal Activity docsは実行 ID+Activity IDのkeyを例示する一方、部分処理の複数回実行を警告(EXT-C01-018/019)。既存LangGraph issueも同じ失敗 envelopeを示す
- プロファイル: C4 ハンドオフ / 信頼境界; 必須フィールドセット: transfer時: HANDOFF_FROM(引き継ぎ元)、NEXT_OWNER(次所有者)、HANDOFF_REASON(引き継ぎ理由); 信頼境界・非同期・高影響時: HANDOFF_RECEIPT(引き継ぎ受領書); 履歴が次の判断に必要な場合にのみ HISTORY_POINTER_OR_CURATED_HISTORY(履歴ポインタまたは整理済み履歴); 再監査の決定: 引継ぎ先と理由はtransferごとに必須。処理結果の受領記録は受け手がtask(タスク)、条件・契約(契約)、出典(ソース)、成果物(成果物)、適用範囲(範囲)の結果の照合を行った時にのみ成立し、履歴の全文は必須としない; 根拠 / 失敗時の範囲: OpenAI Agents SDK/意味上の Kernelは処理先の振り分け(ルーティング)、payload(ペイロード)、callback(コールバック)を実装するが、受領および業務受入は別契約となる。A2A(Agent to Agent)はmessage(メッセージ)と成果物(成果物)を区別し、重要なメッセージの配送は保証しない(EXT-C01-010/011/012)
- プロファイル:参照のみ / 条件付き;必須フィールドセット:CONFIG_RELEASE_REF、ACCEPTANCE_CONTRACT_REF、SOURCE_AUTHORITY_RULE、INPUT_ENTITY_VERSION_SNAPSHOT、CONTEXT_ID、OUTPUT_LINEAGE、DECISIONS_AND_REJECTED_ALTERNATIVES;再監査の判断:バージョン管理された設定、変更可能なソース、反復的な評価、コンテキストのグルーピング、ソース変換、判断制約が発生した場合にのみ参照を要求する。巨大なトップレベルの必須項目リストへと昇格させることはしない;根拠 / 失敗の包絡:PROV/OpenLineageの系統(変更・継承の履歴)とA2Aコンテキストは有用であるが、適用範囲を超えてすべてのタスクへ外挿してはならない。
この判定で、旧データ形式の定義 v0.2のOC-0へ寄せていたAUTHORITATIVE_INPUTS/EXPECTED_ARTIFACTS/BUSINESS_ACCEPTANCE_STATUSをM0から外し、CONTRACT_VERSIONをOC-0から外さない形へ修正した。これは「最小集合が証明された」という意味ではない。representative fixtureでprofileのfalse-acceptとover-contractを検出しただけであり、UNK-C01-001はBOUNDED_UNKNOWNとして維持する。
8.2 Nested record minima v0.1
top-level fieldを増殖させないため、複数値は次の構造recordへ畳む。空値を推測で補完せず、未確認事項またはNOT_AVAILABLEと理由を記録する。
| RECORD | MINIMUM MEMBERS |
| ARTIFACT_DESCRIPTOR | 成果物ID、役割、種類、形式またはメディアタイプ、場所、バージョンまたはダイジェスト、生成実行、入力からの派生、更新モード。 |
| EXECUTION_EVIDENCE | declared_sources, evidenced_sources, requested_actions, executed_actions, trace_ref, before_state_ref, after_state_ref, incident_link |
| SIDE_EFFECT_PROFILE | primary_effect, secondary_effects, commit_point, reversibility, blast_radius, recovery_ref |
| RETRY_IDEMPOTENCY_POLICY | retry_unit, max_attempts, idempotency_key_or_dedup, pre_retry_readback, uncertain_state_action, reconciliation |
| READBACK_EVIDENCE | verifier, 方式, observed_at, observed_target, observed_version_or_state, result, 限界 |
| UNKNOWN_ITEM | unknown_id, claim_or_question, 状態, current_evidence, evidence_level, last_checked_at, stale_after, 担当者, next_test_or_readback, closure_criterion |
| HANDOFF_RECEIPT | receiver, received_at, accept_or_reject, task_contract_checked, source_snapshot_checked, artifacts_checked, authorization_checked, discrepancies |
UNKNOWN_ITEM.statusは少なくとも PUBLIC_SCHEMA_LIMIT、ENVIRONMENT_REQUIRED、EMPIRICAL_TEST_REQUIRED、VOLATILE_RECHECK、IRREDUCIBLE_PROVENANCE_LIMIT、BLOCKED、CLOSED_WITH_EVIDENCEを区別する。S049由来のtaxonomyをprovider-neutralに用いるが、製品ごとの個別未確認事項は製品への適用整理または組織ごとの追加条件に置く。
8.3 条件・契約 strength tiers v0.2
| TIER | USE WHEN | MINIMUM 条件・契約 | ADDITIONAL 制御 |
| OC-0 EPHEMERAL | 一回完結・read-only・再開不要 | 目的 / 許可された入力 / 回答形式 | 根拠表示。外部状態を変更しない |
| OC-1 成果物 | 保存成果物を作るが単一セッション中心 | OC-0 + authoritative inputs / expected 成果物 / 完了 criteria / 結果の照合 | 成果物 existence・形式・適用範囲を検証 |
| OC-2 RESUMABLE | セッション越え、長時間、担当交代 | OC-1 + task ID / 現在の 状態 / 途中状態の保存地点 / completed / not-done / unknowns / next action | 参照資料の固定版と成果物 バージョンを固定 |
| OC-3 SIDE_EFFECTING | ツールで外部状態を変更、再試行あり | OC-2 + アクションの範囲 / 実行前の状態 / 同じ要求の再送で処理を重複させないためのキーまたは重複排除ルール / 実行後の状態 / リカバリのセマンティクス | 途中状態の保存地点をexactly-once保証とみなさない |
| OC-4 HIGH_IMPACT | 社外送信、機密、金銭、大量変更、不可逆 | OC-3 + コミット時の人による確認 / 独立した検証 / 影響範囲(blast radius) / エスカレーション / 停止条件 | 承認対象のcritical fieldsと反証材料を提示 |
このtierは業務リスクを確定する規格ではなく、契約を一律最大化して軽作業を潰さないための初期分類である。閾値・業種別強度はCORE-05および組織ごとの追加条件で検証する。
8.4 途中状態の保存地点 / 引継ぎ packet matrix
- 記録:チェックポイント;トリガー:セッション終了、一時停止、再試行前、境界単位の処理完了;必須項目:タスク/契約のバージョン、現在の状態、入力スナップショット、完了/未完了、成果物の記述、不明点/妨げ、次のアクション、タイムスタンプ;追加項目:設定/評価のリファレンス、決定ログ、復旧リファレンスを条件付きで追加;受信者による結果の照合:出典・来歴の改訂版、成果物の保存場所/バージョン、次のアクションを再取得;無効条件:会話の要約のみである場合、未検証の作業を完了扱いとしている場合、情報の鮮度が不明な場合
- 記録: 引き継ぎ; トリガー: 所有者/エージェント/プロバイダー/制御層の変更; 必須 Core: チェックポイントの全フィールド; 追加フィールド: 前/後の所有者、理由、権限の範囲、整理された履歴/ポインタ、停止条件; 受信者による検証: タスク/契約/ソース/成果物/範囲の結果の照合による受領確認; 無効条件: 次の所有者が不明、重要な状態が履歴にしか存在しない、受領確認が欠落している場合
- RECORD: INCIDENT FREEZE; TRIGGER: unsafe/未確認事項 外部 状態、重大regression; REQUIRED CORE: last known-good 途中状態の保存地点、実行環境/business 状態、before/after 根拠; ADDITIONAL FIELDS: incident link、containment、uncertain action、復旧 test、stop authority; RECEIVER VERIFICATION: 証拠保全と副作用停止を確認; INVALID WHEN: 原因推測で状態を書換え、再試行前結果の照合なし
- 記録: 継続性パケット; トリガー: プロバイダー/表面層/依存関係の障害、または長期停止; 必須の核となる要素: ハンドオフパケットのプロバイダーに依存しない部分; 追加フィールド: 低下した状態または手動のルート、フォールバック時の損失、未解決のインシデント、RTO/RPO クラス; 受信側の検証: フォールバック側でソース/ツール/機能の差異を結果の照合により確認; 無効となる条件: チャットの全文だけを別のプロバイダーへ投入した場合、または損失情報を非表示にした場合。
8.5 補完 / 結果の照合マトリックス
- WORK TYPE: read-only answer; 実行環境 SIGNAL: response emitted; BUSINESS 完了 根拠: required 検討する問い/適用範囲を満たし、根拠が出典へ結び付く; 結果の照合 対象: response assertionsと出典 span; REMAINING 状態 WHEN 根拠 FAILS: BUSINESS_VERIFYINGまたはBUSINESS_REJECTED
- 作業タイプ: 成果物の作成; 実行時シグナル: ファイル/オブジェクトの作成呼び出しが返された; ビジネス完了の根拠: 成果物の記述子、存在、形式、範囲、バージョン/ダイジェスト; 結果の照合対象: 耐久性のある成果物の保存場所; 根拠が確認できない場合の残存状態: BUSINESS_VERIFYING(ビジネス検証中); 欠落している場合はBUSINESS_REJECTED(ビジネス拒否)
- WORK TYPE: 成果物 update; 実行環境 SIGNAL: update call returned; BUSINESS 完了 根拠: expected diff、new バージョン、old バージョン preservation/overwrite policy; 結果の照合 対象: 成果物 改訂版とcontent diff; REMAINING 状態 WHEN 根拠 FAILS: BUSINESS_VERIFYING、出典衝突ならBLOCKED
- WORK TYPE: 外部 状態 change; 実行環境 SIGNAL: ツール/API/UI reports 成功; BUSINESS 完了 根拠: 対象 resourceのexpected final 状態、unauthorized secondary effect無し; 結果の照合 対象: source-of-truth システム; REMAINING 状態 WHEN 根拠 FAILS: UNKNOWN_CAUSEなら再試行禁止、FAILEDなら復旧
- WORK TYPE: 再試行/replay; 実行環境 SIGNAL: 処理の流れ resumed; BUSINESS 完了 根拠: 重複実行を防ぐ性質/dedup成立、外部effectが一回分; 結果の照合 対象: 外部 sinkとaction ID; REMAINING 状態 WHEN 根拠 FAILS: RECONCILINGまたはhuman escalation
- WORK TYPE: human 承認; 実行環境 SIGNAL: 承認 イベント exists; BUSINESS 完了 根拠: approved critical fieldsと実行対象が一致し、実行後結果の照合も通る; 結果の照合 対象: 承認 record + final 状態; REMAINING 状態 WHEN 根拠 FAILS: APPROVAL_GRANTED / BUSINESS_VERIFYING
- 作業タイプ: 引き継ぎ(引継ぎ); 実行時シグナル: 制御層の転送が呼び出された / 通知 2xx; ビジネス完了の根拠: 受信者の受領確認とタスク/ソース/成果物/範囲の照合; 結果の照合対象: 受信側での契約記録; 根拠が失敗した際の残存状態: 引き継ぎ保留(HANDOFF_PENDING) / 引き継ぎ拒否(HANDOFF_REJECTED)
- WORK TYPE: 処理の流れ/agent terminal; 実行環境 SIGNAL: COMPLETED イベント; BUSINESS 完了 根拠: versioned 受け入れ確認 条件・契約のhard gatesと成果物 結果の照合がPASS; 結果の照合 対象: 評価 record + 成果物/外部 状態; REMAINING 状態 WHEN 根拠 FAILS: RUNTIME_COMPLETED_BUSINESS_VERIFYING
8.6 Human-gate placement 比較の基準
- ACTION CLASS: low-risk read-only / 非公開 draft; DEFAULT 確認・承認の条件: no commit 確認・承認の条件; sampled verification; REVIEWER MUST SEE: sources、未確認事項、output 適用範囲; POST-GATE 根拠: 出典/format checks; SAFE 失敗時の代替処理: manual answer/draft
- ACTION CLASS: internal reversible 書込み; DEFAULT 確認・承認の条件: risk-based pre-commit preview; REVIEWER MUST SEE: 対象、before/after diff、reversibility、affected 適用範囲; POST-GATE 根拠: 成果物 改訂版/結果の照合; SAFE 失敗時の代替処理: draft-only or restore prior バージョン
- ACTION CLASS: 外部 send/share/publish; DEFAULT 確認・承認の条件: human-at-commit; REVIEWER MUST SEE: recipient/audience、exact payload、attachments、sensitivity、secondary effects; POST-GATE 根拠: sent/shared 状態、recipient/適用範囲 結果の照合; SAFE 失敗時の代替処理: save draft; manual send
- ACTION CLASS: financial/legal/HR/安全性 or large-batch change; DEFAULT 確認・承認の条件: independent authorized 承認; segregation where required; REVIEWER MUST SEE: authoritative 出典、critical fields、反証、blast radius、以前の状態へ戻す操作/失敗時の代替処理; POST-GATE 根拠: independent verification and 監査 record; SAFE 失敗時の代替処理: prohibit autonomous commit; 決まった規則に従う/manual path
- ACTION CLASS: irreversible or uncertain-state 再試行; DEFAULT 確認・承認の条件: stop-and-escalate before another action; REVIEWER MUST SEE: last confirmed 状態、uncertainty、possible duplicate/harm、repair options; POST-GATE 根拠: reconciliation or explicit リスク 受け入れ確認; SAFE 失敗時の代替処理: no 再試行; isolate and repair
この表は初期比較の基準であり、業種法令・組織policy・金額・人数等の普遍的閾値を確定しない。UNK-C01-003を維持し、詳細なside-effect リスク classはCORE-05、組織固有承認者は組織ごとの追加条件へ送る。
8.7 Alternative 実装 routes
| ROUTE | FIT | STRENGTH | LOSS / LIMIT |
| one-shot/manual | OC-0、低リスク、再開不要 | 最小運用負荷 | 状態の永続保存/引継ぎ無し。外部action禁止 |
| 人間が管理する台帳 | UI-only、外部engine不可 | 出典/状態/decisionを提供元外へ保持 | 更新漏れ・転記誤り・人による負荷 |
| provider-native 履歴/project | 短・中期的継続性 | setupが軽くUXと統合 | export、バージョン、backend、cross-provider portabilityに上限 |
| 決まった規則に従う 処理の流れ engine | repeated structured task | explicit 状態/再試行/trace | business semanticsと出典 authorityは別契約が必要 |
| 読み取り専用または下書き専用の機能制限ルート | 利用可能な機能/権限/incident時 | blast radiusを抑える | automation/action、live data、速度を失う場合 |
| 外部 状態/変更・継承の履歴 store + agent layer | OC-2〜4、multi-agent/提供元 | portable 状態/出典・来歴/受け入れ確認を持ちやすい | infrastructure、security、データ形式の定義運用、costが増える |
9. 状態 taxonomy v0.2
bareなCOMPLETEDは、engine終了と業務受入を混同するため保存しない。少なくとも実行環境、business 受け入れ確認、引継ぎを別axisにする。
| AXIS | 状態 | DEFINITION | MUST NOT BE CONFUSED WITH |
| 実行環境 | NOT_STARTED | 契約はあるが実作業未着手 | PREPARED |
| 実行環境 | ACTIVE | bounded unitを実行中 | 「読む予定」だけの状態 |
| 実行環境 | PAUSED | 状態と再開条件を保存して中断 | FAILED |
| 実行環境 | BLOCKED | 外部条件が満たされず進めない | UNKNOWN_CAUSE |
| 実行環境 | FAILED | 実行が失敗し、terminalまたは復旧待ち | BUSINESS_REJECTED |
| 実行環境 | CANCELED | 明示的に取消されterminal | FAILED |
| 実行環境 | RUNTIME_COMPLETED | engine/agentが処理終了を報告 | BUSINESS_ACCEPTED |
| Business 受け入れ確認 | BUSINESS_VERIFYING | 成果物/外部 状態はあるが結果の照合未完 | BUSINESS_ACCEPTED |
| Business 受け入れ確認 | BUSINESS_ACCEPTED | versioned 完了 criteriaと結果の照合を満たす | モデルの自己申告、人間承認だけ |
| Business 受け入れ確認 | BUSINESS_REJECTED | 受け入れ確認 criteria未達 | 実行環境 失敗だけ |
| 承認 | APPROVAL_PENDING | critical fields提示済みでdecision待ち | HANDOFF_PENDING |
| 承認 | APPROVAL_GRANTED | 指定適用範囲/条件への承認が記録済み | 実行済み、BUSINESS_ACCEPTED |
| 承認 | APPROVAL_DENIED | 承認されずaction禁止 | 実行 失敗 |
| 引継ぎ | HANDOFF_PENDING | transfer開始済みだがreceiver 処理結果の受領記録未確認 | HANDOFF_ACCEPTED |
| 引継ぎ | HANDOFF_ACCEPTED | receiverがtask/出典/成果物/適用範囲を照合し受領 | business 完了 |
| 引継ぎ | HANDOFF_REJECTED | receiverが不整合を示して受領拒否 | task 失敗 |
| Reconciliation | RECONCILING | duplicate/uncertain 外部 状態を照合・修復中 | safe-to-retry |
| Lifecycle | 置換済み | 新状態/バージョンへ置換済み | DELETED |
| Diagnosis | UNKNOWN_CAUSE | 観測差はあるが原因未確定 | BLOCKED_BY_ORG等の推測原因 |
10. 受け入れ確認 tests
TST-C01-01 限定的な履歴の再開
- 3段階taskを用意し、stage 1完了後にセッションを終了する。
- 途中状態の保存地点だけを別実行主体へ渡す。
- stage 1を再実行せずstage 2から開始できるか確認する。
- 出典 バージョン、成果物 location、not-done、next actionが復元できることをpass条件とする。
TST-C01-02 Conflicting 現在の 状態
会話本文には旧状態、状態 ファイルには新状態を置く。authority ruleに従い新状態を採用し、衝突を記録し、旧工程を再実行しないことをpass条件とする。
TST-C01-03 不完全な完了 / 結果の照合
実行主体が「保存済み」と返しても成果物を作らない条件を注入する。成果物存在・内容・最終状態の結果の照合が無い限りBUSINESS_VERIFYINGからBUSINESS_ACCEPTEDへ遷移しないことを確認する。実行環境 失敗ならFAILED、成果条件不成立ならBUSINESS_REJECTEDとして分ける。
TST-C01-04 引継ぎ completeness
状態、input snapshot、completed、not-done、open questions、next 担当者、stop condition、output location、結果の照合 根拠の一項目ずつを欠落させる。次担当が誤って完了扱い・再実行・範囲拡張するかを測る。
TST-C01-05 Blocked-task 状態
一つのsubtaskを権限でblockし、独立して進められる別taskを残す。blockerを保存しつつ、許可範囲内の別taskへ移り、原因を推測で確定しないことをpass条件とする。
TST-C01-06 Duplicate-work prevention
完了済みリストと成果物の結果の照合がある状態で、同じ指示を再度投入する。完了済みの工程を再生成せず、NEXT_ACTION(次のアクション)のみが進むことを確認する。
TST-C01-07 Crash/replay side-effect duplication
- 外部sinkへ一意なレコードを作成するツールステップを用意する。
- ツールの外部commit後、途中状態の保存地点確定前にprocess 失敗または処理待ち時間の上限を注入する。
- 再開/再試行し、同一record・通知・費用が重複しないか検査する。
- idempotency_key、deduplication、before/after 結果の照合の有無を変えて比較する。
- 途中状態の保存地点が存在するだけではPASSにせず、外部最終状態が一回分であることをPASS条件とする。
TST-C01-08 実行環境の完了とビジネス上の完了の比較
ワークフローエンジンが「完了(COMPLETED)」を返す一方で、要求された成果物が欠落している、形式が誤っている、あるいは旧バージョンであるという条件を注入する。実行時の状態を「RUNTIME_COMPLETED」とし、成果物の受け入れ確認を「BUSINESS_VERIFYING」として分離し、成果物の結果の照合(結果の照合)が通るまで、ビジネス上の完了(business 完了)を成立させない。
TST-C01-09 Critical-state loss from optional 履歴
- 次工程に必須となるソースの改訂版、未完了のユニット、停止条件を、会話メッセージのみに配置する条件を作る。
- A2A互換のタスク履歴から一部のメッセージを省略し、ストリームの切断・再接続も注入します。
- 重要なフィールドが失われた場合は、失敗(FAIL)とします。
- 同じ値を第一級の契約フィールドまたはバージョン管理された成果物への参照に置き、履歴がなくても安全に再開できることを合格条件とする。
TST-C01-10 メッセージ/成果物の曖昧さと受け渡し確認
同じ最終出力を、ステータスメッセージ、スタンドアロンメッセージ、成果物の3つの形式で返すフィクスチャを用意する。受け手が、永続的な成果物のID/タイプ/バージョン/場所を識別でき、かつタスクID・入力のスナップショット・範囲と照合して「ハンドオフ受領書」を残せる場合のみPASSとする。単に表示できたことやHTTP 2xxが返ってきたことだけをビジネス上の受け入れ確認には含めない。
10.11 データ形式の定義 field-ablation 実行 record
TEST_RUN_ID: CORE-01-ABLATION-RUN-001
EXECUTED_AT: 2026-09-05 11:55 JST
フィクスチャ: tests/CORE-01_contract_ablation_v0.1.json
FIXTURE_SHA256: b393f4dcb3770b99dd4ab6aef32cf2e827827184b5d33ad1dd4a3b20ea714dd4
手法:ローカルでの決定論的なスキーマ/意味論的検証。ネットワークへの書き込みや外部への副作用は伴いません。
- FIXTURE: F-01; INJECTION: minimum OC-0; EXPECTED: PASS; ACTUAL: PASS; PRIMARY SIGNAL: task/実行/途中状態の保存地点を一回完結read-onlyへ強制しない
- FIXTURE: F-02; INJECTION: OC-0へTASK/実行/途中状態の保存地点/処理結果の受領記録を過剰付与; EXPECTED: PASS_WITH_WARNINGS; ACTUAL: PASS_WITH_WARNINGS; PRIMARY SIGNAL: 最小契約と最大契約を同一化しない
- FIXTURE: F-03; INJECTION: mutable 出典だがsnapshot欠落; EXPECTED: FAIL; ACTUAL: FAIL; PRIMARY SIGNAL: INPUT_ENTITY_VERSION_SNAPSHOT欠落を検出
- FIXTURE: F-04; INJECTION: authority/現在の 状態/next actionを履歴だけへ格納; EXPECTED: FAIL; ACTUAL: FAIL; PRIMARY SIGNAL: first-class critical 状態欠落を検出
- 治具: F-05; 注入: side-effect 再試行から重複実行を防ぐ性質 policy(同じ要求の再送で処理を重複させない仕組み)を除去; 期待値: FAIL; 実測値: FAIL; 主要シグナル: RETRY_IDEMPOTENCY_POLICYの欠落を検出
- FIXTURE: F-06; INJECTION: 出典/設定/評価版付きcomplete 引継ぎ; EXPECTED: PASS; ACTUAL: PASS; PRIMARY SIGNAL: 条件付きfieldを含む受渡し成立
- 構成(FIXTURE): F-07; 注入(INJECTION): 信頼境界の受け渡しにおいて受領証(処理結果の受領記録)が欠落; 期待値: 失敗; 実際の結果: 失敗; 主要なシグナル: 受け渡し受領証(HANDOFF_RECEIPT)の欠落を検出
- FIXTURE: F-08; INJECTION: 実行環境 completed、結果の照合 failed、business accepted; EXPECTED: FAIL; ACTUAL: FAIL; PRIMARY SIGNAL: false business 完了を検出
- FIXTURE: F-09; INJECTION: 未確認事項 itemからclosure criterionを除去; EXPECTED: FAIL; ACTUAL: FAIL; PRIMARY SIGNAL: 閉じ方のない未確認事項を検出
- FIXTURE: F-10; INJECTION: complete OC-4; EXPECTED: PASS; ACTUAL: PASS; PRIMARY SIGNAL: 外部への変更・送信、再試行、承認、結果の照合を併置
- FIXTURE: F-11; INJECTION: 状態 messageをdurable 成果物として扱う; EXPECTED: FAIL; ACTUAL: FAIL; PRIMARY SIGNAL: location/バージョンのないmessageを成果物扱いしない
- FIXTURE: F-12; INJECTION: versioned 設定だが公開・提供 ref欠落; EXPECTED: FAIL; ACTUAL: FAIL; PRIMARY SIGNAL: CONFIG_RELEASE_REF欠落を検出
結果: 期待される一致数は12/12; 合格(PASS) 3、警告付き合格(PASS_WITH_WARNINGS) 1、不合格(FAIL) 8。これはフィクスチャに対するルールの整合性試験であり、全業務におけるフィールドの最小性や、特定のプロバイダーの実装適合性を証明するものではありません。UNK-C01-001は条件が確認できなければ停止(fail closed)しません。プロセスレベルのローカルモックについては§10.12へ進み、実際のエンジンとプロバイダー間の受け渡しは製品への適用整理 試験の条件として残してください。
10.12 Provider-neutral ローカル環境の integration 実行 record
TEST_RUN_ID: CORE-01-MOCK-INTEGRATION-RUN-001
EXECUTED_AT: 2026-09-05 15:29 JST
実行可能ファイル:tests/CORE-01_mock_integration_v0.1.js
EXECUTABLE_SHA256: 8c955b300a9994593374abc008fd24f41e7e0ff651a54e41a8900aa84f89fa37
方式: Node.js child process + temporary ローカル環境の filesystem mock; network requestなし、実SaaS副作用なし
| TEST | INJECTION / OBSERVATION | RESULT | 条件・契約 SIGNAL |
| IT-C01-01 | 履歴無しの途中状態の保存地点だけを環境変数も空の別Node processへ渡す | PASS | 出典 改訂版、成果物 digest、next actionを復元しstage 2へ進める |
| IT-C01-02 | mock sink commit直後、途中状態の保存地点更新前にchildをexit 86でcrash | PASS | crash後もsink recordが一件存在することを結果の照合 |
| IT-C01-03 | 同一重複実行を防ぐ性質 keyで再試行 | PASS | duplicateを検出しsink recordは一件のまま |
| IT-C01-04 | 受信側の期待値へ誤ったソースの改訂版を注入 | PASS | 処理結果の受領記録をsource_revision_mismatchでreject |
| IT-C01-05 | task/条件・契約/出典/成果物/認可を一致 | PASS | 処理結果の受領記録をaccept |
| IT-C01-06 | 再試行後にmock sinkを再取得しpayload digestを照合 | PASS | 実行主体の成功申告でなく外部最終状態で完了判定 |
RESULT: 6/6 PASS。これによりQ-C01-001のprovider-neutral ローカル環境の 比較の基準は、単なるデータ形式の定義存在確認から実行可能testへ進んだ。ただしローカル環境の filesystem mockは、提供元 API、network 再試行、実処理の流れ engine、実SaaSのtransaction semanticsを代表しない。同じtest intentを各製品への適用整理のadapterへ移植し、live結果をCoreへ遡及監査する。
10.13 Requiredness re-audit 実行 record
TEST_RUN_ID: CORE-01-FIELD-REQUIREDNESS-REAUDIT-RUN-001
EXECUTED_AT: 2026-09-05 18:30 JST
FIXTURE: tests/CORE-01_field_requiredness_reaudit_v0.2.json
RUNNER: tests/CORE-01_field_requiredness_reaudit_v0.2.js
手法: ローカルでの決定論的なプロファイル検証。プロバイダーへのリクエスト、ネットワークへの書き込み、または外部への副作用は伴いません。
- TEST: R-01; INJECTION / OBSERVATION: OC-0 materialized 条件・契約をM0の7 fieldだけで構成; EXPECTED: PASS; ACTUAL: PASS; 条件・契約 SIGNAL: CONTRACT_VERSIONを含む軽量最小profile
- TEST: R-02; INJECTION / OBSERVATION: M0からCONTRACT_VERSIONを欠落; EXPECTED: FAIL; ACTUAL: FAIL; 条件・契約 SIGNAL: materialized 条件・契約の版識別を省略しない
- テスト: R-03; インジェクション / 観察: OC-0へTASK/途中状態の保存地点/処理結果の受領記録を過剰に付与; 期待される結果: PASS_WITH_WARNING(警告付き合格); 実際の結果: PASS_WITH_WARNING(警告付き合格); 契約上のシグナル: lifecycle(ライフサイクル)フィールドをすべてのタスクに対して強制しないこと。
- TEST: R-04; INJECTION / OBSERVATION: 成果物 profileからREADBACK_EVIDENCEを欠落; EXPECTED: FAIL; ACTUAL: FAIL; 条件・契約 SIGNAL: descriptorだけで業務受入にしない
- テスト:R-05; 注入/観測:再開可能なプロファイルから現在の状態が欠落; 期待値:失敗; 実際の結果:失敗; 契約上のシグナル:履歴/メッセージのみで現在地を渡さない
- TEST: R-06; INJECTION / OBSERVATION: side-effect profileからRETRY_IDEMPOTENCY_POLICYを欠落; EXPECTED: FAIL; ACTUAL: FAIL; 条件・契約 SIGNAL: Temporalのat-least-once境界を反映
- TEST: R-07; INJECTION / OBSERVATION: pure read-only taskへC3を誤適用しない; EXPECTED: PASS; ACTUAL: PASS; 条件・契約 SIGNAL: side-effectが無いtaskを過剰契約にしない
- TEST: R-08; INJECTION / OBSERVATION: trust-boundary 引継ぎで処理結果の受領記録を欠落; EXPECTED: FAIL; ACTUAL: FAIL; 条件・契約 SIGNAL: receiver-side照合を省略しない
- TEST: R-09; INJECTION / OBSERVATION: first-class 状態が揃った引継ぎからcurated 履歴を省略; EXPECTED: PASS; ACTUAL: PASS; 条件・契約 SIGNAL: A2A任意履歴をcritical層と混同しない
- TEST: R-10; INJECTION / OBSERVATION: message-only outputを成果物として扱う; EXPECTED: FAIL; ACTUAL: FAIL; 条件・契約 SIGNAL: A2AのMessage/成果物分離を反映
- TEST: R-11; INJECTION / OBSERVATION: 実行環境 COMPLETEDだが成果物 結果の照合なし; EXPECTED: FAIL; ACTUAL: FAIL; 条件・契約 SIGNAL: Prefect/engine terminalとbusiness 受け入れ確認を分離
- TEST: R-12; INJECTION / OBSERVATION: Temporal-like 再試行で重複実行を防ぐ性質/dedup/結果の照合を併置; EXPECTED: PASS; ACTUAL: PASS; 条件・契約 SIGNAL: C3の実行可能profile
RESULT: 12/12 expected match。M0 mandatory 7、C1〜C4 conditional profiles、reference-only fieldを区別できた。R-01〜R-03でOC-0のover-contractを抑え、R-04〜R-12で成果物/状態/再試行/引継ぎのfalse-acceptを拒否した。これはデータ形式の定義の内部整合と代表fixtureのbounded反証であり、全stateful業務のuniversal minimum、各提供元の相互運用性、Temporal/Prefectの業務受入を証明しない。UNK-C01-001は閉じず、後発提供元・異種業務の同型fixtureへ送る。
12. Recompiled chapter draft v0.2
12.1 会話ではなく、業務の状態を扱う
LLMの一回の応答はイベントであり、継続業務の状態そのものではない。長い会話履歴が残っていても、現在の正本、完了済み工程、未完了、成果物の保存先、許可された操作、停止条件が再取得できなければ、次の実行主体は古い記述やもっともらしい要約から現在地を再構成することになる。そこで起きるのは単なる「忘却」だけではない。既済み工程の再実行、古い出典による上書き、未検証成果の完了扱い、権限外操作、blockerの消失である。
stateful AI運用では、会話を長くすることより先に、次の判断を変える状態を明示する。最低限、task ID、目的、正本input、input版、許可・禁止操作、要求成果物、完了条件、結果の照合、完了済み、未完了、未確認事項、blocker、next action、stop conditionを持つ。短いread-only taskでは簡略化できるが、セッション越え、複数担当、外部書込、再試行、長期編纂のいずれかを含むなら、途中状態の保存地点と引継ぎを任意のメモにしない。
12.2 完了は発話ではなく、証拠を伴う状態遷移である
「作成した」「送信した」「保存した」という文は、外部世界の最終状態を保証しない。完了条件は、要求成果物が存在し、指定形式・保存先・適用範囲を満たし、必要な結果の照合または受け入れ確認 testが通ったときにだけ成立する。成果物が作られても検証前なら状態はBUSINESS_VERIFYINGであり、モデルの自己申告だけでBUSINESS_ACCEPTEDへ移してはならない。
この原則はhuman-in-the-loopがあっても変わらない。人間の承認は重要な制御だが、承認対象の要約が不正確、画面が攻撃入力の影響を受ける、reviewが形骸化する場合がある。したがって、人間承認と機械的結果の照合を代替関係にせず、リスクと外部への変更・送信に応じて重ねる。
12.3 途中状態の保存地点と引継ぎは、再開可能性を作る
途中状態の保存地点は過去の会話要約ではない。何が正本か、何が完了し、何が未完了で、何が不明で、何に阻まれ、次に誰が何を行い、どの証拠で結果を確認するかを固定する。引継ぎでは、この途中状態の保存地点にinput snapshot、成果物 location、stop condition、担当者を加える。次担当が頭から全資料を読み直さず、既済み工程を繰り返さず、推測で穴を埋めずに再開できることが品質条件になる。
blockedとfailedも区別する。権限や外部応答待ちで進めないtaskはBLOCKED、実行または検証が失敗したtaskはFAILED、原因が確認できない差はUNKNOWN_CAUSEである。原因を推測で付与せず、独立して進められるtaskがあればqueueから次を記述・判断する。これにより、長期業務は「何もできないので読むだけ」の空実行と、「止まっているのに勝手に完了とみなす」事故の双方を避けられる。
12.4 Coreと製品実装を分ける
ここで定義するのはprovider-neutralな運用の条件・契約である。Gemini、GPT、Claude、Grokの各製品が、会話履歴、記憶情報、project、agent、automation、バージョン 履歴、監査 logをどの利用機能・接続経路・edition・regionで提供するかは製品への適用整理で扱う。特定組織でそれらが許可されているかは組織ごとの追加条件で扱う。製品機能が増減しても、状態、完了、途中状態の保存地点、引継ぎ、結果の照合というCoreの問いを失わない。
12.5 途中状態の保存地点を「安全装置」と呼ぶ前に
途中状態の保存地点は必要だが、それだけで安全な再開や一回限りの副作用を保証しない。LangGraphはthread-scoped graph 状態をcheckpointerへ、cross-threadのdurable dataをstoreへ分ける。この分離は、会話継続と長期業務状態を同じものとして扱わない実装例になる。Temporalはイベント 履歴から実行 状態を復元し、失敗後に最新の記録地点から再開する一方、外部作用をActivity境界へ分け、決まった規則に従う replayを要求する。つまり再開可能性は、保存場所だけでなく、どこまでを再実行してよいかという実行意味論を必要とする。
さらに公開issueでは、途中状態の保存地点と外部外部への変更・送信の書込み順序によって、クラッシュ復旧後に同一nodeの副作用が二重化した再現例が報告されている。長時間ツール callが再配信され、元実行と再実行の両方が完了した報告もある。したがって運用の条件・契約は、CHECKPOINT_EXISTSを成功条件にせず、少なくとも次を束ねる。
- 途中状態の保存地点が何を含むか
- 外部commitと途中状態の保存地点確定の順序
- 再試行単位
- 重複実行を防ぐ性質 keyまたはdeduplication rule
- primary/secondary 外部への変更・送信のbefore/after 状態
- 再開後の外部最終状態結果の照合
- 重複発生時の取り消し・埋め合わせ処理またはmanual repair
この限定は、特定OSSを否定するものではない。公式仕様・利用方法の文書が示すintended semanticsと、issue tracker・独立実運用が示す失敗 envelopeを同時に採り、導入側が検証すべき境界を定義するものである。
12.6 人間承認は完了 根拠ではない
automation biasのsystematic reviewは、意思決定支援が全体性能を改善する場合でも、誤った自動助言への追随が複数分野で発生し得ることを示す。ゆえに「人間が承認した」を、AI出力や外部最終状態が正しい証拠へ置換しない。承認者には、自然言語のaction summaryだけでなく、変更対象、critical fields、出典、before/after差分、不可逆なsecondary effect、反証またはwarningを提示する。承認後も結果の照合を行い、APPROVAL_GRANTEDとBUSINESS_ACCEPTEDを別axisとして記録する。
12.7 引継ぎはconversation dumpではない
agent間の制御 transferは、会話を丸ごと渡せば成立するわけではない。W3C PROVはentity、activity、agent、derivation、responsibility、delegationを表せる。OpenLineageはjob/実行/input/outputと実行 イベントを表せる。A2Aはtask、状態、成果物、履歴を区別する。これらを重ねれば引継ぎの骨格は得られるが、権威出典、業務受入条件、未完了unit、stop condition、受領検証までは自動的に揃わない。
A2A仕様自体も、タスク履歴が任意であり、すべてのメッセージが永続化・再配送されるとは限らないため、重要な情報の信頼できる配送路としてメッセージに依存してはならないとしている。さらに公開されているイシューでは、メッセージと成果物の境界が曖昧なため、同じ出力がステータスメッセージ、単独のメッセージ、成果物へと分岐し、実装間で意味が一致しない問題が報告されている。したがって、次回の担当者に必要な重要な状態(critical 状態)を、履歴の奥深くにだけ置いてはならない。
引継ぎ payloadは、task/実行/文脈・入力情報の識別子、現在の/実行環境/business 状態、参照資料の固定版、completed/not-done、unknowns/blockers、durable 成果物 descriptor、next 担当者/reason/action、stop conditionをfirst-class fieldとして渡す。過去interactionが必要なら、全文dumpを既定にせず、判断に必要なcurated 履歴またはversioned pointerを使う。受け手はtask ID、出典 改訂版、成果物、認可 適用範囲を照合してHANDOFF_RECEIPTを残す。制御が移ったこと、通知へHTTP 2xxを返したこと、成果物が業務上受け入れられたことは別の状態である。
12.8 契約は巨大な一枚表ではなく、版付きrecordへのenvelopeである
長期業務を再現するには、プロンプト本文だけでなく、出典(出典)、モデル(モデル)、ツール(ツール)、権限(権限)、output データ形式の定義(出力スキーマ)、policy(ポリシー)、評価(評価)条件の組み合わせを識別しなければならない。しかし、その全内容を毎回引継ぎ(引き継ぎ)本文へ複製すれば、重複したスナップショット同士に食い違いが生じ、どれが正本か分からなくなる。運用の条件・契約は、CONFIG_RELEASE_REF、ACCEPTANCE_CONTRACT_REF、成果物記述子(成果物 descriptor)、未確認事項項目、実行/結果の照合(実行/結果の照合)の証跡など、版付きの記録を束ねるエンベロープとして扱う。
特に出典は「利用すると宣言した集合」と「実行後に利用を証拠化できた集合」を分ける。製品が検索・取得 traceを公開しない場合、両者を同一と推測せず、後者をNOT_AVAILABLEまたは未確認事項として残す。完了条件も固定文ではない。dataset、expectation、scorer、judge、human rubric、参照資料の固定版、pass thresholdが変われば同じoutputの合否が変わるため、反復評価では完了 criteriaから版ed 受け入れ確認 条件・契約へ参照を張る。
同様に、未確認事項(不明)を一行の備考としてまとめないこと。公開スキーマの限界、組織の利用環境の確認、実機試験、仕様変更の再確認、避けられない出典・来歴の限界など、情報の閉じ方や担当主体はそれぞれ異なる。各未確認事項は、根拠、鮮度、担当者、次回の試験/結果の照合、完了基準を持つ管理対象であり、「調査したが未確認」と「未調査」を区別する。
12.9 Required case coverage
- REQUIRED CASE: 長編資料編纂; 条件・契約 PROFILE: OC-2 RESUMABLE + mutable 出典 + versioned 設定; 実装 IN THIS PACKET: Frozen TOC、task/現在の 状態、Drive 改訂版、completed/not-done、未確認事項、next action、versioned artifacts; TEST / 根拠: 現行Work_STATE運用; TST-C01-01/02/06; F-03/F-04/F-12; IT-C01-01; RESIDUAL LIMIT: 別モデル/提供元でのlive 再開は製品への適用整理未実行
- REQUIRED CASE: 複数担当引継ぎ; 条件・契約 PROFILE: OC-2 + 引継ぎ/処理結果の受領記録、trust 適用限界次第でOC-3/4; 実装 IN THIS PACKET: from/to/reason、参照資料の固定版、成果物 descriptor、curated 履歴、処理結果の受領記録; TEST / 根拠: TST-C01-04/09/10; F-06/F-07; RESIDUAL LIMIT: A2A/OpenAI/意味上の Kernel間のlive 相互運用性は未実行
- REQUIRED CASE: 外部書込を伴う業務; 条件・契約 PROFILE: OC-3 SIDE_EFFECTING、high-impactはOC-4; 実装 IN THIS PACKET: 認可、side-effect profile、再試行/重複実行を防ぐ性質、before/after、承認、結果の照合; TEST / 根拠: TST-C01-03/07/08; F-05/F-08/F-10; IT-C01-02/03/06; RESIDUAL LIMIT: ローカル環境の mockでは実行済み。実SaaSのcommit/再試行 semanticsはPM/ORG未実行
- 必須ケース:長時間・再開型業務;契約プロファイル:OC-2、継続性要件がある場合はフォールバック参照を使用;本パケットにおける実装:チェックポイント、設定/評価リファレンス、決定ログ、不明点/阻害要因、最新性、継続性パケット;テスト/エビデンス:LangGraph/Temporal/Prefect、S041、F-03/F-04/F-06;残留限界:RTO/RPOおよびプロバイダーのフェイルオーバーに関する組織の実数値はCORE-12/ORGへ委譲
12.10 実行可能比較の基準と、残る未確認事項を分ける
データ形式の定義 fieldが存在するだけでは、再開や引継ぎが機能するとは言えない。本章では別processが履歴無しで途中状態の保存地点を読み、出典 改訂版と成果物 digestを照合して次工程へ進むtestを実行した。また、mock sinkへのcommit直後にcrashを注入し、同じ重複実行を防ぐ性質 keyによる再試行が外部effectを一件へ保つこと、誤った出典 改訂版なら引継ぎ 処理結果の受領記録を拒否することを確認した。これをprovider-neutralな最小実行比較の基準とする。
ただし、このPASSをGemini、GPT、Claude、Grokや任意の処理の流れ engineの適合認定へ拡張しない。network 処理待ち時間の上限、提供元側再試行、SaaS固有のcommit境界、token/文脈・入力情報移送、権限委譲は製品への適用整理ごとに再実行する。後発提供元が新しい必須fieldまたは失敗条件を示した場合はデータ形式の定義版を上げ、先発提供元を同じfixtureで遡及監査する。
人による確認・承認も同じである。Coreは、影響、可逆性、外部公開範囲、機密性、自律度、不確実状態、対象者への権利影響を判断軸として保持する。だが、金額、人数、リスク score、二人承認などの閾値は一律に決めない。NISTはリスク toleranceを組織・use case固有として扱い、EU AI Act Article 14もhigh-risk AIという法的適用範囲の中でリスク・autonomy・文脈・入力情報に比例したoversightを求める。したがって閾値はsector ruleと組織ごとの追加条件へ置き、Coreには安全側の停止・override・結果の照合という不変条件を残す。
13. Packet 扱い・判断 and residual work
- UNK-C01-001: 普遍的な最小フィールドセットは未証明。OC-0〜4 の required-when プロファイルを暫定的な正式なものとし、後発のプロバイダーや異なる業務内容のフィクスチャを用いて反証を行う。
- UNK-C01-002: ローカル実行可能なベースラインは6/6で合格(PASS)。プロバイダー/ランタイムごとのライブアダプターの結果は、PM-GEMINI→GPT→Claude→Grokの順で蓄積する。
- UNK-C01-003: Coreのdecision dimensionsと適用範囲 処理先の振り分けは確定。数値・sector・組織 thresholdはCORE-05/09/15と組織ごとの追加条件で閉じる。
- PROV-FIND-001: CORE-01の出典 attributionはDrive正本の実在S052見出し/spanへ修正済み。queue-level矛盾記録は後続Packetの誤帰属防止のため維持する。
- AUD-C01-007 / Q-C01-002: W3C PROV、Temporal、Prefect 3、A2A、OpenAI Agents SDK、意味上の Kernelの再監査と12/12 ローカル環境の requiredness testを反映。M0/C1〜C4を暫定Core profileへ昇格したが、universal minimum・標準準拠・提供元 相互運用性は未確定のまま。
PACKET_DISPOSITION: AUDIT_READY_WITH_TRACKED_UNKNOWNS
NEXT_PACKET_ACTION: CORE-02 検索・取得 / 記憶情報 / 出典との対応付けのCompilation Packetを作成し、S063 Frozen TOCのWAVE-Aを継続する。新テーマ探索へ戻らない。
14. GPT 製品への適用整理 引継ぎ — 2026-09-09
PM-GPT-CORE-01-v0.1 maps response, Conversation, background 実行, webhook, Agents SDK セッション, Result and RunState to this Core without changing CLM-C01-001..010.
- プロバイダーの実行時/対話状態は、正式なタスク状態や業務上の受け入れ確認へと昇格されることはありません。
- バックグラウンドの端末ステータスおよび「response.completed」は、成果物または外部状態の結果の照合が成功するまでは、実行時または通知の証拠として扱われます。
- セッション履歴と RunState は部分的な搬送手段であり、正式な運用契約、ソースのスナップショット、成果物の記述子、および受け入れ確認の根拠は、これらとは別に存在する。
- Historical issues #3820/#3123 are retained only as closed, version-bounded 同時実行数/履歴 regression intents.
- 既存の 6/6 および 12/12 のローカル結果は COMPILER_EXPERIMENT 起源を保持しており、GPT/API/組織の利用環境でのライブ実行は行われていない。
- AUD-C01-001 stays open for live adapter 実行 and AUD-C01-007 for cross-provider requiredness 反証の確認. 組織 values remain in Q-PM-C01-GPT-001..004.
GPT_MAPPING_DISPOSITION: PUBLIC_MAPPING_BOUNDED_COMPLETE / FIXED_V0.22_STATE_BOUNDARY / LIVE_ORG_PENDING
CORE_CHANGE: none
BACKPROP_TO_GEMINI: not required
NEXT_PROVIDER_ACTION: begin Claude CORE-01 mapping against the same 運用の条件・契約 and safe test intent.
15. Claude 製品への適用整理 引継ぎ — 2026-09-09
PM-CLAUDE-CORE-01-v0.1は、CLM-C01-001..010.を変更することなく、ステートレスなメッセージ、非同期のメッセージバッチ、Agent SDKのセッション/再開/フォーク、フック、およびファイルのチェックポインティングをこのコアにマッピングする
- Message 履歴, 提供元 response/セッション 状態 and synthetic assistant turns are not promoted to 出典・来歴 or the 正式な task record.
- Batch ended, result 成功 and Agent SDK result/セッション IDs remain 実行環境 根拠 until required 成果物 and external-state 結果の照合 succeeds.
- レジューム(再開)およびフォーク(分岐)には、明示的な所有権とリネージ(系統)が必要である。ホストをまたぐ継続性は、SessionStore/トランスクリプトに紐付けるか、正式なアプリケーションの状態から復元しなければならない。
- ファイル 以前の保存地点へ戻す操作 is 範囲を限定した: Bash, most 担当を分けたエージェント edits, directory operations and remote/network effects stay outside 途中状態の保存地点 coverage and require separate 取り消し・埋め合わせ処理/結果の照合.
- Hooks can 制御 or observe trajectory portions but do not establish authoritative 操作内容 完了.
- Python Agent SDKは v0.2.152 / a8b1e28 に固定されており、Claude CLI 2.1.259 が同梱されています。既存のローカルでの 6/6 および 12/12 の結果は、コンパイラ実験(COMPILER_EXPERIMENT)のまま維持されます。Claude/API/組織/ツールの実行は行われませんでした。
CLAUDE_MAPPING_DISPOSITION: PUBLIC_MAPPING_BOUNDED_COMPLETE / FIXED_V0.2.152_STATE_BOUNDARY / LIVE_ORG_PENDING
CORE_CHANGE: none
BACKPROP_TO_GEMINI_GPT: not required
NEXT_PROVIDER_ACTION: begin Claude CORE-02 mapping against the existing 検索・取得/記憶情報 test intent.
16. Grok プロダクトマッピングの引き継ぎ — 2026-09-12
PM-GROK-CORE-01-v0.1 maps Responses stored continuation, store:false, ZDR, deferred Chat Completions, Batch API, function calling and the official Python SDK to this Core without changing CLM-C01-001..010.
- 保存された応答履歴は、デフォルトで30日間ドキュメント化されますが、応答の紐付けは、正式なタスクの状態やビジネス上の受け入れ確認とは切り離されたままとなります。
- Deferred results are documented as single-retrieval within 24 hours; Batch 完了 can contain 成功 and error. Neither lifecycle is an 成果物 受け入れ確認 処理結果の受領記録.
- Function-call proposal, ローカル環境の 認可/実行, 提供元 continuation, 外部 受領記録・結果の照合 and 取り消し・埋め合わせ処理 remain separate.
- ZDR is team-wide where available and disables stateful Responses, Files/Collections, Batch and deferred 保存領域; the effective response header must be recorded.
- The official SDK is a rolling author-maintained 実装 利用機能・接続経路, not a fixed live 実行環境 until package/バージョン/commit and 配備 are pinned.
- Existing ローカル環境の 6/6 and 12/12 results remain COMPILER_EXPERIMENT; no xAI API, team, Console, モデル, SDK, ツール, deferred request, batch or 外部 システム was operated.
GROK_MAPPING_DISPOSITION: PUBLIC_MAPPING_BOUNDED_COMPLETE / ROLLING_SDK_UNPINNED / LIVE_ORG_PENDING
CORE_CHANGE: none
BACKPROP_TO_GEMINI_GPT_CLAUDE: not required
NEXT_PROVIDER_ACTION: begin Grok CORE-02 mapping against the existing 検索・取得/記憶情報 test intent.
よくある失敗・反証
ID 反証 / LIMIT EFFECT ON 記述・判断 CE-C01-001 会話履歴、記憶情報、長文文脈・入力情報、提供元のproject機能が一部状態を保持する場合がある 「会話は状態にならない」と全否定しない。明示的再取得・更新・検証可能性が不足する場合を区別する CE-C01-002 短いread-only taskでは外部記録台帳や途中状態の保存地点が運用負荷を上回り得る リスク・duration・side-effect・引継ぎ有無によって契約強度を段階化する CE-C01-003 human 承認はautomation bias、warning fatigue、承認 deceptionで形骸化し得る 人による確認・承認を最終保証とせず、trusted summaryと結果の照合を併置する CE-C01-004 外部処理の流れ engineを使っても、参照資料の固定版や成果物 semanticsが誤れば正しい状態機械にならない 複数工程の制御の存在と運用の条件・契約の充足を分ける CE-C01-005 途中状態の保存地点/replay実装でも、crash境界や長時間ツール callで外部への変更・送信が重複する報告がある 途中状態の保存地点をexactly-once保証とみなさず、重複実行を防ぐ性質 key、deduplication、before/after 結果の照合を要求する CE-C01-006 処理の流れ frameworkのCOMPLETEDは、関数が例外なくreturnしたことを指し、業務成果の正しさと一致しない場合がある 実行環境 状態とbusiness 受け入れ確認 状態を二層化する CE-C01-007 PROV、OpenLineage、A2Aはそれぞれ出典・来歴、処理工程 変更・継承の履歴、agent 相互運用性を扱うが、単独で運用の条件・契約の十分条件を定義しない 標準fieldをそのまま転記せず、標準由来fieldと辞典の合成fieldを識別する CE-C01-008 A2A issue #1313ではMessageと成果物の意味境界が曖昧で、同じ結果が複数shapeに実装され得る 「成果物の配列が存在する」ことだけで引き継ぎ(引継ぎ)の成功とせず、成果物の永続性、ID、タイプ、バージョン、場所、および受け入れ確認について契約する CE-C01-009 A2A仕様はtask 履歴が任意で、一部messageが保存・再配送されないことを明記する critical 状態を会話履歴だけへ埋め込まず、first-class fieldまたはversioned 成果物参照にする CE-C01-010 A2AのコンテキストIDの所有権については、公開されているIssueにおいて実装上の疑問が残っている task ID、文脈・入力情報 ID、実行 IDを同一視せず、生成主体とauthorityを実装profileで明記する - UNKNOWN_ID: UNK-C01-001; 検討する問い: あらゆるstateful AI業務に共通する最小運用の条件・契約 fieldはどこまでか; WHY IT MATTERS: fieldを増やしすぎず再開・監査を成立させる; 現在の 根拠: S020/S052、W3C PROV、OpenLineage 1.53.0、A2A、OpenAI Agents SDK、意味上の Kernelに部分集合。普遍的十分条件は未発見; CLOSURE ROUTE: 未抽出S019/S029/S041/S044/S045/S049→データ形式の定義 v0.2の模擬task比較→他提供元実装で反証; TEMPORARY POLICY: データ形式の定義 v0.2を標準由来/合成/条件付きへ分け、最小性は閉じない
- 不明なID: UNK-C01-002; 問い: チェックポイント/引き継ぎの完全性を、特定のプロバイダーに依存せずに測定するための最小限のテストは何か; 重要性: プロバイダー間の比較および長期タスクの回帰テストに必要; 現在の根拠: S052、四院失敗の観測、一連の処理(処理の流れ)OSS、A2A、公開されているIssueに加え、ローカルの模擬環境(mock)において、クリーンなプロセスでの中断からの再開、履歴の欠落、コミット後のクラッシュ、重複排除を伴う再試行、受領書、結果の照合(結果の照合)のすべてにおいて6/6の合格(PASS)を確認; 完了への経路: 同一のテストプロファイルを用いてGemini/GPT/Claude/Grokおよび実際のワークフローエンジンで再実行すること; 一時的な方針: コアテストのローカル基線は確定済み。プロバイダー/ランタイムへの適合性は、プロダクトマッピングで確定するまで継続する
- UNKNOWN_ID: UNK-C01-003; 検討する問い: 人による確認・承認をどのリスク classで必須にするか; WHY IT MATTERS: 承認過多と事故防止の両立; 現在の 根拠: S012/S018/S025/S051/S054、automation-bias review、NIST AI RMF 1.0/GAI Profile、EU AI Act Article 14; CLOSURE ROUTE: CORE-05でside-effect classを精緻化し、sector ruleと組織リスク toleranceへmapping; TEMPORARY POLICY: Coreはリスク/autonomy/文脈・入力情報、影響、可逆性、不確実性、外部適用範囲をdecision dimensionsとして固定。数値・業種・承認者閾値はORG/専門章へ
- UNK-C01-001: 普遍的な最小フィールドセットは未証明。OC-0〜4 の required-when プロファイルを暫定的な正式なものとし、後発のプロバイダーや異なる業務内容のフィクスチャを用いて反証を行う。
- UNK-C01-002: ローカル実行可能なベースラインは6/6で合格(PASS)。プロバイダー/ランタイムごとのライブアダプターの結果は、PM-GEMINI→GPT→Claude→Grokの順で蓄積する。
- UNK-C01-003: Coreのdecision dimensionsと適用範囲 処理先の振り分けは確定。数値・sector・組織 thresholdはCORE-05/09/15と組織ごとの追加条件で閉じる。
- PROV-FIND-001: CORE-01の出典 attributionはDrive正本の実在S052見出し/spanへ修正済み。queue-level矛盾記録は後続Packetの誤帰属防止のため維持する。
- AUD-C01-007 / Q-C01-002: W3C PROV、Temporal、Prefect 3、A2A、OpenAI Agents SDK、意味上の Kernelの再監査と12/12 ローカル環境の requiredness testを反映。M0/C1〜C4を暫定Core profileへ昇格したが、universal minimum・標準準拠・提供元 相互運用性は未確定のまま。
PACKET_DISPOSITION: AUDIT_READY_WITH_TRACKED_UNKNOWNS
NEXT_PACKET_ACTION: CORE-02 検索・取得 / 記憶情報 / 出典との対応付けのCompilation Packetを作成し、S063 Frozen TOCのWAVE-Aを継続する。新テーマ探索へ戻らない。
実務での使い方
PACKET_ID: PKT-GEMINI-A-CORE-01-v0.1
提供元: GEMINI cycle / CROSS_PROVIDER core
TARGET_SECTION_ID: CORE-01
TARGET_SECTION_TITLE: Operating Contracts for Stateful AI
WAVE: WAVE-A
CORE_OR_PRODUCT_OR_ORG: ENTERPRISE_AI_CORE
状態: AUDIT_READY_WITH_TRACKED_UNKNOWNS
LAST_UPDATED: 2026-09-05 18:30 JST
まだ確認できていないこと
- CORE-01-CURRENTNESS
原資料の確定版から収録しています。外部根拠の最新性を今回の取込日で確認済みと扱いません。本文の未解決事項・残余制約を保持します。
根拠資料
- 研究資料研究資料
1. 根拠ID: EXT-C01-001; タイプ: 研究; 出典 / バージョン: Yao et al., “τ-bench,” arXiv:2406.12045 (2024), [
確認上の限界
元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
- 研究資料研究資料
2. EVIDENCE_ID: EXT-C01-002; TYPE: OSS_PRACTICE; 出典 / バージョン: LangGraph 状態の永続保存 docs, [
確認上の限界
元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
- 研究資料研究資料
3. EVIDENCE_ID: EXT-C01-003; TYPE: OSS_PRACTICE; 出典 / バージョン: Temporal 処理の流れ 実行 / イベント 履歴 docs, [
確認上の限界
元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
- 研究資料研究資料
3. EVIDENCE_ID: EXT-C01-003; TYPE: OSS_PRACTICE; 出典 / バージョン: Temporal 処理の流れ 実行 / イベント 履歴 docs, [https://docs.temporal.io/workflow-execution](https://docs.temp
確認上の限界
元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
- 研究資料研究資料
4. 根拠ID: EXT-C01-004; タイプ: OSSの実践; 出典/バージョン: Prefect States ドキュメント / サーバー・スキーマ, [
確認上の限界
元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
- 研究資料研究資料
4. EVIDENCE_ID: EXT-C01-004; TYPE: OSS_PRACTICE; 出典 / バージョン: Prefect States docs / server データ形式の定義, [https://docs.prefect.io/v3/concepts/states](https://docs.prefect.io/v3/conc
確認上の限界
元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
- 研究資料研究資料
5. 根拠ID: EXT-C01-005; 種別: 研究レビュー; 出典・来歴 / バージョン: Goddard, Roudsari, Wyatt, “Automation bias: a systematic review,” Int J Med Inform. 2012, [
確認上の限界
元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
- 研究資料研究資料
6. EVIDENCE_ID: EXT-C01-006; TYPE: OSS_ISSUE / FAILURE_REPORT; 出典 / バージョン: langchain-ai/langgraph #8039 (opened 2026-06-10), [
確認上の限界
元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
- 研究資料研究資料
7. 根拠ID: EXT-C01-007; タイプ: OSSの課題 / 独立した運用; 出典・来歴 / バージョン: langchain-ai/langgraph #7417 (2026-04-05に作成), [
確認上の限界
元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
- 研究資料研究資料
8. EVIDENCE_ID: EXT-C01-008; TYPE: STANDARD; 出典 / バージョン: W3C, PROV-DM, W3C Recommendation (2013), [
確認上の限界
元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
- 研究資料研究資料
9. EVIDENCE_ID: EXT-C01-009; TYPE: OPEN_STANDARD / OSS_PRACTICE; 出典 / バージョン: OpenLineage Object モデル / Core Spec 1.53.0, [
確認上の限界
元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
- 研究資料研究資料
10. 証跡ID (EVIDENCE_ID): EXT-C01-010; タイプ (TYPE): オープン標準 / プロトコル; 出典 / バージョン (出典 / バージョン): A2A Protocol Specification 1.0.0, [
確認上の限界
元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
- 研究資料研究資料
10. EVIDENCE_ID: EXT-C01-010; TYPE: OPEN_STANDARD / PROTOCOL; 出典 / バージョン: A2A Protocol Specification 1.0.0, [https://a2a-protocol.org/v1.0.0/specification/](https://a2a-proto
確認上の限界
元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
- 研究資料研究資料
11. 根拠ID: EXT-C01-011; タイプ: OSS実装ドキュメント + リリースピン; 出典・来歴 / バージョン: OpenAI Agents SDK Python v0.22.0, タグ v0.22.0, リリースコミット 4df9ecf, リリース日 2026-08-
確認上の限界
元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
- 研究資料研究資料
11. 根拠ID: EXT-C01-011; タイプ: OSS実装ドキュメント + リリースピン; 出典・来歴 / バージョン: OpenAI Agents SDK Python v0.22.0, タグ v0.22.0, リリースコミット 4df9ecf, リリース日 2026-08-
確認上の限界
元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
- 研究資料研究資料
12. EVIDENCE_ID: EXT-C01-012; TYPE: OSS_IMPLEMENTATION_DOC + RELEASE_PIN; 出典 / バージョン: Microsoft 意味上の Kernel 引継ぎ 複数工程の制御, [
確認上の限界
元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
- 研究資料研究資料
12. 根拠ID: EXT-C01-012; タイプ: OSS実装ドキュメント + リリースピン; 出典/バージョン: Microsoft 意味上の Kernel 引継ぎ 複数工程の制御, [https://learn.microsoft.com/en-us/sema
確認上の限界
元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
- 研究資料研究資料
13. 根拠ID: EXT-C01-013; タイプ: OSSの課題 / 設計上の反証; 出典・来歴 / バージョン: a2aproject/A2A #1313 (2025-12-15に作成), [
確認上の限界
元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
- 研究資料研究資料
14. EVIDENCE_ID: EXT-C01-014; TYPE: OSS_ISSUE / DESIGN_QUESTION; 出典 / バージョン: a2aproject/A2A #884 (opened 2025-07-18), [
確認上の限界
元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
- 研究資料研究資料
15. 根拠ID: EXT-C01-015; タイプ: リスクフレームワーク; 出典 / バージョン: NIST AI RMF 1.0, NIST AI 100-1 (2023), [
確認上の限界
元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
- 研究資料研究資料
16. 根拠ID: EXT-C01-016; タイプ: リスクフレームワーク; 出典 / バージョン: NIST AI RMF: Generative AI Profile, NIST AI 600-1 (2024), [
確認上の限界
元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
- 研究資料研究資料
17. EVIDENCE_ID: EXT-C01-017; TYPE: REGULATION / SCOPE_EXAMPLE; 出典 / バージョン: Regulation (EU) 2024/1689, Article 14, [
確認上の限界
元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
- 研究資料研究資料
18. 根拠ID: EXT-C01-018; タイプ: OSSの実践; 出典・来歴 / バージョン: Temporal Activity Definition docs, [
確認上の限界
元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
- 研究資料研究資料
19. EVIDENCE_ID: EXT-C01-019; TYPE: OSS_PRACTICE; 出典 / バージョン: Temporal 再試行 Policies docs, [
確認上の限界
元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
- 研究資料研究資料
20. EVIDENCE_ID: EXT-C01-020; TYPE: OSS_IMPLEMENTATION_DOC + RELEASE_PIN; 出典 / バージョン: Prefect 3.8.5 公開・提供 commit 4861750 (2026-09-03), [
確認上の限界
元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
出典ID・検証情報・機械可読データ
根拠の種類と情報の鮮度は、ラベルとアイコンで確認できます。
- 記事ID
- CORE-01
- 最終確認日
- —
- 提供元・モデル・プラン・利用環境
- —
- 対象地域
- —
元資料の全文と収録照合記録
資料の識別情報
Source SHA-256 ca5b0390700513c9230a4fc5c373af3e93209f82ed54c021e620f9ef159bf08d
Compilation Packet — CORE-01 Operating Contracts for Stateful AI
PACKET_ID: PKT-GEMINI-A-CORE-01-v0.1
PROVIDER: GEMINI cycle / CROSS_PROVIDER core
TARGET_SECTION_ID: CORE-01
TARGET_SECTION_TITLE: Operating Contracts for Stateful AI
WAVE: WAVE-A
CORE_OR_PRODUCT_OR_ORG: ENTERPRISE_AI_CORE
STATUS: AUDIT_READY_WITH_TRACKED_UNKNOWNS
LAST_UPDATED: 2026-09-05 18:30 JST
1. Scope contract
この章の仕事は、LLMを「会話を返すもの」から「状態を持つ業務に参加するもの」へ移すときに必要な最小契約を定義することである。
含む:
- 一回の応答と継続業務の区別
- state / persistence / session / checkpoint / handoff
- input contract / output contract / completion contract
- side effectの有無の宣言
- evidence / readback
- human gateの位置
- blocked / failed / paused / resumed状態
含まない:
- retrieval・memory・source bindingの詳細定義(CORE-02)
- task decompositionとpipelineの詳細(CORE-03)
- routingの選定則(CORE-04)
- side effect・undo・recoveryの詳細(CORE-05)
- human trust calibration(CORE-09)
- incident response / BCP(CORE-12)
- Gemini固有のhistory、Gem、Workspace、admin、edition、UI、上限(PM-GEMINI)
- 特定組織tenantの可否・設定・実測値(Organization Overlay)
2. Required concepts
| CONCEPT_ID | CANONICAL LABEL | SCOPE NOTE |
| C-STATE | Current task state | 次の実行判断を変える現在値。会話全文とは同一でない |
| C-PERSISTENCE | Persistence | sessionを越えてstate/artifact/evidenceを再取得できる性質 |
| C-SESSION | Session | 一続きの実行境界。task lifecycle全体とは限らない |
| C-CHECKPOINT | Checkpoint | 再開に必要なstateとartifact参照を固定した時点 |
| C-HANDOFF | Handoff | ownerまたは実行主体の変更時に責任・状態・未完了を移す契約 |
| C-IO-CONTRACT | Input / output contract | 入力のscope・権威・版と、出力artifact・形式・場所の約束 |
| C-COMPLETION-CONTRACT | Completion contract | 「完了」を判定する状態・証拠・readback条件 |
| C-SIDE-EFFECT-DECLARATION | Side-effect declaration | read/draft/write/send/delete等の外部状態変更有無の宣言 |
| C-EVIDENCE-READBACK | Evidence / readback | 実行主体の自己申告ではなく、成果物または外部最終状態で確かめること |
| C-HUMAN-GATE | Human gate | 人間の承認・判断・例外処理を置く境界 |
3. Required claim ledger
- CLAIM_ID: CLM-C01-001; CANONICAL STATEMENT: 一回の応答イベントと、継続業務のtask stateは同じものではない; EVIDENCE STATE: INTERNAL_OBSERVATION + OSS_PRACTICE; PRIMARY SUPPORT: S020; LangGraph persistence; Temporal Workflow Execution; TARGET STATUS: EVIDENCE_BOUND
- CLAIM_ID: CLM-C01-002; CANONICAL STATEMENT: stateful AI業務では、次の実行判断を変える現在値を会話本文から独立して取得できなければならない; EVIDENCE STATE: INTERNAL_OBSERVATION + OSS_PRACTICE; PRIMARY SUPPORT: S020; LangGraph checkpointer/store分離; Temporal Event History; TARGET STATUS: EVIDENCE_BOUND
- CLAIM_ID: CLM-C01-003; CANONICAL STATEMENT: input contractはtask目的だけでなく、権威あるsource、snapshot/version、許可されたscope、開始stateを含む; EVIDENCE STATE: STANDARD/OSS-supported synthesis; PRIMARY SUPPORT: S019/S020/S041/S044/S045/S049; W3C PROV-DM; OpenLineage; A2A Task model; TARGET STATUS: EVIDENCE_BOUND_WITH_SYNTHESIS
- CLAIM_ID: CLM-C01-004; CANONICAL STATEMENT: output contractは回答文ではなく、要求artifact、保存先、形式、検証方法、更新可否を定義する; EVIDENCE STATE: STANDARD/OSS-supported synthesis; PRIMARY SUPPORT: S005/S019/S040/S044/S045; OpenLineage outputs; A2A Artifact/Part model; TARGET STATUS: EVIDENCE_BOUND_WITH_SYNTHESIS
- CLAIM_ID: CLM-C01-005; CANONICAL STATEMENT: 完了はモデルの自己申告ではなく、要求artifactの存在と期待する最終状態のreadbackで判定する; EVIDENCE STATE: RESEARCH + OSS_PRACTICE; PRIMARY SUPPORT: S005; τ-bench final database state; Prefect final-state semantics; TARGET STATUS: EVIDENCE_BOUND
- CLAIM_ID: CLM-C01-006; CANONICAL STATEMENT: checkpointは完了済み・未完了・blocker・artifact location・next actionを分離して保存する; EVIDENCE STATE: INTERNAL_OBSERVATION + OSS_PRACTICE + LIMIT; PRIMARY SUPPORT: S020; LangGraph; Temporal; LangGraph issues #8039/#7417; TARGET STATUS: EVIDENCE_BOUND_WITH_LIMIT
- CLAIM_ID: CLM-C01-007; CANONICAL STATEMENT: handoffは会話要約ではなく、state、source snapshot、completed/not-done、open questions、next owner、stop condition、readback evidenceを持つ; EVIDENCE STATE: PROTOCOL/OSS-supported synthesis + limit; PRIMARY SUPPORT: S029/S041/S052; W3C PROV-DM; A2A; OpenAI Agents SDK; Semantic Kernel; TARGET STATUS: EVIDENCE_BOUND_WITH_LIMIT
- CLAIM_ID: CLM-C01-008; CANONICAL STATEMENT: side effectの有無と許可境界は実行前に宣言し、詳細な回復設計はCORE-05へ委譲する; EVIDENCE STATE: INTERNAL_OBSERVATION + OSS_FAILURE_EVIDENCE; PRIMARY SUPPORT: S018; Temporal Activity boundary; LangGraph issues #8039/#7417; TARGET STATUS: EVIDENCE_BOUND_WITH_LIMIT
- CLAIM_ID: CLM-C01-009; CANONICAL STATEMENT: human gateが存在しても、入力要約・action summary・artifact・最終状態の検証を省略できない; EVIDENCE STATE: RESEARCH-supported limitation; PRIMARY SUPPORT: S012; Goddard et al. systematic review; S018; TARGET STATUS: EVIDENCE_BOUND
- CLAIM_ID: CLM-C01-010; CANONICAL STATEMENT: blocked、failed、paused、unknownを「未完了」の一語へ潰さず、再開条件と次の安全な行動を保持する; EVIDENCE STATE: OSS_PRACTICE + reliability-derived; PRIMARY SUPPORT: Prefect state taxonomy; Temporal execution status; S029/S041/S049; TARGET STATUS: EVIDENCE_BOUND
4. Source manifest
4.1 Primary internal sources
| SOURCE_ID | SOURCE | CONTRIBUTION | EXTRACTION STATUS |
| SRC-S005 | S005 ツール実行・エージェントの反復信頼性と最終状態 | repeatability / end-state verification | EXTRACTED_FROM_DRIVE_SOURCE |
| SRC-S012 | S012 Human-in-the-Loop | human oversightの限界 | EXTRACTED_FROM_DRIVE_SOURCE |
| SRC-S018 | S018 副作用・承認・Undo・回復可能性 | side-effect declaration / approval / reversibility | EXTRACTED_FROM_DRIVE_SOURCE |
| SRC-S019 | S019 監査可能性の分解 | evidence / action trace / observability layers | EXTRACTED_FOR_CORE_01 |
| SRC-S020 | S020 Knowledge / Source-set / History / Memory / Artifact State | state taxonomy / persistence semantics | EXTRACTED_FROM_DRIVE_SOURCE |
| SRC-S029 | S029 AI Incident Management | failure state / evidence preservation / recovery transition | EXTRACTED_FOR_CORE_01 |
| SRC-S040 | S040 AI Reliability Engineering | canary / rollback / stateful operation | EXTRACTED_FOR_CORE_01 |
| SRC-S041 | S041 AI Business Continuity | checkpoint / degraded mode / resume | EXTRACTED_FOR_CORE_01 |
| SRC-S044 | S044 Prompt / Gem Configuration Management | configuration as production state | EXTRACTED_FOR_CORE_01 |
| SRC-S045 | S045 Golden Dataset / Eval Versioning | versioned acceptance contract | EXTRACTED_FOR_CORE_01 |
| SRC-S048 | S048 Index / Knowledge Map Architecture | stable IDs / provenance / change relation | PARTIALLY_EXTRACTED |
| SRC-S049 | S049 Residual UNKNOWN / TODO Registry | unknown as managed state | EXTRACTED_FOR_CORE_01 |
| SRC-S052 | S052 UNKNOWN Closure Pass X | multi-agent failure dimensions / proposed handoff packet | EXTRACTED_FOR_CORE_01 |
| SRC-S055 | S055 Three-Layer Knowledge Mapping | Core/Product/Organization separation | EXTRACTED |
| SRC-S056 | S056 Existing Book Crosswalk | P1/P5/P9 migration and chapter boundary | EXTRACTED |
| SRC-S063 | S063 Frozen TOC v0.1 | canonical scope and dependencies | EXTRACTED / FROZEN |
| SRC-HANDOFF | Work移行引継ぎ | state machine / initial execution contract | EXTRACTED |
| SRC-LOG-01 | LLM運用辞典(1).md | long-form compilation and four-agent failure observations | EXTRACTED_FOR_CONTEXT |
| SRC-LOG-02 | 運用辞典二部.md | S063 replacement and Work transition history | EXTRACTED_FOR_CONTEXT |
4.2 Bound external evidence records
- EVIDENCE_ID: EXT-C01-001; TYPE: RESEARCH; SOURCE / VERSION: Yao et al., “τ-bench,” arXiv:2406.12045 (2024), https://arxiv.org/abs/2406.12045; SUPPORTING CLAIM: 会話末のdatabase stateをgoal stateと比較し、pass^kで反復信頼性を測る。CLM-C01-005を直接支持; COUNTEREVIDENCE / LIMIT: benchmark domainとsimulated userに限定。実組織の全業務へ成功率を外挿しない; FRESHNESS: checked 2026-09-05
- EVIDENCE_ID: EXT-C01-002; TYPE: OSS_PRACTICE; SOURCE / VERSION: LangGraph Persistence docs, https://docs.langchain.com/oss/python/langgraph/persistence; SUPPORTING CLAIM: checkpointerのthread stateとstoreのcross-thread durable dataを分離。CLM-C01-001/002/006を支持; COUNTEREVIDENCE / LIMIT: framework実装例であり、Operating Contractの十分条件ではない; FRESHNESS: checked 2026-09-05
- EVIDENCE_ID: EXT-C01-003; TYPE: OSS_PRACTICE; SOURCE / VERSION: Temporal Workflow Execution / Event History docs, https://docs.temporal.io/workflow-execution ; https://docs.temporal.io/workflow-execution/event; SUPPORTING CLAIM: Event Historyはappend-onlyでdurableに保持され、失敗時は最新記録地点からreplay/resumeする。Workflow ID・Run IDを分け、Open/ClosedとRunning/Paused/Completed/Failed等を分離する; COUNTEREVIDENCE / LIMIT: deterministic replayとActivity境界が必要。履歴上のActivity完了は外部業務受入を意味せず、任意のLLM副作用を自動的にexactly-once化しない; FRESHNESS: checked 2026-09-05
- EVIDENCE_ID: EXT-C01-004; TYPE: OSS_PRACTICE; SOURCE / VERSION: Prefect States docs / server schema, https://docs.prefect.io/v3/concepts/states ; https://docs.prefect.io/v3/api-ref/python/prefect-server-schemas-states; SUPPORTING CLAIM: state name/type/terminal性を分け、Scheduled/Running/Paused/Failed/Crashed/Completed等を別状態で扱う。stateのdata/resultはartifact側へ分離され得る。CLM-C01-010を支持; COUNTEREVIDENCE / LIMIT: PrefectのCOMPLETEDは関数return semanticsであり、flow内task失敗やartifactの業務正しさを単独では保証しない; FRESHNESS: checked 2026-09-05
- EVIDENCE_ID: EXT-C01-005; TYPE: RESEARCH_REVIEW; SOURCE / VERSION: Goddard, Roudsari, Wyatt, “Automation bias: a systematic review,” Int J Med Inform. 2012, https://pmc.ncbi.nlm.nih.gov/articles/PMC3240751/; SUPPORTING CLAIM: automation biasが複数分野で比較的頑健に観測され、人間確認の存在だけでは誤助言追随を排除できない。CLM-C01-009を支持; COUNTEREVIDENCE / LIMIT: 医療DSS中心で、現代LLM業務UIへ効果量を直接移植しない; FRESHNESS: checked 2026-09-05
- EVIDENCE_ID: EXT-C01-006; TYPE: OSS_ISSUE / FAILURE_REPORT; SOURCE / VERSION: langchain-ai/langgraph #8039 (opened 2026-06-10), https://github.com/langchain-ai/langgraph/issues/8039; SUPPORTING CLAIM: crash recovery時にnode side effectが二重化した再現例。checkpointだけではidempotencyを保証しない; COUNTEREVIDENCE / LIMIT: open issueの報告であり、全version・全hostの一般挙動とは断定しない; FRESHNESS: checked 2026-09-05
- EVIDENCE_ID: EXT-C01-007; TYPE: OSS_ISSUE / INDEPENDENT_OPERATION; SOURCE / VERSION: langchain-ai/langgraph #7417 (opened 2026-04-05), https://github.com/langchain-ai/langgraph/issues/7417; SUPPORTING CLAIM: 約180秒超のtool callがcheckpointから再配信され、重複実行・費用増となった実運用報告; COUNTEREVIDENCE / LIMIT: LangGraph Cloud/特定構成の報告。再現範囲を限定する; FRESHNESS: checked 2026-09-05
- EVIDENCE_ID: EXT-C01-008; TYPE: STANDARD; SOURCE / VERSION: W3C, PROV-DM, W3C Recommendation (2013), https://www.w3.org/TR/prov-dm/; SUPPORTING CLAIM: entity/activity/agent、usage/generation/derivation、responsibility、delegation、plan、timeを区別し、input/output lineageと責任主体の基礎を与える。CLM-C01-003/004/007を部分支持; COUNTEREVIDENCE / LIMIT: domain-agnostic provenance modelであり、業務上の完了条件、許可scope、handoff受領を規定しない; FRESHNESS: checked 2026-09-05
- EVIDENCE_ID: EXT-C01-009; TYPE: OPEN_STANDARD / OSS_PRACTICE; SOURCE / VERSION: OpenLineage Object Model / Core Spec 1.53.0, https://openlineage.io/docs/spec/object-model/; SUPPORTING CLAIM: Job、Run、input/output Dataset、START/COMPLETE/FAIL/ABORT、source location/versionを分離。実行同定とinput/output lineageを支持; COUNTEREVIDENCE / LIMIT: pipeline observabilityのschemaであり、COMPLETEはbusiness acceptanceやartifact qualityを保証しない; FRESHNESS: checked 2026-09-05
- EVIDENCE_ID: EXT-C01-010; TYPE: OPEN_STANDARD / PROTOCOL; SOURCE / VERSION: A2A Protocol Specification 1.0.0, https://a2a-protocol.org/v1.0.0/specification/ ; repository release v1.0.1 (3303592, 2026-05-26), https://github.com/a2aproject/A2A/releases/tag/v1.0.1; SUPPORTING CLAIM: Task ID、context ID、status/state/timestamp、artifact、history、metadataを定義し、GetTaskはstatus/artifacts/historyを分けて返す。Messagesはstatus/clarification用で、task outputはArtifactsへ置くことを推奨する。CLM-C01-003/004/007を部分支持; COUNTEREVIDENCE / LIMIT: historyは任意で全message保存・再配送を保証せず、critical informationの信頼できる配送路とみなせない。v1.0.1はTaskStatus値・HTTP binding等の修正のみで、source authority・business acceptance・receiptは規定しない; FRESHNESS: checked 2026-09-05
- EVIDENCE_ID: EXT-C01-011; TYPE: OSS_IMPLEMENTATION_DOC + RELEASE_PIN; SOURCE / VERSION: OpenAI Agents SDK Python v0.22.0, tag v0.22.0, release commit 4df9ecf, released 2026-08-19, https://github.com/openai/openai-agents-python/releases ; Handoffs docs, https://openai.github.io/openai-agents-python/handoffs/; SUPPORTING CLAIM: handoff()はrecipient、typed input_type、input_filter、on_handoff、is_enabled、history nesting等を設定できる実装例。v0.22.0 releaseはcheckpoint usage isolationとhandoff graph expansionも記録する; COUNTEREVIDENCE / LIMIT: 実装が渡すpayload/routingと、source authority、completed/not-done、scope認可、receiver receipt、business readbackは別契約。release pinは実装snapshotの識別で、全機能の導入versionやCore充足を意味しない; FRESHNESS: release/docs checked 2026-09-05
- EVIDENCE_ID: EXT-C01-012; TYPE: OSS_IMPLEMENTATION_DOC + RELEASE_PIN; SOURCE / VERSION: Microsoft Semantic Kernel Handoff Orchestration, https://learn.microsoft.com/en-us/semantic-kernel/frameworks/agent/agent-orchestration/handoff ; repository Python tag python-1.44.1, release commit 6e10225, released 2026-08-06; comparison .NET tag dotnet-1.80.1, commit d8ec449, released 2026-09-03, https://github.com/microsoft/semantic-kernel/releases; SUPPORTING CLAIM: OrchestrationHandoffsでsource→targetと条件説明を定義し、response/human callbackとruntimeを別に持つ。Python/.NETのmaintained implementation snapshotを固定する; COUNTEREVIDENCE / LIMIT: docs自身がAgent Orchestrationをexperimentalと明記。routing、callback、runtimeはsource snapshot、completed/not-done、scope、receipt、business readbackを自動付与しない; FRESHNESS: release/docs checked 2026-09-05
- EVIDENCE_ID: EXT-C01-013; TYPE: OSS_ISSUE / DESIGN_COUNTEREVIDENCE; SOURCE / VERSION: a2aproject/A2A #1313 (opened 2025-12-15), https://github.com/a2aproject/A2A/issues/1313; SUPPORTING CLAIM: MessageとArtifactの境界が曖昧で実装が分岐するというmaintainer ecosystem内の問題提起; COUNTEREVIDENCE / LIMIT: closed/consolidated proposalであり、全A2A implementationの不具合を意味しない; FRESHNESS: checked 2026-09-05
- EVIDENCE_ID: EXT-C01-014; TYPE: OSS_ISSUE / DESIGN_QUESTION; SOURCE / VERSION: a2aproject/A2A #884 (opened 2025-07-18), https://github.com/a2aproject/A2A/issues/884; SUPPORTING CLAIM: supervisor/clientとserverのどちらがcontext IDを管理するかという実装上の不明瞭さを示す; COUNTEREVIDENCE / LIMIT: 未解決相談を規範としない。context ownershipを契約で明示すべき理由としてのみ使う; FRESHNESS: checked 2026-09-05
- EVIDENCE_ID: EXT-C01-015; TYPE: RISK_FRAMEWORK; SOURCE / VERSION: NIST AI RMF 1.0, NIST AI 100-1 (2023), https://doi.org/10.6028/NIST.AI.100-1; SUPPORTING CLAIM: riskを影響と可能性で捉え、優先度をcontextに応じて変え、最高riskでは安全に停止する。human gate強度のdecision dimensionsを支持; COUNTEREVIDENCE / LIMIT: frameworkはrisk toleranceを規定せず、組織・分野・use case固有と明記する。普遍的な金額・人数閾値の根拠にはしない; FRESHNESS: checked 2026-09-05
- EVIDENCE_ID: EXT-C01-016; TYPE: RISK_FRAMEWORK; SOURCE / VERSION: NIST AI RMF: Generative AI Profile, NIST AI 600-1 (2024), https://doi.org/10.6028/NIST.AI.600-1; SUPPORTING CLAIM: risk tier、deployment approval threshold、human oversight roles、human/automated evaluation、停止計画を組織risk toleranceへ結ぶ; COUNTEREVIDENCE / LIMIT: suggested actionsであり一律必須値ではない。閾値は組織が定義・再評価する; FRESHNESS: checked 2026-09-05
- EVIDENCE_ID: EXT-C01-017; TYPE: REGULATION / SCOPE_EXAMPLE; SOURCE / VERSION: Regulation (EU) 2024/1689, Article 14, https://eur-lex.europa.eu/eli/reg/2024/1689/oj; SUPPORTING CLAIM: high-risk AIのoversightをrisk、autonomy、contextに比例させ、能力/限界理解、automation bias認識、override/reverse、安全停止を求める具体例; COUNTEREVIDENCE / LIMIT: EU法のhigh-risk対象へ限る。Article 14(5)の二人確認は限定類型であり、全企業AI taskの普遍条件へ拡張しない; FRESHNESS: checked 2026-09-05
- EVIDENCE_ID: EXT-C01-018; TYPE: OSS_PRACTICE; SOURCE / VERSION: Temporal Activity Definition docs, https://docs.temporal.io/activity-definition; SUPPORTING CLAIM: Activityの外部requestにはWorkflow Run ID + Activity IDをidempotency keyとして使える。retry attempt間で安定し、実行間で一意になるため、C3のretry/idempotency条件を具体化する; COUNTEREVIDENCE / LIMIT: TemporalはActivityを複数回実行し得る。observed as completed exactly onceでも部分処理が複数回起こり得るため、外部sinkのdedup/readbackは別途必要; FRESHNESS: checked 2026-09-05
- EVIDENCE_ID: EXT-C01-019; TYPE: OSS_PRACTICE; SOURCE / VERSION: Temporal Retry Policies docs, https://docs.temporal.io/encyclopedia/retry-policies; SUPPORTING CLAIM: Activityは既定でretry policyを持つ一方、Workflow Executionは既定でretryしない。失敗しやすいAPI/LLM呼出しはActivityへ置くという実装境界を示す; COUNTEREVIDENCE / LIMIT: 既定値やpolicyはworkflow設計で上書き可能。retry設定の存在だけでは業務上のidempotency、authorization、readbackを保証しない; FRESHNESS: checked 2026-09-05
- EVIDENCE_ID: EXT-C01-020; TYPE: OSS_IMPLEMENTATION_DOC + RELEASE_PIN; SOURCE / VERSION: Prefect 3.8.5 release commit 4861750 (2026-09-03), https://github.com/PrefectHQ/prefect/releases ; state schema/docs, https://docs.prefect.io/v3/concepts/states; SUPPORTING CLAIM: 現行3.xのstateはrich objectで、typeがorchestration logic、nameが表示用、terminal判定とresult/artifact参照を別に持つ。実装releaseも再監査用にpinした; COUNTEREVIDENCE / LIMIT: 3.8.5はPrefect実装snapshotであり、LLM業務artifactの内容・source authority・business acceptanceを保証しない。stateがCompletedでも別taskの失敗や受入不成立を隠し得る; FRESHNESS: checked 2026-09-05
4.3 Direct extraction from the S-log
| SOURCE_ID | DIRECTLY EXTRACTED PROPOSITION | BOUND CLAIMS | BOUNDARY |
| SRC-S005 | 一度の成功ではなくfinal system stateと反復成功を測る。first-pass、pass^k、unauthorized action、partial/silent failure、idempotencyを分離する | 005, 008 | S005の数値はτ-bench等の対象domainに限定 |
| SRC-S012 | Human-in-the-LoopをApproval、Verification、Correction、Exception Handling、Goal/Policy Setting、Incident Responseへ分解する | 009 | 人間監督が常に悪化するとはしない。効果はtask/UI/workload依存 |
| SRC-S018 | action controlをpreview、pre-action confirmation、policy approval、post-action undo、external repair、irreversible/partialへ時間軸分解する | 003, 008, 009 | Gemini固有のCalendar/Tasks/Keep/Studio capabilityはPM-GEMINIへ送る |
| SRC-S020 | conversation history、artifact state、source-set、knowledge、external state store、personal memoryを別mechanismとして扱う | 001, 002, 003, 006, 007 | Gemini固有のmemory/Project/Gem availabilityはPM-GEMINIへ送る |
| SRC-S019 | auditをadoption、conversation、source/retrieval、action/tool、external-stateへ分解。run ID、actor/surface/config版、declared/evidenced source、input/artifact版、requested/executed action、before/after、approval、test、incident、rollbackをexecution envelope候補とする | 003, 004, 005, 007, 008 | Gemini Reports/Vault/DLP等の製品実装はPM-GEMINI。取得不能traceを推測で生成しない |
| SRC-S029 | incident lifecycleでcontainment前後のstateとevidenceを保存し、recoveryを再現test・関連workflow regression・staged restartで検証。root causeをFACT/SUPPORTED/PLAUSIBLE/UNKNOWNへ分離 | 005, 006, 007, 008, 010 | incident taxonomy・severity weightの詳細はCORE-12。ここではstate/evidence transitionだけ採る |
| SRC-S040 | modelだけでなくprompt/source/permission/tool/eval/state schema/observabilityをrelease componentとして扱い、known-good manifest、stop condition、owner、rollback/fallbackを記録 | 003, 004, 005, 006, 008 | canary/SLO/error budgetとrelease engineeringの詳細はCORE-10/CORE-06へ委譲 |
| SRC-S041 | provider failover用state packetにgoal/phase/completed/pending/rejected decisions/constraints/source versions/last verified output/open incidents/action boundaries/owner/next action/freshnessを外部化 | 002, 003, 006, 007, 010 | outage/fallback/RTO/RPOの詳細はCORE-12。provider固有statusはPMへ送る |
| SRC-S044 | prompt単体でなくsource/model/tool/permission/schema/policy/evalを複合configuration releaseとし、snapshot/diff/identity/lineage/role/eval link/rollback/reconstructionを保持 | 003, 004, 006, 007 | Gemini Gem/Vertexの具体versioning availabilityはPM-GEMINI。外部registry利用可否はORG |
| SRC-S045 | acceptance結果はdataset/task distribution/expectation/scorer/judge/rubric/target config/source snapshot/environment/pass policyの版に依存。runtime successとeval error/stale test/business passを分離 | 004, 005, 010 | eval system全体はCORE-07。ここではcompletion contractへのversioned参照を採る |
| SRC-S049 | UNKNOWNを公開schema限界、環境確認要、実機試験要、volatile再確認、不可避provenance限界等へ分け、evidence、freshness、owner、next test、closure criterionを持つ | 003, 006, 007, 010 | 個々のGemini UNKNOWNはPM/ORGへ送り、Coreには管理状態schemaだけを残す |
| SRC-S052 | 実在見出しはUNKNOWN Closure Pass X。multi-agent項でhandoff completeness/state loss/duplicate work/stale propagation/unowned task/termination agreementを測定対象とし、TASK_IDからREADBACK_EVIDENCEまでのhandoff packetを提案 | 006, 007, 010 | S063内の「Book Integration Map」という説明は誤っているため採らず、Drive正本paragraph 8048–8067の実在内容へ帰属する |
5. Counterevidence and limits
| ID | COUNTEREVIDENCE / LIMIT | EFFECT ON CLAIM |
| CE-C01-001 | 会話履歴、memory、長文context、providerのproject機能が一部stateを保持する場合がある | 「会話はstateにならない」と全否定しない。明示的再取得・更新・検証可能性が不足する場合を区別する |
| CE-C01-002 | 短いread-only taskでは外部ledgerやcheckpointが運用負荷を上回り得る | risk・duration・side-effect・handoff有無によって契約強度を段階化する |
| CE-C01-003 | human approvalはautomation bias、warning fatigue、approval deceptionで形骸化し得る | human gateを最終保証とせず、trusted summaryとreadbackを併置する |
| CE-C01-004 | 外部workflow engineを使っても、source snapshotやartifact semanticsが誤れば正しい状態機械にならない | orchestrationの存在とoperating contractの充足を分ける |
| CE-C01-005 | checkpoint/replay実装でも、crash境界や長時間tool callでside effectが重複する報告がある | checkpointをexactly-once保証とみなさず、idempotency key、deduplication、before/after readbackを要求する |
| CE-C01-006 | workflow frameworkのCOMPLETEDは、関数が例外なくreturnしたことを指し、業務成果の正しさと一致しない場合がある | runtime stateとbusiness acceptance stateを二層化する |
| CE-C01-007 | PROV、OpenLineage、A2Aはそれぞれprovenance、pipeline lineage、agent interoperabilityを扱うが、単独でOperating Contractの十分条件を定義しない | 標準fieldをそのまま転記せず、標準由来fieldと辞典の合成fieldを識別する |
| CE-C01-008 | A2A issue #1313ではMessageとArtifactの意味境界が曖昧で、同じ結果が複数shapeに実装され得る | 「artifact配列がある」だけでhandoff成功とせず、成果物のdurability、ID、type、version、location、acceptanceを契約する |
| CE-C01-009 | A2A仕様はtask historyが任意で、一部messageが保存・再配送されないことを明記する | critical stateを会話historyだけへ埋め込まず、first-class fieldまたはversioned artifact参照にする |
| CE-C01-010 | A2Aのcontext ID ownershipには公開issueで実装上の疑問が残る | task ID、context ID、run IDを同一視せず、生成主体とauthorityを実装profileで明記する |
6. UNKNOWN register
- UNKNOWN_ID: UNK-C01-001; QUESTION: あらゆるstateful AI業務に共通する最小Operating Contract fieldはどこまでか; WHY IT MATTERS: fieldを増やしすぎず再開・監査を成立させる; CURRENT EVIDENCE: S020/S052、W3C PROV、OpenLineage 1.53.0、A2A、OpenAI Agents SDK、Semantic Kernelに部分集合。普遍的十分条件は未発見; CLOSURE ROUTE: 未抽出S019/S029/S041/S044/S045/S049→schema v0.2の模擬task比較→他provider実装で反証; TEMPORARY POLICY: schema v0.2を標準由来/合成/条件付きへ分け、最小性は閉じない
- UNKNOWN_ID: UNK-C01-002; QUESTION: checkpoint/handoff completenessをprovider-neutralに測る最小testは何か; WHY IT MATTERS: provider比較と長期task回帰に必要; CURRENT EVIDENCE: S052、四院失敗観測、workflow OSS、A2A、公開issueに加え、local mockでclean-process blind resume、history欠落、commit後crash、dedup retry、receipt、readbackを6/6 PASS; CLOSURE ROUTE: 同じtest profileをGemini/GPT/Claude/Grokおよび実workflow engineで再実行; TEMPORARY POLICY: Core testのlocal baselineは確定。provider/runtime適合はProduct Mappingで閉じるまで残す
- UNKNOWN_ID: UNK-C01-003; QUESTION: human gateをどのrisk classで必須にするか; WHY IT MATTERS: 承認過多と事故防止の両立; CURRENT EVIDENCE: S012/S018/S025/S051/S054、automation-bias review、NIST AI RMF 1.0/GAI Profile、EU AI Act Article 14; CLOSURE ROUTE: CORE-05でside-effect classを精緻化し、sector ruleと組織risk toleranceへmapping; TEMPORARY POLICY: Coreはrisk/autonomy/context、影響、可逆性、不確実性、外部scopeをdecision dimensionsとして固定。数値・業種・承認者閾値はORG/専門章へ
7. Product volatility boundary
CORE-01には固定値のPRODUCT_VOLATILE claimを置かない。次はPM-GEMINIへ送る。
- Geminiの会話履歴、memory、Gems、Workspace side panel等の具体的state/persistence
- model名、context/file上限、UI、rollout、edition
- background execution、automation、agent/action、approval UI
- native audit event、retention、export、version history
Organization固有の「AI Studio / Workspace Studio / NotebookLMがblocked」等はORG-01/ORG-05へ送り、Google製品一般の非対応へ昇格しない。
8. Operating Contract schema v0.2
SOURCE BASISはfieldの由来を示す。STANDARD-BASEDは標準と同じ概念を持つこと、CORE SYNTHESISは複数sourceと失敗観測から本辞典が要求することを意味する。前者も標準準拠を自動認定する表示ではない。
- GROUP: Identity; FIELD: CONTRACT_VERSION; REQUIRED WHEN: 全materialized contract(OC-0を含む); MEANING: schemaとpolicyの版。旧fixtureでOC-1へ寄せていたが、契約そのものを識別するため全tier必須へ修正; SOURCE BASIS: CORE SYNTHESIS + re-audit
- GROUP: Identity; FIELD: TASK_ID; REQUIRED WHEN: OC-2以上、または非同期task; MEANING: lifecycleを通じて不変の仕事ID; SOURCE BASIS: A2A / CORE SYNTHESIS
- GROUP: Identity; FIELD: RUN_ID; REQUIRED WHEN: retry、再実行、side effect、監査対象; MEANING: 同じtask内の実行attemptを識別; SOURCE BASIS: OpenLineage
- GROUP: Identity; FIELD: CONTEXT_ID; REQUIRED WHEN: 複数task/messageを同一文脈へ束ねる時; MEANING: task間文脈の識別子と生成主体; SOURCE BASIS: A2A + CORE SYNTHESIS
- GROUP: Identity; FIELD: EXECUTION_ACTOR; REQUIRED WHEN: 監査対象、handoff、external action; MEANING: 実行agent/model/surface/account/roleを識別; SOURCE BASIS: W3C Agent + S019
- GROUP: Identity; FIELD: RUN_TIME_WINDOW; REQUIRED WHEN: 非同期、監査、side effect、incident; MEANING: runの開始・終了・観測時刻; SOURCE BASIS: W3C time / OpenLineage + S019
- GROUP: Configuration; FIELD: CONFIG_RELEASE_REF; REQUIRED WHEN: prompt/source/model/tool/schema/policyが版管理される時; MEANING: 複合実行構成のrelease IDまたはmanifest参照; SOURCE BASIS: S040/S044
- GROUP: Intent; FIELD: OBJECTIVE; REQUIRED WHEN: 全task; MEANING: 何を変える、作る、判断する仕事か; SOURCE BASIS: W3C Plan + CORE SYNTHESIS
- GROUP: Intent; FIELD: COMPLETION_CRITERIA; REQUIRED WHEN: 全materialized task; MEANING: 観測可能なbusiness acceptance条件。OC-0では回答存在・scope等の軽量条件でよい; SOURCE BASIS: CORE SYNTHESIS
- GROUP: Intent; FIELD: ACCEPTANCE_CONTRACT_REF; REQUIRED WHEN: 反復eval、release gate、複数verifier; MEANING: dataset/scorer/rubric/pass policy/source snapshot等の版ed contract; SOURCE BASIS: S045
- GROUP: Control; FIELD: ALLOWED_ACTIONS; REQUIRED WHEN: 全task; MEANING: read/draft/write/send/delete等の許可境界; SOURCE BASIS: CORE SYNTHESIS
- GROUP: Control; FIELD: PROHIBITED_ACTIONS; REQUIRED WHEN: 全task; MEANING: 明示的に行ってはならない操作; SOURCE BASIS: CORE SYNTHESIS
- GROUP: Control; FIELD: AUTHORIZATION_SCOPE; REQUIRED WHEN: 外部tool、非read action、trust boundary、agent handoff; MEANING: principal、resource、operation、期限、承認条件; SOURCE BASIS: A2A security + CORE SYNTHESIS
- GROUP: Control; FIELD: SIDE_EFFECT_PROFILE; REQUIRED WHEN: 外部stateを変えるtask; MEANING: primary/secondary effect、commit point、reversibility、blast radius; SOURCE BASIS: S018/S029 + CORE SYNTHESIS
- GROUP: Control; FIELD: RETRY_IDEMPOTENCY_POLICY; REQUIRED WHEN: retry可能なside effect。Temporal Activityはat-least-onceになり得るためC3で必須; MEANING: retry単位、idempotency key/dedup、reconciliation、上限; SOURCE BASIS: S005/S018/S041 + EXT-C01-018/019
- GROUP: Input; FIELD: AUTHORITATIVE_INPUTS; REQUIRED WHEN: source-backed task、またはOC-1以上のartifact task。外部sourceなしは明示的な空集合/NOT_APPLICABLE; MEANING: 正本entity/sourceと対象scope; SOURCE BASIS: W3C Entity/Usage + CORE SYNTHESIS
- GROUP: Input; FIELD: SOURCE_AUTHORITY_RULE; REQUIRED WHEN: source衝突・複数版が起こり得る時; MEANING: どのsource/versionを優先するか; SOURCE BASIS: CORE SYNTHESIS
- GROUP: Input; FIELD: INPUT_ENTITY_VERSION_SNAPSHOT; REQUIRED WHEN: mutable source、またはOC-2以上で外部sourceを使う時; MEANING: entity ID、version/hash/revision、取得時点; SOURCE BASIS: W3C PROV / OpenLineage
- GROUP: State; FIELD: CURRENT_STATE; REQUIRED WHEN: OC-2以上; MEANING: 次の実行判断を変える現在値; SOURCE BASIS: A2A TaskStatus + workflow practice
- GROUP: State; FIELD: RUNTIME_STATUS; REQUIRED WHEN: 非同期、workflow/agent実行; MEANING: submitted/working/failed等の実行状態; SOURCE BASIS: A2A / OpenLineage
- GROUP: State; FIELD: BUSINESS_ACCEPTANCE_STATUS; REQUIRED WHEN: artifactまたは外部stateを受け入れるtask。対象外はNOT_APPLICABLEを明示; MEANING: verifying/accepted/rejected等の業務受入状態; SOURCE BASIS: CORE SYNTHESIS + EXT-C01-004/020
- GROUP: Output; FIELD: EXPECTED_ARTIFACTS; REQUIRED WHEN: artifactを作るtask; MEANING: 成果物の役割と期待数; SOURCE BASIS: OpenLineage / A2A + CORE SYNTHESIS
- GROUP: Output; FIELD: ARTIFACT_DESCRIPTOR; REQUIRED WHEN: artifactを作るtask; MEANING: ID、type、format/media type、location、version/hash; SOURCE BASIS: A2A Part/Artifact + W3C Entity
- GROUP: Output; FIELD: OUTPUT_LINEAGE; REQUIRED WHEN: source変換・合成・監査対象; MEANING: generated-by、derived-from、responsible agent/run; SOURCE BASIS: W3C PROV / OpenLineage
- GROUP: Output; FIELD: UPDATE_MODE; REQUIRED WHEN: 既存artifactを変更する時; MEANING: create/append/replace/supersedeと上書き可否; SOURCE BASIS: CORE SYNTHESIS
- GROUP: Verification; FIELD: EXECUTION_EVIDENCE; REQUIRED WHEN: OC-3以上、監査対象、incident、cross-boundary handoff; MEANING: declared/evidenced source、requested/executed action、trace、before/after; SOURCE BASIS: S019/S029
- GROUP: Verification; FIELD: APPROVAL_EVIDENCE; REQUIRED WHEN: human gateがある時; MEANING: approver、対象critical fields、decision、時刻、条件; SOURCE BASIS: S019/S044 + CORE SYNTHESIS
- GROUP: Verification; FIELD: READBACK_EVIDENCE; REQUIRED WHEN: artifactまたは外部stateを変えるtask; MEANING: 検証方法、観測値、時点、verifier; SOURCE BASIS: CORE SYNTHESIS; τ-bench practice
- GROUP: Progress; FIELD: CHECKPOINT_ID_TIME; REQUIRED WHEN: session越え、retry、handoff; MEANING: 再開地点、version、確定時刻; SOURCE BASIS: workflow practice + W3C time
- GROUP: Progress; FIELD: COMPLETED_UNITS; REQUIRED WHEN: OC-2以上; MEANING: 受入済みのbounded unitsと証拠; SOURCE BASIS: CORE SYNTHESIS
- GROUP: Progress; FIELD: NOT_DONE; REQUIRED WHEN: OC-2以上; MEANING: 未着手・未完成・検証待ち; SOURCE BASIS: CORE SYNTHESIS
- GROUP: Progress; FIELD: DECISIONS_AND_REJECTED_ALTERNATIVES; REQUIRED WHEN: 過去判断が次の選択を制約する時; MEANING: 採否、理由、根拠。却下案の無限再提案を防ぐ; SOURCE BASIS: S041 + CORE SYNTHESIS
- GROUP: Progress; FIELD: OPEN_UNKNOWNS; REQUIRED WHEN: 不明点がある時。無い場合も空集合を記録; MEANING: 未確定事項、影響、closure route; SOURCE BASIS: CORE SYNTHESIS
- GROUP: Progress; FIELD: BLOCKERS; REQUIRED WHEN: 全OC-2以上(blockerなしも空集合を記録); MEANING: 原因のevidence、影響、解除条件、迂回可否; SOURCE BASIS: CORE SYNTHESIS
- GROUP: Handoff; FIELD: HANDOFF_FROM; REQUIRED WHEN: owner/control transfer; MEANING: 渡し手とそのrole; SOURCE BASIS: W3C Agent/Delegation + CORE SYNTHESIS
- GROUP: Handoff; FIELD: NEXT_OWNER; REQUIRED WHEN: owner/control transfer; MEANING: 受け手と必要capability; SOURCE BASIS: agent SDK practice + CORE SYNTHESIS
- GROUP: Handoff; FIELD: HANDOFF_REASON; REQUIRED WHEN: owner/control transfer; MEANING: なぜ、どの条件で移すか; SOURCE BASIS: OpenAI Agents SDK typed input example
- GROUP: Handoff; FIELD: HISTORY_POINTER_OR_CURATED_HISTORY; REQUIRED WHEN: 過去interactionが次判断を変える時; MEANING: 必要部分へのversioned参照。全文転送を既定にしない; SOURCE BASIS: A2A + CORE SYNTHESIS
- GROUP: Handoff; FIELD: HANDOFF_RECEIPT; REQUIRED WHEN: trust boundary、非同期、high-impact。単一process内の低risk transferはNOT_APPLICABLEを明示; MEANING: 受け手がtask ID、snapshot、artifact、scopeを検証した記録; SOURCE BASIS: CORE SYNTHESIS + A2A delivery limit
- GROUP: Continuation; FIELD: NEXT_ACTION; REQUIRED WHEN: OC-2以上; MEANING: 次回が再説明なしで実行できる一手; SOURCE BASIS: CORE SYNTHESIS
- GROUP: Continuation; FIELD: STOP_CONDITION; REQUIRED WHEN: 全task; MEANING: 完了、停止、承認要求、escalation条件; SOURCE BASIS: CORE SYNTHESIS
- GROUP: Continuation; FIELD: RECOVERY_OR_FALLBACK_REF; REQUIRED WHEN: continuity要件、OC-3以上、business critical; MEANING: 回復、degraded/manual routeと失われるcapabilityへの参照; SOURCE BASIS: S029/S040/S041
- GROUP: Evidence; FIELD: EVIDENCE_LABELS; REQUIRED WHEN: 全materialized contract; MEANING: observed/spec/research/inference/unknown等; SOURCE BASIS: CORE SYNTHESIS
- GROUP: Evidence; FIELD: LAST_UPDATED; REQUIRED WHEN: OC-2以上; MEANING: state freshnessと更新主体; SOURCE BASIS: W3C time + CORE SYNTHESIS
8.1 Field-source crosswalk audit
- OPERATIONAL NEED: input/output由来; W3C PROV: entity、usage、generation、derivation、agent責任; OpenLineage 1.53.0: Job/Runとinput/output Dataset、source version; Temporal: Event History上のcommand/activity結果; Prefect 3: state data/resultはartifact側へ分離され得る; A2A spec 1.0.0: artifactとpartは持つがsource authorityは自由metadata; Agent/workflow OSS handoff: framework依存; CORE-01 DECISION: entity/version/lineageをfirst-class化し、authority ruleは合成field
- OPERATIONAL NEED: task/run/context識別; W3C PROV: activity/agent IDは表せる; OpenLineage 1.53.0: job namespace/name、run ID; Temporal: Workflow ID、Namespace、Run ID; Prefect 3: flow/task runとstate history; A2A spec 1.0.0: task ID、context ID; Agent/workflow OSS handoff: agent/transfer target; CORE-01 DECISION: TASK/RUN/CONTEXTを別IDにし、必要条件を分ける
- OPERATIONAL NEED: 実行状態; W3C PROV: activity start/end; OpenLineage 1.53.0: STARTとterminal events; Temporal: Open/Closed、Running/Paused/Completed/Failed、append-only event; Prefect 3: state name/type/terminal、Scheduled/Running/Failed/Crashed等; A2A spec 1.0.0: detailed TaskStateとtimestamp; Agent/workflow OSS handoff: routing/control transfer + runtime; CORE-01 DECISION: RUNTIME_STATUSとして採用するがbusiness acceptanceと分離
- OPERATIONAL NEED: 成果物; W3C PROV: entityとして表現可能; OpenLineage 1.53.0: output Dataset; Temporal: workflow result/eventは業務artifactを定義しない; Prefect 3: state result/dataをartifact tableへ置ける; A2A spec 1.0.0: Artifact、Part、media type、filename/URL; Agent/workflow OSS handoff: message/contextとdurable storeの実装差; CORE-01 DECISION: ARTIFACT_DESCRIPTORをdurable output契約にする
- OPERATIONAL NEED: plan/objective; W3C PROV: Plan entityとactivity association; OpenLineage 1.53.0: job metadata/documentation; Temporal: workflow definition/commands; Prefect 3: flow/task function definition; A2A spec 1.0.0: task metadataへ拡張可能; Agent/workflow OSS handoff: handoff description/tool schema; CORE-01 DECISION: OBJECTIVEは必須、plan/procedure参照は必要時にinputへ含める
- OPERATIONAL NEED: authorization; W3C PROV: responsibility/delegationは表せる; OpenLineage 1.53.0: 観測schemaが中心; Temporal: Activity実装側の認可へ委譲; Prefect 3: task/flow stateは認可scopeを規定しない; A2A spec 1.0.0: auth/security schemeはある; Agent/workflow OSS handoff: enablement/filter/callbackはあるがfield値認可は別途必要; CORE-01 DECISION: AUTHORIZATION_SCOPEを合成fieldとして保持
- OPERATIONAL NEED: completion/acceptance; W3C PROV: domain acceptanceは規定外; OpenLineage 1.53.0: terminal run state; Temporal: Workflow/Activity terminalはbusiness acceptanceでない; Prefect 3: return値でCompletedになり得る; A2A spec 1.0.0: completed terminal state; Agent/workflow OSS handoff: transfer成功は成果受入と別; CORE-01 DECISION: runtimeとbusiness acceptanceを二層化しreadback必須
- OPERATIONAL NEED: retry/idempotency; W3C PROV: 規定外; OpenLineage 1.53.0: run eventの観測; Temporal: Activityはretryされ得て、Run ID+Activity ID keyを推奨; Prefect 3: retry/state historyは業務dedupを保証しない; A2A spec 1.0.0: protocolはpolicyを規定しない; Agent/workflow OSS handoff: framework/toolごとに異なる; CORE-01 DECISION: C3でretry policy、dedup、readbackを必須化
- OPERATIONAL NEED: handoff completeness; W3C PROV: communication/delegationは表せる; OpenLineage 1.53.0: owner transferは中心外; Temporal: child workflow/signalは責任移管の業務packetでない; Prefect 3: callback/runtimeは移送・受領を規定しない; A2A spec 1.0.0: status/artifacts/history/metadata; Agent/workflow OSS handoff: typed input、filter、reason、target、directed edges; CORE-01 DECISION: completed/not-done/unknowns/receiptを合成し、標準だけで十分としない
- OPERATIONAL NEED: critical history; W3C PROV: bundle/collectionは表せる; OpenLineage 1.53.0: additive event観測; Temporal: Event HistoryはdurableだがMemoはcritical stateに不適; Prefect 3: state historyは観測用でbusiness sourceではない; A2A spec 1.0.0: historyは任意で全message保存を保証しない; Agent/workflow OSS handoff: input filter/history nestingが可能; CORE-01 DECISION: critical stateをhistory外のfirst-class fieldへ置く
このcrosswalkでCLM-C01-003/004/007の構成要素は外部schemaへ部分的に結び付いた。ただし、どの標準も本章の全fieldを規定していないため、EVIDENCE_BOUNDではなくWITH_SYNTHESISまたはWITH_LIMITを維持する。UNK-C01-001は未解決である。
8.1.1 Requiredness re-audit (2026-09-05)
今回の再監査では、標準のfield存在をそのまま「全task必須」と数えず、契約をmaterializeする最低限(M0)と、業務形状が発生した時だけ必須となる条件付き集合(C1〜C4)へ分けた。W3C PROVはentity/activity/agent、usage/generation/derivation、responsibility/delegation、timeを与えるが、business completion・authorization・handoff receiptは規定しない。TemporalはEvent HistoryとWorkflow/Run識別、Activity retryを実装するが、Activityは複数回実行され得る。Prefectはstateのname/type/terminalとresult/artifactを分ける。A2Aはtask/context/status/artifactを持つが、historyとmessage配送はcritical stateの耐久層ではない。OpenAI Agents SDKとSemantic Kernelはhandoff先、条件、payload、callback/runtimeを提供するが、source authority、completed/not-done、受領照合、business readbackを自動付与しない。
- PROFILE: M0 MATERIALIZED; REQUIRED FIELD SET: CONTRACT_VERSION, OBJECTIVE, COMPLETION_CRITERIA, ALLOWED_ACTIONS, PROHIBITED_ACTIONS, STOP_CONDITION, EVIDENCE_LABELS; RE-AUDIT DECISION: 全materialized contractで必須。read-onlyではALLOWED_ACTIONS=[read,draft]、禁止集合や停止条件は空にせず明示する; EVIDENCE / FAILURE ENVELOPE: W3C Plan/timeの不足をCore synthesisで補う。OC-0へTASK/CHECKPOINTを強制しない(R-01/R-03)
- PROFILE: C1 SOURCE / ARTIFACT; REQUIRED FIELD SET: source-backedまたはOC-1以上: AUTHORITATIVE_INPUTS; artifact task: EXPECTED_ARTIFACTS, ARTIFACT_DESCRIPTOR, BUSINESS_ACCEPTANCE_STATUS, READBACK_EVIDENCE; RE-AUDIT DECISION: sourceなしの一回回答へsource snapshotを強制しない。ただしartifactを要求した時はmessageやreturn値だけでなくdescriptor/readbackを必須化; EVIDENCE / FAILURE ENVELOPE: A2AはoutputをArtifactへ置くことを推奨し、Prefectはstate dataをartifact側へ分離し得る。COMPLETEDだけでは受入不可(EXT-C01-004/010/020)
- PROFILE: C2 RESUMABLE; REQUIRED FIELD SET: TASK_ID, CURRENT_STATE, CHECKPOINT_ID_TIME, COMPLETED_UNITS, NOT_DONE, OPEN_UNKNOWNS, BLOCKERS, NEXT_ACTION, LAST_UPDATED; RE-AUDIT DECISION: session越え、長時間、retry、担当交代のいずれかで必須。critical stateをhistory/messageだけへ置かない; EVIDENCE / FAILURE ENVELOPE: Temporal Event History/A2A task stateは再開を支えるが、A2A historyは任意・非信頼、Temporal memoもcritical state向きでない(EXT-C01-003/010)
- PROFILE: C3 SIDE-EFFECTING; REQUIRED FIELD SET: RUN_ID, EXECUTION_ACTOR, RUN_TIME_WINDOW, AUTHORIZATION_SCOPE, SIDE_EFFECT_PROFILE, RETRY_IDEMPOTENCY_POLICY, EXECUTION_EVIDENCE, READBACK_EVIDENCE, RECOVERY_OR_FALLBACK_REF; RE-AUDIT DECISION: 外部state変更またはretry可能なactionで必須。TemporalのActivity retryは「観測上の完了一回」と「実行一回」を分けるため、idempotency/dedup/readbackを落とせない; EVIDENCE / FAILURE ENVELOPE: Temporal Activity docsはRun ID+Activity IDのkeyを例示する一方、部分処理の複数回実行を警告(EXT-C01-018/019)。既存LangGraph issueも同じfailure envelopeを示す
- PROFILE: C4 HANDOFF / TRUST BOUNDARY; REQUIRED FIELD SET: transfer時: HANDOFF_FROM, NEXT_OWNER, HANDOFF_REASON; trust boundary・非同期・high-impact時: HANDOFF_RECEIPT; historyが次判断に必要な時だけHISTORY_POINTER_OR_CURATED_HISTORY; RE-AUDIT DECISION: handoff先と理由はtransferごとに必須。receiptは受け手がtask/contract/source/artifact/scopeを照合した時だけ成立し、history全文は必須にしない; EVIDENCE / FAILURE ENVELOPE: OpenAI Agents SDK/Semantic Kernelはrouting/payload/callbackを実装するが受領・業務受入は別契約。A2Aはmessageとartifactを区別し、critical message配送を保証しない(EXT-C01-010/011/012)
- PROFILE: REFERENCE-ONLY / CONDITIONAL; REQUIRED FIELD SET: CONFIG_RELEASE_REF, ACCEPTANCE_CONTRACT_REF, SOURCE_AUTHORITY_RULE, INPUT_ENTITY_VERSION_SNAPSHOT, CONTEXT_ID, OUTPUT_LINEAGE, DECISIONS_AND_REJECTED_ALTERNATIVES; RE-AUDIT DECISION: versioned config、mutable source、反復eval、context grouping、source変換、判断制約が発生した時だけ参照を要求。巨大なtop-level必須表へ昇格しない; EVIDENCE / FAILURE ENVELOPE: PROV/OpenLineageのlineageとA2A contextは有用だが、適用scopeを越えて全taskへ外挿しない
この判定で、旧schema v0.2のOC-0へ寄せていたAUTHORITATIVE_INPUTS/EXPECTED_ARTIFACTS/BUSINESS_ACCEPTANCE_STATUSをM0から外し、CONTRACT_VERSIONをOC-0から外さない形へ修正した。これは「最小集合が証明された」という意味ではない。representative fixtureでprofileのfalse-acceptとover-contractを検出しただけであり、UNK-C01-001はBOUNDED_UNKNOWNとして維持する。
8.2 Nested record minima v0.1
top-level fieldを増殖させないため、複数値は次の構造recordへ畳む。空値を推測で補完せず、UNKNOWNまたはNOT_AVAILABLEと理由を記録する。
| RECORD | MINIMUM MEMBERS |
| ARTIFACT_DESCRIPTOR | artifact_id, role, type, format_or_media_type, location, version_or_digest, generated_by_run, derived_from_inputs, update_mode |
| EXECUTION_EVIDENCE | declared_sources, evidenced_sources, requested_actions, executed_actions, trace_ref, before_state_ref, after_state_ref, incident_link |
| SIDE_EFFECT_PROFILE | primary_effect, secondary_effects, commit_point, reversibility, blast_radius, recovery_ref |
| RETRY_IDEMPOTENCY_POLICY | retry_unit, max_attempts, idempotency_key_or_dedup, pre_retry_readback, uncertain_state_action, reconciliation |
| READBACK_EVIDENCE | verifier, method, observed_at, observed_target, observed_version_or_state, result, limitations |
| UNKNOWN_ITEM | unknown_id, claim_or_question, status, current_evidence, evidence_level, last_checked_at, stale_after, owner, next_test_or_readback, closure_criterion |
| HANDOFF_RECEIPT | receiver, received_at, accept_or_reject, task_contract_checked, source_snapshot_checked, artifacts_checked, authorization_checked, discrepancies |
UNKNOWN_ITEM.statusは少なくとも PUBLIC_SCHEMA_LIMIT、ENVIRONMENT_REQUIRED、EMPIRICAL_TEST_REQUIRED、VOLATILE_RECHECK、IRREDUCIBLE_PROVENANCE_LIMIT、BLOCKED、CLOSED_WITH_EVIDENCEを区別する。S049由来のtaxonomyをprovider-neutralに用いるが、製品ごとの個別UNKNOWNはProduct MappingまたはOrganization Overlayに置く。
8.3 Contract strength tiers v0.2
| TIER | USE WHEN | MINIMUM CONTRACT | ADDITIONAL CONTROL |
| OC-0 EPHEMERAL | 一回完結・read-only・再開不要 | objective / allowed inputs / answer format | 根拠表示。外部stateを変更しない |
| OC-1 ARTIFACT | 保存成果物を作るが単一session中心 | OC-0 + authoritative inputs / expected artifact / completion criteria / readback | artifact existence・形式・scopeを検証 |
| OC-2 RESUMABLE | session越え、長時間、担当交代 | OC-1 + task ID / current state / checkpoint / completed / not-done / unknowns / next action | source snapshotとartifact versionを固定 |
| OC-3 SIDE_EFFECTING | toolで外部stateを変更、retryあり | OC-2 + action scope / before-state / idempotency key or dedup rule / after-state / recovery semantics | checkpointをexactly-once保証とみなさない |
| OC-4 HIGH_IMPACT | 社外送信、機密、金銭、大量変更、不可逆 | OC-3 + human-at-commit / independent verification / blast radius / escalation / stop condition | approval対象のcritical fieldsと反証材料を提示 |
このtierは業務riskを確定する規格ではなく、契約を一律最大化して軽作業を潰さないための初期分類である。閾値・業種別強度はCORE-05およびOrganization Overlayで検証する。
8.4 Checkpoint / handoff packet matrix
- RECORD: CHECKPOINT; TRIGGER: session終了、pause、retry前、bounded unit完了; REQUIRED CORE: task/contract version、current state、input snapshot、completed/not-done、artifact descriptors、unknowns/blockers、next action、timestamp; ADDITIONAL FIELDS: config/eval refs、decision log、recovery refを条件付き追加; RECEIVER VERIFICATION: source revision、artifact location/version、next actionを再取得; INVALID WHEN: 会話要約だけ、未検証作業をcompleted扱い、freshness不明
- RECORD: HANDOFF; TRIGGER: owner/agent/provider/controlの変更; REQUIRED CORE: checkpoint全field; ADDITIONAL FIELDS: from/to owner、reason、authorization scope、curated history/pointer、stop condition; RECEIVER VERIFICATION: task/contract/source/artifact/scopeを照合してreceipt; INVALID WHEN: next owner不明、critical stateがhistoryだけ、receipt欠落
- RECORD: INCIDENT FREEZE; TRIGGER: unsafe/unknown external state、重大regression; REQUIRED CORE: last known-good checkpoint、runtime/business state、before/after evidence; ADDITIONAL FIELDS: incident link、containment、uncertain action、recovery test、stop authority; RECEIVER VERIFICATION: 証拠保全と副作用停止を確認; INVALID WHEN: 原因推測でstateを書換え、retry前readbackなし
- RECORD: CONTINUITY PACKET; TRIGGER: provider/surface/dependency failure、長期停止; REQUIRED CORE: handoff packetのprovider-neutral部分; ADDITIONAL FIELDS: degraded/manual route、loss in fallback、open incidents、RTO/RPO class; RECEIVER VERIFICATION: fallback側でsource/tool/capability差を照合; INVALID WHEN: chat全文だけを別providerへ投入、lossを非表示
8.5 Completion / readback matrix
- WORK TYPE: read-only answer; RUNTIME SIGNAL: response emitted; BUSINESS COMPLETION EVIDENCE: required question/scopeを満たし、根拠がsourceへ結び付く; READBACK TARGET: response assertionsとsource span; REMAINING STATE WHEN EVIDENCE FAILS: BUSINESS_VERIFYINGまたはBUSINESS_REJECTED
- WORK TYPE: artifact create; RUNTIME SIGNAL: file/object create call returned; BUSINESS COMPLETION EVIDENCE: artifact descriptor、存在、形式、scope、version/digest; READBACK TARGET: durable artifact location; REMAINING STATE WHEN EVIDENCE FAILS: BUSINESS_VERIFYING; missingならBUSINESS_REJECTED
- WORK TYPE: artifact update; RUNTIME SIGNAL: update call returned; BUSINESS COMPLETION EVIDENCE: expected diff、new version、old version preservation/overwrite policy; READBACK TARGET: artifact revisionとcontent diff; REMAINING STATE WHEN EVIDENCE FAILS: BUSINESS_VERIFYING、source衝突ならBLOCKED
- WORK TYPE: external state change; RUNTIME SIGNAL: tool/API/UI reports success; BUSINESS COMPLETION EVIDENCE: target resourceのexpected final state、unauthorized secondary effect無し; READBACK TARGET: source-of-truth system; REMAINING STATE WHEN EVIDENCE FAILS: UNKNOWN_CAUSEならretry禁止、FAILEDならrecovery
- WORK TYPE: retry/replay; RUNTIME SIGNAL: workflow resumed; BUSINESS COMPLETION EVIDENCE: idempotency/dedup成立、外部effectが一回分; READBACK TARGET: external sinkとaction ID; REMAINING STATE WHEN EVIDENCE FAILS: RECONCILINGまたはhuman escalation
- WORK TYPE: human approval; RUNTIME SIGNAL: approval event exists; BUSINESS COMPLETION EVIDENCE: approved critical fieldsと実行対象が一致し、実行後readbackも通る; READBACK TARGET: approval record + final state; REMAINING STATE WHEN EVIDENCE FAILS: APPROVAL_GRANTED / BUSINESS_VERIFYING
- WORK TYPE: handoff; RUNTIME SIGNAL: control transfer invoked / notification 2xx; BUSINESS COMPLETION EVIDENCE: receiver receiptとtask/source/artifact/scope照合; READBACK TARGET: receiver-side contract record; REMAINING STATE WHEN EVIDENCE FAILS: HANDOFF_PENDING / HANDOFF_REJECTED
- WORK TYPE: workflow/agent terminal; RUNTIME SIGNAL: COMPLETED event; BUSINESS COMPLETION EVIDENCE: versioned acceptance contractのhard gatesとartifact readbackがPASS; READBACK TARGET: eval record + artifact/external state; REMAINING STATE WHEN EVIDENCE FAILS: RUNTIME_COMPLETED_BUSINESS_VERIFYING
8.6 Human-gate placement baseline
- ACTION CLASS: low-risk read-only / private draft; DEFAULT GATE: no commit gate; sampled verification; REVIEWER MUST SEE: sources、UNKNOWN、output scope; POST-GATE EVIDENCE: source/format checks; SAFE FALLBACK: manual answer/draft
- ACTION CLASS: internal reversible write; DEFAULT GATE: risk-based pre-commit preview; REVIEWER MUST SEE: target、before/after diff、reversibility、affected scope; POST-GATE EVIDENCE: artifact revision/readback; SAFE FALLBACK: draft-only or restore prior version
- ACTION CLASS: external send/share/publish; DEFAULT GATE: human-at-commit; REVIEWER MUST SEE: recipient/audience、exact payload、attachments、sensitivity、secondary effects; POST-GATE EVIDENCE: sent/shared state、recipient/scope readback; SAFE FALLBACK: save draft; manual send
- ACTION CLASS: financial/legal/HR/safety or large-batch change; DEFAULT GATE: independent authorized approval; segregation where required; REVIEWER MUST SEE: authoritative source、critical fields、counterevidence、blast radius、rollback/fallback; POST-GATE EVIDENCE: independent verification and audit record; SAFE FALLBACK: prohibit autonomous commit; deterministic/manual path
- ACTION CLASS: irreversible or uncertain-state retry; DEFAULT GATE: stop-and-escalate before another action; REVIEWER MUST SEE: last confirmed state、uncertainty、possible duplicate/harm、repair options; POST-GATE EVIDENCE: reconciliation or explicit risk acceptance; SAFE FALLBACK: no retry; isolate and repair
この表は初期baselineであり、業種法令・組織policy・金額・人数等の普遍的閾値を確定しない。UNK-C01-003を維持し、詳細なside-effect risk classはCORE-05、組織固有承認者はOrganization Overlayへ送る。
8.7 Alternative implementation routes
| ROUTE | FIT | STRENGTH | LOSS / LIMIT |
| one-shot/manual | OC-0、低risk、再開不要 | 最小運用負荷 | persistence/handoff無し。外部action禁止 |
| human-maintained ledger | UI-only、外部engine不可 | source/state/decisionをprovider外へ保持 | update漏れ・転記誤り・human load |
| provider-native history/project | short-to-medium continuity | setupが軽くUXと統合 | export、version、backend、cross-provider portabilityに上限 |
| deterministic workflow engine | repeated structured task | explicit state/retry/trace | business semanticsとsource authorityは別契約が必要 |
| read-only/draft-only degraded route | capability/permission/incident時 | blast radiusを抑える | automation/action、live data、速度を失う場合 |
| external state/lineage store + agent layer | OC-2〜4、multi-agent/provider | portable state/provenance/acceptanceを持ちやすい | infrastructure、security、schema運用、costが増える |
9. State taxonomy v0.2
bareなCOMPLETEDは、engine終了と業務受入を混同するため保存しない。少なくともruntime、business acceptance、handoffを別axisにする。
| AXIS | STATE | DEFINITION | MUST NOT BE CONFUSED WITH |
| Runtime | NOT_STARTED | 契約はあるが実作業未着手 | PREPARED |
| Runtime | ACTIVE | bounded unitを実行中 | 「読む予定」だけの状態 |
| Runtime | PAUSED | stateと再開条件を保存して中断 | FAILED |
| Runtime | BLOCKED | 外部条件が満たされず進めない | UNKNOWN_CAUSE |
| Runtime | FAILED | executionが失敗し、terminalまたはrecovery待ち | BUSINESS_REJECTED |
| Runtime | CANCELED | 明示的に取消されterminal | FAILED |
| Runtime | RUNTIME_COMPLETED | engine/agentが処理終了を報告 | BUSINESS_ACCEPTED |
| Business acceptance | BUSINESS_VERIFYING | artifact/external stateはあるがreadback未完 | BUSINESS_ACCEPTED |
| Business acceptance | BUSINESS_ACCEPTED | versioned completion criteriaとreadbackを満たす | modelの自己申告、人間承認だけ |
| Business acceptance | BUSINESS_REJECTED | acceptance criteria未達 | runtime failureだけ |
| Approval | APPROVAL_PENDING | critical fields提示済みでdecision待ち | HANDOFF_PENDING |
| Approval | APPROVAL_GRANTED | 指定scope/条件への承認が記録済み | execution済み、BUSINESS_ACCEPTED |
| Approval | APPROVAL_DENIED | 承認されずaction禁止 | execution failure |
| Handoff | HANDOFF_PENDING | transfer開始済みだがreceiver receipt未確認 | HANDOFF_ACCEPTED |
| Handoff | HANDOFF_ACCEPTED | receiverがtask/source/artifact/scopeを照合し受領 | business completion |
| Handoff | HANDOFF_REJECTED | receiverが不整合を示して受領拒否 | task failure |
| Reconciliation | RECONCILING | duplicate/uncertain external stateを照合・修復中 | safe-to-retry |
| Lifecycle | SUPERSEDED | 新state/versionへ置換済み | DELETED |
| Diagnosis | UNKNOWN_CAUSE | 観測差はあるが原因未確定 | BLOCKED_BY_ORG等の推測原因 |
10. Acceptance tests
TST-C01-01 Bounded resume
- 3段階taskを用意し、stage 1完了後にsessionを終了する。
- checkpointだけを別実行主体へ渡す。
- stage 1を再実行せずstage 2から開始できるか確認する。
- source version、artifact location、not-done、next actionが復元できることをpass条件とする。
TST-C01-02 Conflicting current state
会話本文には旧state、state fileには新stateを置く。authority ruleに従い新stateを採用し、衝突を記録し、旧工程を再実行しないことをpass条件とする。
TST-C01-03 False completion / readback
実行主体が「保存済み」と返してもartifactを作らない条件を注入する。artifact存在・内容・最終状態のreadbackが無い限りBUSINESS_VERIFYINGからBUSINESS_ACCEPTEDへ遷移しないことを確認する。runtime failureならFAILED、成果条件不成立ならBUSINESS_REJECTEDとして分ける。
TST-C01-04 Handoff completeness
state、input snapshot、completed、not-done、open questions、next owner、stop condition、output location、readback evidenceの一項目ずつを欠落させる。次担当が誤って完了扱い・再実行・範囲拡張するかを測る。
TST-C01-05 Blocked-task state
一つのsubtaskをpermissionでblockし、独立して進められる別taskを残す。blockerを保存しつつ、許可範囲内の別taskへ移り、原因を推測で確定しないことをpass条件とする。
TST-C01-06 Duplicate-work prevention
completed listとartifact readbackがある状態で同じ指示を再投入する。既済み工程を再生成せず、NEXT_ACTIONだけを進めることを確認する。
TST-C01-07 Crash/replay side-effect duplication
- 外部sinkへ一意なrecordを作るtool stepを用意する。
- toolの外部commit後、checkpoint確定前にprocess failureまたはtimeoutを注入する。
- resume/retryし、同一record・通知・費用が重複しないか検査する。
- idempotency_key、deduplication、before/after readbackの有無を変えて比較する。
- checkpointが存在するだけではPASSにせず、外部最終状態が一回分であることをPASS条件とする。
TST-C01-08 Runtime completion versus business completion
workflow engineがCOMPLETEDを返す一方、要求artifactが欠落・誤形式・旧versionとなる条件を注入する。runtime stateをRUNTIME_COMPLETED、成果受入をBUSINESS_VERIFYINGとして分離し、artifact readbackが通るまでbusiness completionを成立させない。
TST-C01-09 Critical-state loss from optional history
- 次工程に必須のsource revision、未完了unit、stop conditionを会話messageだけへ置く条件を作る。
- A2A互換のtask historyから一部messageを省略し、stream切断・再接続も注入する。
- critical fieldが失われた場合はFAILとする。
- 同じ値をfirst-class contract fieldまたはversioned artifact参照へ置き、history無しでも安全に再開できることをPASS条件とする。
TST-C01-10 Message/artifact ambiguity and handoff receipt
同じ最終出力を、status message、standalone message、artifactの三shapeで返すfixtureを用意する。受け手がdurable artifact ID/type/version/locationを識別し、task ID・input snapshot・scopeと照合したHANDOFF_RECEIPTを残せる場合だけPASSとする。表示できたことやHTTP 2xxだけをbusiness acceptanceに数えない。
10.11 Schema field-ablation execution record
TEST_RUN_ID: CORE-01-ABLATION-RUN-001
EXECUTED_AT: 2026-09-05 11:55 JST
FIXTURE: tests/CORE-01_contract_ablation_v0.1.json
FIXTURE_SHA256: b393f4dcb3770b99dd4ab6aef32cf2e827827184b5d33ad1dd4a3b20ea714dd4
METHOD: local deterministic schema/semantic validation; no network write or external side effect
- FIXTURE: F-01; INJECTION: minimum OC-0; EXPECTED: PASS; ACTUAL: PASS; PRIMARY SIGNAL: task/run/checkpointを一回完結read-onlyへ強制しない
- FIXTURE: F-02; INJECTION: OC-0へTASK/RUN/CHECKPOINT/RECEIPTを過剰付与; EXPECTED: PASS_WITH_WARNINGS; ACTUAL: PASS_WITH_WARNINGS; PRIMARY SIGNAL: 最小契約と最大契約を同一化しない
- FIXTURE: F-03; INJECTION: mutable sourceだがsnapshot欠落; EXPECTED: FAIL; ACTUAL: FAIL; PRIMARY SIGNAL: INPUT_ENTITY_VERSION_SNAPSHOT欠落を検出
- FIXTURE: F-04; INJECTION: authority/current state/next actionをhistoryだけへ格納; EXPECTED: FAIL; ACTUAL: FAIL; PRIMARY SIGNAL: first-class critical state欠落を検出
- FIXTURE: F-05; INJECTION: side-effect retryからidempotency policyを除去; EXPECTED: FAIL; ACTUAL: FAIL; PRIMARY SIGNAL: RETRY_IDEMPOTENCY_POLICY欠落を検出
- FIXTURE: F-06; INJECTION: source/config/eval版付きcomplete handoff; EXPECTED: PASS; ACTUAL: PASS; PRIMARY SIGNAL: 条件付きfieldを含む受渡し成立
- FIXTURE: F-07; INJECTION: trust-boundary handoffでreceipt欠落; EXPECTED: FAIL; ACTUAL: FAIL; PRIMARY SIGNAL: HANDOFF_RECEIPT欠落を検出
- FIXTURE: F-08; INJECTION: runtime completed、readback failed、business accepted; EXPECTED: FAIL; ACTUAL: FAIL; PRIMARY SIGNAL: false business completionを検出
- FIXTURE: F-09; INJECTION: UNKNOWN itemからclosure criterionを除去; EXPECTED: FAIL; ACTUAL: FAIL; PRIMARY SIGNAL: 閉じ方のないUNKNOWNを検出
- FIXTURE: F-10; INJECTION: complete OC-4; EXPECTED: PASS; ACTUAL: PASS; PRIMARY SIGNAL: side effect、retry、approval、readbackを併置
- FIXTURE: F-11; INJECTION: status messageをdurable artifactとして扱う; EXPECTED: FAIL; ACTUAL: FAIL; PRIMARY SIGNAL: location/versionのないmessageを成果物扱いしない
- FIXTURE: F-12; INJECTION: versioned configだがrelease ref欠落; EXPECTED: FAIL; ACTUAL: FAIL; PRIMARY SIGNAL: CONFIG_RELEASE_REF欠落を検出
RESULT: 12/12 expected match; PASS 3、PASS_WITH_WARNINGS 1、FAIL 8。これはfixtureに対するrule整合試験であり、全業務に対するfield最小性や特定providerの実装適合を証明しない。UNK-C01-001は閉じない。process-levelのlocal mockは§10.12へ進め、実engine/provider間handoffはProduct Mapping test profileとして残す。
10.12 Provider-neutral local integration execution record
TEST_RUN_ID: CORE-01-MOCK-INTEGRATION-RUN-001
EXECUTED_AT: 2026-09-05 15:29 JST
EXECUTABLE: tests/CORE-01_mock_integration_v0.1.js
EXECUTABLE_SHA256: 8c955b300a9994593374abc008fd24f41e7e0ff651a54e41a8900aa84f89fa37
METHOD: Node.js child process + temporary local filesystem mock; network requestなし、実SaaS副作用なし
| TEST | INJECTION / OBSERVATION | RESULT | CONTRACT SIGNAL |
| IT-C01-01 | history無しのcheckpointだけを環境変数も空の別Node processへ渡す | PASS | source revision、artifact digest、next actionを復元しstage 2へ進める |
| IT-C01-02 | mock sink commit直後、checkpoint更新前にchildをexit 86でcrash | PASS | crash後もsink recordが一件存在することをreadback |
| IT-C01-03 | 同一idempotency keyでretry | PASS | duplicateを検出しsink recordは一件のまま |
| IT-C01-04 | receiver expectationへ誤ったsource revisionを注入 | PASS | receiptをsource_revision_mismatchでreject |
| IT-C01-05 | task/contract/source/artifact/authorizationを一致 | PASS | receiptをaccept |
| IT-C01-06 | retry後にmock sinkを再取得しpayload digestを照合 | PASS | 実行主体の成功申告でなく外部最終状態で完了判定 |
RESULT: 6/6 PASS。これによりQ-C01-001のprovider-neutral local baselineは、単なるschema存在確認から実行可能testへ進んだ。ただしlocal filesystem mockは、provider API、network retry、実workflow engine、実SaaSのtransaction semanticsを代表しない。同じtest intentを各Product Mappingのadapterへ移植し、live結果をCoreへ遡及監査する。
10.13 Requiredness re-audit execution record
TEST_RUN_ID: CORE-01-FIELD-REQUIREDNESS-REAUDIT-RUN-001
EXECUTED_AT: 2026-09-05 18:30 JST
FIXTURE: tests/CORE-01_field_requiredness_reaudit_v0.2.json
RUNNER: tests/CORE-01_field_requiredness_reaudit_v0.2.js
METHOD: local deterministic profile validation; no provider request, network write, or external side effect
- TEST: R-01; INJECTION / OBSERVATION: OC-0 materialized contractをM0の7 fieldだけで構成; EXPECTED: PASS; ACTUAL: PASS; CONTRACT SIGNAL: CONTRACT_VERSIONを含む軽量最小profile
- TEST: R-02; INJECTION / OBSERVATION: M0からCONTRACT_VERSIONを欠落; EXPECTED: FAIL; ACTUAL: FAIL; CONTRACT SIGNAL: materialized contractの版識別を省略しない
- TEST: R-03; INJECTION / OBSERVATION: OC-0へTASK/CHECKPOINT/RECEIPTを過剰付与; EXPECTED: PASS_WITH_WARNING; ACTUAL: PASS_WITH_WARNING; CONTRACT SIGNAL: lifecycle fieldを全taskへ強制しない
- TEST: R-04; INJECTION / OBSERVATION: artifact profileからREADBACK_EVIDENCEを欠落; EXPECTED: FAIL; ACTUAL: FAIL; CONTRACT SIGNAL: descriptorだけで業務受入にしない
- TEST: R-05; INJECTION / OBSERVATION: resumable profileからCURRENT_STATEを欠落; EXPECTED: FAIL; ACTUAL: FAIL; CONTRACT SIGNAL: history/messageだけで現在地を渡さない
- TEST: R-06; INJECTION / OBSERVATION: side-effect profileからRETRY_IDEMPOTENCY_POLICYを欠落; EXPECTED: FAIL; ACTUAL: FAIL; CONTRACT SIGNAL: Temporalのat-least-once境界を反映
- TEST: R-07; INJECTION / OBSERVATION: pure read-only taskへC3を誤適用しない; EXPECTED: PASS; ACTUAL: PASS; CONTRACT SIGNAL: side-effectが無いtaskを過剰契約にしない
- TEST: R-08; INJECTION / OBSERVATION: trust-boundary handoffでreceiptを欠落; EXPECTED: FAIL; ACTUAL: FAIL; CONTRACT SIGNAL: receiver-side照合を省略しない
- TEST: R-09; INJECTION / OBSERVATION: first-class stateが揃ったhandoffからcurated historyを省略; EXPECTED: PASS; ACTUAL: PASS; CONTRACT SIGNAL: A2A任意historyをcritical層と混同しない
- TEST: R-10; INJECTION / OBSERVATION: message-only outputをartifactとして扱う; EXPECTED: FAIL; ACTUAL: FAIL; CONTRACT SIGNAL: A2AのMessage/Artifact分離を反映
- TEST: R-11; INJECTION / OBSERVATION: runtime COMPLETEDだがartifact readbackなし; EXPECTED: FAIL; ACTUAL: FAIL; CONTRACT SIGNAL: Prefect/engine terminalとbusiness acceptanceを分離
- TEST: R-12; INJECTION / OBSERVATION: Temporal-like retryでidempotency/dedup/readbackを併置; EXPECTED: PASS; ACTUAL: PASS; CONTRACT SIGNAL: C3の実行可能profile
RESULT: 12/12 expected match。M0 mandatory 7、C1〜C4 conditional profiles、reference-only fieldを区別できた。R-01〜R-03でOC-0のover-contractを抑え、R-04〜R-12でartifact/state/retry/handoffのfalse-acceptを拒否した。これはschemaの内部整合と代表fixtureのbounded反証であり、全stateful業務のuniversal minimum、各providerのinterop、Temporal/Prefectの業務受入を証明しない。UNK-C01-001は閉じず、後発provider・異種業務の同型fixtureへ送る。
11. Required failure modes and fallbacks
| FAILURE_MODE | DETECTION | CONTAINMENT | FALLBACK |
| state drift | state hash/version差、会話とledgerの不一致 | authority ruleで進行停止 | 最新確認済みcheckpointへ戻る |
| stale state | LAST_UPDATED/source version期限超過 | PRODUCT_VOLATILE/UNKNOWNを再検証 | read-onlyまたはmanual verification |
| state loss | checkpoint欠落、再開不能 | side effectを禁止 | source/artifactから人間が再構成 |
| duplicate work | completed ID/artifact既存 | 同じunitをclaimしない | queueから次の独立unitへ |
| premature completion | acceptance/readback未実行 | BUSINESS_VERIFYINGへ戻す | human/automated verifierを実行 |
| hallucinated completion | claimed actionと外部状態が不一致 | 追加actionを止める | manual executionまたはdeterministic executor |
| artifact overwrite | version/hash差、既存成果消失 | writeを停止し証拠保全 | prior version復元・新規copy |
| ambiguous owner | NEXT_OWNER/RACI欠落 | external action禁止 | human coordinatorへescalate |
| unrecorded blocker | task停滞だが理由なし | BLOCKED/UNKNOWN_CAUSEを強制 | 独立Packetへ移る |
12. Recompiled chapter draft v0.2
12.1 会話ではなく、業務の状態を扱う
LLMの一回の応答はeventであり、継続業務のstateそのものではない。長い会話履歴が残っていても、現在の正本、完了済み工程、未完了、成果物の保存先、許可された操作、停止条件が再取得できなければ、次の実行主体は古い記述やもっともらしい要約から現在地を再構成することになる。そこで起きるのは単なる「忘却」だけではない。既済み工程の再実行、古いsourceによる上書き、未検証成果の完了扱い、権限外操作、blockerの消失である。
stateful AI運用では、会話を長くすることより先に、次の判断を変える状態を明示する。最低限、task ID、目的、正本input、input版、許可・禁止操作、要求artifact、完了条件、readback、完了済み、未完了、UNKNOWN、blocker、next action、stop conditionを持つ。短いread-only taskでは簡略化できるが、session越え、複数担当、外部書込、再試行、長期編纂のいずれかを含むなら、checkpointとhandoffを任意のメモにしない。
12.2 完了は発話ではなく、証拠を伴う状態遷移である
「作成した」「送信した」「保存した」という文は、外部世界の最終状態を保証しない。完了条件は、要求artifactが存在し、指定形式・保存先・scopeを満たし、必要なreadbackまたはacceptance testが通ったときにだけ成立する。artifactが作られても検証前なら状態はBUSINESS_VERIFYINGであり、モデルの自己申告だけでBUSINESS_ACCEPTEDへ移してはならない。
この原則はhuman-in-the-loopがあっても変わらない。人間の承認は重要なcontrolだが、承認対象の要約が不正確、画面が攻撃入力の影響を受ける、reviewが形骸化する場合がある。したがって、人間承認と機械的readbackを代替関係にせず、riskとside effectに応じて重ねる。
12.3 checkpointとhandoffは、再開可能性を作る
checkpointは過去の会話要約ではない。何が正本か、何が完了し、何が未完了で、何が不明で、何に阻まれ、次に誰が何を行い、どの証拠で結果を確認するかを固定する。handoffでは、このcheckpointにinput snapshot、artifact location、stop condition、ownerを加える。次担当が頭から全資料を読み直さず、既済み工程を繰り返さず、推測で穴を埋めずに再開できることが品質条件になる。
blockedとfailedも区別する。権限や外部応答待ちで進めないtaskはBLOCKED、実行または検証が失敗したtaskはFAILED、原因が確認できない差はUNKNOWN_CAUSEである。原因を推測で付与せず、独立して進められるtaskがあればqueueから次をclaimする。これにより、長期業務は「何もできないので読むだけ」の空実行と、「止まっているのに勝手に完了とみなす」事故の双方を避けられる。
12.4 Coreと製品実装を分ける
ここで定義するのはprovider-neutralなOperating Contractである。Gemini、GPT、Claude、Grokの各製品が、会話履歴、memory、project、agent、automation、version history、audit logをどのsurface・edition・regionで提供するかはProduct Mappingで扱う。特定組織でそれらが許可されているかはOrganization Overlayで扱う。製品機能が増減しても、state、completion、checkpoint、handoff、readbackというCoreの問いを失わない。
12.5 checkpointを「安全装置」と呼ぶ前に
checkpointは必要だが、それだけで安全な再開や一回限りの副作用を保証しない。LangGraphはthread-scoped graph stateをcheckpointerへ、cross-threadのdurable dataをstoreへ分ける。この分離は、会話継続と長期業務stateを同じものとして扱わない実装例になる。TemporalはEvent Historyからexecution stateを復元し、失敗後に最新の記録地点から再開する一方、外部作用をActivity境界へ分け、deterministic replayを要求する。つまり再開可能性は、保存場所だけでなく、どこまでを再実行してよいかという実行意味論を必要とする。
さらに公開issueでは、checkpointと外部side effectの書込み順序によって、クラッシュ復旧後に同一nodeの副作用が二重化した再現例が報告されている。長時間tool callが再配信され、元実行と再実行の両方が完了した報告もある。したがってOperating Contractは、CHECKPOINT_EXISTSを成功条件にせず、少なくとも次を束ねる。
- checkpointが何を含むか
- 外部commitとcheckpoint確定の順序
- retry単位
- idempotency keyまたはdeduplication rule
- primary/secondary side effectのbefore/after state
- resume後の外部最終状態readback
- 重複発生時のcompensationまたはmanual repair
この限定は、特定OSSを否定するものではない。公式documentationが示すintended semanticsと、issue tracker・独立実運用が示すfailure envelopeを同時に採り、導入側が検証すべき境界を定義するものである。
12.6 人間承認はcompletion evidenceではない
automation biasのsystematic reviewは、意思決定支援が全体性能を改善する場合でも、誤った自動助言への追随が複数分野で発生し得ることを示す。ゆえに「人間が承認した」を、AI出力や外部最終状態が正しい証拠へ置換しない。承認者には、自然言語のaction summaryだけでなく、変更対象、critical fields、source、before/after差分、不可逆なsecondary effect、反証またはwarningを提示する。承認後もreadbackを行い、APPROVAL_GRANTEDとBUSINESS_ACCEPTEDを別axisとして記録する。
12.7 handoffはconversation dumpではない
agent間のcontrol transferは、会話を丸ごと渡せば成立するわけではない。W3C PROVはentity、activity、agent、derivation、responsibility、delegationを表せる。OpenLineageはjob/run/input/outputとrun eventを表せる。A2Aはtask、status、artifact、historyを区別する。これらを重ねればhandoffの骨格は得られるが、権威source、業務受入条件、未完了unit、stop condition、受領検証までは自動的に揃わない。
A2A仕様自身も、task historyが任意で、すべてのmessageが永続化・再配送されるとは限らず、critical informationの信頼できる配送路としてmessageへ依存してはならないとする。さらに公開issueでは、MessageとArtifactの境界が曖昧なため、同じ出力がstatus message、standalone message、artifactへ分岐し、実装間の意味が揃わない問題が報告されている。したがって次担当に必要なcritical stateは、historyの奥にだけ置かない。
handoff payloadは、task/run/contextの識別子、current/runtime/business state、source snapshot、completed/not-done、unknowns/blockers、durable artifact descriptor、next owner/reason/action、stop conditionをfirst-class fieldとして渡す。過去interactionが必要なら、全文dumpを既定にせず、判断に必要なcurated historyまたはversioned pointerを使う。受け手はtask ID、source revision、artifact、authorization scopeを照合してHANDOFF_RECEIPTを残す。controlが移ったこと、通知へHTTP 2xxを返したこと、成果物が業務上受け入れられたことは別の状態である。
12.8 契約は巨大な一枚表ではなく、版付きrecordへのenvelopeである
長期業務を再現するには、prompt本文だけでなく、source、model、tool、permission、output schema、policy、evaluation条件の組合せを識別しなければならない。しかし、その全内容を毎回handoff本文へ複製すれば、重複したsnapshot同士が食い違い、どれが正本か分からなくなる。Operating Contractは、CONFIG_RELEASE_REF、ACCEPTANCE_CONTRACT_REF、artifact descriptor、UNKNOWN item、execution/readback evidenceなど、版付きrecordを束ねるenvelopeとして扱う。
特にsourceは「利用すると宣言した集合」と「実行後に利用を証拠化できた集合」を分ける。製品がretrieval traceを公開しない場合、両者を同一と推測せず、後者をNOT_AVAILABLEまたはUNKNOWNとして残す。完了条件も固定文ではない。dataset、expectation、scorer、judge、human rubric、source snapshot、pass thresholdが変われば同じoutputの合否が変わるため、反復評価ではcompletion criteriaから版ed acceptance contractへ参照を張る。
同様にUNKNOWNを一行の備考へ潰さない。公開schemaの限界、組織環境確認、実機試験、volatile再確認、不可避なprovenance限界では、閉じ方も担当主体も異なる。各UNKNOWNはevidence、freshness、owner、next test/readback、closure criterionを持つ管理対象であり、「調査したが未確認」と「未調査」を区別する。
12.9 Required case coverage
- REQUIRED CASE: 長編資料編纂; CONTRACT PROFILE: OC-2 RESUMABLE + mutable source + versioned config; IMPLEMENTATION IN THIS PACKET: Frozen TOC、task/current state、Drive revision、completed/not-done、UNKNOWN、next action、versioned artifacts; TEST / EVIDENCE: 現行Work_STATE運用; TST-C01-01/02/06; F-03/F-04/F-12; IT-C01-01; RESIDUAL LIMIT: 別model/providerでのlive resumeはProduct Mapping未実行
- REQUIRED CASE: 複数担当handoff; CONTRACT PROFILE: OC-2 + handoff/receipt、trust boundary次第でOC-3/4; IMPLEMENTATION IN THIS PACKET: from/to/reason、source snapshot、artifact descriptor、curated history、receipt; TEST / EVIDENCE: TST-C01-04/09/10; F-06/F-07; RESIDUAL LIMIT: A2A/OpenAI/Semantic Kernel間のlive interoperabilityは未実行
- REQUIRED CASE: 外部書込を伴う業務; CONTRACT PROFILE: OC-3 SIDE_EFFECTING、high-impactはOC-4; IMPLEMENTATION IN THIS PACKET: authorization、side-effect profile、retry/idempotency、before/after、approval、readback; TEST / EVIDENCE: TST-C01-03/07/08; F-05/F-08/F-10; IT-C01-02/03/06; RESIDUAL LIMIT: local mockでは実行済み。実SaaSのcommit/retry semanticsはPM/ORG未実行
- REQUIRED CASE: 長時間・再開型業務; CONTRACT PROFILE: OC-2、continuity要件時はfallback ref; IMPLEMENTATION IN THIS PACKET: checkpoint、config/eval refs、decision log、unknowns/blockers、freshness、continuity packet; TEST / EVIDENCE: LangGraph/Temporal/Prefect、S041、F-03/F-04/F-06; RESIDUAL LIMIT: RTO/RPOとprovider failoverの組織実値はCORE-12/ORGへ委譲
12.10 実行可能baselineと、残るUNKNOWNを分ける
schema fieldが存在するだけでは、再開やhandoffが機能するとは言えない。本章では別processがhistory無しでcheckpointを読み、source revisionとartifact digestを照合して次工程へ進むtestを実行した。また、mock sinkへのcommit直後にcrashを注入し、同じidempotency keyによるretryが外部effectを一件へ保つこと、誤ったsource revisionならhandoff receiptを拒否することを確認した。これをprovider-neutralな最小実行baselineとする。
ただし、このPASSをGemini、GPT、Claude、Grokや任意のworkflow engineの適合認定へ拡張しない。network timeout、provider側retry、SaaS固有のcommit境界、token/context移送、権限委譲はProduct Mappingごとに再実行する。後発providerが新しい必須fieldまたはfailure modeを示した場合はschema版を上げ、先発providerを同じfixtureで遡及監査する。
human gateも同じである。Coreは、影響、可逆性、外部公開範囲、機密性、自律度、不確実状態、対象者への権利影響を判断軸として保持する。だが、金額、人数、risk score、二人承認などの閾値は一律に決めない。NISTはrisk toleranceを組織・use case固有として扱い、EU AI Act Article 14もhigh-risk AIという法的scopeの中でrisk・autonomy・contextに比例したoversightを求める。したがって閾値はsector ruleとOrganization Overlayへ置き、Coreには安全側の停止・override・readbackという不変条件を残す。
13. Packet disposition and residual work
- UNK-C01-001: universal minimum field setは未証明。OC-0〜4のrequired-when profileを暫定正本とし、後発providerと異種業務fixtureで反証する。
- UNK-C01-002: local executable baselineは6/6 PASS。provider/runtimeごとのlive adapter結果はPM-GEMINI→GPT→Claude→Grokで積む。
- UNK-C01-003: Coreのdecision dimensionsとscope routingは確定。数値・sector・organization thresholdはCORE-05/09/15とOrganization Overlayで閉じる。
- PROV-FIND-001: CORE-01のsource attributionはDrive正本の実在S052見出し/spanへ修正済み。queue-level矛盾記録は後続Packetの誤帰属防止のため維持する。
- AUD-C01-007 / Q-C01-002: W3C PROV、Temporal、Prefect 3、A2A、OpenAI Agents SDK、Semantic Kernelの再監査と12/12 local requiredness testを反映。M0/C1〜C4を暫定Core profileへ昇格したが、universal minimum・標準準拠・provider interoperabilityは未確定のまま。
PACKET_DISPOSITION: AUDIT_READY_WITH_TRACKED_UNKNOWNS
NEXT_PACKET_ACTION: CORE-02 Retrieval / Memory / Source BindingのCompilation Packetを作成し、S063 Frozen TOCのWAVE-Aを継続する。新テーマ探索へ戻らない。
14. GPT Product Mapping handoff — 2026-09-09
PM-GPT-CORE-01-v0.1 maps response, Conversation, background execution, webhook, Agents SDK Session, Result and RunState to this Core without changing CLM-C01-001..010.
- Provider runtime/dialogue state is not promoted to authoritative task state or business acceptance.
- Background terminal status and response.completed remain runtime/notification evidence until artifact or external-state readback succeeds.
- Session history and RunState are partial carriers; the canonical Operating Contract, source snapshot, artifact descriptor and acceptance evidence remain separate.
- Historical issues #3820/#3123 are retained only as closed, version-bounded concurrency/history regression intents.
- Existing 6/6 and 12/12 local results retain COMPILER_EXPERIMENT origin; no GPT/API/tenant live execution occurred.
- AUD-C01-001 stays open for live adapter execution and AUD-C01-007 for cross-provider requiredness falsification. Organization values remain in Q-PM-C01-GPT-001..004.
GPT_MAPPING_DISPOSITION: PUBLIC_MAPPING_BOUNDED_COMPLETE / FIXED_V0.22_STATE_BOUNDARY / LIVE_ORG_PENDING
CORE_CHANGE: none
BACKPROP_TO_GEMINI: not required
NEXT_PROVIDER_ACTION: begin Claude CORE-01 mapping against the same Operating Contract and safe test intent.
15. Claude Product Mapping handoff — 2026-09-09
PM-CLAUDE-CORE-01-v0.1 maps stateless Messages, asynchronous Message Batches, Agent SDK session/resume/fork, hooks and file checkpointing to this Core without changing CLM-C01-001..010.
- Message history, provider response/session state and synthetic assistant turns are not promoted to provenance or the canonical task record.
- Batch ended, result success and Agent SDK result/session IDs remain runtime evidence until required artifact and external-state readback succeeds.
- Resume and fork require explicit ownership and lineage. Cross-host continuity must bind a SessionStore/transcript or recover from canonical application state.
- File rewind is scoped: Bash, most subagent edits, directory operations and remote/network effects stay outside checkpoint coverage and require separate compensation/readback.
- Hooks can control or observe trajectory portions but do not establish authoritative operation completion.
- Python Agent SDK is pinned to v0.2.152 / a8b1e28 with bundled Claude CLI 2.1.259. Existing local 6/6 and 12/12 results remain COMPILER_EXPERIMENT; no Claude/API/organization/tool execution occurred.
CLAUDE_MAPPING_DISPOSITION: PUBLIC_MAPPING_BOUNDED_COMPLETE / FIXED_V0.2.152_STATE_BOUNDARY / LIVE_ORG_PENDING
CORE_CHANGE: none
BACKPROP_TO_GEMINI_GPT: not required
NEXT_PROVIDER_ACTION: begin Claude CORE-02 mapping against the existing retrieval/memory test intent.
16. Grok Product Mapping handoff — 2026-09-12
PM-GROK-CORE-01-v0.1 maps Responses stored continuation, store:false, ZDR, deferred Chat Completions, Batch API, function calling and the official Python SDK to this Core without changing CLM-C01-001..010.
- Stored response history is documented for 30 days by default, but response linkage remains separate from canonical task state and business acceptance.
- Deferred results are documented as single-retrieval within 24 hours; Batch completion can contain success and error. Neither lifecycle is an artifact acceptance receipt.
- Function-call proposal, local authorization/execution, provider continuation, external receipt/readback and compensation remain separate.
- ZDR is team-wide where available and disables stateful Responses, Files/Collections, Batch and deferred storage; the effective response header must be recorded.
- The official SDK is a rolling author-maintained implementation surface, not a fixed live runtime until package/version/commit and deployment are pinned.
- Existing local 6/6 and 12/12 results remain COMPILER_EXPERIMENT; no xAI API, team, Console, model, SDK, tool, deferred request, batch or external system was operated.
GROK_MAPPING_DISPOSITION: PUBLIC_MAPPING_BOUNDED_COMPLETE / ROLLING_SDK_UNPINNED / LIVE_ORG_PENDING
CORE_CHANGE: none
BACKPROP_TO_GEMINI_GPT_CLAUDE: not required
NEXT_PROVIDER_ACTION: begin Grok CORE-02 mapping against the existing retrieval/memory test intent.
EVD-CORE-01-URL-9E1BF2CB709D研究資料研究資料根拠の出所: APPROVED_DOCUMENT_REFERENCE- 裏付ける内容
- —
- 確認日
- —
- 出典・実験ID
- SRC-CORE-01-URL-9E1BF2CB709D
- 検証箇所
- 4. Source manifest · 1. EVIDENCE_ID: EXT-C01-001; TYPE: RESEARCH; SOURCE / VERSION: Yao et al., “τ-bench,” arXiv:2406.12045 (2024), [https://arxiv.org/abs/2406.12045
- 適用範囲
- 4. Source manifest
- 出典・来歴
- APPROVED_DOCUMENT_REFERENCE_PROJECTED
- 限界
- 元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
EVD-CORE-01-URL-99E58642FE77研究資料研究資料根拠の出所: APPROVED_DOCUMENT_REFERENCE2. EVIDENCE_ID: EXT-C01-002; TYPE: OSS_PRACTICE; SOURCE / VERSION: LangGraph Persistence docs, [
- 裏付ける内容
- —
- 確認日
- —
- 出典・実験ID
- SRC-CORE-01-URL-99E58642FE77
- 検証箇所
- 4. Source manifest · 2. EVIDENCE_ID: EXT-C01-002; TYPE: OSS_PRACTICE; SOURCE / VERSION: LangGraph Persistence docs, [https://docs.langchain.com/oss/python/langgraph/persistence
- 適用範囲
- 4. Source manifest
- 出典・来歴
- APPROVED_DOCUMENT_REFERENCE_PROJECTED
- 限界
- 元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
EVD-CORE-01-URL-23A0B3FA7707研究資料研究資料根拠の出所: APPROVED_DOCUMENT_REFERENCE- 裏付ける内容
- —
- 確認日
- —
- 出典・実験ID
- SRC-CORE-01-URL-23A0B3FA7707
- 検証箇所
- 4. Source manifest · 3. EVIDENCE_ID: EXT-C01-003; TYPE: OSS_PRACTICE; SOURCE / VERSION: Temporal Workflow Execution / Event History docs, [https://docs.temporal.io/workflow-execution
- 適用範囲
- 4. Source manifest
- 出典・来歴
- APPROVED_DOCUMENT_REFERENCE_PROJECTED
- 限界
- 元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
EVD-CORE-01-URL-38F020DB0F7C研究資料研究資料根拠の出所: APPROVED_DOCUMENT_REFERENCE- 裏付ける内容
- —
- 確認日
- —
- 出典・実験ID
- SRC-CORE-01-URL-38F020DB0F7C
- 検証箇所
- 4. Source manifest · 3. EVIDENCE_ID: EXT-C01-003; TYPE: OSS_PRACTICE; SOURCE / VERSION: Temporal Workflow Execution / Event History docs, [https://docs.temporal.io/workflow-execution](https://docs.temporal.io/workflow-execution) ; [https://docs.temporal.io/workflow-execution/event
- 適用範囲
- 4. Source manifest
- 出典・来歴
- APPROVED_DOCUMENT_REFERENCE_PROJECTED
- 限界
- 元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
EVD-CORE-01-URL-477A5A84F49B研究資料研究資料根拠の出所: APPROVED_DOCUMENT_REFERENCE- 裏付ける内容
- —
- 確認日
- —
- 出典・実験ID
- SRC-CORE-01-URL-477A5A84F49B
- 検証箇所
- 4. Source manifest · 4. EVIDENCE_ID: EXT-C01-004; TYPE: OSS_PRACTICE; SOURCE / VERSION: Prefect States docs / server schema, [https://docs.prefect.io/v3/concepts/states
- 適用範囲
- 4. Source manifest
- 出典・来歴
- APPROVED_DOCUMENT_REFERENCE_PROJECTED
- 限界
- 元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
EVD-CORE-01-URL-42858FD02C7F研究資料研究資料根拠の出所: APPROVED_DOCUMENT_REFERENCE- 裏付ける内容
- —
- 確認日
- —
- 出典・実験ID
- SRC-CORE-01-URL-42858FD02C7F
- 検証箇所
- 4. Source manifest · 4. EVIDENCE_ID: EXT-C01-004; TYPE: OSS_PRACTICE; SOURCE / VERSION: Prefect States docs / server schema, [https://docs.prefect.io/v3/concepts/states](https://docs.prefect.io/v3/concepts/states) ; [https://docs.prefect.io/v3/api-ref/python/prefect-server-schemas-states
- 適用範囲
- 4. Source manifest
- 出典・来歴
- APPROVED_DOCUMENT_REFERENCE_PROJECTED
- 限界
- 元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
EVD-CORE-01-URL-8B736DB3FC69研究資料研究資料根拠の出所: APPROVED_DOCUMENT_REFERENCE- 裏付ける内容
- —
- 確認日
- —
- 出典・実験ID
- SRC-CORE-01-URL-8B736DB3FC69
- 検証箇所
- 4. Source manifest · 5. EVIDENCE_ID: EXT-C01-005; TYPE: RESEARCH_REVIEW; SOURCE / VERSION: Goddard, Roudsari, Wyatt, “Automation bias: a systematic review,” Int J Med Inform. 2012, [https://pmc.ncbi.nlm.nih.gov/articles/PMC3240751/
- 適用範囲
- 4. Source manifest
- 出典・来歴
- APPROVED_DOCUMENT_REFERENCE_PROJECTED
- 限界
- 元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
EVD-CORE-01-URL-38A393F409CB研究資料研究資料根拠の出所: APPROVED_DOCUMENT_REFERENCE- 裏付ける内容
- —
- 確認日
- —
- 出典・実験ID
- SRC-CORE-01-URL-38A393F409CB
- 検証箇所
- 4. Source manifest · 6. EVIDENCE_ID: EXT-C01-006; TYPE: OSS_ISSUE / FAILURE_REPORT; SOURCE / VERSION: langchain-ai/langgraph #8039 (opened 2026-06-10), [https://github.com/langchain-ai/langgraph/issues/8039
- 適用範囲
- 4. Source manifest
- 出典・来歴
- APPROVED_DOCUMENT_REFERENCE_PROJECTED
- 限界
- 元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
EVD-CORE-01-URL-1483905F87DC研究資料研究資料根拠の出所: APPROVED_DOCUMENT_REFERENCE- 裏付ける内容
- —
- 確認日
- —
- 出典・実験ID
- SRC-CORE-01-URL-1483905F87DC
- 検証箇所
- 4. Source manifest · 7. EVIDENCE_ID: EXT-C01-007; TYPE: OSS_ISSUE / INDEPENDENT_OPERATION; SOURCE / VERSION: langchain-ai/langgraph #7417 (opened 2026-04-05), [https://github.com/langchain-ai/langgraph/issues/7417
- 適用範囲
- 4. Source manifest
- 出典・来歴
- APPROVED_DOCUMENT_REFERENCE_PROJECTED
- 限界
- 元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
EVD-CORE-01-URL-0801E1EE8A70研究資料研究資料根拠の出所: APPROVED_DOCUMENT_REFERENCE- 裏付ける内容
- —
- 確認日
- —
- 出典・実験ID
- SRC-CORE-01-URL-0801E1EE8A70
- 検証箇所
- 4. Source manifest · 8. EVIDENCE_ID: EXT-C01-008; TYPE: STANDARD; SOURCE / VERSION: W3C, PROV-DM, W3C Recommendation (2013), [https://www.w3.org/TR/prov-dm/
- 適用範囲
- 4. Source manifest
- 出典・来歴
- APPROVED_DOCUMENT_REFERENCE_PROJECTED
- 限界
- 元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
EVD-CORE-01-URL-C27529936E9E研究資料研究資料根拠の出所: APPROVED_DOCUMENT_REFERENCE- 裏付ける内容
- —
- 確認日
- —
- 出典・実験ID
- SRC-CORE-01-URL-C27529936E9E
- 検証箇所
- 4. Source manifest · 9. EVIDENCE_ID: EXT-C01-009; TYPE: OPEN_STANDARD / OSS_PRACTICE; SOURCE / VERSION: OpenLineage Object Model / Core Spec 1.53.0, [https://openlineage.io/docs/spec/object-model/
- 適用範囲
- 4. Source manifest
- 出典・来歴
- APPROVED_DOCUMENT_REFERENCE_PROJECTED
- 限界
- 元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
EVD-CORE-01-URL-5CDEAC63F9FD研究資料研究資料根拠の出所: APPROVED_DOCUMENT_REFERENCE- 裏付ける内容
- —
- 確認日
- —
- 出典・実験ID
- SRC-CORE-01-URL-5CDEAC63F9FD
- 検証箇所
- 4. Source manifest · 10. EVIDENCE_ID: EXT-C01-010; TYPE: OPEN_STANDARD / PROTOCOL; SOURCE / VERSION: A2A Protocol Specification 1.0.0, [https://a2a-protocol.org/v1.0.0/specification/
- 適用範囲
- 4. Source manifest
- 出典・来歴
- APPROVED_DOCUMENT_REFERENCE_PROJECTED
- 限界
- 元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
EVD-CORE-01-URL-D6719E349585研究資料研究資料根拠の出所: APPROVED_DOCUMENT_REFERENCE- 裏付ける内容
- —
- 確認日
- —
- 出典・実験ID
- SRC-CORE-01-URL-D6719E349585
- 検証箇所
- 4. Source manifest · 10. EVIDENCE_ID: EXT-C01-010; TYPE: OPEN_STANDARD / PROTOCOL; SOURCE / VERSION: A2A Protocol Specification 1.0.0, [https://a2a-protocol.org/v1.0.0/specification/](https://a2a-protocol.org/v1.0.0/specification/) ; repository release v1.0.1 (3303592, 2026-05-26), [https://github.com/a2aproject/A2A/releases/tag/v1.0.1
- 適用範囲
- 4. Source manifest
- 出典・来歴
- APPROVED_DOCUMENT_REFERENCE_PROJECTED
- 限界
- 元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
EVD-CORE-01-URL-3497642EA1C0研究資料研究資料根拠の出所: APPROVED_DOCUMENT_REFERENCE- 裏付ける内容
- —
- 確認日
- —
- 出典・実験ID
- SRC-CORE-01-URL-3497642EA1C0
- 検証箇所
- 4. Source manifest · 11. EVIDENCE_ID: EXT-C01-011; TYPE: OSS_IMPLEMENTATION_DOC + RELEASE_PIN; SOURCE / VERSION: OpenAI Agents SDK Python v0.22.0, tag v0.22.0, release commit 4df9ecf, released 2026-08-19, [https://github.com/openai/openai-agents-python/releases
- 適用範囲
- 4. Source manifest
- 出典・来歴
- APPROVED_DOCUMENT_REFERENCE_PROJECTED
- 限界
- 元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
EVD-CORE-01-URL-4DEE6FD4082D研究資料研究資料根拠の出所: APPROVED_DOCUMENT_REFERENCE- 裏付ける内容
- —
- 確認日
- —
- 出典・実験ID
- SRC-CORE-01-URL-4DEE6FD4082D
- 検証箇所
- 4. Source manifest · 11. EVIDENCE_ID: EXT-C01-011; TYPE: OSS_IMPLEMENTATION_DOC + RELEASE_PIN; SOURCE / VERSION: OpenAI Agents SDK Python v0.22.0, tag v0.22.0, release commit 4df9ecf, released 2026-08-19, [https://github.com/openai/openai-agents-python/releases](https://github.com/openai/openai-agents-python/releases) ; Handoffs docs, [https://openai.github.io/openai-agents-python/handoffs/
- 適用範囲
- 4. Source manifest
- 出典・来歴
- APPROVED_DOCUMENT_REFERENCE_PROJECTED
- 限界
- 元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
EVD-CORE-01-URL-09DCD05A1818研究資料研究資料根拠の出所: APPROVED_DOCUMENT_REFERENCE- 裏付ける内容
- —
- 確認日
- —
- 出典・実験ID
- SRC-CORE-01-URL-09DCD05A1818
- 検証箇所
- 4. Source manifest · 12. EVIDENCE_ID: EXT-C01-012; TYPE: OSS_IMPLEMENTATION_DOC + RELEASE_PIN; SOURCE / VERSION: Microsoft Semantic Kernel Handoff Orchestration, [https://learn.microsoft.com/en-us/semantic-kernel/frameworks/agent/agent-orchestration/handoff
- 適用範囲
- 4. Source manifest
- 出典・来歴
- APPROVED_DOCUMENT_REFERENCE_PROJECTED
- 限界
- 元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
EVD-CORE-01-URL-A44D3FFB1D45研究資料研究資料根拠の出所: APPROVED_DOCUMENT_REFERENCE- 裏付ける内容
- —
- 確認日
- —
- 出典・実験ID
- SRC-CORE-01-URL-A44D3FFB1D45
- 検証箇所
- 4. Source manifest · 12. EVIDENCE_ID: EXT-C01-012; TYPE: OSS_IMPLEMENTATION_DOC + RELEASE_PIN; SOURCE / VERSION: Microsoft Semantic Kernel Handoff Orchestration, [https://learn.microsoft.com/en-us/semantic-kernel/frameworks/agent/agent-orchestration/handoff](https://learn.microsoft.com/en-us/semantic-kernel/frameworks/agent/agent-orchestration/handoff) ; repository Python tag python-1.44.1, release commit 6e10225, released 2026-08-06; comparison .NET tag dotnet-1.80.1, commit d8ec449, released 2026-09-03, [https://github.com/microsoft/semantic-kernel/releases
- 適用範囲
- 4. Source manifest
- 出典・来歴
- APPROVED_DOCUMENT_REFERENCE_PROJECTED
- 限界
- 元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
EVD-CORE-01-URL-CECE4940E179研究資料研究資料根拠の出所: APPROVED_DOCUMENT_REFERENCE- 裏付ける内容
- —
- 確認日
- —
- 出典・実験ID
- SRC-CORE-01-URL-CECE4940E179
- 検証箇所
- 4. Source manifest · 13. EVIDENCE_ID: EXT-C01-013; TYPE: OSS_ISSUE / DESIGN_COUNTEREVIDENCE; SOURCE / VERSION: a2aproject/A2A #1313 (opened 2025-12-15), [https://github.com/a2aproject/A2A/issues/1313
- 適用範囲
- 4. Source manifest
- 出典・来歴
- APPROVED_DOCUMENT_REFERENCE_PROJECTED
- 限界
- 元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
EVD-CORE-01-URL-0BD491C9B778研究資料研究資料根拠の出所: APPROVED_DOCUMENT_REFERENCE- 裏付ける内容
- —
- 確認日
- —
- 出典・実験ID
- SRC-CORE-01-URL-0BD491C9B778
- 検証箇所
- 4. Source manifest · 14. EVIDENCE_ID: EXT-C01-014; TYPE: OSS_ISSUE / DESIGN_QUESTION; SOURCE / VERSION: a2aproject/A2A #884 (opened 2025-07-18), [https://github.com/a2aproject/A2A/issues/884
- 適用範囲
- 4. Source manifest
- 出典・来歴
- APPROVED_DOCUMENT_REFERENCE_PROJECTED
- 限界
- 元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
EVD-CORE-01-URL-8AFE93377B37研究資料研究資料根拠の出所: APPROVED_DOCUMENT_REFERENCE- 裏付ける内容
- —
- 確認日
- —
- 出典・実験ID
- SRC-CORE-01-URL-8AFE93377B37
- 検証箇所
- 4. Source manifest · 15. EVIDENCE_ID: EXT-C01-015; TYPE: RISK_FRAMEWORK; SOURCE / VERSION: NIST AI RMF 1.0, NIST AI 100-1 (2023), [https://doi.org/10.6028/NIST.AI.100-1
- 適用範囲
- 4. Source manifest
- 出典・来歴
- APPROVED_DOCUMENT_REFERENCE_PROJECTED
- 限界
- 元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
EVD-CORE-01-URL-33D25B306E1A研究資料研究資料根拠の出所: APPROVED_DOCUMENT_REFERENCE- 裏付ける内容
- —
- 確認日
- —
- 出典・実験ID
- SRC-CORE-01-URL-33D25B306E1A
- 検証箇所
- 4. Source manifest · 16. EVIDENCE_ID: EXT-C01-016; TYPE: RISK_FRAMEWORK; SOURCE / VERSION: NIST AI RMF: Generative AI Profile, NIST AI 600-1 (2024), [https://doi.org/10.6028/NIST.AI.600-1
- 適用範囲
- 4. Source manifest
- 出典・来歴
- APPROVED_DOCUMENT_REFERENCE_PROJECTED
- 限界
- 元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
EVD-CORE-01-URL-9F7D87FBE987研究資料研究資料根拠の出所: APPROVED_DOCUMENT_REFERENCE- 裏付ける内容
- —
- 確認日
- —
- 出典・実験ID
- SRC-CORE-01-URL-9F7D87FBE987
- 検証箇所
- 4. Source manifest · 17. EVIDENCE_ID: EXT-C01-017; TYPE: REGULATION / SCOPE_EXAMPLE; SOURCE / VERSION: Regulation (EU) 2024/1689, Article 14, [https://eur-lex.europa.eu/eli/reg/2024/1689/oj
- 適用範囲
- 4. Source manifest
- 出典・来歴
- APPROVED_DOCUMENT_REFERENCE_PROJECTED
- 限界
- 元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
EVD-CORE-01-URL-7E6EC8BD95C9研究資料研究資料根拠の出所: APPROVED_DOCUMENT_REFERENCE- 裏付ける内容
- —
- 確認日
- —
- 出典・実験ID
- SRC-CORE-01-URL-7E6EC8BD95C9
- 検証箇所
- 4. Source manifest · 18. EVIDENCE_ID: EXT-C01-018; TYPE: OSS_PRACTICE; SOURCE / VERSION: Temporal Activity Definition docs, [https://docs.temporal.io/activity-definition
- 適用範囲
- 4. Source manifest
- 出典・来歴
- APPROVED_DOCUMENT_REFERENCE_PROJECTED
- 限界
- 元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
EVD-CORE-01-URL-9950C767C50F研究資料研究資料根拠の出所: APPROVED_DOCUMENT_REFERENCE19. EVIDENCE_ID: EXT-C01-019; TYPE: OSS_PRACTICE; SOURCE / VERSION: Temporal Retry Policies docs, [
- 裏付ける内容
- —
- 確認日
- —
- 出典・実験ID
- SRC-CORE-01-URL-9950C767C50F
- 検証箇所
- 4. Source manifest · 19. EVIDENCE_ID: EXT-C01-019; TYPE: OSS_PRACTICE; SOURCE / VERSION: Temporal Retry Policies docs, [https://docs.temporal.io/encyclopedia/retry-policies
- 適用範囲
- 4. Source manifest
- 出典・来歴
- APPROVED_DOCUMENT_REFERENCE_PROJECTED
- 限界
- 元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
EVD-CORE-01-URL-97E61C0D1616研究資料研究資料根拠の出所: APPROVED_DOCUMENT_REFERENCE- 裏付ける内容
- —
- 確認日
- —
- 出典・実験ID
- SRC-CORE-01-URL-97E61C0D1616
- 検証箇所
- 4. Source manifest · 20. EVIDENCE_ID: EXT-C01-020; TYPE: OSS_IMPLEMENTATION_DOC + RELEASE_PIN; SOURCE / VERSION: Prefect 3.8.5 release commit 4861750 (2026-09-03), [https://github.com/PrefectHQ/prefect/releases
- 適用範囲
- 4. Source manifest
- 出典・来歴
- APPROVED_DOCUMENT_REFERENCE_PROJECTED
- 限界
- 元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
CORE-01-DOCUMENT-READBACK実装資料実装資料根拠の出所: DOCUMENT_INGESTION_READBACK原資料との収録照合
- 裏付ける内容
- 資料単位の本文ハッシュ、段落数、表数を照合しています。
- 確認日
- —
- 出典・実験ID
- DOC-083cde4caa627644-CORE-01
- 検証箇所
- 18WPldGemks2px0ukhKYINeBMrBwAmlAi · 083cde4caa627644036a2225f1f6ff29b8015bd902614fe1f7a00a997b4eb59c · packets/CORE-01.md · 6b29ed1df4d94dcc6feccc393ba6df087b17f88a2d01b37adfe109b071324098
- 適用範囲
- 公開指定を受けた資料単位の全文・表・出典。
- 出典・来歴
- SOURCE_IDENTITY_VERIFIED
- 限界
- 収録照合は主張の真偽や外部根拠の最新性を追加保証しません。
- 出典ID
- DOC-083cde4caa627644-CORE-01, SRC-CORE-01-URL-9E1BF2CB709D, SRC-CORE-01-URL-99E58642FE77, SRC-CORE-01-URL-23A0B3FA7707, SRC-CORE-01-URL-38F020DB0F7C, SRC-CORE-01-URL-477A5A84F49B, SRC-CORE-01-URL-42858FD02C7F, SRC-CORE-01-URL-8B736DB3FC69, SRC-CORE-01-URL-38A393F409CB, SRC-CORE-01-URL-1483905F87DC, SRC-CORE-01-URL-0801E1EE8A70, SRC-CORE-01-URL-C27529936E9E, SRC-CORE-01-URL-5CDEAC63F9FD, SRC-CORE-01-URL-D6719E349585, SRC-CORE-01-URL-3497642EA1C0, SRC-CORE-01-URL-4DEE6FD4082D, SRC-CORE-01-URL-09DCD05A1818, SRC-CORE-01-URL-A44D3FFB1D45, SRC-CORE-01-URL-CECE4940E179, SRC-CORE-01-URL-0BD491C9B778, SRC-CORE-01-URL-8AFE93377B37, SRC-CORE-01-URL-33D25B306E1A, SRC-CORE-01-URL-9F7D87FBE987, SRC-CORE-01-URL-7E6EC8BD95C9, SRC-CORE-01-URL-9950C767C50F, SRC-CORE-01-URL-97E61C0D1616
- 追跡中のUNKNOWN ID
- CORE-01-CURRENTNESS
- 再確認のきっかけ
- 原資料の更新 · 参照資料の変更 · 新しい反証・検証記録
機械検査: 通過 — 機械検査の結果です。情報の正確性や実行の承認を保証するものではありません。
同じ記事IDの機械可読データです。