{ "schema": 1, "sqlstate": "0LP01", "condition_name": "invalid_grant_operation", "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.acl-invalid-grant-dynamic.18.6", "kind": "upstream_source", "source_role": "source_call", "tag": "REL_18_6", "commit": "724edf9bde9d356724ad384a2e196edc3c9f80f7", "path": "src/backend/catalog/aclchk.c", "sha256": "9700258318959b47c42edb423418fb511dd3a008023e732f601eecf4c80868f8", "url": "https://github.com/postgres/postgres/blob/724edf9bde9d356724ad384a2e196edc3c9f80f7/src/backend/catalog/aclchk.c#L585-L587" }, { "id": "src.acl-invalid-grant-dynamic.10.23", "kind": "upstream_source", "source_role": "source_call", "tag": "REL_10_23", "commit": "02991e79f8f58bc208f05dcc8af0c62dbe0a6ea4", "path": "src/backend/catalog/aclchk.c", "sha256": "3a4330bd55ea8c0ec12324d7046ec31d64c920f99196235b84612d6cd1a4b26c", "url": "https://github.com/postgres/postgres/blob/02991e79f8f58bc208f05dcc8af0c62dbe0a6ea4/src/backend/catalog/aclchk.c#L548-L550" }, { "id": "manifest.0LP01", "kind": "local_artifact", "source_role": "case_manifest", "sha256": "da87dfe02737841ad5fcd3bdcf11a3db4d2d47335fbe3f8710603bc66bc0bb39", "tag": "workspace" }, { "id": "snippet-registry.0LP01", "kind": "local_artifact", "source_role": "snippet_registry", "sha256": "4689f3bc44bd388dbca7965d35b4c04903204e66a0e1c6435dbdf950822f0fda", "tag": "workspace" } ], "claims": [ { "id": "identity.class-and-condition", "statement": "0LP01 is the invalid_grant_operation condition in Class 0L.", "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 0LP01 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.acl-invalid-grant-dynamic.18.6", "src.acl-invalid-grant-dynamic.10.23" ] }, { "id": "runtime.representative-case", "statement": "The selected invalid_grant_operation 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.0LP01", "manifest.0LP01" ], "runtime": [ "runtime.0LP01-conn-test-latest.latest", "runtime.0LP01-conn-test-pg10.pg10" ] }, { "id": "versions.catalogue-boundary", "statement": "The locked catalogue records 0LP01 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.invalid-grant-dynamic", "sqlstate": "0LP01", "severity_source": "explicit ERROR", "sources": [ "src.acl-invalid-grant-dynamic.18.6", "src.acl-invalid-grant-dynamic.10.23" ], "primary_template": null, "dynamic_format": "errmsg(errormsg, privilege_to_string(priv))", "observed_primary_example": "invalid privilege type INSERT for sequence", "limits": "The primary is dynamically assembled from the object and privilege; the example is an observed instantiation, not a static format string." } ], "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.acl-invalid-grant-dynamic.18.6", "src.acl-invalid-grant-dynamic.10.23" ] }, { "scope": "Observed invalid_grant_operation on isolated targets", "status": "observed_runtime", "evidence_ids": [ "runtime.representative-case", "snippet-registry.0LP01", "runtime.0LP01-conn-test-latest.latest", "runtime.0LP01-conn-test-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.0LP01-conn-test-latest.latest", "kind": "runtime_observation", "run_id": "0LP01-conn-test-latest", "target": "latest", "status": "passed", "server_version": "18.6 (Homebrew)", "server_version_num": 180006, "cases": [ "invalid_grant_operation" ], "summary_sha256": "7cd561a0a16c3b4a377ce6d684a8c5929a690b05dc92a64e179a1fad18969885", "raw_sha256": "8ca360f063bded4bb4b1c964f030d855b1d05623576ceab7b9f9df82ecaacf54", "case_manifest_sha256": "da87dfe02737841ad5fcd3bdcf11a3db4d2d47335fbe3f8710603bc66bc0bb39", "snippet_registry": { "sha256": "4689f3bc44bd388dbca7965d35b4c04903204e66a0e1c6435dbdf950822f0fda" }, "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": "InvalidGrantOperation", "internal_position": null, "internal_query": null, "message_detail": null, "message_hint": null, "message_primary": "invalid privilege type INSERT for sequence", "schema_name": null, "severity": "ERROR", "severity_nonlocalized": "ERROR", "source_file": "aclchk.c", "source_function": "ExecuteGrantStmt", "source_line": "587", "sqlstate": "0LP01", "statement_position": null, "table_name": null, "text": "invalid privilege type INSERT for sequence" }, "role": "u0lp01_4a1b230fc0", "statuses": { "after_error": "IDLE", "final": "IDLE" }, "valid_privilege": "USAGE" }, "assertions": [ { "expected": "0LP01", "name": "grant operation SQLSTATE", "observed": "0LP01", "passed": true }, { "expected": "invalid privilege type INSERT for sequence", "name": "grant operation diagnostic", "observed": "invalid privilege type INSERT for sequence", "passed": true }, { "expected": "IDLE, USAGE granted, IDLE", "name": "valid sequence privilege repairs path", "observed": { "after_error": "IDLE", "final": "IDLE", "granted": 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.0LP01-conn-test-pg10.pg10", "kind": "runtime_observation", "run_id": "0LP01-conn-test-pg10", "target": "pg10", "status": "passed", "server_version": "10.21 (Debian 10.21-1.pgdg90+1)", "server_version_num": 100021, "cases": [ "invalid_grant_operation" ], "summary_sha256": "dca3d6e0e507a3adbe5bc637b52e8c4f503f6cc813872af135ac542ca1312603", "raw_sha256": "948874e5c9479ae408cf528de73c57fb03410e9dc8eb0d3dd8cf8751a6f19c09", "case_manifest_sha256": "da87dfe02737841ad5fcd3bdcf11a3db4d2d47335fbe3f8710603bc66bc0bb39", "snippet_registry": { "sha256": "4689f3bc44bd388dbca7965d35b4c04903204e66a0e1c6435dbdf950822f0fda" }, "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": "InvalidGrantOperation", "internal_position": null, "internal_query": null, "message_detail": null, "message_hint": null, "message_primary": "invalid privilege type INSERT for sequence", "schema_name": null, "severity": "ERROR", "severity_nonlocalized": "ERROR", "source_file": "aclchk.c", "source_function": "ExecuteGrantStmt", "source_line": "550", "sqlstate": "0LP01", "statement_position": null, "table_name": null, "text": "invalid privilege type INSERT for sequence" }, "role": "u0lp01_5cf42727d1", "statuses": { "after_error": "IDLE", "final": "IDLE" }, "valid_privilege": "USAGE" }, "assertions": [ { "expected": "0LP01", "name": "grant operation SQLSTATE", "observed": "0LP01", "passed": true }, { "expected": "invalid privilege type INSERT for sequence", "name": "grant operation diagnostic", "observed": "invalid privilege type INSERT for sequence", "passed": true }, { "expected": "IDLE, USAGE granted, IDLE", "name": "valid sequence privilege repairs path", "observed": { "after_error": "IDLE", "final": "IDLE", "granted": true }, "passed": true } ], "cleanup": { "case": { "errors": [], "passed": true }, "target_stop": { "cleanup": { "argv": [ "/usr/local/bin/docker", "rm", "-f", "-v", "sqlstate0lp01_0LP01conntestpg10_pg10" ], "elapsed_seconds": 0.286, "returncode": 0, "stderr": "", "stdout": "sqlstate0lp01_0LP01conntestpg10_pg10\n" }, "inspect": { "argv": [ "/usr/local/bin/docker", "inspect", "sqlstate0lp01_0LP01conntestpg10_pg10" ], "elapsed_seconds": 0.017, "returncode": 0, "stderr": "", "stdout": "[\n {\n \"Id\": \"3f395360a945030c44fc65e00b4737c6694f02ed2b3dbb3c7f4e268fe929bf9f\",\n \"Created\": \"2026-09-09T14:55:21.496591712Z\",\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\": 54592,\n \"ExitCode\": 0,\n \"Error\": \"\",\n \"StartedAt\": \"2026-09-09T14:55:21.569636712Z\",\n \"FinishedAt\": \"0001-01-01T00:00:00Z\"\n },\n \"Image\": \"sha256:b2baf8998630663d21370da06387c950e587071bdd307ee34e661cdcc7442bcc\",\n \"ResolvConfPath\": \"/var/lib/docker/containers/3f395360a945030c44fc65e00b4737c6694f02ed2b3dbb3c7f4e268fe929bf9f/resolv.conf\",\n \"HostnamePath\": \"/var/lib/docker/containers/3f395360a945030c44fc65e00b4737c6694f02ed2b3dbb3c7f4e268fe929bf9f/hostname\",\n \"HostsPath\": \"/var/lib/docker/containers/3f395360a945030c44fc65e00b4737c6694f02ed2b3dbb3c7f4e268fe929bf9f/hosts\",\n \"LogPath\": \"/var/lib/docker/containers/3f395360a945030c44fc65e00b4737c6694f02ed2b3dbb3c7f4e268fe929bf9f/3f395360a945030c44fc65e00b4737c6694f02ed2b3dbb3c7f4e268fe929bf9f-json.log\",\n \"Name\": \"/sqlstate0lp01_0LP01conntestpg10_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\": \"33e2f6e51c57806bfa5b036c0e2dd31e9b11184447ea03f73098a8506b5bc3e1\",\n \"Source\": \"/var/lib/docker/volumes/33e2f6e51c57806bfa5b036c0e2dd31e9b11184447ea03f73098a8506b5bc3e1/_data\",\n \"Destination\": \"/var/lib/postgresql/data\",\n \"Driver\": \"local\",\n \"Mode\": \"\",\n \"RW\": true,\n \"Propagation\": \"\"\n }\n ],\n \"Config\": {\n \"Hostname\": \"3f395360a945\",\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\": \"75440c9096643596c1104b2140b96d6da84a33d5ff91846f458c0e1318d1e3f6\",\n \"SandboxKey\": \"/var/run/docker/netns/75440c909664\",\n \"Ports\": {\n \"5432/tcp\": [\n {\n \"HostIp\": \"127.0.0.1\",\n \"HostPort\": \"56636\"\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\": \"218862d9ddac6dc90f6bdd63c03e3f99598b07f17a3e794b91f126fec2975621\",\n \"Gateway\": \"172.17.0.1\",\n \"IPAddress\": \"172.17.0.53\",\n \"MacAddress\": \"c6:7c:78:46:55:e8\",\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" } ] }