the run

audit-931f59b0-8c3d-42b1-b1c7-55a6a9973429 exit status 0

The whole of this run is a release asset

This site holds 6 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

whathow many
questions audited129
GOLD-ONLY129
probes fired13
the verdicts of run audit-931f59b0-8c3d-42b1-b1c7-55a6a9973429, from summary.json129 GOLD-ONLY
Of the questions this run audited: 129 GOLD-ONLY

the probes

probefired on
ordering-over-numeric-text0
arbitrary-cut2
not-a-function-of-the-data0
float-aggregate-order0
duplicate-full-row11
direction-against-question0
how many golds each probe fired on, of 129, from summary.json0 ordering-over-numeric-text2 arbitrary-cut0 not-a-function-of-the-data0 float-aggregate-order11 duplicate-full-row0 direction-against-question
Of 129 golds this run read, the probes fired on: arbitrary-cut on 2; duplicate-full-row on 11.

What the run was made of

run
audit-931f59b0-8c3d-42b1-b1c7-55a6a9973429
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/superhero/superhero.sqlite sha256:75e94a2c3236ee3bb2c01fb97a1c4b4c1c269bcefd4eab1d04be323d2d0825b1 | dev.zip (sha256 cdd6d19faeb45a23970b98d3ef6c40a87987c95459c2cf12076897a60cf5a630), member dev_20240627/dev_databases.zip, dev_databases, superhero/superhero.sqlite, 2024-06-14
server
SQLite 3.53.4 | file=/private/tmp/attestql-runs/data/dev/dev_databases/superhero/superhero.sqlite | size=237568
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:921b79dd088877e3b6090a31ab919676ab6b45adf398a468edc025b74a77f750
data as of
2026-09-14T07:27:43.377634+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
q766 R-ORD GOLD-ONLY arbitrary-cut What is the hero's full name with the highest attribute in strength?
q797 R-SET GOLD-ONLY duplicate-full-row Which superheroes have blue eyes with brown hair?
q798 R-SET GOLD-ONLY duplicate-full-row What is the publisher for Hawkman, Karate Kid and Speedy?
q802 R-ORD GOLD-ONLY arbitrary-cut Who is the tallest superhero?
q837 R-SET GOLD-ONLY duplicate-full-row Give the hero ID of superhero with the lowest attribute value.
q840 R-SET GOLD-ONLY duplicate-full-row List the attribute value of the superhero named Aquababy.

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