{ "schema": 1, "sqlstate": "0A000", "condition_name": "feature_not_supported", "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.indexcmds-asc-desc.18.6", "kind": "upstream_source", "source_role": "source_call", "tag": "REL_18_6", "commit": "724edf9bde9d356724ad384a2e196edc3c9f80f7", "path": "src/backend/commands/indexcmds.c", "sha256": "0bdae365f207ab82865806c5983cac94c5c062e7a61ab7c883ccb7e2015fad36", "url": "https://github.com/postgres/postgres/blob/724edf9bde9d356724ad384a2e196edc3c9f80f7/src/backend/commands/indexcmds.c#L2244-L2247" }, { "id": "src.indexcmds-asc-desc.10.23", "kind": "upstream_source", "source_role": "source_call", "tag": "REL_10_23", "commit": "02991e79f8f58bc208f05dcc8af0c62dbe0a6ea4", "path": "src/backend/commands/indexcmds.c", "sha256": "97766ba385fea1ba642e5b077fd5ce7cbb9f9faff177bcece0de2fc3e2904b23", "url": "https://github.com/postgres/postgres/blob/02991e79f8f58bc208f05dcc8af0c62dbe0a6ea4/src/backend/commands/indexcmds.c#L1403-L1406" }, { "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.0A000", "kind": "local_artifact", "source_role": "case_manifest", "sha256": "e711ee0419cff19ec9e882d12ccecfc725c521539a2bcc8fcb25a7da119cd871", "tag": "workspace" }, { "id": "snippet-registry.0A000", "kind": "local_artifact", "source_role": "snippet_registry", "sha256": "887418175ca41e41edc08dce950711bf71ee61cedb60076304332bb90e1b8cf3", "tag": "workspace" } ], "claims": [ { "id": "identity.class-and-condition", "statement": "0A000 is the feature_not_supported condition in Class 0A.", "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 0A000 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.indexcmds-asc-desc.18.6", "src.indexcmds-asc-desc.10.23" ] }, { "id": "runtime.representative-case", "statement": "The selected hash_index_feature 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.0A000", "manifest.0A000" ], "runtime": [ "runtime.0A000-registry-repair-latest.latest", "runtime.0A000-registry-repair-pg10.pg10" ] }, { "id": "transaction-boundary", "statement": "The selected unsupported hash-index option is an ERROR observed under autocommit, where the session remains IDLE; the same DDL failure inside an explicit transaction follows PostgreSQL's rollback or intentional-savepoint recovery boundary.", "method": "Combine the fixed index-command ERROR path with the official transaction and savepoint recovery contract.", "limits": "No explicit-transaction index runtime was selected in this batch; this does not generalize the IDLE observation to every 0A000 producer.", "sources": [ "src.indexcmds-asc-desc.18.6", "doc.transactions.18" ] }, { "id": "versions.catalogue-boundary", "statement": "The locked catalogue records 0A000 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.hash-asc-desc", "sqlstate": "0A000", "severity_source": "explicit ERROR", "sources": [ "src.indexcmds-asc-desc.18.6", "src.indexcmds-asc-desc.10.23" ], "primary_template": "access method \"%s\" does not support ASC/DESC options" } ], "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.indexcmds-asc-desc.18.6", "src.indexcmds-asc-desc.10.23", "transaction-boundary", "doc.transactions.18" ] }, { "scope": "Observed hash_index_feature on isolated targets", "status": "observed_runtime", "evidence_ids": [ "runtime.representative-case", "snippet-registry.0A000", "runtime.0A000-registry-repair-latest.latest", "runtime.0A000-registry-repair-pg10.pg10" ] }, { "scope": "Locked release presence and bounded version comparison", "status": "definition_only", "evidence_ids": [ "versions.catalogue-boundary", "src.errcodes.18.6" ] } ], "runtime": [ { "id": "runtime.0A000-registry-repair-latest.latest", "kind": "runtime_observation", "run_id": "0A000-registry-repair-latest", "target": "latest", "status": "passed", "server_version": "18.6 (Homebrew)", "server_version_num": 180006, "cases": [ "hash_index_feature" ], "summary_sha256": "54cc318bb40b47917849a6737f3099701a490097c8166530311694eead88ee4b", "raw_sha256": "d97aa6d3727466b1916a09a18977b374e5524e2bee8e25a4a638bdd9e77451d9", "case_manifest_sha256": "e711ee0419cff19ec9e882d12ccecfc725c521539a2bcc8fcb25a7da119cd871", "snippet_registry": { "sha256": "887418175ca41e41edc08dce950711bf71ee61cedb60076304332bb90e1b8cf3" }, "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, "diagnostic": { "column_name": null, "constraint_name": null, "context": null, "datatype_name": null, "exception_type": "FeatureNotSupported", "internal_position": null, "internal_query": null, "message_detail": null, "message_hint": null, "message_primary": "access method \"hash\" does not support ASC/DESC options", "schema_name": null, "severity": "ERROR", "severity_nonlocalized": "ERROR", "source_file": "indexcmds.c", "source_function": "ComputeIndexAttrs", "source_line": "2247", "sqlstate": "0A000", "statement_position": null, "table_name": null, "text": "access method \"hash\" does not support ASC/DESC options" }, "index_valid": true, "repair": "CREATE INDEX USING hash without ASC/DESC", "statuses": { "after_error": "IDLE", "final": "IDLE" } }, "assertions": [ { "expected": "0A000", "name": "feature SQLSTATE", "observed": "0A000", "passed": true }, { "expected": "access method does not support ASC/DESC options", "name": "feature diagnostic", "observed": "access method \"hash\" does not support ASC/DESC options", "passed": true }, { "expected": "IDLE, valid index, IDLE", "name": "valid alternative index repairs path", "observed": { "after_error": "IDLE", "final": "IDLE", "valid": true }, "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.0A000-registry-repair-pg10.pg10", "kind": "runtime_observation", "run_id": "0A000-registry-repair-pg10", "target": "pg10", "status": "passed", "server_version": "10.21 (Debian 10.21-1.pgdg90+1)", "server_version_num": 100021, "cases": [ "hash_index_feature" ], "summary_sha256": "22268d4d8c72c33e298f708ed13352c3935fbfc90c4b4fa707eafde5370ae4c4", "raw_sha256": "f05761b7086a8c223fc4e1137de8c3580fdf507a452f87892662a98871edb977", "case_manifest_sha256": "e711ee0419cff19ec9e882d12ccecfc725c521539a2bcc8fcb25a7da119cd871", "snippet_registry": { "sha256": "887418175ca41e41edc08dce950711bf71ee61cedb60076304332bb90e1b8cf3" }, "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, "diagnostic": { "column_name": null, "constraint_name": null, "context": null, "datatype_name": null, "exception_type": "FeatureNotSupported", "internal_position": null, "internal_query": null, "message_detail": null, "message_hint": null, "message_primary": "access method \"hash\" does not support ASC/DESC options", "schema_name": null, "severity": "ERROR", "severity_nonlocalized": "ERROR", "source_file": "indexcmds.c", "source_function": "ComputeIndexAttrs", "source_line": "1338", "sqlstate": "0A000", "statement_position": null, "table_name": null, "text": "access method \"hash\" does not support ASC/DESC options" }, "index_valid": true, "repair": "CREATE INDEX USING hash without ASC/DESC", "statuses": { "after_error": "IDLE", "final": "IDLE" } }, "assertions": [ { "expected": "0A000", "name": "feature SQLSTATE", "observed": "0A000", "passed": true }, { "expected": "access method does not support ASC/DESC options", "name": "feature diagnostic", "observed": "access method \"hash\" does not support ASC/DESC options", "passed": true }, { "expected": "IDLE, valid index, IDLE", "name": "valid alternative index repairs path", "observed": { "after_error": "IDLE", "final": "IDLE", "valid": true }, "passed": true } ], "cleanup": { "case": { "errors": [], "passed": true }, "target_stop": { "cleanup": { "argv": [ "/usr/local/bin/docker", "rm", "-f", "-v", "sqlstate0a000_0A000registryrepairpg10_pg10" ], "elapsed_seconds": 0.563, "returncode": 0, "stderr": "", "stdout": "sqlstate0a000_0A000registryrepairpg10_pg10\n" }, "inspect": { "argv": [ "/usr/local/bin/docker", "inspect", "sqlstate0a000_0A000registryrepairpg10_pg10" ], "elapsed_seconds": 0.02, "returncode": 0, "stderr": "", "stdout": "[\n {\n \"Id\": \"c898141790dbae928a9bf34a34dbc39b5b6ffced8436d2fc08d8a6389e070126\",\n \"Created\": \"2026-09-09T15:32:56.548342006Z\",\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\": 56765,\n \"ExitCode\": 0,\n \"Error\": \"\",\n \"StartedAt\": \"2026-09-09T15:32:56.707315506Z\",\n \"FinishedAt\": \"0001-01-01T00:00:00Z\"\n },\n \"Image\": \"sha256:b2baf8998630663d21370da06387c950e587071bdd307ee34e661cdcc7442bcc\",\n \"ResolvConfPath\": \"/var/lib/docker/containers/c898141790dbae928a9bf34a34dbc39b5b6ffced8436d2fc08d8a6389e070126/resolv.conf\",\n \"HostnamePath\": \"/var/lib/docker/containers/c898141790dbae928a9bf34a34dbc39b5b6ffced8436d2fc08d8a6389e070126/hostname\",\n \"HostsPath\": \"/var/lib/docker/containers/c898141790dbae928a9bf34a34dbc39b5b6ffced8436d2fc08d8a6389e070126/hosts\",\n \"LogPath\": \"/var/lib/docker/containers/c898141790dbae928a9bf34a34dbc39b5b6ffced8436d2fc08d8a6389e070126/c898141790dbae928a9bf34a34dbc39b5b6ffced8436d2fc08d8a6389e070126-json.log\",\n \"Name\": \"/sqlstate0a000_0A000registryrepairpg10_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\": \"0555c33286c93d297818c400da5418176790153dcaee5fcf903fd15e70055b0f\",\n \"Source\": \"/var/lib/docker/volumes/0555c33286c93d297818c400da5418176790153dcaee5fcf903fd15e70055b0f/_data\",\n \"Destination\": \"/var/lib/postgresql/data\",\n \"Driver\": \"local\",\n \"Mode\": \"\",\n \"RW\": true,\n \"Propagation\": \"\"\n }\n ],\n \"Config\": {\n \"Hostname\": \"c898141790db\",\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\": \"4ed893f40affee15438ac3802ec3777071f620012107f9a179c26d24cca9717a\",\n \"SandboxKey\": \"/var/run/docker/netns/4ed893f40aff\",\n \"Ports\": {\n \"5432/tcp\": [\n {\n \"HostIp\": \"127.0.0.1\",\n \"HostPort\": \"62079\"\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\": \"0094243d9477e362f2349254ba0bd4a903e868ccd5c3e1320a3519c2e065d21a\",\n \"Gateway\": \"172.17.0.1\",\n \"IPAddress\": \"172.17.0.60\",\n \"MacAddress\": \"c2:f6:a5:c7:89:41\",\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" } ] }