{
  "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": "the statement states no top level ORDER BY"
      },
      "counterexample_rows": []
    },
    {
      "name": "arbitrary-cut",
      "fired": false,
      "applicable": false,
      "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",
        "reason": "the statement states no LIMIT"
      },
      "counterexample_rows": []
    },
    {
      "name": "float-aggregate-order",
      "fired": true,
      "applicable": true,
      "evidence": {
        "heuristic": true,
        "means": "this statement aggregates floating point numbers, so its last digits depend on the order the rows were summed in; the values agree to six significant digits",
        "rule": "R-SET",
        "baseline_result_hash": "sha256:5f1c7f70f402127eaeffa01d0a8613f44255eb56eb9a0f5bc0e131b3a5e395f0",
        "baseline_result": {
          "columns": [
            {
              "name": "customerid",
              "declared_type": "int8"
            },
            {
              "name": "sum",
              "declared_type": "float8"
            },
            {
              "name": "currency",
              "declared_type": "text"
            }
          ],
          "row_count": 1,
          "truncated": false,
          "rows_shown": 1,
          "rows": [
            [
              {
                "type": "int",
                "value": 12459
              },
              {
                "type": "dec",
                "value": "203.85607635517042"
              },
              {
                "type": "str",
                "value": "CZK"
              }
            ]
          ],
          "result_hash": "sha256:5f1c7f70f402127eaeffa01d0a8613f44255eb56eb9a0f5bc0e131b3a5e395f0"
        },
        "planner_statistics": {
          "customers": {
            "last_analyze": "2026-09-14 12:50:59.475079+00",
            "last_autoanalyze": null,
            "n_mod_since_analyze": 0
          },
          "transactions_1k": {
            "last_analyze": "2026-09-14 12:51:04.722305+00",
            "last_autoanalyze": null,
            "n_mod_since_analyze": 0
          },
          "yearmonth": {
            "last_analyze": "2026-09-14 12:51:05.044978+00",
            "last_autoanalyze": null,
            "n_mod_since_analyze": 0
          }
        },
        "shuffle": {
          "seed": "1",
          "row_limit": 300000,
          "tables": [
            "customers",
            "transactions_1k",
            "yearmonth"
          ],
          "tables_not_shuffled": [
            "yearmonth"
          ],
          "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:5f1c7f70f402127eaeffa01d0a8613f44255eb56eb9a0f5bc0e131b3a5e395f0",
          "result": {
            "columns": [
              {
                "name": "customerid",
                "declared_type": "int8"
              },
              {
                "name": "sum",
                "declared_type": "float8"
              },
              {
                "name": "currency",
                "declared_type": "text"
              }
            ],
            "row_count": 1,
            "truncated": false,
            "rows_shown": 1,
            "rows": [
              [
                {
                  "type": "int",
                  "value": 12459
                },
                {
                  "type": "dec",
                  "value": "203.85607635517044"
                },
                {
                  "type": "str",
                  "value": "CZK"
                }
              ]
            ],
            "result_hash": "sha256:5f1c7f70f402127eaeffa01d0a8613f44255eb56eb9a0f5bc0e131b3a5e395f0"
          }
        },
        "plan_variant": {
          "run": false,
          "reason": "the plan variant was not asked for"
        },
        "float_cells": [
          {
            "row": 0,
            "column": "sum",
            "declared_type": "float8",
            "baseline": "203.85607635517042",
            "rerun": "203.85607635517044"
          }
        ],
        "significant_digits": 6
      },
      "counterexample_rows": [
        [
          {
            "type": "int",
            "value": 12459
          },
          {
            "type": "dec",
            "value": "203.85607635517044"
          },
          {
            "type": "str",
            "value": "CZK"
          }
        ]
      ]
    },
    {
      "name": "duplicate-full-row",
      "fired": false,
      "applicable": false,
      "evidence": {
        "heuristic": true,
        "means": "this statement returns the same whole row more than once and never says DISTINCT, so a statement answering the same question once per row disagrees on multiplicity alone",
        "rows": 1,
        "distinct_rows": 1,
        "repeated_rows": 0,
        "largest_repeat": 1,
        "result_bounded": false,
        "distinct_stated": false,
        "set_operation": false,
        "not_applicable": "a result of fewer than two rows has nothing to repeat"
      },
      "counterexample_rows": []
    }
  ]
}