{
  "schema": 1,
  "sqlstate": "08007",
  "condition_name": "transaction_resolution_unknown",
  "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",
      "tag": "REL_18_6"
    },
    {
      "id": "src.calls.REL_10_23",
      "kind": "local_artifact",
      "source_role": "source_call_scan",
      "sha256": "00d16d3eb01b71ccf1b245c8f3102f9d0ec9f36fb02777b8dd1b99fcb263040c",
      "tag": "REL_10_23"
    },
    {
      "id": "manifest.08007",
      "kind": "local_artifact",
      "source_role": "case_manifest",
      "sha256": "a3415a0f0f518e59cd08d86d05c21b75c2926f8bb884d2ae5e212aefa1b98f21",
      "tag": "workspace"
    }
  ],
  "claims": [
    {
      "id": "identity.class-and-condition",
      "statement": "08007 is the transaction_resolution_unknown condition in Class 08.",
      "method": "Read the fixed errcodes.txt definition and the locked catalogue metadata.",
      "limits": "Directory identity does not identify every backend or client path.",
      "sources": [
        "src.errcodes.18.6"
      ]
    },
    {
      "id": "mechanism.source-boundary",
      "statement": "The fixed core scans contain no resolved PostgreSQL throw site for 08007. A client that cannot learn the result of COMMIT is a reconciliation problem, not proof of this server SQLSTATE.",
      "method": "Trace the fixed REL_18_6 and REL_10_23 source call scans and the recorded source paths.",
      "limits": "This is a bounded source claim; it is not an observed natural SQLSTATE case.",
      "sources": [
        "src.calls.REL_18_6",
        "src.calls.REL_10_23"
      ]
    },
    {
      "id": "versions.catalogue-boundary",
      "statement": "The locked catalogue records 08007 in the listed snapshots; this definition/source-only page has no selected natural runtime and only compares the fixed catalogue and bounded REL_18_6/REL_10_23 call-scan records.",
      "method": "Read the generated facts block and bounded fixed source/call-scan records; no runtime target summaries are used.",
      "limits": "Presence in a definition file is not an exact behavioral introduction; this scope establishes no resolved fixed core emitter or universal message template and does not prove every intermediate release.",
      "sources": [
        "src.errcodes.18.6",
        "src.calls.REL_18_6",
        "src.calls.REL_10_23"
      ]
    }
  ],
  "messages": [],
  "usage_evidence": [
    {
      "scope": "SQLSTATE directory identity",
      "status": "definition_only",
      "evidence_ids": [
        "identity.class-and-condition",
        "src.errcodes.18.6"
      ]
    },
    {
      "scope": "Fixed source or definition boundary",
      "status": "definition_only",
      "evidence_ids": [
        "mechanism.source-boundary",
        "src.calls.REL_18_6",
        "src.calls.REL_10_23"
      ]
    },
    {
      "scope": "Locked release presence and bounded version comparison",
      "status": "definition_only",
      "evidence_ids": [
        "versions.catalogue-boundary",
        "src.errcodes.18.6"
      ]
    }
  ],
  "runtime": []
}