R-SET GOLD-ONLY duplicate-full-row
codebase_community · dev_20251106-00000-of-00001 from https://huggingface.co/datasets/birdsql/bird_sql_dev_20251106/resolve/3c11fb193e5439b338e23677fa0aae11e8b85db9/data/dev_20251106-00000-of-00001.json (commit 3c11fb19, downloaded 2026-09-07)
What are the post history type IDs for post ID 3720 and how many unique users have commented on the post?
This question was audited without a prediction beside it, so there is nothing to compare the gold with. The probes below read the gold alone.
SELECT T1.PostHistoryTypeId,
(SELECT COUNT(DISTINCT UserId) FROM comments WHERE PostId = 3720) AS NumberOfUsers
FROM postHistory AS T1
WHERE T1.PostId = 3720;this statement states no ordering of its own
sha256:4abbc9a11fab198397f8ffc972cd0396f90d0a5c1fed23cd6725a02a9b2767d4
from evidence-gold.json, 7 rows
| PostHistoryTypeIdINTEGER | NumberOfUsersINTEGER |
|---|---|
| 2 | 3 |
| 5 | 3 |
| 5 | 3 |
| 5 | 3 |
| 5 | 3 |
| 5 | 3 |
| 5 | 3 |
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.
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
the statement states no top level ORDER BY
{
"heuristic": true,
"reason": "the statement states no top level ORDER BY"
}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
the statement states no LIMIT
{
"heuristic": true,
"reason": "the statement states no LIMIT"
}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
{
"heuristic": true,
"rule": "R-SET",
"baseline_result_hash": "sha256:4abbc9a11fab198397f8ffc972cd0396f90d0a5c1fed23cd6725a02a9b2767d4",
"baseline_result": {
"columns": [
{
"name": "PostHistoryTypeId",
"declared_type": "INTEGER"
},
{
"name": "NumberOfUsers",
"declared_type": "INTEGER"
}
],
"row_count": 7,
"truncated": false,
"rows_shown": 7,
"rows": [
[
{
"type": "int",
"value": 2
},
{
"type": "int",
"value": 3
}
],
[
{
"type": "int",
"value": 5
},
{
"type": "int",
"value": 3
}
],
[
{
"type": "int",
"value": 5
},
{
"type": "int",
"value": 3
}
],
[
{
"type": "int",
"value": 5
},
{
"type": "int",
"value": 3
}
],
[
{
"type": "int",
"value": 5
},
{
"type": "int",
"value": 3
}
],
[
{
"type": "int",
"value": 5
},
{
"type": "int",
"value": 3
}
],
[
{
"type": "int",
"value": 5
},
{
"type": "int",
"value": 3
}
]
],
"result_hash": "sha256:4abbc9a11fab198397f8ffc972cd0396f90d0a5c1fed23cd6725a02a9b2767d4"
},
"planner_statistics": {},
"shuffle": {
"seed": "1",
"row_limit": 300000,
"tables": [
"postHistory",
"comments"
],
"tables_not_shuffled": [
"postHistory"
],
"tables_skipped_for_size": {
"postHistory": 303155
},
"tables_not_reached_by_a_copy": {}
},
"shuffled_copies": {
"run": true,
"verdict": "equal",
"differs": false,
"result_hash": "sha256:4abbc9a11fab198397f8ffc972cd0396f90d0a5c1fed23cd6725a02a9b2767d4",
"result": {
"columns": [
{
"name": "PostHistoryTypeId",
"declared_type": "INTEGER"
},
{
"name": "NumberOfUsers",
"declared_type": "INTEGER"
}
],
"row_count": 7,
"truncated": false,
"rows_shown": 7,
"rows": [
[
{
"type": "int",
"value": 2
},
{
"type": "int",
"value": 3
}
],
[
{
"type": "int",
"value": 5
},
{
"type": "int",
"value": 3
}
],
[
{
"type": "int",
"value": 5
},
{
"type": "int",
"value": 3
}
],
[
{
"type": "int",
"value": 5
},
{
"type": "int",
"value": 3
}
],
[
{
"type": "int",
"value": 5
},
{
"type": "int",
"value": 3
}
],
[
{
"type": "int",
"value": 5
},
{
"type": "int",
"value": 3
}
],
[
{
"type": "int",
"value": 5
},
{
"type": "int",
"value": 3
}
]
],
"result_hash": "sha256:4abbc9a11fab198397f8ffc972cd0396f90d0a5c1fed23cd6725a02a9b2767d4"
}
},
"plan_variant": {
"run": false,
"reason": "the plan variant was not asked for"
}
}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
from smells.json, 1 row
| 5 | 3 |
{
"heuristic": true,
"rows": 7,
"distinct_rows": 2,
"repeated_rows": 1,
"largest_repeat": 6,
"result_bounded": false,
"distinct_stated": false,
"set_operation": false,
"repeats_of_the_rows_shown": [
6
]
}SELECT T1.PostHistoryTypeId,
(SELECT COUNT(DISTINCT UserId) FROM comments WHERE PostId = 3720) AS NumberOfUsers
FROM postHistory AS T1
WHERE T1.PostId = 3720;result_hash sha256:4abbc9a11fab198397f8ffc972cd0396f90d0a5c1fed23cd6725a02a9b2767d4 recomputed from this JSON: match
record_hash sha256:5b8fc06ad6f050d053bc73ca6c5844fa74274d57a29b44ea21ec4c4cee197969 recomputed from this JSON: match
from evidence-gold.json, 7 rows
| PostHistoryTypeIdINTEGER | NumberOfUsersINTEGER |
|---|---|
| 2 | 3 |
| 5 | 3 |
| 5 | 3 |
| 5 | 3 |
| 5 | 3 |
| 5 | 3 |
| 5 | 3 |
re-run this statement read-only against SQLite 3.53.4 | file=/private/tmp/attestql-runs/data/dev/dev_databases/codebase_community/codebase_community.sqlite | size=481419264 under the session settings and over the data this record's fixture digest names, and compare the two results under R-SET