R-SET GOLD-ONLY float-aggregate-order
student_club · mini_dev_pg-00000-of-00001 from https://huggingface.co/datasets/birdsql/bird_mini_dev/resolve/f65faf4ae3b638c1fa6df1d3370c8d92c8366301/data/mini_dev_pg-00000-of-00001.json (commit f65faf4a, downloaded 2026-09-08)
List out the full name and total cost that member id "rec4BLdZHS2Blfp4v" incurred?
the hint the set supplies: full name refers to first_name, last name
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.first_name, T1.last_name, SUM(T2.cost) FROM member AS T1 INNER JOIN expense AS T2 ON T1.member_id = T2.link_to_member WHERE T1.member_id = 'rec4BLdZHS2Blfp4v' GROUP BY T1.first_name, T1.last_namethis statement states no ordering of its own
sha256:6376fecdfe2de0191c430a98db1db23ae8c94b2235a7101989955c2d73465c47
from evidence-gold.json, 1 row
| first_nametext | last_nametext | sumfloat4 |
|---|---|---|
| Sacha | Harrison | 866.25006 |
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"
}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
from smells.json, 1 row
| Sacha | Harrison | 866.25 |
{
"heuristic": true,
"rule": "R-SET",
"baseline_result_hash": "sha256:6376fecdfe2de0191c430a98db1db23ae8c94b2235a7101989955c2d73465c47",
"baseline_result": {
"columns": [
{
"name": "first_name",
"declared_type": "text"
},
{
"name": "last_name",
"declared_type": "text"
},
{
"name": "sum",
"declared_type": "float4"
}
],
"row_count": 1,
"truncated": false,
"rows_shown": 1,
"rows": [
[
{
"type": "str",
"value": "Sacha"
},
{
"type": "str",
"value": "Harrison"
},
{
"type": "dec",
"value": "866.25006"
}
]
],
"result_hash": "sha256:6376fecdfe2de0191c430a98db1db23ae8c94b2235a7101989955c2d73465c47"
},
"planner_statistics": {
"member": {
"last_analyze": null,
"last_autoanalyze": null,
"n_mod_since_analyze": 33
},
"expense": {
"last_analyze": null,
"last_autoanalyze": null,
"n_mod_since_analyze": 32
}
},
"shuffle": {
"seed": "1",
"row_limit": 300000,
"tables": [
"member",
"expense"
],
"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:88fbf702d4829bf6bf75c9caf11ecbb563d6884b0a94a2597fa7458dec47ecca",
"result": {
"columns": [
{
"name": "first_name",
"declared_type": "text"
},
{
"name": "last_name",
"declared_type": "text"
},
{
"name": "sum",
"declared_type": "float4"
}
],
"row_count": 1,
"truncated": false,
"rows_shown": 1,
"rows": [
[
{
"type": "str",
"value": "Sacha"
},
{
"type": "str",
"value": "Harrison"
},
{
"type": "dec",
"value": "866.25"
}
]
],
"result_hash": "sha256:88fbf702d4829bf6bf75c9caf11ecbb563d6884b0a94a2597fa7458dec47ecca"
}
},
"plan_variant": {
"run": false,
"reason": "the plan variant was not asked for"
},
"float_cells": [
{
"row": 0,
"column": "sum",
"declared_type": "float4",
"baseline": "866.25006",
"rerun": "866.25"
}
],
"significant_digits": 6
}SELECT T1.first_name, T1.last_name, SUM(T2.cost) FROM member AS T1 INNER JOIN expense AS T2 ON T1.member_id = T2.link_to_member WHERE T1.member_id = 'rec4BLdZHS2Blfp4v' GROUP BY T1.first_name, T1.last_nameresult_hash sha256:6376fecdfe2de0191c430a98db1db23ae8c94b2235a7101989955c2d73465c47 recomputed from this JSON: match
record_hash sha256:4ec60637c59b1a9617f21f5c094dc029e0776b0f9c7eff02589d0d9c7ba68337 recomputed from this JSON: match
from evidence-gold.json, 1 row
| first_nametext | last_nametext | sumfloat4 |
|---|---|---|
| Sacha | Harrison | 866.25006 |
re-run this statement read-only against PostgreSQL 16.15 (Debian 16.15-1.pgdg13+2) on aarch64-unknown-linux-gnu, compiled by gcc (Debian 14.2.0-19) 14.2.0, 64-bit | server=172.17.0.2/32:5432 | database=bird under the session settings and over the data this record's fixture digest names, and compare the two results under R-SET