{
  "schema": 1,
  "sqlstate": "HV00P",
  "condition_name": "fdw_no_schemas",
  "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.foreigncmds.18.6",
      "kind": "upstream_source",
      "source_role": "core_command_path",
      "tag": "REL_18_6",
      "commit": "724edf9bde9d356724ad384a2e196edc3c9f80f7",
      "path": "src/backend/commands/foreigncmds.c",
      "sha256": "292d28c5589bbef8974af9355495431e9295a7c295a9cbdc5d7da1c5362471cd",
      "url": "https://github.com/postgres/postgres/blob/724edf9bde9d356724ad384a2e196edc3c9f80f7/src/backend/commands/foreigncmds.c"
    },
    {
      "id": "src.fdwapi.18.6",
      "kind": "upstream_source",
      "source_role": "fdw_api_definition",
      "tag": "REL_18_6",
      "commit": "724edf9bde9d356724ad384a2e196edc3c9f80f7",
      "path": "src/include/foreign/fdwapi.h",
      "sha256": "572ba892e6435ca92d3b3bc84dde5bbd3160cc3a082693daab8daa835c4d2cd7",
      "url": "https://github.com/postgres/postgres/blob/724edf9bde9d356724ad384a2e196edc3c9f80f7/src/include/foreign/fdwapi.h#L259-L260"
    },
    {
      "id": "src.foreigncmds.9.5.0",
      "kind": "upstream_source",
      "source_role": "historical_feature_source",
      "tag": "REL9_5_0",
      "commit": "cdd4ed5449bf317cc71b45a8deee0173822e7592",
      "path": "src/backend/commands/foreigncmds.c",
      "sha256": "d2ab3a8883ed1e27c38a0a7ff83f0fc9d493c488d7e30f56eef7d1ae449f9a16",
      "url": "https://github.com/postgres/postgres/blob/cdd4ed5449bf317cc71b45a8deee0173822e7592/src/backend/commands/foreigncmds.c#L1509-L1542"
    },
    {
      "id": "src.calls.REL_18_6",
      "kind": "local_artifact",
      "source_role": "source_call_scan",
      "sha256": "9ee8a0e81d8f0825c5c1ae45583439859a26e602bdd4ce2f2a62aa278867ccbf"
    }
  ],
  "claims": [
    {
      "id": "identity",
      "statement": "HV00P is fdw_no_schemas in SQL/MED Class HV.",
      "sources": [
        "src.errcodes.18.6"
      ],
      "method": "Read the fixed definition row and macro."
    },
    {
      "id": "handler-capability",
      "statement": "The core IMPORT FOREIGN SCHEMA command emits HV00P when the selected FDW handler has no ImportForeignSchema callback.",
      "sources": [
        "src.foreigncmds.18.6",
        "src.fdwapi.18.6"
      ],
      "method": "Read the callback-null branch and handler definition."
    },
    {
      "id": "import-feature-boundary",
      "statement": "The IMPORT FOREIGN SCHEMA command and its ImportForeignSchema handler callback are present in the fixed PostgreSQL 9.5.0 source snapshot; the 9.1.0 directory observation for HV00P is a condition-definition boundary, not evidence that this command existed in 9.1.",
      "sources": [
        "src.foreigncmds.9.5.0"
      ],
      "method": "Read the fixed REL9_5_0 foreigncmds.c command path and callback invocation.",
      "limits": "This establishes presence in the REL9_5_0 source snapshot; it does not claim the exact development commit or behavior of every wrapper before or after that snapshot."
    }
  ],
  "messages": [
    {
      "id": "no-import-schema-callback",
      "sqlstate": "HV00P",
      "severity": "ERROR",
      "source_ids": [
        "src.foreigncmds.18.6"
      ],
      "path": "src/backend/commands/foreigncmds.c:1527-1530",
      "message": "foreign-data wrapper \"%s\" does not support IMPORT FOREIGN SCHEMA"
    }
  ],
  "usage_evidence": [
    {
      "scope": "confirmed-source-path",
      "status": "source_path_confirmed",
      "evidence_ids": [
        "handler-capability",
        "no-import-schema-callback"
      ]
    },
    {
      "scope": "natural-runtime",
      "status": "unknown",
      "evidence_ids": [
        "handler-capability"
      ]
    }
  ],
  "runtime": []
}
