{
  "format": "attestql/audit/smells/2",
  "reading": "A smell is a mechanical reason to read this gold statement again. It is a heuristic: it does not state that the statement is wrong, and a maintainer decides.",
  "smells": [
    {
      "name": "ordering-over-numeric-text",
      "fired": false,
      "applicable": false,
      "evidence": {
        "heuristic": true,
        "means": "this statement orders by a text column holding only numbers, and ordering it as a number gives a different answer, so the gold may be sorting 9.5 above 10",
        "reason": "no ORDER BY key resolves to a text column",
        "keys": [
          {
            "key": "T2.A11",
            "column": "district.A11",
            "declared_type": "INTEGER",
            "not_applicable": "the column is not declared as text"
          }
        ]
      },
      "counterexample_rows": []
    },
    {
      "name": "arbitrary-cut",
      "fired": true,
      "applicable": true,
      "evidence": {
        "heuristic": true,
        "means": "this statement cuts its result at a LIMIT that does not decide which rows come back, so a different but equally correct statement can return other rows and score zero",
        "cut": 1,
        "offset": 0,
        "distinct_kept": false,
        "unbounded_sql": "SELECT T1.account_id, (SELECT MAX(A11) - MIN(A11) FROM district), T2.A11 AS attestql_ordering_key_0 FROM account AS T1 INNER JOIN district AS T2 ON T1.district_id = T2.district_id INNER JOIN disp AS T3 ON T1.account_id = T3.account_id INNER JOIN client AS T4 ON T3.client_id = T4.client_id WHERE T2.district_id = (SELECT district_id FROM client WHERE gender = 'F' ORDER BY birth_date ASC LIMIT 1) ORDER BY T2.A11 DESC",
        "unbounded_rows": 55,
        "projected_columns": [
          "account_id",
          "(SELECT MAX(A11) - MIN(A11) FROM district)"
        ],
        "ordering_key_columns": [
          "attestql_ordering_key_0"
        ],
        "ordering_keys": [
          {
            "key": "T2.A11",
            "direction": "desc",
            "nulls": "last",
            "nulls_first_in_effect": false,
            "returned_rows_null_in_this_key": 0,
            "fires": false
          }
        ],
        "tied_at_the_cut": {
          "positions": [
            0,
            1,
            2,
            3,
            4,
            5,
            6,
            7,
            8,
            9
          ],
          "tied_rows": 55,
          "distinct_projected_answers": 49,
          "rows": [
            [
              {
                "type": "int",
                "value": 6
              },
              {
                "type": "int",
                "value": 4431
              }
            ],
            [
              {
                "type": "int",
                "value": 142
              },
              {
                "type": "int",
                "value": 4431
              }
            ],
            [
              {
                "type": "int",
                "value": 142
              },
              {
                "type": "int",
                "value": 4431
              }
            ],
            [
              {
                "type": "int",
                "value": 361
              },
              {
                "type": "int",
                "value": 4431
              }
            ],
            [
              {
                "type": "int",
                "value": 463
              },
              {
                "type": "int",
                "value": 4431
              }
            ],
            [
              {
                "type": "int",
                "value": 646
              },
              {
                "type": "int",
                "value": 4431
              }
            ],
            [
              {
                "type": "int",
                "value": 758
              },
              {
                "type": "int",
                "value": 4431
              }
            ],
            [
              {
                "type": "int",
                "value": 1353
              },
              {
                "type": "int",
                "value": 4431
              }
            ],
            [
              {
                "type": "int",
                "value": 1506
              },
              {
                "type": "int",
                "value": 4431
              }
            ],
            [
              {
                "type": "int",
                "value": 1509
              },
              {
                "type": "int",
                "value": 4431
              }
            ]
          ]
        },
        "case": "tie-at-the-cut"
      },
      "counterexample_rows": [
        [
          {
            "type": "int",
            "value": 6
          },
          {
            "type": "int",
            "value": 4431
          },
          {
            "type": "int",
            "value": 8541
          }
        ],
        [
          {
            "type": "int",
            "value": 142
          },
          {
            "type": "int",
            "value": 4431
          },
          {
            "type": "int",
            "value": 8541
          }
        ],
        [
          {
            "type": "int",
            "value": 142
          },
          {
            "type": "int",
            "value": 4431
          },
          {
            "type": "int",
            "value": 8541
          }
        ],
        [
          {
            "type": "int",
            "value": 361
          },
          {
            "type": "int",
            "value": 4431
          },
          {
            "type": "int",
            "value": 8541
          }
        ],
        [
          {
            "type": "int",
            "value": 463
          },
          {
            "type": "int",
            "value": 4431
          },
          {
            "type": "int",
            "value": 8541
          }
        ],
        [
          {
            "type": "int",
            "value": 646
          },
          {
            "type": "int",
            "value": 4431
          },
          {
            "type": "int",
            "value": 8541
          }
        ],
        [
          {
            "type": "int",
            "value": 758
          },
          {
            "type": "int",
            "value": 4431
          },
          {
            "type": "int",
            "value": 8541
          }
        ],
        [
          {
            "type": "int",
            "value": 1353
          },
          {
            "type": "int",
            "value": 4431
          },
          {
            "type": "int",
            "value": 8541
          }
        ],
        [
          {
            "type": "int",
            "value": 1506
          },
          {
            "type": "int",
            "value": 4431
          },
          {
            "type": "int",
            "value": 8541
          }
        ],
        [
          {
            "type": "int",
            "value": 1509
          },
          {
            "type": "int",
            "value": 4431
          },
          {
            "type": "int",
            "value": 8541
          }
        ]
      ]
    },
    {
      "name": "not-a-function-of-the-data",
      "fired": false,
      "applicable": true,
      "evidence": {
        "heuristic": true,
        "means": "rerun over the same rows in another physical order this statement gives another answer, so its result depends on how the rows are stored and not only on the data",
        "rule": "R-ORD",
        "baseline_result_hash": "sha256:4f74c12d88b961f8446530557906b8e975fb110b3a42c3222f440a23ab8b1a01",
        "baseline_result": {
          "columns": [
            {
              "name": "account_id",
              "declared_type": "INTEGER"
            },
            {
              "name": "(SELECT MAX(A11) - MIN(A11) FROM district)",
              "declared_type": "INTEGER"
            }
          ],
          "row_count": 1,
          "truncated": false,
          "rows_shown": 1,
          "rows": [
            [
              {
                "type": "int",
                "value": 6
              },
              {
                "type": "int",
                "value": 4431
              }
            ]
          ],
          "result_hash": "sha256:4f74c12d88b961f8446530557906b8e975fb110b3a42c3222f440a23ab8b1a01"
        },
        "planner_statistics": {},
        "shuffle": {
          "seed": "1",
          "row_limit": 300000,
          "tables": [
            "account",
            "district",
            "disp",
            "client"
          ],
          "tables_not_shuffled": [],
          "tables_skipped_for_size": {
            "trans": 1056320
          },
          "tables_not_reached_by_a_copy": {}
        },
        "shuffled_copies": {
          "run": true,
          "verdict": "equal",
          "differs": false,
          "result_hash": "sha256:4f74c12d88b961f8446530557906b8e975fb110b3a42c3222f440a23ab8b1a01",
          "result": {
            "columns": [
              {
                "name": "account_id",
                "declared_type": "INTEGER"
              },
              {
                "name": "(SELECT MAX(A11) - MIN(A11) FROM district)",
                "declared_type": "INTEGER"
              }
            ],
            "row_count": 1,
            "truncated": false,
            "rows_shown": 1,
            "rows": [
              [
                {
                  "type": "int",
                  "value": 6
                },
                {
                  "type": "int",
                  "value": 4431
                }
              ]
            ],
            "result_hash": "sha256:4f74c12d88b961f8446530557906b8e975fb110b3a42c3222f440a23ab8b1a01"
          }
        },
        "plan_variant": {
          "run": false,
          "reason": "the plan variant was not asked for"
        }
      },
      "counterexample_rows": []
    }
  ]
}