{
  "schema": 1,
  "sqlstate": "42803",
  "condition_name": "grouping_error",
  "runner": "scripts/verify_cases.py",
  "targets": {
    "latest": {
      "binary": "Homebrew PostgreSQL 18.6",
      "required": true
    },
    "pg10": {
      "image": "postgres:10",
      "required": true
    }
  },
  "cases": [
    {
      "id": "grouping_non_grouped_column",
      "versions": [
        "10",
        "18"
      ],
      "preconditions": [
        "A runner-owned disposable target is provisioned."
      ],
      "trigger": "Select a nonaggregate label while grouping only the category column.",
      "assertions": [
        "SQLSTATE is 42803 and the diagnostic identifies the ungrouped label",
        "The failed autocommit session remains IDLE",
        "Grouping both selected nonaggregate columns returns two deterministic rows"
      ],
      "repair": "Decide whether the label should be grouped or aggregated; adding GROUP BY blindly can change the intended cardinality.",
      "cleanup": "Close the runner connection; the case uses VALUES only."
    }
  ],
  "evidence_status": "authored",
  "snippets": [
    {
      "id": "grouping_non_grouped_column",
      "case_id": "grouping_non_grouped_column",
      "language": "sql",
      "statements": {
        "trigger": "SELECT category, label, count(*) FROM (VALUES (1, 'a'), (1, 'b')) AS grouping_rows(category, label) GROUP BY category",
        "repair": "SELECT category, label, count(*) FROM (VALUES (1, 'a'), (1, 'b')) AS grouping_rows(category, label) GROUP BY category, label ORDER BY category, label"
      }
    }
  ],
  "runtime": [
    {
      "id": "runtime.syntax2-42803-latest.latest",
      "run_id": "syntax2-42803-latest",
      "target": "latest",
      "status": "passed",
      "server_version": "18.6 (Homebrew)",
      "server_version_num": 180006,
      "summary_sha256": "3869b8a34fba037b9d4b9c2da39b9ab2bbfd8ad77ffeb6c5b4ea5e7884b4284e",
      "raw_sha256": "3665e3efd3e238030d493a54e012a3c08198f149697f49035a1e9e08a385f3e1",
      "case_manifest": {
        "id": "manifest.42803",
        "kind": "local_artifact",
        "source_role": "case_manifest",
        "sha256": "e34cb132807bb039dc5464b64812e72d2062480867206ca9cdb2fee25c7accc0"
      },
      "snippet_registry": {
        "id": "snippet-registry.42803",
        "kind": "local_artifact",
        "source_role": "snippet_registry",
        "sha256": "90fe9aa4bccfd8dca5c4b5a1a2e9e792a62a73bc1ef49fe99430fea80e58b5df"
      },
      "environment": {
        "TimeZone": "Asia/Shanghai",
        "backend_pid": 29762,
        "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": [
        "grouping_non_grouped_column"
      ],
      "observed": {
        "connection_autocommit": true,
        "diagnostic": {
          "column_name": null,
          "constraint_name": null,
          "context": null,
          "datatype_name": null,
          "exception_type": "GroupingError",
          "internal_position": null,
          "internal_query": null,
          "message_detail": null,
          "message_hint": null,
          "message_primary": "column \"grouping_rows.label\" must appear in the GROUP BY clause or be used in an aggregate function",
          "schema_name": null,
          "severity": "ERROR",
          "severity_nonlocalized": "ERROR",
          "source_file": "parse_agg.c",
          "source_function": "substitute_grouped_columns_mutator",
          "source_line": "1558",
          "sqlstate": "42803",
          "statement_position": "18",
          "table_name": null,
          "text": "column \"grouping_rows.label\" must appear in the GROUP BY clause or be used in an aggregate function\nLINE 1: SELECT category, label, count(*) FROM (VALUES (1, 'a'), (1, ...\n                         ^"
        },
        "failed_status": "IDLE",
        "repair_rows": [
          [
            1,
            "a",
            1
          ],
          [
            1,
            "b",
            1
          ]
        ],
        "repair_status": "IDLE"
      },
      "assertions": [
        {
          "expected": "42803",
          "name": "42803 SQLSTATE",
          "observed": "42803",
          "passed": true
        },
        {
          "expected": "ERROR",
          "name": "42803 ERROR severity",
          "observed": "ERROR",
          "passed": true
        },
        {
          "expected": "grouping_rows.label must appear...",
          "name": "grouping diagnostic names the ungrouped column",
          "observed": "column \"grouping_rows.label\" must appear in the GROUP BY clause or be used in an aggregate function",
          "passed": true
        },
        {
          "expected": "IDLE",
          "name": "grouping error leaves autocommit session usable",
          "observed": "IDLE",
          "passed": true
        },
        {
          "expected": {
            "rows": [
              [
                1,
                "a",
                1
              ],
              [
                1,
                "b",
                1
              ]
            ],
            "status": "IDLE"
          },
          "name": "grouping every selected nonaggregate repairs the query",
          "observed": {
            "error": true,
            "rows": [
              [
                1,
                "a",
                1
              ],
              [
                1,
                "b",
                1
              ]
            ],
            "status": "IDLE"
          },
          "passed": true
        }
      ],
      "cleanup": {
        "errors": [],
        "passed": true
      },
      "result": {
        "status": "passed",
        "environment": {
          "TimeZone": "Asia/Shanghai",
          "backend_pid": 29762,
          "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": "42803",
                "name": "42803 SQLSTATE",
                "observed": "42803",
                "passed": true
              },
              {
                "expected": "ERROR",
                "name": "42803 ERROR severity",
                "observed": "ERROR",
                "passed": true
              },
              {
                "expected": "grouping_rows.label must appear...",
                "name": "grouping diagnostic names the ungrouped column",
                "observed": "column \"grouping_rows.label\" must appear in the GROUP BY clause or be used in an aggregate function",
                "passed": true
              },
              {
                "expected": "IDLE",
                "name": "grouping error leaves autocommit session usable",
                "observed": "IDLE",
                "passed": true
              },
              {
                "expected": {
                  "rows": [
                    [
                      1,
                      "a",
                      1
                    ],
                    [
                      1,
                      "b",
                      1
                    ]
                  ],
                  "status": "IDLE"
                },
                "name": "grouping every selected nonaggregate repairs the query",
                "observed": {
                  "error": true,
                  "rows": [
                    [
                      1,
                      "a",
                      1
                    ],
                    [
                      1,
                      "b",
                      1
                    ]
                  ],
                  "status": "IDLE"
                },
                "passed": true
              }
            ],
            "case_id": "grouping_non_grouped_column",
            "cleanup": {
              "errors": [],
              "passed": true
            },
            "elapsed_seconds": 0.007,
            "observed": {
              "connection_autocommit": true,
              "diagnostic": {
                "column_name": null,
                "constraint_name": null,
                "context": null,
                "datatype_name": null,
                "exception_type": "GroupingError",
                "internal_position": null,
                "internal_query": null,
                "message_detail": null,
                "message_hint": null,
                "message_primary": "column \"grouping_rows.label\" must appear in the GROUP BY clause or be used in an aggregate function",
                "schema_name": null,
                "severity": "ERROR",
                "severity_nonlocalized": "ERROR",
                "source_file": "parse_agg.c",
                "source_function": "substitute_grouped_columns_mutator",
                "source_line": "1558",
                "sqlstate": "42803",
                "statement_position": "18",
                "table_name": null,
                "text": "column \"grouping_rows.label\" must appear in the GROUP BY clause or be used in an aggregate function\nLINE 1: SELECT category, label, count(*) FROM (VALUES (1, 'a'), (1, ...\n                         ^"
              },
              "failed_status": "IDLE",
              "repair_rows": [
                [
                  1,
                  "a",
                  1
                ],
                [
                  1,
                  "b",
                  1
                ]
              ],
              "repair_status": "IDLE"
            },
            "schema": "c42803_grouping_non_grouped_column",
            "status": "passed"
          }
        ]
      }
    },
    {
      "id": "runtime.syntax2-42803-pg10.pg10",
      "run_id": "syntax2-42803-pg10",
      "target": "pg10",
      "status": "passed",
      "server_version": "10.21 (Debian 10.21-1.pgdg90+1)",
      "server_version_num": 100021,
      "summary_sha256": "986f9a1306927403b911f43fc9763d426ab747641908883bd9b6cf33956a6f1f",
      "raw_sha256": "67b9f9426fd251f16c63c5878b602cc91ced819d0aa29d6de572a78e7d2d5301",
      "case_manifest": {
        "id": "manifest.42803",
        "kind": "local_artifact",
        "source_role": "case_manifest",
        "sha256": "e34cb132807bb039dc5464b64812e72d2062480867206ca9cdb2fee25c7accc0"
      },
      "snippet_registry": {
        "id": "snippet-registry.42803",
        "kind": "local_artifact",
        "source_role": "snippet_registry",
        "sha256": "90fe9aa4bccfd8dca5c4b5a1a2e9e792a62a73bc1ef49fe99430fea80e58b5df"
      },
      "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": [
        "grouping_non_grouped_column"
      ],
      "observed": {
        "connection_autocommit": true,
        "diagnostic": {
          "column_name": null,
          "constraint_name": null,
          "context": null,
          "datatype_name": null,
          "exception_type": "GroupingError",
          "internal_position": null,
          "internal_query": null,
          "message_detail": null,
          "message_hint": null,
          "message_primary": "column \"grouping_rows.label\" must appear in the GROUP BY clause or be used in an aggregate function",
          "schema_name": null,
          "severity": "ERROR",
          "severity_nonlocalized": "ERROR",
          "source_file": "parse_agg.c",
          "source_function": "check_ungrouped_columns_walker",
          "source_line": "1362",
          "sqlstate": "42803",
          "statement_position": "18",
          "table_name": null,
          "text": "column \"grouping_rows.label\" must appear in the GROUP BY clause or be used in an aggregate function\nLINE 1: SELECT category, label, count(*) FROM (VALUES (1, 'a'), (1, ...\n                         ^"
        },
        "failed_status": "IDLE",
        "repair_rows": [
          [
            1,
            "a",
            1
          ],
          [
            1,
            "b",
            1
          ]
        ],
        "repair_status": "IDLE"
      },
      "assertions": [
        {
          "expected": "42803",
          "name": "42803 SQLSTATE",
          "observed": "42803",
          "passed": true
        },
        {
          "expected": "ERROR",
          "name": "42803 ERROR severity",
          "observed": "ERROR",
          "passed": true
        },
        {
          "expected": "grouping_rows.label must appear...",
          "name": "grouping diagnostic names the ungrouped column",
          "observed": "column \"grouping_rows.label\" must appear in the GROUP BY clause or be used in an aggregate function",
          "passed": true
        },
        {
          "expected": "IDLE",
          "name": "grouping error leaves autocommit session usable",
          "observed": "IDLE",
          "passed": true
        },
        {
          "expected": {
            "rows": [
              [
                1,
                "a",
                1
              ],
              [
                1,
                "b",
                1
              ]
            ],
            "status": "IDLE"
          },
          "name": "grouping every selected nonaggregate repairs the query",
          "observed": {
            "error": true,
            "rows": [
              [
                1,
                "a",
                1
              ],
              [
                1,
                "b",
                1
              ]
            ],
            "status": "IDLE"
          },
          "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": "42803",
                "name": "42803 SQLSTATE",
                "observed": "42803",
                "passed": true
              },
              {
                "expected": "ERROR",
                "name": "42803 ERROR severity",
                "observed": "ERROR",
                "passed": true
              },
              {
                "expected": "grouping_rows.label must appear...",
                "name": "grouping diagnostic names the ungrouped column",
                "observed": "column \"grouping_rows.label\" must appear in the GROUP BY clause or be used in an aggregate function",
                "passed": true
              },
              {
                "expected": "IDLE",
                "name": "grouping error leaves autocommit session usable",
                "observed": "IDLE",
                "passed": true
              },
              {
                "expected": {
                  "rows": [
                    [
                      1,
                      "a",
                      1
                    ],
                    [
                      1,
                      "b",
                      1
                    ]
                  ],
                  "status": "IDLE"
                },
                "name": "grouping every selected nonaggregate repairs the query",
                "observed": {
                  "error": true,
                  "rows": [
                    [
                      1,
                      "a",
                      1
                    ],
                    [
                      1,
                      "b",
                      1
                    ]
                  ],
                  "status": "IDLE"
                },
                "passed": true
              }
            ],
            "case_id": "grouping_non_grouped_column",
            "cleanup": {
              "errors": [],
              "passed": true
            },
            "elapsed_seconds": 0.011,
            "observed": {
              "connection_autocommit": true,
              "diagnostic": {
                "column_name": null,
                "constraint_name": null,
                "context": null,
                "datatype_name": null,
                "exception_type": "GroupingError",
                "internal_position": null,
                "internal_query": null,
                "message_detail": null,
                "message_hint": null,
                "message_primary": "column \"grouping_rows.label\" must appear in the GROUP BY clause or be used in an aggregate function",
                "schema_name": null,
                "severity": "ERROR",
                "severity_nonlocalized": "ERROR",
                "source_file": "parse_agg.c",
                "source_function": "check_ungrouped_columns_walker",
                "source_line": "1362",
                "sqlstate": "42803",
                "statement_position": "18",
                "table_name": null,
                "text": "column \"grouping_rows.label\" must appear in the GROUP BY clause or be used in an aggregate function\nLINE 1: SELECT category, label, count(*) FROM (VALUES (1, 'a'), (1, ...\n                         ^"
              },
              "failed_status": "IDLE",
              "repair_rows": [
                [
                  1,
                  "a",
                  1
                ],
                [
                  1,
                  "b",
                  1
                ]
              ],
              "repair_status": "IDLE"
            },
            "schema": "c42803_grouping_non_grouped_column",
            "status": "passed"
          }
        ]
      }
    }
  ]
}