{
  "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": "t1.year",
            "column": "races.year",
            "declared_type": "bigint",
            "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.name, t2.points, t1.year AS attestql_ordering_key_0 FROM races t1 JOIN driverstandings t2 ON t2.raceid = t1.raceid JOIN drivers t3 ON t3.driverid = t2.driverid WHERE t3.forename = 'Lewis' AND t3.surname = 'Hamilton' ORDER BY t1.year ASC NULLS FIRST",
        "unbounded_rows": 191,
        "projected_columns": [
          "name",
          "points"
        ],
        "ordering_key_columns": [
          "attestql_ordering_key_0"
        ],
        "ordering_keys": [
          {
            "key": "t1.year",
            "direction": "asc",
            "nulls": "first",
            "nulls_first_in_effect": true,
            "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": 16,
          "distinct_projected_answers": 16,
          "rows": [
            [
              {
                "type": "str",
                "value": "Malaysian Grand Prix"
              },
              {
                "type": "dec",
                "value": "14"
              }
            ],
            [
              {
                "type": "str",
                "value": "Bahrain Grand Prix"
              },
              {
                "type": "dec",
                "value": "22"
              }
            ],
            [
              {
                "type": "str",
                "value": "Spanish Grand Prix"
              },
              {
                "type": "dec",
                "value": "30"
              }
            ],
            [
              {
                "type": "str",
                "value": "Monaco Grand Prix"
              },
              {
                "type": "dec",
                "value": "38"
              }
            ],
            [
              {
                "type": "str",
                "value": "Canadian Grand Prix"
              },
              {
                "type": "dec",
                "value": "48"
              }
            ],
            [
              {
                "type": "str",
                "value": "United States Grand Prix"
              },
              {
                "type": "dec",
                "value": "58"
              }
            ],
            [
              {
                "type": "str",
                "value": "French Grand Prix"
              },
              {
                "type": "dec",
                "value": "64"
              }
            ],
            [
              {
                "type": "str",
                "value": "British Grand Prix"
              },
              {
                "type": "dec",
                "value": "70"
              }
            ],
            [
              {
                "type": "str",
                "value": "European Grand Prix"
              },
              {
                "type": "dec",
                "value": "70"
              }
            ],
            [
              {
                "type": "str",
                "value": "Hungarian Grand Prix"
              },
              {
                "type": "dec",
                "value": "80"
              }
            ]
          ]
        },
        "case": "tie-at-the-cut"
      },
      "counterexample_rows": [
        [
          {
            "type": "str",
            "value": "Malaysian Grand Prix"
          },
          {
            "type": "dec",
            "value": "14"
          },
          {
            "type": "int",
            "value": 2007
          }
        ],
        [
          {
            "type": "str",
            "value": "Bahrain Grand Prix"
          },
          {
            "type": "dec",
            "value": "22"
          },
          {
            "type": "int",
            "value": 2007
          }
        ],
        [
          {
            "type": "str",
            "value": "Spanish Grand Prix"
          },
          {
            "type": "dec",
            "value": "30"
          },
          {
            "type": "int",
            "value": 2007
          }
        ],
        [
          {
            "type": "str",
            "value": "Monaco Grand Prix"
          },
          {
            "type": "dec",
            "value": "38"
          },
          {
            "type": "int",
            "value": 2007
          }
        ],
        [
          {
            "type": "str",
            "value": "Canadian Grand Prix"
          },
          {
            "type": "dec",
            "value": "48"
          },
          {
            "type": "int",
            "value": 2007
          }
        ],
        [
          {
            "type": "str",
            "value": "United States Grand Prix"
          },
          {
            "type": "dec",
            "value": "58"
          },
          {
            "type": "int",
            "value": 2007
          }
        ],
        [
          {
            "type": "str",
            "value": "French Grand Prix"
          },
          {
            "type": "dec",
            "value": "64"
          },
          {
            "type": "int",
            "value": 2007
          }
        ],
        [
          {
            "type": "str",
            "value": "British Grand Prix"
          },
          {
            "type": "dec",
            "value": "70"
          },
          {
            "type": "int",
            "value": 2007
          }
        ],
        [
          {
            "type": "str",
            "value": "European Grand Prix"
          },
          {
            "type": "dec",
            "value": "70"
          },
          {
            "type": "int",
            "value": 2007
          }
        ],
        [
          {
            "type": "str",
            "value": "Hungarian Grand Prix"
          },
          {
            "type": "dec",
            "value": "80"
          },
          {
            "type": "int",
            "value": 2007
          }
        ]
      ]
    },
    {
      "name": "not-a-function-of-the-data",
      "fired": true,
      "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:4577fa493369f0f7eeb7d2d57f0d9acee2fed9102d56da3f4b6a513b340b2a97",
        "baseline_result": {
          "columns": [
            {
              "name": "name",
              "declared_type": "text"
            },
            {
              "name": "points",
              "declared_type": "float4"
            }
          ],
          "row_count": 1,
          "truncated": false,
          "rows_shown": 1,
          "rows": [
            [
              {
                "type": "str",
                "value": "Malaysian Grand Prix"
              },
              {
                "type": "dec",
                "value": "14"
              }
            ]
          ],
          "result_hash": "sha256:4577fa493369f0f7eeb7d2d57f0d9acee2fed9102d56da3f4b6a513b340b2a97"
        },
        "planner_statistics": {
          "drivers": {
            "last_analyze": null,
            "last_autoanalyze": null,
            "n_mod_since_analyze": 840
          },
          "races": {
            "last_analyze": null,
            "last_autoanalyze": null,
            "n_mod_since_analyze": 954
          },
          "driverstandings": {
            "last_analyze": null,
            "last_autoanalyze": null,
            "n_mod_since_analyze": 31578
          }
        },
        "shuffle": {
          "seed": "1",
          "row_limit": 300000,
          "tables": [
            "drivers",
            "races",
            "driverstandings"
          ],
          "tables_not_shuffled": [],
          "tables_skipped_for_size": {
            "laptimes": 400524,
            "legalities": 427907,
            "posthistory": 303155,
            "trans": 1056320,
            "yearmonth": 383282
          },
          "tables_not_reached_by_a_copy": {}
        },
        "shuffled_copies": {
          "run": true,
          "verdict": "not_equal",
          "differs": true,
          "result_hash": "sha256:facae82180458724b3020e23a448bd37e2a9784369903f1207d263d835778602",
          "result": {
            "columns": [
              {
                "name": "name",
                "declared_type": "text"
              },
              {
                "name": "points",
                "declared_type": "float4"
              }
            ],
            "row_count": 1,
            "truncated": false,
            "rows_shown": 1,
            "rows": [
              [
                {
                  "type": "str",
                  "value": "Canadian Grand Prix"
                },
                {
                  "type": "dec",
                  "value": "48"
                }
              ]
            ],
            "result_hash": "sha256:facae82180458724b3020e23a448bd37e2a9784369903f1207d263d835778602"
          }
        },
        "plan_variant": {
          "run": false,
          "reason": "the plan variant was not asked for"
        }
      },
      "counterexample_rows": [
        [
          {
            "type": "str",
            "value": "Canadian Grand Prix"
          },
          {
            "type": "dec",
            "value": "48"
          }
        ]
      ]
    }
  ]
}