{
  "format": "odl-graph-v0",
  "executed": false,
  "claims": [
    {
      "id": "CLM-C01-001",
      "statement": "一回の応答イベントと、継続業務のtask stateは同じものではない。",
      "scope": "CORE-01 stateful AI operating contracts. Not a product ranking.",
      "provider": [],
      "models": [],
      "plans": [],
      "surfaces": [
        "agent-runtime"
      ],
      "regions": [],
      "version_as_of": "2026-09-05",
      "evidence_state": "EVIDENCE_BOUND",
      "current_status": "CURRENT",
      "freshness_class": "CURRENT",
      "observation_status": "EXTERNAL_TRIANGULATED",
      "provenance": {
        "source_ids": [
          "SRC-S020"
        ],
        "packet_id": "PKT-GEMINI-A-CORE-01-v0.1"
      },
      "evidence_ids": [
        "EVD-C01-001-S020"
      ],
      "unknown_ids": [
        "UNK-C01-CROSS-PROVIDER-ENFORCEMENT"
      ],
      "supersedes": [
        "CLM-C01-OLD-RESPONSE-IS-DONE"
      ],
      "superseded_by": [],
      "fixture_only": false
    },
    {
      "id": "CLM-C01-002",
      "statement": "stateful AI業務では、次の実行判断を変える現在値を会話本文から独立して取得できなければならない。",
      "scope": "CORE-01. Conversation log is not the state store.",
      "provider": [],
      "models": [],
      "plans": [],
      "surfaces": [
        "agent-runtime"
      ],
      "regions": [],
      "version_as_of": "2026-09-05",
      "evidence_state": "EVIDENCE_BOUND",
      "current_status": "CURRENT",
      "freshness_class": "CURRENT",
      "observation_status": "EXTERNAL_TRIANGULATED",
      "provenance": {
        "source_ids": [
          "SRC-S020"
        ],
        "packet_id": "PKT-GEMINI-A-CORE-01-v0.1"
      },
      "evidence_ids": [
        "EVD-C01-002-S020"
      ],
      "unknown_ids": [],
      "supersedes": [],
      "superseded_by": [],
      "fixture_only": false
    },
    {
      "id": "CLM-C01-005",
      "statement": "完了はモデルの自己申告ではなく、要求artifactの存在と期待する最終状態のreadbackで判定する。",
      "scope": "CORE-01 completion contract.",
      "provider": [],
      "models": [],
      "plans": [],
      "surfaces": [
        "agent-runtime"
      ],
      "regions": [],
      "version_as_of": "2026-09-05",
      "evidence_state": "EVIDENCE_BOUND",
      "current_status": "CURRENT",
      "freshness_class": "CURRENT",
      "observation_status": "EXTERNAL_TRIANGULATED",
      "provenance": {
        "source_ids": [
          "SRC-S005"
        ],
        "packet_id": "PKT-GEMINI-A-CORE-01-v0.1"
      },
      "evidence_ids": [
        "EVD-C01-005-S005"
      ],
      "unknown_ids": [],
      "supersedes": [
        "CLM-C01-OLD-RESPONSE-IS-DONE"
      ],
      "superseded_by": [],
      "fixture_only": false
    },
    {
      "id": "CLM-C01-006",
      "statement": "checkpointは完了済み・未完了・blocker・artifact location・next actionを分離して保存する。",
      "scope": "CORE-01 checkpoint. Replay is not completion.",
      "provider": [],
      "models": [],
      "plans": [],
      "surfaces": [
        "agent-runtime"
      ],
      "regions": [],
      "version_as_of": "2026-09-05",
      "evidence_state": "EVIDENCE_BOUND_WITH_LIMIT",
      "current_status": "CURRENT",
      "freshness_class": "CURRENT",
      "observation_status": "EXTERNAL_TRIANGULATED",
      "provenance": {
        "source_ids": [
          "SRC-S020"
        ],
        "packet_id": "PKT-GEMINI-A-CORE-01-v0.1"
      },
      "evidence_ids": [
        "EVD-C01-006-S020",
        "EVD-C01-006-FAIL"
      ],
      "unknown_ids": [
        "UNK-C01-PROVIDER-NATIVE-REPLAY"
      ],
      "supersedes": [],
      "superseded_by": [],
      "fixture_only": false
    },
    {
      "id": "CLM-C01-008",
      "statement": "side effectの有無と許可境界は実行前に宣言し、詳細な回復設計はCORE-05へ委譲する。",
      "scope": "CORE-01 side-effect declaration. Recovery detail is CORE-05.",
      "provider": [],
      "models": [],
      "plans": [],
      "surfaces": [
        "tools"
      ],
      "regions": [],
      "version_as_of": "2026-09-05",
      "evidence_state": "EVIDENCE_BOUND_WITH_LIMIT",
      "current_status": "CURRENT",
      "freshness_class": "CURRENT",
      "observation_status": "EXTERNAL_TRIANGULATED",
      "provenance": {
        "source_ids": [
          "SRC-S018"
        ],
        "packet_id": "PKT-GEMINI-A-CORE-01-v0.1"
      },
      "evidence_ids": [
        "EVD-C01-008-S018",
        "EVD-C01-006-FAIL"
      ],
      "unknown_ids": [
        "UNK-C01-PROVIDER-NATIVE-REPLAY"
      ],
      "supersedes": [],
      "superseded_by": [],
      "fixture_only": false
    },
    {
      "id": "CLM-C01-009",
      "statement": "human gateが存在しても、入力要約・action summary・artifact・最終状態の検証を省略できない。",
      "scope": "CORE-01 human gate. Approval UI is still an attack/error surface.",
      "provider": [],
      "models": [],
      "plans": [],
      "surfaces": [
        "tools"
      ],
      "regions": [],
      "version_as_of": "2026-09-05",
      "evidence_state": "EVIDENCE_BOUND",
      "current_status": "CURRENT",
      "freshness_class": "CURRENT",
      "observation_status": "EXTERNAL_TRIANGULATED",
      "provenance": {
        "source_ids": [
          "SRC-S012"
        ],
        "packet_id": "PKT-GEMINI-A-CORE-01-v0.1"
      },
      "evidence_ids": [
        "EVD-C01-009-S012"
      ],
      "unknown_ids": [],
      "supersedes": [],
      "superseded_by": [],
      "fixture_only": false
    },
    {
      "id": "CLM-C01-010",
      "statement": "blocked、failed、paused、unknownを「未完了」の一語へ潰さず、再開条件と次の安全な行動を保持する。",
      "scope": "CORE-01 task state taxonomy.",
      "provider": [],
      "models": [],
      "plans": [],
      "surfaces": [
        "agent-runtime"
      ],
      "regions": [],
      "version_as_of": "2026-09-05",
      "evidence_state": "EVIDENCE_BOUND",
      "current_status": "CURRENT",
      "freshness_class": "CURRENT",
      "observation_status": "EXTERNAL_TRIANGULATED",
      "provenance": {
        "source_ids": [
          "SRC-S029"
        ],
        "packet_id": "PKT-GEMINI-A-CORE-01-v0.1"
      },
      "evidence_ids": [
        "EVD-C01-010-S029"
      ],
      "unknown_ids": [],
      "supersedes": [],
      "superseded_by": [],
      "fixture_only": false
    },
    {
      "id": "CLM-C01-OLD-RESPONSE-IS-DONE",
      "statement": "モデル応答の送信をもって業務完了とみなす（破棄した言い方）。",
      "scope": "Historical phrasing. Kept as SUPERSEDED. Do not auto-delete.",
      "provider": [],
      "models": [],
      "plans": [],
      "surfaces": [],
      "regions": [],
      "version_as_of": "2025-12-01",
      "evidence_state": "SUPERSEDED",
      "current_status": "SUPERSEDED",
      "freshness_class": "SUPERSEDED",
      "observation_status": "SELF_TESTED",
      "provenance": {
        "source_ids": [
          "SRC-S005"
        ],
        "packet_id": "PKT-GEMINI-A-CORE-01-v0.1"
      },
      "evidence_ids": [
        "EVD-C01-005-S005"
      ],
      "unknown_ids": [],
      "supersedes": [],
      "superseded_by": [
        "CLM-C01-001",
        "CLM-C01-005"
      ],
      "fixture_only": false
    }
  ],
  "evidence": [
    {
      "id": "EVD-C01-001-S020",
      "evidence_class": "IMPL",
      "observation_status": "EXTERNAL_TRIANGULATED",
      "note": "LangGraph persistence / Temporal workflow execution: response event ≠ durable task state.",
      "source_ids": [
        "SRC-S020"
      ],
      "relations": [
        {
          "type": "supports",
          "claim_id": "CLM-C01-001"
        }
      ],
      "current_status": "CURRENT",
      "last_verified_at": "2026-09-05",
      "fixture_only": false
    },
    {
      "id": "EVD-C01-002-S020",
      "evidence_class": "IMPL",
      "observation_status": "EXTERNAL_TRIANGULATED",
      "note": "Checkpointer/store split: next-action state must be retrievable independently of chat text.",
      "source_ids": [
        "SRC-S020"
      ],
      "relations": [
        {
          "type": "supports",
          "claim_id": "CLM-C01-002"
        }
      ],
      "current_status": "CURRENT",
      "last_verified_at": "2026-09-05",
      "fixture_only": false
    },
    {
      "id": "EVD-C01-005-S005",
      "evidence_class": "RESEARCH",
      "observation_status": "EXTERNAL_TRIANGULATED",
      "note": "τ-bench / Prefect final-state semantics: completion is readback of expected end state, not model self-report.",
      "source_ids": [
        "SRC-S005"
      ],
      "relations": [
        {
          "type": "supports",
          "claim_id": "CLM-C01-005"
        },
        {
          "type": "contradicts",
          "claim_id": "CLM-C01-OLD-RESPONSE-IS-DONE"
        }
      ],
      "current_status": "CURRENT",
      "last_verified_at": "2026-09-05",
      "fixture_only": false
    },
    {
      "id": "EVD-C01-006-S020",
      "evidence_class": "IMPL",
      "observation_status": "SPEC_ONLY",
      "note": "Checkpoint APIs store graph state. They do not by themselves prove business completion.",
      "source_ids": [
        "SRC-S020"
      ],
      "relations": [
        {
          "type": "supports",
          "claim_id": "CLM-C01-006"
        },
        {
          "type": "limits",
          "claim_id": "CLM-C01-006"
        }
      ],
      "current_status": "CURRENT",
      "last_verified_at": "2026-09-05",
      "fixture_only": false
    },
    {
      "id": "EVD-C01-006-FAIL",
      "evidence_class": "FAILURE",
      "observation_status": "EXTERNAL_TRIANGULATED",
      "note": "LangGraph issues #8039/#7417: checkpoint replay can re-run side effects.",
      "source_ids": [
        "SRC-S018"
      ],
      "relations": [
        {
          "type": "supports",
          "claim_id": "CLM-C01-006"
        },
        {
          "type": "supports",
          "claim_id": "CLM-C01-008"
        },
        {
          "type": "limits",
          "claim_id": "CLM-C01-006"
        }
      ],
      "current_status": "HISTORICAL_STILL_VALID",
      "last_verified_at": "2026-09-05",
      "fixture_only": false
    },
    {
      "id": "EVD-C01-008-S018",
      "evidence_class": "OPS",
      "observation_status": "EXTERNAL_TRIANGULATED",
      "note": "Temporal activity boundary / side-effect declaration before execution.",
      "source_ids": [
        "SRC-S018"
      ],
      "relations": [
        {
          "type": "supports",
          "claim_id": "CLM-C01-008"
        }
      ],
      "current_status": "CURRENT",
      "last_verified_at": "2026-09-05",
      "fixture_only": false
    },
    {
      "id": "EVD-C01-009-S012",
      "evidence_class": "RESEARCH",
      "observation_status": "EXTERNAL_TRIANGULATED",
      "note": "HITL reviews still require artifact/end-state verification; approval is not a substitute.",
      "source_ids": [
        "SRC-S012"
      ],
      "relations": [
        {
          "type": "supports",
          "claim_id": "CLM-C01-009"
        }
      ],
      "current_status": "CURRENT",
      "last_verified_at": "2026-09-05",
      "fixture_only": false
    },
    {
      "id": "EVD-C01-010-S029",
      "evidence_class": "OPS",
      "observation_status": "SPEC_ONLY",
      "note": "Prefect/Temporal status taxonomies keep blocked/failed/paused distinct.",
      "source_ids": [
        "SRC-S029"
      ],
      "relations": [
        {
          "type": "supports",
          "claim_id": "CLM-C01-010"
        }
      ],
      "current_status": "CURRENT",
      "last_verified_at": "2026-09-05",
      "fixture_only": false
    }
  ],
  "unknowns": [
    {
      "id": "UNK-C01-CROSS-PROVIDER-ENFORCEMENT",
      "text": "同一operating contractを複数providerで機械的に強制できる共通機構は未観測。",
      "related_claim_ids": [
        "CLM-C01-001",
        "CLM-C01-002"
      ],
      "related_object_ids": [
        "CAP-STATE-SEPARATION"
      ],
      "reason_unresolved": "No shared cross-provider enforcement mechanism observed in the sampled packet.",
      "required_evidence": [
        "cross-provider live test of contract fields"
      ],
      "observation_status": "UNOBSERVED",
      "fixture_only": false
    },
    {
      "id": "UNK-C01-PROVIDER-NATIVE-REPLAY",
      "text": "各provider native agent runtimeのcheckpoint replay同等失敗は未観測。",
      "related_claim_ids": [
        "CLM-C01-006",
        "CLM-C01-008"
      ],
      "related_object_ids": [
        "FAIL-CHECKPOINT-REPLAY",
        "HG-EXTERNAL-WRITE"
      ],
      "reason_unresolved": "Failure evidence is OSS-framework scoped, not provider-native.",
      "required_evidence": [
        "provider-native replay test or triangulated incident"
      ],
      "observation_status": "UNOBSERVED",
      "fixture_only": false
    }
  ],
  "objects": [
    {
      "id": "CAP-STATE-SEPARATION",
      "kind": "CAPABILITY",
      "title": "Task state separate from chat text",
      "statement": "Durable current-task state can be stored and read back independently of a model response.",
      "claim_ids": [
        "CLM-C01-001",
        "CLM-C01-002"
      ],
      "evidence_ids": [
        "EVD-C01-001-S020",
        "EVD-C01-002-S020"
      ],
      "unknown_ids": [
        "UNK-C01-CROSS-PROVIDER-ENFORCEMENT"
      ],
      "provider": [],
      "models": [],
      "plans": [],
      "surfaces": [
        "agent-runtime"
      ],
      "regions": [],
      "current_status": "CURRENT",
      "observation_status": "EXTERNAL_TRIANGULATED",
      "fixture_only": false
    },
    {
      "id": "CAP-READ-ONLY-RESEARCH",
      "kind": "CAPABILITY",
      "title": "Read-only research / retrieval",
      "statement": "Gather and summarize external sources without writing to third-party systems.",
      "claim_ids": [
        "CLM-C01-001"
      ],
      "evidence_ids": [
        "EVD-C01-001-S020"
      ],
      "unknown_ids": [],
      "provider": [],
      "models": [],
      "plans": [],
      "surfaces": [
        "chat"
      ],
      "regions": [],
      "current_status": "CURRENT",
      "observation_status": "SPEC_ONLY",
      "fixture_only": false
    },
    {
      "id": "CON-NO-RESPONSE-AS-COMPLETION",
      "kind": "CONSTRAINT",
      "title": "Response is not completion",
      "statement": "A model reply must not be treated as the business completion event.",
      "claim_ids": [
        "CLM-C01-005"
      ],
      "evidence_ids": [
        "EVD-C01-005-S005"
      ],
      "unknown_ids": [],
      "provider": [],
      "models": [],
      "plans": [],
      "surfaces": [],
      "regions": [],
      "current_status": "CURRENT",
      "observation_status": "EXTERNAL_TRIANGULATED",
      "fixture_only": false
    },
    {
      "id": "FAIL-CHECKPOINT-REPLAY",
      "kind": "FAILURE_MODE",
      "title": "Checkpoint replay re-runs side effects",
      "statement": "Resuming from checkpoint can duplicate external writes if side effects are not idempotent.",
      "claim_ids": [
        "CLM-C01-006",
        "CLM-C01-008"
      ],
      "evidence_ids": [
        "EVD-C01-006-FAIL"
      ],
      "unknown_ids": [
        "UNK-C01-PROVIDER-NATIVE-REPLAY"
      ],
      "provider": [],
      "models": [],
      "plans": [],
      "surfaces": [
        "agent-runtime",
        "tools"
      ],
      "regions": [],
      "current_status": "HISTORICAL_STILL_VALID",
      "observation_status": "EXTERNAL_TRIANGULATED",
      "fixture_only": false
    },
    {
      "id": "CTL-IDEMPOTENCY-KEY",
      "kind": "CONTROL",
      "title": "Idempotency key before external write",
      "statement": "Declare side effects and attach an idempotency key before any write/send/delete.",
      "claim_ids": [
        "CLM-C01-008"
      ],
      "evidence_ids": [
        "EVD-C01-008-S018",
        "EVD-C01-006-FAIL"
      ],
      "unknown_ids": [],
      "provider": [],
      "models": [],
      "plans": [],
      "surfaces": [
        "tools"
      ],
      "regions": [],
      "current_status": "CURRENT",
      "observation_status": "EXTERNAL_TRIANGULATED",
      "fixture_only": false
    },
    {
      "id": "PRE-COMPLETION-CONTRACT",
      "kind": "PRECONDITION",
      "title": "Completion contract exists before run",
      "statement": "Artifact, location, format, and readback method are defined before execution starts.",
      "claim_ids": [
        "CLM-C01-005"
      ],
      "evidence_ids": [
        "EVD-C01-005-S005"
      ],
      "unknown_ids": [],
      "provider": [],
      "models": [],
      "plans": [],
      "surfaces": [],
      "regions": [],
      "current_status": "CURRENT",
      "observation_status": "EXTERNAL_TRIANGULATED",
      "fixture_only": false
    },
    {
      "id": "COMP-CHECKPOINT-NOT-COMPLETION",
      "kind": "COMPATIBILITY",
      "title": "Checkpoint storage is compatible with incomplete work, not with completion semantics",
      "statement": "A checkpointer can persist paused work; it must not be used as the completion oracle.",
      "claim_ids": [
        "CLM-C01-005",
        "CLM-C01-006"
      ],
      "evidence_ids": [
        "EVD-C01-006-S020",
        "EVD-C01-005-S005"
      ],
      "unknown_ids": [],
      "provider": [],
      "models": [],
      "plans": [],
      "surfaces": [
        "agent-runtime"
      ],
      "regions": [],
      "current_status": "CURRENT",
      "observation_status": "SPEC_ONLY",
      "fixture_only": false
    },
    {
      "id": "COST-HUMAN-REVIEW",
      "kind": "COST",
      "title": "Human review labor (synthetic envelope)",
      "statement": "Numeric hours are a prototype envelope only, not a measured ops cost.",
      "claim_ids": [
        "CLM-C01-009"
      ],
      "evidence_ids": [
        "EVD-C01-009-S012"
      ],
      "unknown_ids": [],
      "provider": [],
      "models": [],
      "plans": [],
      "surfaces": [],
      "regions": [],
      "current_status": "UNKNOWN",
      "observation_status": "UNOBSERVED",
      "fixture_only": true
    },
    {
      "id": "HG-EXTERNAL-WRITE",
      "kind": "HUMAN_GATE",
      "title": "Human gate before external write",
      "statement": "External write/send/delete requires a human gate plus artifact/end-state verification. Gate presence does not skip readback.",
      "claim_ids": [
        "CLM-C01-008",
        "CLM-C01-009"
      ],
      "evidence_ids": [
        "EVD-C01-008-S018",
        "EVD-C01-009-S012"
      ],
      "unknown_ids": [
        "UNK-C01-PROVIDER-NATIVE-REPLAY"
      ],
      "provider": [],
      "models": [],
      "plans": [],
      "surfaces": [
        "tools"
      ],
      "regions": [],
      "current_status": "CURRENT",
      "observation_status": "EXTERNAL_TRIANGULATED",
      "fixture_only": false
    },
    {
      "id": "FB-PAUSE-ON-UNKNOWN",
      "kind": "FALLBACK",
      "title": "Pause as a first-class state",
      "statement": "On unresolved UNKNOWN or blocked, pause with next safe action instead of collapsing to 'incomplete'.",
      "claim_ids": [
        "CLM-C01-010"
      ],
      "evidence_ids": [
        "EVD-C01-010-S029"
      ],
      "unknown_ids": [],
      "provider": [],
      "models": [],
      "plans": [],
      "surfaces": [
        "agent-runtime"
      ],
      "regions": [],
      "current_status": "CURRENT",
      "observation_status": "SPEC_ONLY",
      "fixture_only": false
    },
    {
      "id": "ESC-HUMAN-ON-SIDE-EFFECT",
      "kind": "ESCALATION_RULE",
      "title": "Escalate to human when side effects are in play",
      "statement": "If a path would write/send/delete, escalate to HG-EXTERNAL-WRITE rather than auto-executing.",
      "claim_ids": [
        "CLM-C01-008",
        "CLM-C01-009"
      ],
      "evidence_ids": [
        "EVD-C01-008-S018",
        "EVD-C01-009-S012"
      ],
      "unknown_ids": [],
      "provider": [],
      "models": [],
      "plans": [],
      "surfaces": [
        "tools"
      ],
      "regions": [],
      "current_status": "CURRENT",
      "observation_status": "EXTERNAL_TRIANGULATED",
      "fixture_only": false
    },
    {
      "id": "CASE-STATEFUL-HANDOFF",
      "kind": "CASE",
      "title": "Stateful handoff",
      "statement": "Handoff passes operating-contract fields, not a chat transcript, as the primary artifact.",
      "claim_ids": [
        "CLM-C01-002",
        "CLM-C01-010"
      ],
      "evidence_ids": [
        "EVD-C01-002-S020"
      ],
      "unknown_ids": [
        "UNK-C01-CROSS-PROVIDER-ENFORCEMENT"
      ],
      "provider": [
        "Grok"
      ],
      "models": [],
      "plans": [],
      "surfaces": [
        "chat"
      ],
      "regions": [],
      "current_status": "CURRENT",
      "observation_status": "SELF_TESTED",
      "fixture_only": false
    }
  ]
}