{ "schema": 1, "sqlstate": "42809", "condition_name": "wrong_object_type", "runner": "scripts/verify_cases.py", "targets": { "latest": { "binary": "Homebrew PostgreSQL 18.6", "required": true }, "pg10": { "image": "postgres:10", "required": true } }, "cases": [ { "id": "view_row_trigger_type", "versions": [ "10", "18" ], "preconditions": [ "A runner-owned disposable target is provisioned." ], "trigger": "Create a row-level BEFORE trigger on a view.", "assertions": [ "SQLSTATE is 42809 with the view object type and row-trigger detail", "The failed autocommit session remains IDLE", "An INSTEAD OF trigger is accepted on the view" ], "repair": "Use the trigger kind allowed for the object; a view is not a table and its INSTEAD OF rules do not authorize row-level BEFORE/AFTER triggers.", "cleanup": "Drop the runner schema, view, function, and trigger." } ], "evidence_status": "authored", "snippets": [ { "id": "view_row_trigger_type", "case_id": "view_row_trigger_type", "language": "sql", "statements": { "create_view": "CREATE VIEW syntax_schema.trigger_view AS SELECT 1 AS value", "create_function": "CREATE FUNCTION syntax_schema.trigger_function() RETURNS trigger LANGUAGE plpgsql AS 'BEGIN RETURN NEW; END'", "trigger": "CREATE TRIGGER row_trigger BEFORE INSERT ON syntax_schema.trigger_view FOR EACH ROW EXECUTE PROCEDURE syntax_schema.trigger_function()", "repair": "CREATE TRIGGER instead_trigger INSTEAD OF INSERT ON syntax_schema.trigger_view FOR EACH ROW EXECUTE PROCEDURE syntax_schema.trigger_function()", "verify": "SELECT count(*) FROM pg_trigger t JOIN pg_class c ON c.oid = t.tgrelid JOIN pg_namespace n ON n.oid = c.relnamespace WHERE n.nspname = 'syntax_schema_name' AND c.relname = 'trigger_view' AND t.tgname = 'instead_trigger' AND NOT t.tgisinternal" } } ], "runtime": [ { "id": "runtime.syntax2-42809-latest2.latest", "run_id": "syntax2-42809-latest2", "target": "latest", "status": "passed", "server_version": "18.6 (Homebrew)", "server_version_num": 180006, "summary_sha256": "1bf8aeec4fe81c652c406c5a9f5c0c0d573835dd3bf8fc8af814ce8462e67acd", "raw_sha256": "c139ef48d6c91e6f76b70521d8b31f484487cd5790f2d3522204eebd1835bee1", "case_manifest": { "id": "manifest.42809", "kind": "local_artifact", "source_role": "case_manifest", "sha256": "edf6846e4ef76d29b6979c16c57a597a7e98a7c074dfd44eb55dbea33d7ac3de" }, "snippet_registry": { "id": "snippet-registry.42809", "kind": "local_artifact", "source_role": "snippet_registry", "sha256": "a8245b8cb581cb5e605a9583d70f023261c179bd8bf3d76d197c53b8b85cbd2c" }, "environment": { "TimeZone": "Asia/Shanghai", "backend_pid": 30437, "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": "C.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": [ "view_row_trigger_type" ], "observed": { "connection_autocommit": true, "diagnostic": { "column_name": null, "constraint_name": null, "context": null, "datatype_name": null, "exception_type": "WrongObjectType", "internal_position": null, "internal_query": null, "message_detail": "Views cannot have row-level BEFORE or AFTER triggers.", "message_hint": null, "message_primary": "\"trigger_view\" is a view", "schema_name": null, "severity": "ERROR", "severity_nonlocalized": "ERROR", "source_file": "trigger.c", "source_function": "CreateTriggerFiringOn", "source_line": "278", "sqlstate": "42809", "statement_position": null, "table_name": null, "text": "\"trigger_view\" is a view\nDETAIL: Views cannot have row-level BEFORE or AFTER triggers." }, "failed_status": "IDLE", "repair_status": "IDLE", "trigger_count": 1 }, "assertions": [ { "expected": "42809", "name": "42809 SQLSTATE", "observed": "42809", "passed": true }, { "expected": "ERROR", "name": "42809 ERROR severity", "observed": "ERROR", "passed": true }, { "expected": "\"trigger_view\" is a view", "name": "42809 primary diagnostic", "observed": "\"trigger_view\" is a view", "passed": true }, { "expected": "Views cannot have row-level BEFORE or AFTER triggers.", "name": "view trigger diagnostic explains the forbidden kind", "observed": "Views cannot have row-level BEFORE or AFTER triggers.", "passed": true }, { "expected": "IDLE", "name": "wrong object type leaves autocommit session usable", "observed": "IDLE", "passed": true }, { "expected": { "status": "IDLE", "triggers": 1 }, "name": "INSTEAD OF trigger repairs the view operation", "observed": { "error": true, "status": "IDLE", "triggers": 1 }, "passed": true } ], "cleanup": { "errors": [], "passed": true }, "result": { "status": "passed", "environment": { "TimeZone": "Asia/Shanghai", "backend_pid": 30437, "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": "C.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": "42809", "name": "42809 SQLSTATE", "observed": "42809", "passed": true }, { "expected": "ERROR", "name": "42809 ERROR severity", "observed": "ERROR", "passed": true }, { "expected": "\"trigger_view\" is a view", "name": "42809 primary diagnostic", "observed": "\"trigger_view\" is a view", "passed": true }, { "expected": "Views cannot have row-level BEFORE or AFTER triggers.", "name": "view trigger diagnostic explains the forbidden kind", "observed": "Views cannot have row-level BEFORE or AFTER triggers.", "passed": true }, { "expected": "IDLE", "name": "wrong object type leaves autocommit session usable", "observed": "IDLE", "passed": true }, { "expected": { "status": "IDLE", "triggers": 1 }, "name": "INSTEAD OF trigger repairs the view operation", "observed": { "error": true, "status": "IDLE", "triggers": 1 }, "passed": true } ], "case_id": "view_row_trigger_type", "cleanup": { "errors": [], "passed": true }, "elapsed_seconds": 0.012, "observed": { "connection_autocommit": true, "diagnostic": { "column_name": null, "constraint_name": null, "context": null, "datatype_name": null, "exception_type": "WrongObjectType", "internal_position": null, "internal_query": null, "message_detail": "Views cannot have row-level BEFORE or AFTER triggers.", "message_hint": null, "message_primary": "\"trigger_view\" is a view", "schema_name": null, "severity": "ERROR", "severity_nonlocalized": "ERROR", "source_file": "trigger.c", "source_function": "CreateTriggerFiringOn", "source_line": "278", "sqlstate": "42809", "statement_position": null, "table_name": null, "text": "\"trigger_view\" is a view\nDETAIL: Views cannot have row-level BEFORE or AFTER triggers." }, "failed_status": "IDLE", "repair_status": "IDLE", "trigger_count": 1 }, "schema": "c42809_view_row_trigger_type", "status": "passed" } ] } }, { "id": "runtime.syntax2-42809-pg10.pg10", "run_id": "syntax2-42809-pg10", "target": "pg10", "status": "passed", "server_version": "10.21 (Debian 10.21-1.pgdg90+1)", "server_version_num": 100021, "summary_sha256": "993c2fea65249f127075ff4d58386b12a844ac17c1534028ab71f89b70eb45e8", "raw_sha256": "0a843d2c4085028577911afcda4c7224793503f07a677a6e049a57303c95462e", "case_manifest": { "id": "manifest.42809", "kind": "local_artifact", "source_role": "case_manifest", "sha256": "edf6846e4ef76d29b6979c16c57a597a7e98a7c074dfd44eb55dbea33d7ac3de" }, "snippet_registry": { "id": "snippet-registry.42809", "kind": "local_artifact", "source_role": "snippet_registry", "sha256": "a8245b8cb581cb5e605a9583d70f023261c179bd8bf3d76d197c53b8b85cbd2c" }, "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": "C.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": [ "view_row_trigger_type" ], "observed": { "connection_autocommit": true, "diagnostic": { "column_name": null, "constraint_name": null, "context": null, "datatype_name": null, "exception_type": "WrongObjectType", "internal_position": null, "internal_query": null, "message_detail": "Views cannot have row-level BEFORE or AFTER triggers.", "message_hint": null, "message_primary": "\"trigger_view\" is a view", "schema_name": null, "severity": "ERROR", "severity_nonlocalized": "ERROR", "source_file": "trigger.c", "source_function": "CreateTrigger", "source_line": "212", "sqlstate": "42809", "statement_position": null, "table_name": null, "text": "\"trigger_view\" is a view\nDETAIL: Views cannot have row-level BEFORE or AFTER triggers." }, "failed_status": "IDLE", "repair_status": "IDLE", "trigger_count": 1 }, "assertions": [ { "expected": "42809", "name": "42809 SQLSTATE", "observed": "42809", "passed": true }, { "expected": "ERROR", "name": "42809 ERROR severity", "observed": "ERROR", "passed": true }, { "expected": "\"trigger_view\" is a view", "name": "42809 primary diagnostic", "observed": "\"trigger_view\" is a view", "passed": true }, { "expected": "Views cannot have row-level BEFORE or AFTER triggers.", "name": "view trigger diagnostic explains the forbidden kind", "observed": "Views cannot have row-level BEFORE or AFTER triggers.", "passed": true }, { "expected": "IDLE", "name": "wrong object type leaves autocommit session usable", "observed": "IDLE", "passed": true }, { "expected": { "status": "IDLE", "triggers": 1 }, "name": "INSTEAD OF trigger repairs the view operation", "observed": { "error": true, "status": "IDLE", "triggers": 1 }, "passed": true } ], "cleanup": { "errors": [], "passed": 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": "C.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": "42809", "name": "42809 SQLSTATE", "observed": "42809", "passed": true }, { "expected": "ERROR", "name": "42809 ERROR severity", "observed": "ERROR", "passed": true }, { "expected": "\"trigger_view\" is a view", "name": "42809 primary diagnostic", "observed": "\"trigger_view\" is a view", "passed": true }, { "expected": "Views cannot have row-level BEFORE or AFTER triggers.", "name": "view trigger diagnostic explains the forbidden kind", "observed": "Views cannot have row-level BEFORE or AFTER triggers.", "passed": true }, { "expected": "IDLE", "name": "wrong object type leaves autocommit session usable", "observed": "IDLE", "passed": true }, { "expected": { "status": "IDLE", "triggers": 1 }, "name": "INSTEAD OF trigger repairs the view operation", "observed": { "error": true, "status": "IDLE", "triggers": 1 }, "passed": true } ], "case_id": "view_row_trigger_type", "cleanup": { "errors": [], "passed": true }, "elapsed_seconds": 0.024, "observed": { "connection_autocommit": true, "diagnostic": { "column_name": null, "constraint_name": null, "context": null, "datatype_name": null, "exception_type": "WrongObjectType", "internal_position": null, "internal_query": null, "message_detail": "Views cannot have row-level BEFORE or AFTER triggers.", "message_hint": null, "message_primary": "\"trigger_view\" is a view", "schema_name": null, "severity": "ERROR", "severity_nonlocalized": "ERROR", "source_file": "trigger.c", "source_function": "CreateTrigger", "source_line": "212", "sqlstate": "42809", "statement_position": null, "table_name": null, "text": "\"trigger_view\" is a view\nDETAIL: Views cannot have row-level BEFORE or AFTER triggers." }, "failed_status": "IDLE", "repair_status": "IDLE", "trigger_count": 1 }, "schema": "c42809_view_row_trigger_type", "status": "passed" } ] } } ] }