{ "schema": 1, "sqlstate": "08003", "condition_name": "connection_does_not_exist", "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": "src.dblink-not-available.18.6", "kind": "upstream_source", "source_role": "source_call", "tag": "REL_18_6", "commit": "724edf9bde9d356724ad384a2e196edc3c9f80f7", "path": "contrib/dblink/dblink.c", "sha256": "e4cfaec3a0a1e5d23fded584725e0f6cf7a17321ad99e5fe046e8b7f97416f15", "url": "https://github.com/postgres/postgres/blob/724edf9bde9d356724ad384a2e196edc3c9f80f7/contrib/dblink/dblink.c#L193-L195" }, { "id": "src.dblink-not-available.10.23", "kind": "upstream_source", "source_role": "source_call", "tag": "REL_10_23", "commit": "02991e79f8f58bc208f05dcc8af0c62dbe0a6ea4", "path": "contrib/dblink/dblink.c", "sha256": "2d542cc722ba361bd59990aaed7fe7c0f8e147155df5e5fcd56ee03b4dd27c61", "url": "https://github.com/postgres/postgres/blob/02991e79f8f58bc208f05dcc8af0c62dbe0a6ea4/contrib/dblink/dblink.c#L171-L173" }, { "id": "doc.transactions.18", "kind": "upstream_source", "source_role": "transaction_recovery_documentation", "tag": "PG18-docs", "commit": "724edf9bde9d356724ad384a2e196edc3c9f80f7", "path": "doc/src/sgml/xact.sgml", "sha256": "b48fbe8bd02ce3d1181a350c88c8baa6e11c73edc90a936e77b180daef328c5c", "url": "https://www.postgresql.org/docs/18/tutorial-transactions.html" }, { "id": "manifest.08003", "kind": "local_artifact", "source_role": "case_manifest", "sha256": "8ea12e9b1ce6097559da1eb41f880d946356274d5147465ea33b96190104a8ae", "tag": "workspace" }, { "id": "snippet-registry.08003", "kind": "local_artifact", "source_role": "snippet_registry", "sha256": "a5f2c89616e3b311eec9b54a7d2a5c454bfad02b53896f3596bf5f963354d4a0", "tag": "workspace" } ], "claims": [ { "id": "identity.class-and-condition", "statement": "08003 is the connection_does_not_exist 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.backend-path", "statement": "The fixed source paths associated with 08003 report the condition in the mechanism selected for this page.", "method": "Trace the resolved source call records at the fixed release commits and compare their dynamic message fields.", "limits": "Other calls can retain the same SQLSTATE with different context or text.", "sources": [ "src.dblink-not-available.18.6", "src.dblink-not-available.10.23" ] }, { "id": "runtime.representative-case", "statement": "The selected dblink_missing_connection case passed with the expected structured diagnostics, recovery assertions, and cleanup on PostgreSQL 18.6 and 10.21.", "method": "Run the shared registry case on isolated runner-owned latest and PG10 targets; inspect the final summaries and raw results.", "limits": "This covers the selected case and versions only; it does not generalize to every driver, proxy, or intermediate release.", "sources": [ "snippet-registry.08003", "manifest.08003" ], "runtime": [ "runtime.08003-dblink-repair-latest.latest", "runtime.08003-dblink-repair-pg10c.pg10" ] }, { "id": "transaction-boundary", "statement": "The selected dblink handle lookup is an ERROR observed under autocommit, where the owner session remains IDLE; inside an explicit transaction, the same ERROR follows PostgreSQL's rollback or intentional-savepoint recovery boundary.", "method": "Combine the fixed dblink handle lookup source path with the official transaction and savepoint recovery contract.", "limits": "No explicit-transaction dblink runtime was selected in this batch; the transaction guidance is the general ERROR boundary.", "sources": [ "src.dblink-not-available.18.6", "doc.transactions.18" ] }, { "id": "versions.catalogue-boundary", "statement": "The locked catalogue records 08003 in the listed snapshots; the runtime comparison here is limited to PostgreSQL 18.6 and 10.21.", "method": "Read the generated facts block and locked manifest, then compare the selected target summaries.", "limits": "Presence in a definition file is not an exact behavioral introduction; the two runtime targets do not prove all middle versions.", "sources": [ "src.errcodes.18.6", "src.calls.REL_18_6", "src.calls.REL_10_23" ] } ], "messages": [ { "id": "message.dblink-handle", "sqlstate": "08003", "severity_source": "explicit ERROR", "sources": [ "src.dblink-not-available.18.6", "src.dblink-not-available.10.23" ], "primary_template": "connection \"%s\" not available" } ], "usage_evidence": [ { "scope": "SQLSTATE directory identity", "status": "definition_only", "evidence_ids": [ "identity.class-and-condition", "src.errcodes.18.6" ] }, { "scope": "Selected backend mechanism", "status": "source_path_confirmed", "evidence_ids": [ "mechanism.backend-path", "src.dblink-not-available.18.6", "src.dblink-not-available.10.23", "transaction-boundary", "doc.transactions.18" ] }, { "scope": "Observed dblink_missing_connection on isolated targets", "status": "observed_runtime", "evidence_ids": [ "runtime.representative-case", "snippet-registry.08003", "runtime.08003-dblink-repair-latest.latest", "runtime.08003-dblink-repair-pg10c.pg10" ] }, { "scope": "Locked release presence and bounded version comparison", "status": "definition_only", "evidence_ids": [ "versions.catalogue-boundary", "src.errcodes.18.6" ] } ], "runtime": [ { "id": "runtime.08003-dblink-repair-latest.latest", "kind": "runtime_observation", "run_id": "08003-dblink-repair-latest", "target": "latest", "status": "passed", "server_version": "18.6 (Homebrew)", "server_version_num": 180006, "cases": [ "dblink_missing_connection" ], "summary_sha256": "6700d31ff0162861b00242d054665fc0644487d1f78eb3b7c663c1e95b077046", "raw_sha256": "170d804e9fc4fe7b1ef2d7cf85ebb16c451144178d275b8bd8720934f7c584b5", "case_manifest_sha256": "8ea12e9b1ce6097559da1eb41f880d946356274d5147465ea33b96190104a8ae", "snippet_registry": { "sha256": "a5f2c89616e3b311eec9b54a7d2a5c454bfad02b53896f3596bf5f963354d4a0" }, "environment": { "target_kind": "latest", "server_version": "18.6 (Homebrew)", "server_version_num": "180006", "machine": "arm64", "platform": "macOS-26.6.2-arm64-arm-64bit-Mach-O", "libpq_version": "18.6", "psycopg_version": "3.3.5", "python_version": "3.14.6 (main, Jun 10 2026, 10:03:53) [Clang 21.0.0 (clang-2100.0.123.102)]", "locale": "en_US.UTF-8", "lc_messages": "C", "log_destination": "csvlog,jsonlog" }, "observed": { "connection_autocommit": true, "connection_scope": "server-side dblink name lookup followed by a real runner-owned dblink handle", "dblink_repair": { "disconnected": "OK", "opened": "OK", "remote_probe": 1 }, "diagnostic": { "column_name": null, "constraint_name": null, "context": null, "datatype_name": null, "exception_type": "ConnectionDoesNotExist", "internal_position": null, "internal_query": null, "message_detail": null, "message_hint": null, "message_primary": "connection \"missing_remote\" not available", "schema_name": null, "severity": "ERROR", "severity_nonlocalized": "ERROR", "source_file": "dblink.c", "source_function": "dblink_conn_not_avail", "source_line": "195", "sqlstate": "08003", "statement_position": null, "table_name": null, "text": "connection \"missing_remote\" not available" }, "probe": 1, "statuses": { "after_error": "IDLE", "final": "IDLE" } }, "assertions": [ { "expected": "08003", "name": "missing dblink connection SQLSTATE", "observed": "08003", "passed": true }, { "expected": "connection not available", "name": "missing dblink connection diagnostic", "observed": "connection \"missing_remote\" not available", "passed": true }, { "expected": "IDLE", "name": "lookup failure leaves session usable", "observed": "IDLE", "passed": true }, { "expected": "OK and remote SELECT 1", "name": "missing handle path can open a real handle", "observed": { "open": "OK", "remote": 1 }, "passed": true }, { "expected": "OK", "name": "real handle is disconnected", "observed": "OK", "passed": true }, { "expected": "SELECT 1 and IDLE", "name": "owner session remains usable", "observed": { "probe": 1, "status": "IDLE" }, "passed": true } ], "cleanup": { "case": { "errors": [], "passed": true }, "target_stop": { "argv": [ "/opt/homebrew/Cellar/postgresql@18/18.6/bin/pg_ctl", "-D", "", "-m", "fast", "-w", "stop" ], "elapsed_seconds": 0.111, "returncode": 0, "stderr": "", "stdout": "waiting for server to shut down.... done\nserver stopped\n" } }, "limits": "Disposable runner-owned target only; this is a bounded mechanism case, not a guarantee for every client or network path." }, { "id": "runtime.08003-dblink-repair-pg10c.pg10", "kind": "runtime_observation", "run_id": "08003-dblink-repair-pg10c", "target": "pg10", "status": "passed", "server_version": "10.21 (Debian 10.21-1.pgdg90+1)", "server_version_num": 100021, "cases": [ "dblink_missing_connection" ], "summary_sha256": "e0145f317869154f9641cbd77e935ed8a985716fdcdf889d0a0f5566de022ce7", "raw_sha256": "8484128ab10388de521a0dfab08f2313ec0f53d6ec447583f5fd3b8cd3a51fcf", "case_manifest_sha256": "8ea12e9b1ce6097559da1eb41f880d946356274d5147465ea33b96190104a8ae", "snippet_registry": { "sha256": "a5f2c89616e3b311eec9b54a7d2a5c454bfad02b53896f3596bf5f963354d4a0" }, "environment": { "target_kind": "pg10", "server_version": "10.21 (Debian 10.21-1.pgdg90+1)", "server_version_num": "100021", "machine": "arm64", "platform": "macOS-26.6.2-arm64-arm-64bit-Mach-O", "libpq_version": "18.6", "psycopg_version": "3.3.5", "python_version": "3.14.6 (main, Jun 10 2026, 10:03:53) [Clang 21.0.0 (clang-2100.0.123.102)]", "locale": "en_US.UTF-8", "lc_messages": "en_US.utf8", "log_destination": "csvlog" }, "observed": { "connection_autocommit": true, "connection_scope": "server-side dblink name lookup followed by a real runner-owned dblink handle", "dblink_repair": { "disconnected": "OK", "opened": "OK", "remote_probe": 1 }, "diagnostic": { "column_name": null, "constraint_name": null, "context": null, "datatype_name": null, "exception_type": "ConnectionDoesNotExist", "internal_position": null, "internal_query": null, "message_detail": null, "message_hint": null, "message_primary": "connection \"missing_remote\" not available", "schema_name": null, "severity": "ERROR", "severity_nonlocalized": "ERROR", "source_file": "dblink.c", "source_function": "dblink_conn_not_avail", "source_line": "173", "sqlstate": "08003", "statement_position": null, "table_name": null, "text": "connection \"missing_remote\" not available" }, "probe": 1, "statuses": { "after_error": "IDLE", "final": "IDLE" } }, "assertions": [ { "expected": "08003", "name": "missing dblink connection SQLSTATE", "observed": "08003", "passed": true }, { "expected": "connection not available", "name": "missing dblink connection diagnostic", "observed": "connection \"missing_remote\" not available", "passed": true }, { "expected": "IDLE", "name": "lookup failure leaves session usable", "observed": "IDLE", "passed": true }, { "expected": "OK and remote SELECT 1", "name": "missing handle path can open a real handle", "observed": { "open": "OK", "remote": 1 }, "passed": true }, { "expected": "OK", "name": "real handle is disconnected", "observed": "OK", "passed": true }, { "expected": "SELECT 1 and IDLE", "name": "owner session remains usable", "observed": { "probe": 1, "status": "IDLE" }, "passed": true } ], "cleanup": { "case": { "errors": [], "passed": true }, "target_stop": { "cleanup": { "argv": [ "/usr/local/bin/docker", "rm", "-f", "-v", "sqlstate08003_08003dblinkrepairpg10c_pg10" ], "elapsed_seconds": 0.382, "returncode": 0, "stderr": "", "stdout": "sqlstate08003_08003dblinkrepairpg10c_pg10\n" }, "inspect": { "argv": [ "/usr/local/bin/docker", "inspect", "sqlstate08003_08003dblinkrepairpg10c_pg10" ], "elapsed_seconds": 0.015, "returncode": 0, "stderr": "", "stdout": "[\n {\n \"Id\": \"025cd355a7e4c5c60fc61c525bcc661349a7eb300691a6ff57c2e9941b491026\",\n \"Created\": \"2026-09-09T15:34:24.994177964Z\",\n \"Path\": \"docker-entrypoint.sh\",\n \"Args\": [\n \"postgres\",\n \"-c\",\n \"listen_addresses=*\",\n \"-c\",\n \"log_destination=csvlog\",\n \"-c\",\n \"logging_collector=on\",\n \"-c\",\n \"log_directory=log\",\n \"-c\",\n \"log_filename=postgresql-%Y%m%d%H%M%S.log\",\n \"-c\",\n \"log_min_messages=error\",\n \"-c\",\n \"log_min_error_statement=error\",\n \"-c\",\n \"log_error_verbosity=verbose\",\n \"-c\",\n \"wal_level=logical\",\n \"-c\",\n \"max_wal_senders=10\",\n \"-c\",\n \"max_replication_slots=10\"\n ],\n \"State\": {\n \"Status\": \"running\",\n \"Running\": true,\n \"Paused\": false,\n \"Restarting\": false,\n \"OOMKilled\": false,\n \"Dead\": false,\n \"Pid\": 57740,\n \"ExitCode\": 0,\n \"Error\": \"\",\n \"StartedAt\": \"2026-09-09T15:34:25.105205547Z\",\n \"FinishedAt\": \"0001-01-01T00:00:00Z\"\n },\n \"Image\": \"sha256:b2baf8998630663d21370da06387c950e587071bdd307ee34e661cdcc7442bcc\",\n \"ResolvConfPath\": \"/var/lib/docker/containers/025cd355a7e4c5c60fc61c525bcc661349a7eb300691a6ff57c2e9941b491026/resolv.conf\",\n \"HostnamePath\": \"/var/lib/docker/containers/025cd355a7e4c5c60fc61c525bcc661349a7eb300691a6ff57c2e9941b491026/hostname\",\n \"HostsPath\": \"/var/lib/docker/containers/025cd355a7e4c5c60fc61c525bcc661349a7eb300691a6ff57c2e9941b491026/hosts\",\n \"LogPath\": \"/var/lib/docker/containers/025cd355a7e4c5c60fc61c525bcc661349a7eb300691a6ff57c2e9941b491026/025cd355a7e4c5c60fc61c525bcc661349a7eb300691a6ff57c2e9941b491026-json.log\",\n \"Name\": \"/sqlstate08003_08003dblinkrepairpg10c_pg10\",\n \"RestartCount\": 0,\n \"Driver\": \"overlayfs\",\n \"Platform\": \"linux\",\n \"MountLabel\": \"\",\n \"ProcessLabel\": \"\",\n \"AppArmorProfile\": \"\",\n \"ExecIDs\": null,\n \"HostConfig\": {\n \"Binds\": null,\n \"ContainerIDFile\": \"\",\n \"LogConfig\": {\n \"Type\": \"json-file\",\n \"Config\": {}\n },\n \"NetworkMode\": \"bridge\",\n \"PortBindings\": {\n \"5432/tcp\": [\n {\n \"HostIp\": \"127.0.0.1\",\n \"HostPort\": \"\"\n }\n ]\n },\n \"RestartPolicy\": {\n \"Name\": \"no\",\n \"MaximumRetryCount\": 0\n },\n \"AutoRemove\": false,\n \"VolumeDriver\": \"\",\n \"VolumesFrom\": null,\n \"ConsoleSize\": [\n 0,\n 0\n ],\n \"CapAdd\": null,\n \"CapDrop\": null,\n \"CgroupnsMode\": \"private\",\n \"Dns\": null,\n \"DnsOptions\": [],\n \"DnsSearch\": [],\n \"ExtraHosts\": null,\n \"GroupAdd\": null,\n \"IpcMode\": \"private\",\n \"Cgroup\": \"\",\n \"Links\": null,\n \"OomScoreAdj\": 0,\n \"PidMode\": \"\",\n \"Privileged\": false,\n \"PublishAllPorts\": false,\n \"ReadonlyRootfs\": false,\n \"SecurityOpt\": null,\n \"UTSMode\": \"\",\n \"UsernsMode\": \"\",\n \"ShmSize\": 67108864,\n \"Runtime\": \"runc\",\n \"Isolation\": \"\",\n \"CpuShares\": 0,\n \"Memory\": 0,\n \"NanoCpus\": 0,\n \"CgroupParent\": \"\",\n \"BlkioWeight\": 0,\n \"BlkioWeightDevice\": [],\n \"BlkioDeviceReadBps\": [],\n \"BlkioDeviceWriteBps\": [],\n \"BlkioDeviceReadIOps\": [],\n \"BlkioDeviceWriteIOps\": [],\n \"CpuPeriod\": 0,\n \"CpuQuota\": 0,\n \"CpuRealtimePeriod\": 0,\n \"CpuRealtimeRuntime\": 0,\n \"CpusetCpus\": \"\",\n \"CpusetMems\": \"\",\n \"Devices\": [],\n \"DeviceCgroupRules\": null,\n \"DeviceRequests\": null,\n \"MemoryReservation\": 0,\n \"MemorySwap\": 0,\n \"MemorySwappiness\": null,\n \"OomKillDisable\": null,\n \"PidsLimit\": null,\n \"Ulimits\": [],\n \"CpuCount\": 0,\n \"CpuPercent\": 0,\n \"IOMaximumIOps\": 0,\n \"IOMaximumBandwidth\": 0,\n \"MaskedPaths\": [\n \"/proc/acpi\",\n \"/proc/asound\",\n \"/proc/interrupts\",\n \"/proc/kcore\",\n \"/proc/keys\",\n \"/proc/latency_stats\",\n \"/proc/sched_debug\",\n \"/proc/scsi\",\n \"/proc/timer_list\",\n \"/proc/timer_stats\",\n \"/sys/devices/virtual/powercap\",\n \"/sys/firmware\"\n ],\n \"ReadonlyPaths\": [\n \"/proc/bus\",\n \"/proc/fs\",\n \"/proc/irq\",\n \"/proc/sys\",\n \"/proc/sysrq-trigger\"\n ]\n },\n \"Storage\": {\n \"RootFS\": {\n \"Snapshot\": {\n \"Name\": \"overlayfs\"\n }\n }\n },\n \"Mounts\": [\n {\n \"Type\": \"volume\",\n \"Name\": \"3974c6b731a2f5565901139f85b1dcbc7c493ca42171e31dd5141547c819ec65\",\n \"Source\": \"/var/lib/docker/volumes/3974c6b731a2f5565901139f85b1dcbc7c493ca42171e31dd5141547c819ec65/_data\",\n \"Destination\": \"/var/lib/postgresql/data\",\n \"Driver\": \"local\",\n \"Mode\": \"\",\n \"RW\": true,\n \"Propagation\": \"\"\n }\n ],\n \"Config\": {\n \"Hostname\": \"025cd355a7e4\",\n \"Domainname\": \"\",\n \"User\": \"\",\n \"AttachStdin\": false,\n \"AttachStdout\": false,\n \"AttachStderr\": false,\n \"ExposedPorts\": {\n \"5432/tcp\": {}\n },\n \"Tty\": false,\n \"OpenStdin\": false,\n \"StdinOnce\": false,\n \"Env\": [\n \"POSTGRES_HOST_AUTH_METHOD=trust\",\n \"PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/lib/postgresql/10/bin\",\n \"GOSU_VERSION=1.14\",\n \"LANG=en_US.utf8\",\n \"PG_MAJOR=10\",\n \"PG_VERSION=10.21-1.pgdg90+1\",\n \"PGDATA=/var/lib/postgresql/data\"\n ],\n \"Cmd\": [\n \"postgres\",\n \"-c\",\n \"listen_addresses=*\",\n \"-c\",\n \"log_destination=csvlog\",\n \"-c\",\n \"logging_collector=on\",\n \"-c\",\n \"log_directory=log\",\n \"-c\",\n \"log_filename=postgresql-%Y%m%d%H%M%S.log\",\n \"-c\",\n \"log_min_messages=error\",\n \"-c\",\n \"log_min_error_statement=error\",\n \"-c\",\n \"log_error_verbosity=verbose\",\n \"-c\",\n \"wal_level=logical\",\n \"-c\",\n \"max_wal_senders=10\",\n \"-c\",\n \"max_replication_slots=10\"\n ],\n \"Image\": \"postgres@sha256:b2baf8998630663d21370da06387c950e587071bdd307ee34e661cdcc7442bcc\",\n \"Volumes\": {\n \"/var/lib/postgresql/data\": {}\n },\n \"WorkingDir\": \"\",\n \"Entrypoint\": [\n \"docker-entrypoint.sh\"\n ],\n \"Labels\": {},\n \"StopSignal\": \"SIGINT\",\n \"StopTimeout\": 1\n },\n \"NetworkSettings\": {\n \"SandboxID\": \"706850bbbb1bb9a05c398b4856d1156fcb710a9f2c1001ffb59b6fddc585fbe4\",\n \"SandboxKey\": \"/var/run/docker/netns/706850bbbb1b\",\n \"Ports\": {\n \"5432/tcp\": [\n {\n \"HostIp\": \"127.0.0.1\",\n \"HostPort\": \"62378\"\n }\n ]\n },\n \"Networks\": {\n \"bridge\": {\n \"IPAMConfig\": null,\n \"Links\": null,\n \"Aliases\": null,\n \"DriverOpts\": null,\n \"GwPriority\": 0,\n \"NetworkID\": \"aed51554f8cd8bac69ecd4f073e41e147fda7b458e9d95be2af472651f2e825c\",\n \"EndpointID\": \"c87448deaf1d0ca8886a7d07b083a3824850a8f90af3eb8bdb2c91978786da6b\",\n \"Gateway\": \"172.17.0.1\",\n \"IPAddress\": \"172.17.0.57\",\n \"MacAddress\": \"d2:ac:2a:95:f4:9b\",\n \"IPPrefixLen\": 16,\n \"IPv6Gateway\": \"\",\n \"GlobalIPv6Address\": \"\",\n \"GlobalIPv6PrefixLen\": 0,\n \"DNSNames\": null\n }\n }\n },\n \"ImageManifestDescriptor\": {\n \"mediaType\": \"application/vnd.docker.distribution.manifest.v2+json\",\n \"digest\": \"sha256:52aada7978f1eef3b6b52a51afb7a3defd69254d00c946cb90d2ceb32b8ffce7\",\n \"size\": 3246,\n \"platform\": {\n \"architecture\": \"arm64\",\n \"os\": \"linux\",\n \"variant\": \"v8\"\n }\n }\n }\n]\n" } } }, "limits": "Disposable runner-owned target only; this is a bounded mechanism case, not a guarantee for every client or network path.", "image": "postgres:10" } ] }