{ "schema": 1, "sqlstate": "23001", "condition_name": "restrict_violation", "runner": "scripts/verify_cases.py", "targets": { "latest": { "binary": "Homebrew PostgreSQL 18.6", "required": true }, "pg10": { "image": "postgres:10", "required": true } }, "cases": [ { "id": "restrict_delete_referenced_parent", "versions": [ "18" ], "preconditions": [ "A child row references a parent through ON DELETE RESTRICT", "The parent delete is attempted while the child remains" ], "trigger": "Delete the referenced parent row.", "assertions": [ "SQLSTATE is 23001", "The RESTRICT constraint and referencing table are identified", "Deleting the child first permits an explicit parent repair" ], "repair": "Resolve the dependent row according to business rules, then delete or retain the parent; changing RESTRICT to another action is a schema decision, not an error fix.", "cleanup": "Drop the case schema with an owner connection." } ], "evidence_status": "authored", "snippets": [ { "id": "restrict_delete_referenced_parent", "case_id": "restrict_delete_referenced_parent", "language": "sql", "statements": { "create_parent": "CREATE TABLE parents(id integer PRIMARY KEY)", "create_child": "CREATE TABLE children(id integer PRIMARY KEY, parent_id integer NOT NULL REFERENCES parents(id) ON DELETE RESTRICT)", "seed_parent": "INSERT INTO parents VALUES (1)", "seed_child": "INSERT INTO children VALUES (10, 1)", "begin": "BEGIN", "trigger": "DELETE FROM parents WHERE id = 1", "rollback": "ROLLBACK", "repair_begin": "BEGIN", "repair_child": "DELETE FROM children WHERE id = 10", "repair_parent": "DELETE FROM parents WHERE id = 1", "commit": "COMMIT", "verify": "SELECT (SELECT count(*) FROM parents), (SELECT count(*) FROM children)" } } ], "runtime": [ { "id": "runtime.23001-batch1-latest2-20260909.latest", "run_id": "23001-batch1-latest2-20260909", "target": "latest", "server_version": "18.6 (Homebrew)", "server_version_num": 180006, "status": "passed", "cases": [ "restrict_delete_referenced_parent" ], "summary_sha256": "e38c907a737001707b5409de058e959f9da3711d7ab2c72c318d37f043351fc1", "raw_sha256": "4f5c32e84c543203a9ebb757c2a3567b2441bd2f7aaf6f0ec0daa3d187474ea9", "snippet_registry": { "sha256": "6086c1ce982afa5438bbcd29b86ec4cd0cbe0c76fa6152c1eb4a330a7706d5c8" }, "case_manifest": { "sha256": "eca00a2f8f981d7f1ccf77e661b52690631bfedc399003f73ccc43de6a06a1bc" }, "observed": { "sqlstate": "23001", "primary": "update or delete on table \"parents\" violates RESTRICT setting of foreign key constraint \"children_parent_id_fkey\" on table \"children\"", "detail": "Key (id)=(1) is referenced from table \"children\".", "after_error": "INERROR", "after_rollback": "IDLE", "final_counts": [ 0, 0 ] }, "result": { "status": "passed", "environment": { "TimeZone": "Asia/Shanghai", "backend_pid": 35494, "binary": { "bindir": "/opt/homebrew/Cellar/postgresql@18/18.6/bin", "pg_config": "/opt/homebrew/bin/pg_config", "pg_config_version": "PostgreSQL 18.6 (Homebrew)", "postgres": "/opt/homebrew/Cellar/postgresql@18/18.6/bin/postgres" }, "connection_scope": "runner-owned localhost port", "current_user": "runner", "docker": {}, "lc_messages": "C", "libpq_version": "18.6", "locale": "en_US.UTF-8", "log_destination": "csvlog,jsonlog", "log_error_verbosity": "verbose", "log_min_error_statement": "error", "log_min_messages": "error", "logging_collector": "on", "machine": "arm64", "max_connections": "100", "platform": "macOS-26.6.2-arm64-arm-64bit-Mach-O", "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)]", "server_encoding": "UTF8", "server_version": "18.6 (Homebrew)", "server_version_num": "180006", "target_kind": "latest", "wal_level": "logical" }, "cases": [ { "assertions": [ { "expected": "23001", "name": "restrict sqlstate", "observed": "23001", "passed": true }, { "expected": "children_parent_id_fkey", "name": "restrict identifies constraint", "observed": "children_parent_id_fkey", "passed": true }, { "expected": "INERROR then IDLE", "name": "failed transaction recovered", "observed": { "after_error": "INERROR", "after_rollback": "IDLE" }, "passed": true }, { "expected": "(0, 0)", "name": "dependent rows repaired", "observed": [ 0, 0 ], "passed": true }, { "expected": "error", "name": "natural error was raised", "observed": "error", "passed": true } ], "case_id": "restrict_delete_referenced_parent", "cleanup": { "errors": [], "passed": true }, "elapsed_seconds": 0.016, "observed": { "connection_autocommit": true, "counts": [ 0, 0 ], "diagnostic": { "column_name": null, "constraint_name": "children_parent_id_fkey", "context": null, "datatype_name": null, "exception_type": "RestrictViolation", "internal_position": null, "internal_query": null, "message_detail": "Key (id)=(1) is referenced from table \"children\".", "message_hint": null, "message_primary": "update or delete on table \"parents\" violates RESTRICT setting of foreign key constraint \"children_parent_id_fkey\" on table \"children\"", "schema_name": "c23001_restrict_delete_referenced_parent", "severity": "ERROR", "severity_nonlocalized": "ERROR", "source_file": "ri_triggers.c", "source_function": "ri_ReportViolation", "source_line": "2797", "sqlstate": "23001", "statement_position": null, "table_name": "children", "text": "update or delete on table \"parents\" violates RESTRICT setting of foreign key constraint \"children_parent_id_fkey\" on table \"children\"\nDETAIL: Key (id)=(1) is referenced from table \"children\"." }, "expected_sqlstate": "23001", "statuses": { "after_error": "INERROR", "after_rollback": "IDLE" }, "transaction_control": [ "BEGIN", "ROLLBACK", "BEGIN", "COMMIT" ] }, "schema": "c23001_restrict_delete_referenced_parent", "status": "passed" } ] } }, { "id": "runtime.23001-batch1-pg10b-20260909.pg10", "run_id": "23001-batch1-pg10b-20260909", "target": "pg10", "server_version": "10.21 (Debian 10.21-1.pgdg90+1)", "server_version_num": 100021, "status": "not_applicable", "cases": [ "restrict_delete_referenced_parent" ], "summary_sha256": "ab114f4849fce773011f9069f644fd10d73abb66329ae931160fc8ecea295026", "raw_sha256": "92928af8522d2224aaaf21e8eb7a2d974e433a80d6f2b1bf33296588738d21b7", "snippet_registry": { "sha256": "6086c1ce982afa5438bbcd29b86ec4cd0cbe0c76fa6152c1eb4a330a7706d5c8" }, "case_manifest": { "sha256": "eca00a2f8f981d7f1ccf77e661b52690631bfedc399003f73ccc43de6a06a1bc" }, "observed": { "sqlstate": "23503", "primary": "update or delete on table \"parents\" violates foreign key constraint \"children_parent_id_fkey\" on table \"children\"", "detail": "Key (id)=(1) is still referenced from table \"children\".", "after_error": "INERROR", "after_rollback": "IDLE", "final_counts": [ 0, 0 ] }, "reason": "PostgreSQL 10 reports this RESTRICT delete through the general foreign-key violation path 23503; the dedicated 23001 path is observed on PostgreSQL 18.", "result": { "status": "passed", "environment": { "TimeZone": "Etc/UTC", "backend_pid": 79, "binary": {}, "connection_scope": "runner-owned localhost port", "current_user": "postgres", "docker": { "architecture": "arm64", "command": "/usr/local/bin/docker", "id": "sha256:b2baf8998630663d21370da06387c950e587071bdd307ee34e661cdcc7442bcc", "image": "postgres:10", "image_created": "2022-06-23T09:11:18.374607054Z", "os": "linux", "repo_digests": [ "postgres@sha256:b2baf8998630663d21370da06387c950e587071bdd307ee34e661cdcc7442bcc" ] }, "lc_messages": "en_US.utf8", "libpq_version": "18.6", "locale": "en_US.UTF-8", "log_destination": "csvlog", "log_error_verbosity": "verbose", "log_min_error_statement": "error", "log_min_messages": "error", "logging_collector": "on", "machine": "arm64", "max_connections": "100", "platform": "macOS-26.6.2-arm64-arm-64bit-Mach-O", "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)]", "server_encoding": "UTF8", "server_version": "10.21 (Debian 10.21-1.pgdg90+1)", "server_version_num": "100021", "target_kind": "pg10", "wal_level": "logical" }, "cases": [ { "assertions": [ { "expected": "23503", "name": "restrict sqlstate", "observed": "23503", "passed": true }, { "expected": "children_parent_id_fkey", "name": "restrict identifies constraint", "observed": "children_parent_id_fkey", "passed": true }, { "expected": "INERROR then IDLE", "name": "failed transaction recovered", "observed": { "after_error": "INERROR", "after_rollback": "IDLE" }, "passed": true }, { "expected": "(0, 0)", "name": "dependent rows repaired", "observed": [ 0, 0 ], "passed": true }, { "expected": "error", "name": "natural error was raised", "observed": "error", "passed": true } ], "case_id": "restrict_delete_referenced_parent", "cleanup": { "errors": [], "passed": true }, "elapsed_seconds": 0.028, "observed": { "connection_autocommit": true, "counts": [ 0, 0 ], "diagnostic": { "column_name": null, "constraint_name": "children_parent_id_fkey", "context": null, "datatype_name": null, "exception_type": "ForeignKeyViolation", "internal_position": null, "internal_query": null, "message_detail": "Key (id)=(1) is still referenced from table \"children\".", "message_hint": null, "message_primary": "update or delete on table \"parents\" violates foreign key constraint \"children_parent_id_fkey\" on table \"children\"", "schema_name": "c23001_restrict_delete_referenced_parent", "severity": "ERROR", "severity_nonlocalized": "ERROR", "source_file": "ri_triggers.c", "source_function": "ri_ReportViolation", "source_line": "3280", "sqlstate": "23503", "statement_position": null, "table_name": "children", "text": "update or delete on table \"parents\" violates foreign key constraint \"children_parent_id_fkey\" on table \"children\"\nDETAIL: Key (id)=(1) is still referenced from table \"children\"." }, "expected_sqlstate": "23503", "statuses": { "after_error": "INERROR", "after_rollback": "IDLE" }, "transaction_control": [ "BEGIN", "ROLLBACK", "BEGIN", "COMMIT" ] }, "reason": "PostgreSQL 10 uses the general foreign-key violation path (23503) for this RESTRICT delete; the dedicated 23001 path is present in the PostgreSQL 18 source and runtime.", "schema": "c23001_restrict_delete_referenced_parent", "status": "not_applicable" } ] } }, { "id": "runtime.23001-boundary-pg17-final-20260909.pg17", "run_id": "23001-boundary-pg17-final-20260909", "target": "pg17", "server_version": "17.11 (Debian 17.11-1.pgdg13+2)", "server_version_num": 170011, "status": "not_applicable", "case_status": "not_applicable", "target_status": "passed", "cases": [ "restrict_delete_referenced_parent" ], "summary_sha256": "54174fb5450b9bade0e1788e288be5bf24792f161e71e9299b7095e1f40333e6", "raw_sha256": "2929c03723d90f76192e3d3ffc2f4f5a8a643f9a5f0eb898f7245f3cf6439c87", "snippet_registry": { "sha256": "6086c1ce982afa5438bbcd29b86ec4cd0cbe0c76fa6152c1eb4a330a7706d5c8" }, "case_manifest": { "sha256": "eca00a2f8f981d7f1ccf77e661b52690631bfedc399003f73ccc43de6a06a1bc" }, "observed": { "expected_sqlstate": "23503", "sqlstate": "23503", "severity": "ERROR", "primary": "update or delete on table \"parents\" violates foreign key constraint \"children_parent_id_fkey\" on table \"children\"", "detail": "Key (id)=(1) is still referenced from table \"children\".", "constraint_name": "children_parent_id_fkey", "after_error": "INERROR", "after_rollback": "IDLE", "final_counts": [ 0, 0 ], "natural_23001_observed": false }, "selection_status": "selected_boundary_comparison", "reason": "The bounded PG17.11 RESTRICT delete uses the general 23503 path; the dedicated 23001 path is not applicable on this target.", "result": { "status": "passed", "environment": { "TimeZone": "Etc/UTC", "backend_pid": 71, "binary": {}, "connection_scope": "runner-owned localhost port", "current_user": "postgres", "docker": { "architecture": "arm64", "command": "/usr/local/bin/docker", "digest": "sha256:67f41722b7a8cbdb868a44a4995c846eddfdc2973bccb291ce937dce88ad5675", "id": "sha256:67f41722b7a8cbdb868a44a4995c846eddfdc2973bccb291ce937dce88ad5675", "image": "postgres:17.11", "image_created": "2026-08-25T00:43:42.298298475Z", "image_ref": "postgres@sha256:67f41722b7a8cbdb868a44a4995c846eddfdc2973bccb291ce937dce88ad5675", "log_destination": "csvlog,jsonlog", "os": "linux", "repo_digests": [ "postgres@sha256:67f41722b7a8cbdb868a44a4995c846eddfdc2973bccb291ce937dce88ad5675" ] }, "lc_messages": "en_US.utf8", "libpq_version": "18.6", "locale": "en_US.UTF-8", "log_destination": "csvlog,jsonlog", "log_error_verbosity": "verbose", "log_min_error_statement": "error", "log_min_messages": "error", "logging_collector": "on", "machine": "arm64", "max_connections": "100", "platform": "macOS-26.6.2-arm64-arm-64bit-Mach-O", "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)]", "server_encoding": "UTF8", "server_version": "17.11 (Debian 17.11-1.pgdg13+2)", "server_version_num": "170011", "target_kind": "docker-version", "wal_level": "logical" }, "cases": [ { "assertions": [ { "expected": "23503", "name": "restrict sqlstate", "observed": "23503", "passed": true }, { "expected": "children_parent_id_fkey", "name": "restrict identifies constraint", "observed": "children_parent_id_fkey", "passed": true }, { "expected": "INERROR then IDLE", "name": "failed transaction recovered", "observed": { "after_error": "INERROR", "after_rollback": "IDLE" }, "passed": true }, { "expected": "(0, 0)", "name": "dependent rows repaired", "observed": [ 0, 0 ], "passed": true }, { "expected": "error", "name": "natural error was raised", "observed": "error", "passed": true } ], "case_id": "restrict_delete_referenced_parent", "cleanup": { "errors": [], "passed": true }, "elapsed_seconds": 0.065, "observed": { "connection_autocommit": true, "counts": [ 0, 0 ], "diagnostic": { "column_name": null, "constraint_name": "children_parent_id_fkey", "context": null, "datatype_name": null, "exception_type": "ForeignKeyViolation", "internal_position": null, "internal_query": null, "message_detail": "Key (id)=(1) is still referenced from table \"children\".", "message_hint": null, "message_primary": "update or delete on table \"parents\" violates foreign key constraint \"children_parent_id_fkey\" on table \"children\"", "schema_name": "c23001_restrict_delete_referenced_parent", "severity": "ERROR", "severity_nonlocalized": "ERROR", "source_file": "ri_triggers.c", "source_function": "ri_ReportViolation", "source_line": "2612", "sqlstate": "23503", "statement_position": null, "table_name": "children", "text": "update or delete on table \"parents\" violates foreign key constraint \"children_parent_id_fkey\" on table \"children\"\nDETAIL: Key (id)=(1) is still referenced from table \"children\"." }, "expected_sqlstate": "23503", "statuses": { "after_error": "INERROR", "after_rollback": "IDLE" }, "transaction_control": [ "BEGIN", "ROLLBACK", "BEGIN", "COMMIT" ] }, "reason": "The controlled RESTRICT delete returned the general foreign-key violation path (23503) on this bounded PG17.11/PG10.21 comparison; the dedicated 23001 path is observed only on the selected PostgreSQL 18.6 target.", "schema": "c23001_restrict_delete_referenced_parent", "status": "not_applicable" } ] } } ] }