{ "schema": 1, "sqlstate": "22003", "condition_name": "numeric_value_out_of_range", "runner": "scripts/verify_cases.py", "targets": { "latest": { "binary": "Homebrew PostgreSQL 18.6", "required": true }, "pg10": { "image": "postgres:10", "required": true } }, "cases": [ { "id": "integer_out_of_range", "versions": [ "10", "18" ], "preconditions": [], "trigger": "Cast the decimal text 2147483648 to the target integer type.", "assertions": [ "SQLSTATE is 22003", "The diagnostic identifies integer range overflow", "The failed autocommit session remains IDLE", "A representable int4 value succeeds afterward" ], "repair": "Use a representable integer or choose a wider numeric type after checking the business range; do not treat a conversion error as a generic data truncation.", "cleanup": "Drop the case schema with an owner connection." } ], "evidence_status": "authored", "snippets": [ { "id": "integer_out_of_range", "case_id": "integer_out_of_range", "language": "sql", "statements": { "trigger": "SELECT '2147483648'::integer", "repair": "SELECT '2147483647'::integer" } } ], "runtime": [ { "id": "runtime.22003-data1-latest.latest", "run_id": "22003-data1-latest", "target": "latest", "server_version": "18.6 (Homebrew)", "server_version_num": 180006, "status": "passed", "cases": [ "integer_out_of_range" ], "summary_sha256": "b75b028698e01f0a8d2e46c2cdc8eeb82e95d9bc57bcdd6a036874de387ab0b7", "raw_sha256": "175423ac2544f055d99352849c7b595f3a7856597282eca042dec0d301f85bb8", "snippet_registry": { "sha256": "6b32f84593ac976a3a39460cd680f9b64bbfd0c62caf1a32b26a561f38a07f2e" }, "observed": { "sqlstate": "22003", "status_after_repair": "IDLE" }, "result": { "status": "passed", "environment": { "TimeZone": "Asia/Shanghai", "backend_pid": 16387, "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": "22003", "name": "22003 SQLSTATE", "observed": "22003", "passed": true }, { "expected": "ERROR", "name": "22003 ERROR severity", "observed": "ERROR", "passed": true }, { "expected": "value \"2147483648\" is out of range for type integer", "name": "22003 primary diagnostic", "observed": "value \"2147483648\" is out of range for type integer", "passed": true }, { "expected": "IDLE", "name": "integer range error leaves session usable", "observed": "IDLE", "passed": true }, { "expected": { "status": "IDLE", "value": 2147483647 }, "name": "representable integer repairs conversion", "observed": { "status": "IDLE", "value": 2147483647 }, "passed": true } ], "case_id": "integer_out_of_range", "cleanup": { "errors": [], "passed": true }, "elapsed_seconds": 0.006, "observed": { "connection_autocommit": true, "diagnostic": { "column_name": null, "constraint_name": null, "context": null, "datatype_name": null, "exception_type": "NumericValueOutOfRange", "internal_position": null, "internal_query": null, "message_detail": null, "message_hint": null, "message_primary": "value \"2147483648\" is out of range for type integer", "schema_name": null, "severity": "ERROR", "severity_nonlocalized": "ERROR", "source_file": "numutils.c", "source_function": "pg_strtoint32_safe", "source_line": "612", "sqlstate": "22003", "statement_position": "8", "table_name": null, "text": "value \"2147483648\" is out of range for type integer\nLINE 1: SELECT '2147483648'::integer\n ^" }, "failed_status": "IDLE", "repair_status": "IDLE", "repair_value": 2147483647, "target_type": "integer" }, "schema": "c22003_integer_out_of_range", "status": "passed" } ] } }, { "id": "runtime.22003-data1-pg10.pg10", "run_id": "22003-data1-pg10", "target": "pg10", "server_version": "10.21 (Debian 10.21-1.pgdg90+1)", "server_version_num": 100021, "status": "passed", "cases": [ "integer_out_of_range" ], "summary_sha256": "5ed100d3d0ae588e15638a04477f34541365eaa5832a48b651ad0e3ed7d46a77", "raw_sha256": "00cd428c715f1b196579c4529a65e93a2e7967941a51c0c3d05cb981669a666e", "snippet_registry": { "sha256": "6b32f84593ac976a3a39460cd680f9b64bbfd0c62caf1a32b26a561f38a07f2e" }, "observed": { "sqlstate": "22003", "status_after_repair": "IDLE" }, "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": "22003", "name": "22003 SQLSTATE", "observed": "22003", "passed": true }, { "expected": "ERROR", "name": "22003 ERROR severity", "observed": "ERROR", "passed": true }, { "expected": "value \"2147483648\" is out of range for type integer", "name": "22003 primary diagnostic", "observed": "value \"2147483648\" is out of range for type integer", "passed": true }, { "expected": "IDLE", "name": "integer range error leaves session usable", "observed": "IDLE", "passed": true }, { "expected": { "status": "IDLE", "value": 2147483647 }, "name": "representable integer repairs conversion", "observed": { "status": "IDLE", "value": 2147483647 }, "passed": true } ], "case_id": "integer_out_of_range", "cleanup": { "errors": [], "passed": true }, "elapsed_seconds": 0.013, "observed": { "connection_autocommit": true, "diagnostic": { "column_name": null, "constraint_name": null, "context": null, "datatype_name": null, "exception_type": "NumericValueOutOfRange", "internal_position": null, "internal_query": null, "message_detail": null, "message_hint": null, "message_primary": "value \"2147483648\" is out of range for type integer", "schema_name": null, "severity": "ERROR", "severity_nonlocalized": "ERROR", "source_file": "numutils.c", "source_function": "pg_atoi", "source_line": "76", "sqlstate": "22003", "statement_position": "8", "table_name": null, "text": "value \"2147483648\" is out of range for type integer\nLINE 1: SELECT '2147483648'::integer\n ^" }, "failed_status": "IDLE", "repair_status": "IDLE", "repair_value": 2147483647, "target_type": "integer" }, "schema": "c22003_integer_out_of_range", "status": "passed" } ] } } ] }