The whole of this run is a release asset
This site holds 12 of the 13 question directories this run wrote; the archive holds every one:
- archive
- bird-dev-sqlite-dev-20251106.tar.gz
- size
- 1,740,723 bytes
- sha256
- 093a9262e197074a2a5ba4f1a95af8fc98044c08cbf244e6dc6cd747ef2730f4
What it counted
| what | how many |
|---|---|
| questions audited | 158 |
| GOLD-ONLY | 158 |
| probes fired | 14 |
the probes
| probe | fired on |
|---|---|
| ordering-over-numeric-text | 0 |
| arbitrary-cut | 4 |
| not-a-function-of-the-data | 1 |
| float-aggregate-order | 0 |
| duplicate-full-row | 9 |
| direction-against-question | 0 |
What the run was made of
- run
- audit-1b9f5b24-942a-40d1-9a37-f685bea6deef
- summary format
- attestql/audit/summary/2
- question file
- data/questions/dev_20251106-00000-of-00001.json sha256:ffd8018378ddb1a8794753e0a31cfc81862ff7318a5184c22f3dc4ce03a03feb | https://huggingface.co/datasets/birdsql/bird_sql_dev_20251106/resolve/3c11fb193e5439b338e23677fa0aae11e8b85db9/data/dev_20251106-00000-of-00001.json (commit 3c11fb19, downloaded 2026-09-07), 2026-01-18T08:51:02Z
- questions in the file
- 1534
- data file
- data/dev/dev_databases/student_club/student_club.sqlite sha256:eb89bcfe97eefa386a27904ec5aa15159811a7eac894ec659a36e48fa9f76b77 | dev.zip (sha256 cdd6d19faeb45a23970b98d3ef6c40a87987c95459c2cf12076897a60cf5a630), member dev_20240627/dev_databases.zip, dev_databases, student_club/student_club.sqlite, 2024-06-14
- server
- SQLite 3.53.4 | file=/private/tmp/attestql-runs/data/dev/dev_databases/student_club/student_club.sqlite | size=2641920
- database role
- file
- engine
- sqlite
- parser
- validator audit:sqlglot-sqlite-parse, sqlglot 30.18.0, dialect sqlite
- serialization
- attestql/audit/4
- statement timeout
- 30 s
- fixture digest depth
- counts
- schema digest
- sha256:64709a2781d4c388f2169ca190cab020ca6914e9e9af8101899b2f8f3746abf4
- data as of
- 2026-09-14T07:27:43.390390+00:00 the instant the run started
- shuffled copies
- prepared
- shuffle seed
- 1
- experimental probe
- off
The session the run was made in
what the engine reported, 10 settings
- sqlite_version
- 3.53.4
- encoding
- UTF-8
- reverse_unordered_selects
- 0
- query_only
- 1
- journal_mode
- delete
- data_version
- 1
- automatic_index
- 1
- compile_options
- ATOMIC_INTRINSICS=1,COMPILER=clang-21.0.0,DEFAULT_AUTOVACUUM,DEFAULT_CACHE_SIZE=-2000,DEFAULT_FILE_FORMAT=4,DEFAULT_JOURNAL_SIZE_LIMIT=-1,DEFAULT_MMAP_SIZE=0,DEFAULT_PAGE_SIZE=4096,DEFAULT_PCACHE_INITSZ=20,DEFAULT_RECURSIVE_TRIGGERS,DEFAULT_SECTOR_SIZE=4096,DEFAULT_SYNCHRONOUS=2,DEFAULT_WAL_AUTOCHECKPOINT=1000,DEFAULT_WAL_SYNCHRONOUS=2,DEFAULT_WORKER_THREADS=0,DIRECT_OVERFLOW_READ,ENABLE_API_ARMOR,ENABLE_COLUMN_METADATA,ENABLE_DBSTAT_VTAB,ENABLE_FTS3,ENABLE_FTS3_PARENTHESIS,ENABLE_FTS5,ENABLE_GEOPOLY,ENABLE_MATH_FUNCTIONS,ENABLE_MEMORY_MANAGEMENT,ENABLE_PERCENTILE,ENABLE_PREUPDATE_HOOK,ENABLE_RTREE,ENABLE_SESSION,ENABLE_STAT4,ENABLE_UNLOCK_NOTIFY,MALLOC_SOFT_LIMIT=1024,MAX_ATTACHED=10,MAX_COLUMN=2000,MAX_COMPOUND_SELECT=500,MAX_DEFAULT_PAGE_SIZE=8192,MAX_EXPR_DEPTH=1000,MAX_FUNCTION_ARG=1000,MAX_LENGTH=1000000000,MAX_LIKE_PATTERN_LENGTH=50000,MAX_MMAP_SIZE=0x7fff0000,MAX_PAGE_COUNT=0xfffffffe,MAX_PAGE_SIZE=65536,MAX_SQL_LENGTH=1000000000,MAX_TRIGGER_DEPTH=1000,MAX_VARIABLE_NUMBER=250000,MAX_VDBE_OP=250000000,MAX_WORKER_THREADS=8,MUTEX_PTHREADS,SYSTEM_MALLOC,TEMP_STORE=1,THREADSAFE=1,USE_URI
- collation_list
- RTRIM,NOCASE,BINARY
- case_sensitive_like
- 0
The questions
| question | rule | verdict | class | probes | what was asked |
|---|---|---|---|---|---|
| q1318 | R-ORD | GOLD-ONLY | arbitrary-cut | What is the event that has the highest attendance of the students from the Student_Club? | |
| q1336 | R-SET | GOLD-ONLY | duplicate-full-row | What department offers the major that Pierce and Guidi took? | |
| q1338 | R-SET | GOLD-ONLY | duplicate-full-row | Was each expense in October Meeting on October 8, 2019 approved? | |
| q1365 | R-ORD | GOLD-ONLY | arbitrary-cut not-a-function-of-the-data | What are the expenses of the budget with the lowest remaining? | |
| q1387 | R-SET | GOLD-ONLY | duplicate-full-row | Which student has been entrusted to manage the budget for the Yearly Kickoff? | |
| q1388 | R-ORD | GOLD-ONLY | arbitrary-cut | Which students manage to generate the highest income. State his/her full name along with the income source. | |
| q1389 | R-ORD | GOLD-ONLY | arbitrary-cut | Which event has the lowest cost? | |
| q1411 | R-SET | GOLD-ONLY | duplicate-full-row | State what kind of expenses that Sacha Harrison incurred? | |
| q1412 | R-SET | GOLD-ONLY | duplicate-full-row | What kind of expenses incurred by members who have X-Large in size of tee shirt? | |
| q1413 | R-SET | GOLD-ONLY | duplicate-full-row | Mention the zip code of members who incurred less than 50USD. | |
| q1417 | R-SET | GOLD-ONLY | duplicate-full-row | List out the type of events which have remaining budget more than 30 USD. | |
| q1418 | R-SET | GOLD-ONLY | duplicate-full-row | Mention the category of events which were held at MU 215. |
A question whose statement could not be run wrote no directory, so it is a row here and has no page: the summary holds the side that stopped, the step it stopped at and the engine's own message.
The same index, restricted
Each of these is a page of its own, so a filtered view has an address a reader can send. Nothing here is done by a script or by a query string.
The JSON this page was rendered from
- summary.json attestql/audit/summary/2