{ "schema": 1, "sqlstate": "2BP01", "condition_name": "dependent_objects_still_exist", "runner": "scripts/verify_cases.py", "targets": { "latest": { "binary": "Homebrew PostgreSQL 18.6", "required": true }, "pg10": { "image": "postgres:10", "required": true } }, "cases": [ { "id": "dependent_object_drop_recovery", "versions": [ "10", "18" ], "preconditions": [ "A runner-owned disposable target is provisioned." ], "trigger": "Create a view that depends on a table, attempt DROP TABLE inside an explicit transaction, then drop the view first and the table.", "assertions": [ "SQLSTATE is 2BP01", "The diagnostic names dependent objects", "The failed transaction is INERROR until ROLLBACK", "Dropping the dependent view first removes both objects without CASCADE" ], "repair": "Rollback the failed DROP, inspect the named dependent objects, and remove them in an intentional dependency order.", "cleanup": "Drop the case schema with an owner connection." } ], "evidence_status": "authored", "snippets": [ { "id": "dependent_object_drop_recovery", "case_id": "dependent_object_drop_recovery", "language": "sql", "statements": { "create_table": "CREATE TABLE base_items(id integer PRIMARY KEY, payload text NOT NULL)", "create_view": "CREATE VIEW dependent_view AS SELECT id, payload FROM base_items", "begin": "BEGIN", "drop_base": "DROP TABLE base_items", "rollback": "ROLLBACK", "drop_view": "DROP VIEW dependent_view", "drop_base_repair": "DROP TABLE base_items", "verify": "SELECT to_regclass('base_items'), to_regclass('dependent_view')" } } ], "runtime": [ { "id": "runtime.2BP01-batch34-final-20260909.latest", "run_id": "2BP01-batch34-final-20260909", "target": "latest", "server_version": "18.6 (Homebrew)", "status": "passed", "cases": [ "dependent_object_drop_recovery" ], "summary_sha256": "5152619160085d99208030f2935dd2621449df65b7927c1a4fff9d2230577d85", "raw_sha256": "e4de5657bb564cb931134ce3bd149106f3c7f4df3287665e70ab6711a63d682d", "snippet_registry": { "sha256": "899e4fd9fb002fc293bd9efee0204e4f2622968c6d9460ad05eb9a0ebd3bac69" }, "case_manifest": { "sha256": "4e428d2ab267974589385038a637b43d3493b60fd0dd5243fd71862b9a7e7ccc" }, "observed": { "sqlstate": "2BP01", "primary": "cannot drop table c2bp01_dependent_object_drop_recovery.base_items because other objects depend on it", "severity": "ERROR", "statuses": { "after_error": "INERROR", "after_repair": "IDLE", "after_rollback": "IDLE" }, "repair": { "remaining_relations": [ null, null ] }, "connection_autocommit": true }, "result": { "status": "passed", "environment": { "TimeZone": "Asia/Shanghai", "backend_pid": 37197, "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": "2BP01", "name": "dependent-object sqlstate", "observed": "2BP01", "passed": true }, { "expected": "cannot drop ... depend ...", "name": "drop diagnostic names dependency", "observed": "cannot drop table c2bp01_dependent_object_drop_recovery.base_items because other objects depend on it", "passed": true }, { "expected": "a dependency hint", "name": "drop hint remains dependency-aware", "observed": "Use DROP ... CASCADE to drop the dependent objects too.", "passed": true }, { "expected": "INERROR then IDLE", "name": "failed drop rolls back explicit transaction", "observed": { "after_error": "INERROR", "after_rollback": "IDLE" }, "passed": true }, { "expected": "error, both relations absent, IDLE", "name": "drop dependents first repairs objects", "observed": { "error": true, "remaining": [ null, null ], "status": "IDLE" }, "passed": true } ], "case_id": "dependent_object_drop_recovery", "cleanup": { "errors": [], "passed": true }, "elapsed_seconds": 0.015, "observed": { "connection_autocommit": true, "diagnostic": { "column_name": null, "constraint_name": null, "context": null, "datatype_name": null, "exception_type": "DependentObjectsStillExist", "internal_position": null, "internal_query": null, "message_detail": "view c2bp01_dependent_object_drop_recovery.dependent_view depends on table c2bp01_dependent_object_drop_recovery.base_items", "message_hint": "Use DROP ... CASCADE to drop the dependent objects too.", "message_primary": "cannot drop table c2bp01_dependent_object_drop_recovery.base_items because other objects depend on it", "schema_name": null, "severity": "ERROR", "severity_nonlocalized": "ERROR", "source_file": "dependency.c", "source_function": "reportDependentObjects", "source_line": "1154", "sqlstate": "2BP01", "statement_position": null, "table_name": null, "text": "cannot drop table c2bp01_dependent_object_drop_recovery.base_items because other objects depend on it\nDETAIL: view c2bp01_dependent_object_drop_recovery.dependent_view depends on table c2bp01_dependent_object_drop_recovery.base_items\nHINT: Use DROP ... CASCADE to drop the dependent objects too." }, "remaining_relations": [ null, null ], "repair": "ROLLBACK; DROP VIEW dependent_view; DROP TABLE base_items; no CASCADE.", "statuses": { "after_error": "INERROR", "after_repair": "IDLE", "after_rollback": "IDLE" }, "transaction_control": [ "BEGIN", "DROP TABLE", "ROLLBACK", "DROP VIEW", "DROP TABLE" ] }, "schema": "c2bp01_dependent_object_drop_recovery", "status": "passed" } ] } }, { "id": "runtime.2BP01-batch34-final-20260909.pg10", "run_id": "2BP01-batch34-final-20260909", "target": "pg10", "server_version": "10.21 (Debian 10.21-1.pgdg90+1)", "status": "passed", "cases": [ "dependent_object_drop_recovery" ], "summary_sha256": "51adc1a279429396fad88b577f2b794ef29c4875d07d26e5b9cd2eddae5fd451", "raw_sha256": "660365c646eec69fceb84b6390329b96b18db870ca7e1b7c8d0d5da9989a631a", "snippet_registry": { "sha256": "899e4fd9fb002fc293bd9efee0204e4f2622968c6d9460ad05eb9a0ebd3bac69" }, "case_manifest": { "sha256": "4e428d2ab267974589385038a637b43d3493b60fd0dd5243fd71862b9a7e7ccc" }, "observed": { "sqlstate": "2BP01", "primary": "cannot drop table c2bp01_dependent_object_drop_recovery.base_items because other objects depend on it", "severity": "ERROR", "statuses": { "after_error": "INERROR", "after_repair": "IDLE", "after_rollback": "IDLE" }, "repair": { "remaining_relations": [ null, null ] }, "connection_autocommit": true }, "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", "digest": "sha256:b2baf8998630663d21370da06387c950e587071bdd307ee34e661cdcc7442bcc", "id": "sha256:b2baf8998630663d21370da06387c950e587071bdd307ee34e661cdcc7442bcc", "image": "postgres:10", "image_created": "2022-06-23T09:11:18.374607054Z", "image_ref": "postgres@sha256:b2baf8998630663d21370da06387c950e587071bdd307ee34e661cdcc7442bcc", "log_destination": "csvlog", "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": "2BP01", "name": "dependent-object sqlstate", "observed": "2BP01", "passed": true }, { "expected": "cannot drop ... depend ...", "name": "drop diagnostic names dependency", "observed": "cannot drop table c2bp01_dependent_object_drop_recovery.base_items because other objects depend on it", "passed": true }, { "expected": "a dependency hint", "name": "drop hint remains dependency-aware", "observed": "Use DROP ... CASCADE to drop the dependent objects too.", "passed": true }, { "expected": "INERROR then IDLE", "name": "failed drop rolls back explicit transaction", "observed": { "after_error": "INERROR", "after_rollback": "IDLE" }, "passed": true }, { "expected": "error, both relations absent, IDLE", "name": "drop dependents first repairs objects", "observed": { "error": true, "remaining": [ null, null ], "status": "IDLE" }, "passed": true } ], "case_id": "dependent_object_drop_recovery", "cleanup": { "errors": [], "passed": true }, "elapsed_seconds": 0.03, "observed": { "connection_autocommit": true, "diagnostic": { "column_name": null, "constraint_name": null, "context": null, "datatype_name": null, "exception_type": "DependentObjectsStillExist", "internal_position": null, "internal_query": null, "message_detail": "view c2bp01_dependent_object_drop_recovery.dependent_view depends on table c2bp01_dependent_object_drop_recovery.base_items", "message_hint": "Use DROP ... CASCADE to drop the dependent objects too.", "message_primary": "cannot drop table c2bp01_dependent_object_drop_recovery.base_items because other objects depend on it", "schema_name": null, "severity": "ERROR", "severity_nonlocalized": "ERROR", "source_file": "dependency.c", "source_function": "reportDependentObjects", "source_line": "996", "sqlstate": "2BP01", "statement_position": null, "table_name": null, "text": "cannot drop table c2bp01_dependent_object_drop_recovery.base_items because other objects depend on it\nDETAIL: view c2bp01_dependent_object_drop_recovery.dependent_view depends on table c2bp01_dependent_object_drop_recovery.base_items\nHINT: Use DROP ... CASCADE to drop the dependent objects too." }, "remaining_relations": [ null, null ], "repair": "ROLLBACK; DROP VIEW dependent_view; DROP TABLE base_items; no CASCADE.", "statuses": { "after_error": "INERROR", "after_repair": "IDLE", "after_rollback": "IDLE" }, "transaction_control": [ "BEGIN", "DROP TABLE", "ROLLBACK", "DROP VIEW", "DROP TABLE" ] }, "schema": "c2bp01_dependent_object_drop_recovery", "status": "passed" } ] } } ] }