{
  "schema": 1,
  "sqlstate": "02000",
  "condition_name": "no_data",
  "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",
      "lines": "96"
    },
    {
      "id": "src.verify_nbtree.18.6",
      "kind": "upstream_source",
      "source_role": "internal_debug_diagnostics",
      "tag": "REL_18_6",
      "commit": "724edf9bde9d356724ad384a2e196edc3c9f80f7",
      "path": "contrib/amcheck/verify_nbtree.c",
      "sha256": "a59ae7540a990e5a70e8eb9cedbcad7c62e3e86b1ad426142c8931ee188b752d",
      "url": "https://github.com/postgres/postgres/blob/724edf9bde9d356724ad384a2e196edc3c9f80f7/contrib/amcheck/verify_nbtree.c",
      "lines": "992-1001"
    },
    {
      "id": "src.calls.REL_18_6",
      "kind": "local_artifact",
      "source_role": "source_call_scan",
      "sha256": "9ee8a0e81d8f0825c5c1ae45583439859a26e602bdd4ce2f2a62aa278867ccbf"
    }
  ],
  "claims": [
    {
      "id": "identity",
      "statement": "02000 is no_data in SQLSTATE Class 02.",
      "sources": [
        "src.errcodes.18.6"
      ],
      "method": "Read the fixed errcodes definition row and macro."
    },
    {
      "id": "source-path",
      "statement": "A fixed PostgreSQL 18.6 source path uses this SQLSTATE at the stated severity and operation.",
      "sources": [
        "src.verify_nbtree.18.6"
      ],
      "method": "Read the fixed source context around the SQLSTATE macro.",
      "limits": "This confirms a source path and current wording; it is not a runtime observation of every installation."
    },
    {
      "id": "message-scope",
      "statement": "The authored evidence expands three representative amcheck groups, each resolved at DEBUG1; the fixed source also contains other 02000 DEBUG1/DEBUG2 paths that are outside this selected message set.",
      "sources": [
        "src.verify_nbtree.18.6"
      ],
      "method": "Compare the selected message groups with the fixed verify_nbtree.c call scan.",
      "limits": "No natural amcheck runtime or exhaustive producer inventory is claimed."
    }
  ],
  "messages": [
    {
      "id": "amcheck-fast-root-mismatch",
      "severity": "DEBUG1",
      "primary_template": "harmless fast root mismatch in index \"%s\"",
      "sources": [
        "src.verify_nbtree.18.6"
      ],
      "path": "L508-L514",
      "detail_template": "Fast root block %u (level %u) differs from true root block %u (level %u).",
      "internal": true,
      "sqlstate": "02000",
      "source_ids": [
        "src.verify_nbtree.18.6"
      ],
      "limits": "Resolved group is DEBUG1 and internal; the fixed source labels this mismatch harmless, so it does not imply corruption or a VACUUM requirement."
    },
    {
      "id": "amcheck-concurrent-delete",
      "severity": "DEBUG1",
      "primary_template": "block %u of index \"%s\" concurrently deleted",
      "sources": [
        "src.verify_nbtree.18.6"
      ],
      "path": "L691-L694",
      "internal": true,
      "sqlstate": "02000",
      "source_ids": [
        "src.verify_nbtree.18.6"
      ],
      "limits": "Resolved group is DEBUG1 and internal; this branch has no VACUUM hint and requires concurrency context."
    },
    {
      "id": "amcheck-uniqueness-uncheckable",
      "severity": "DEBUG1",
      "primary_template": "index uniqueness can not be checked for index tid=(%u,%u) in index \"%s\"",
      "sources": [
        "src.verify_nbtree.18.6"
      ],
      "path": "L992-L1001",
      "detail_template": "It doesn't have visible heap tids and key is equal to the tid=(%u,%u)%s (points to heap tid=(%u,%u)).",
      "hint_template": "VACUUM the table and repeat the check.",
      "sqlstate": "02000",
      "source_ids": [
        "src.verify_nbtree.18.6"
      ],
      "limits": "Resolved group is DEBUG1; the VACUUM hint belongs to this uniqueness-check branch only."
    }
  ],
  "usage_evidence": [
    {
      "scope": "fixed-source-path",
      "status": "source_path_confirmed",
      "evidence_ids": [
        "identity",
        "source-path",
        "message-scope"
      ]
    },
    {
      "scope": "natural-runtime",
      "status": "unknown",
      "evidence_ids": [
        "source-path"
      ]
    }
  ],
  "runtime": []
}