{
  "schema": 1,
  "sqlstate": "25003",
  "condition_name": "inappropriate_access_mode_for_branch_transaction",
  "sources": [
    {
      "id": "src.errcodes.18.6",
      "kind": "upstream_source",
      "source_role": "condition_definition",
      "tag": "REL_18_6",
      "commit": "724edf9bde9d356724ad384a2e196edc3c9f80f7",
      "path": "src/backend/utils/errcodes.txt",
      "sha256": "6e8de346643ba84aa3c9c6a73360acfc7b2dfb89162c06c08ce9bf5bcd5bbcba",
      "url": "https://github.com/postgres/postgres/blob/724edf9bde9d356724ad384a2e196edc3c9f80f7/src/backend/utils/errcodes.txt"
    },
    {
      "id": "src.calls.REL_18_6",
      "kind": "local_artifact",
      "source_role": "source_call_scan",
      "sha256": "9ee8a0e81d8f0825c5c1ae45583439859a26e602bdd4ce2f2a62aa278867ccbf"
    }
  ],
  "claims": [
    {
      "id": "identity",
      "statement": "25003 is inappropriate_access_mode_for_branch_transaction in Class 25.",
      "sources": [
        "src.errcodes.18.6"
      ],
      "method": "Read the fixed condition row and macro.",
      "limits": "The name describes a branch-transaction access-mode condition; it is not a proof that ordinary SQL can raise it."
    },
    {
      "id": "source-boundary",
      "statement": "The exhaustive resolved PostgreSQL 18.6 call scan contains no direct 25003 report group, so this batch does not claim a natural SQL trigger or message template.",
      "sources": [
        "src.calls.REL_18_6"
      ],
      "method": "Scan fixed source call records for SQLSTATE 25003.",
      "limits": "An extension or a branch-transaction API may have a separate path; this page does not invent one."
    }
  ],
  "messages": [],
  "usage_evidence": [
    {
      "scope": "definition-and-call-scan",
      "status": "definition_only",
      "evidence_ids": [
        "identity",
        "source-boundary"
      ]
    }
  ],
  "runtime": [
    {
      "id": "runtime.25003-batch2-latest-20260909.latest",
      "run_id": "25003-batch2-latest-20260909",
      "target": "latest",
      "server_version": "18.6 (Homebrew)",
      "server_version_num": 180006,
      "status": "not_applicable",
      "case_status": "not_applicable",
      "target_status": "passed",
      "cases": [
        "branch_transaction_boundary"
      ],
      "summary_sha256": "603b6af5a7fde2bf4c7503816af9ec8e091cf9eb5125d6efa324eb08590aa00d",
      "raw_sha256": "5c00b2a0692b3a3c48b5465ae1db681bc3edcee9444e22ab515368775a6aab89",
      "case_manifest": {
        "sha256": "ab9486aa7775f7f7f49791e18adfa961e13759a247deb73819a9434ded03846d"
      },
      "observed": {
        "case_status": "not_applicable"
      }
    },
    {
      "id": "runtime.25003-batch2-pg10-20260909.pg10",
      "run_id": "25003-batch2-pg10-20260909",
      "target": "pg10",
      "server_version": "10.21 (Debian 10.21-1.pgdg90+1)",
      "server_version_num": 100021,
      "status": "not_applicable",
      "case_status": "not_applicable",
      "target_status": "passed",
      "cases": [
        "branch_transaction_boundary"
      ],
      "summary_sha256": "d335d9fd5997ab7dcc342f129beba862143021dd8daa2e39465606587a00f4c6",
      "raw_sha256": "a34c4d65a6b30ab85b31ca178d2a9bc17cc837d4396f8df4736ff3e4d7aa5c7b",
      "case_manifest": {
        "sha256": "ab9486aa7775f7f7f49791e18adfa961e13759a247deb73819a9434ded03846d"
      },
      "observed": {
        "case_status": "not_applicable"
      }
    }
  ]
}