{
  "schema": 1,
  "sqlstate": "72000",
  "condition_name": "snapshot_too_old",
  "sources": [
    {
      "id": "src.definition.rel16.artifact",
      "kind": "local_artifact",
      "source_role": "historical_definition",
      "tag": "REL_16_15",
      "sha256": "1d1d741b7b7c6dfd8275287e31c79befed75f3b9349e1a42ef0ca147c429ff88",
      "lines": "444"
    },
    {
      "id": "src.path.0",
      "kind": "upstream_source",
      "source_role": "historical_report_context",
      "tag": "REL_16_15",
      "commit": "7d3e000c5961a544302072058a1184e9a588837b",
      "path": "src/backend/storage/buffer/bufmgr.c",
      "sha256": "dd070e7dfee25fa7beabd63abf35d3116105f0517e83dd0743a9c73d8f50cfec",
      "url": "https://github.com/postgres/postgres/blob/7d3e000c5961a544302072058a1184e9a588837b/src/backend/storage/buffer/bufmgr.c#L5663",
      "lines": "5663-5675"
    },
    {
      "id": "src.path.1",
      "kind": "upstream_source",
      "source_role": "historical_guard",
      "tag": "REL_16_15",
      "commit": "7d3e000c5961a544302072058a1184e9a588837b",
      "path": "src/include/storage/bufmgr.h",
      "sha256": "9068c40143d84d3827bae5275bf13f6890d6b232a08922088187b0019ea94587",
      "url": "https://github.com/postgres/postgres/blob/7d3e000c5961a544302072058a1184e9a588837b/src/include/storage/bufmgr.h#L363",
      "lines": "363-392"
    },
    {
      "id": "src.path.2",
      "kind": "upstream_source",
      "source_role": "historical_threshold",
      "tag": "REL_16_15",
      "commit": "7d3e000c5961a544302072058a1184e9a588837b",
      "path": "src/backend/utils/time/snapmgr.c",
      "sha256": "7d87a04c85bd146f639bc4280bbb643f1000af231737f6055cbd4c35984f502c",
      "url": "https://github.com/postgres/postgres/blob/7d3e000c5961a544302072058a1184e9a588837b/src/backend/utils/time/snapmgr.c#L1697",
      "lines": "1697-1714,1782-1897"
    },
    {
      "id": "src.path.3",
      "kind": "upstream_source",
      "source_role": "historical_guc",
      "tag": "REL_16_15",
      "commit": "7d3e000c5961a544302072058a1184e9a588837b",
      "path": "src/backend/utils/misc/guc_tables.c",
      "sha256": "2e3efa81095d9fbc77afe7c3c0960f3440f33be768a1ac02461596161cf95468",
      "url": "https://github.com/postgres/postgres/blob/7d3e000c5961a544302072058a1184e9a588837b/src/backend/utils/misc/guc_tables.c#L3295",
      "lines": "3295-3302"
    },
    {
      "id": "src.path.4",
      "kind": "upstream_source",
      "source_role": "historical_documentation",
      "tag": "REL_16_15",
      "commit": "7d3e000c5961a544302072058a1184e9a588837b",
      "path": "doc/src/sgml/config.sgml",
      "sha256": "b256738f2425571a921f176e6e6d4b936a8164a0c79381c4c216d26c9749514c",
      "url": "https://github.com/postgres/postgres/blob/7d3e000c5961a544302072058a1184e9a588837b/doc/src/sgml/config.sgml#L2827",
      "lines": "2827-2884"
    }
  ],
  "claims": [
    {
      "id": "identity",
      "statement": "72000 is snapshot_too_old in SQLSTATE Class 72 in the locked REL_16_15 definition artifact.",
      "sources": [
        "src.definition.rel16.artifact"
      ],
      "method": "Read locked historical definition snapshot."
    },
    {
      "id": "resolved-paths",
      "statement": "The PG16.15 guard checks snapshot type, LSN/page ordering, relation eligibility, and threshold timestamp before raising ERROR 72000 with snapshot too old.",
      "sources": [
        "src.path.0",
        "src.path.1",
        "src.path.2"
      ],
      "method": "Read the inline guard, implementation, and threshold mapping contexts.",
      "limits": "Source confirmation is not natural runtime."
    },
    {
      "id": "configuration-and-history",
      "statement": "old_snapshot_threshold is a PGC_POSTMASTER setting, disabled by -1, and the PG16.15 documentation describes the vacuum/read conditions; the catalogue boundary places removal in the PG17 major line.",
      "sources": [
        "src.path.3",
        "src.path.4",
        "src.definition.rel16.artifact"
      ],
      "method": "Read fixed GUC and documentation plus locked version membership."
    },
    {
      "id": "history",
      "statement": "The locked definition artifact records 72000 through 16.15 and absent from PG17/18 snapshots; it does not assert a replacement SQLSTATE.",
      "sources": [
        "src.definition.rel16.artifact"
      ],
      "method": "Compare locked version snapshots."
    }
  ],
  "messages": [
    {
      "id": "message.0",
      "sqlstate": "72000",
      "primary_template": "snapshot too old",
      "severity_source": "ERROR",
      "sources": [
        "src.path.0"
      ]
    }
  ],
  "usage_evidence": [
    {
      "scope": "definition",
      "status": "definition_only",
      "evidence_ids": [
        "identity"
      ]
    },
    {
      "scope": "fixed-source-path",
      "status": "source_path_confirmed",
      "evidence_ids": [
        "resolved-paths"
      ]
    },
    {
      "scope": "history",
      "status": "unknown",
      "evidence_ids": [
        "history"
      ]
    },
    {
      "scope": "natural-runtime",
      "status": "unknown",
      "evidence_ids": [
        "resolved-paths"
      ]
    }
  ],
  "runtime": []
}