{
  "question_as_asked": "What kind of currency did the customer paid at 16:25:00 in 2012/8/24?",
  "question": {
    "question_id": "1514",
    "question_set": "mini_dev_sqlite from https://bird-bench.oss-cn-beijing.aliyuncs.com/minidev.zip (sha256 cc48ba16838204e4e214512030cb572eeb5f7bcdd999bae4b9b6ff12ec13b92f, downloaded 2026-09-07), member minidev/MINIDEV/mini_dev_sqlite.json",
    "question_text": "What kind of currency did the customer paid at 16:25:00 in 2012/8/24?",
    "evidence_text": "'2012/8/24' can be represented by '2012-08-24'; "
  },
  "question_set_version": "sha256:4ba5fa8de55856222f484d380d2ba872b380bf79d825de70478e2120cb0fc43b",
  "statement_source": {
    "path": "data/questions/mini_dev_sqlite.json",
    "digest": "sha256:4ba5fa8de55856222f484d380d2ba872b380bf79d825de70478e2120cb0fc43b",
    "origin": "https://bird-bench.oss-cn-beijing.aliyuncs.com/minidev.zip (sha256 cc48ba16838204e4e214512030cb572eeb5f7bcdd999bae4b9b6ff12ec13b92f, downloaded 2026-09-07), member minidev/MINIDEV/mini_dev_sqlite.json",
    "date": "2024-06-19"
  },
  "executed_sql": "SELECT DISTINCT T3.Currency FROM transactions_1k AS T1 INNER JOIN gasstations AS T2 ON T1.GasStationID = T2.GasStationID INNER JOIN customers AS T3 ON T1.CustomerID = T3.CustomerID WHERE T1.Date = '2012-08-24' AND T1.Time = '16:25:00'",
  "bound_parameters": [],
  "validation_outcome": {
    "checks_run": [
      "parses_as_exactly_one_statement",
      "the_one_statement_is_a_select",
      "no_placeholder_without_a_bound_parameter"
    ],
    "all_passed": true
  },
  "validator_version": "audit:sqlglot-sqlite-parse",
  "effective_database_role": "file",
  "backend_identity_at_checkout": "SQLite 3.53.4 | file=/private/tmp/attestql-runs/data/minidev/dev_databases/debit_card_specializing/debit_card_specializing.sqlite | size=34635776",
  "session_settings_in_force": {
    "engine": "sqlite",
    "time_zone": null,
    "date_style": null,
    "interval_style": null,
    "extra_float_digits": null,
    "database_collation": null,
    "work_mem": null,
    "hash_mem_multiplier": null,
    "recorded": {
      "sqlite_version": "3.53.4",
      "encoding": "UTF-8",
      "reverse_unordered_selects": "0",
      "query_only": "1",
      "journal_mode": "delete",
      "data_version": "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"
    }
  },
  "result": {
    "columns": [
      {
        "name": "Currency",
        "declared_type": "TEXT"
      }
    ],
    "row_count": 1,
    "truncated": false,
    "rows": [
      [
        {
          "type": "str",
          "value": "CZK"
        }
      ]
    ],
    "backend_identity": "SQLite 3.53.4 | file=/private/tmp/attestql-runs/data/minidev/dev_databases/debit_card_specializing/debit_card_specializing.sqlite | size=34635776",
    "statement_timeout_ms": 30000
  },
  "row_count": 1,
  "canonical_ordering": [],
  "serialization": {
    "version": "attestql/audit/2",
    "numeric_scale": 6,
    "timestamp_format": "%Y-%m-%dT%H:%M:%S.%fZ",
    "timezone": "UTC",
    "null_rendering": "NULL",
    "encoding": "utf-8"
  },
  "replay_rule": "R-SET",
  "fixture": {
    "schema_digest": "sha256:a0b985a115aca94a633354328bc81895887d5589a406524236a279991bfc3dbb",
    "row_counts": {
      "main.customers": 32461,
      "main.gasstations": 5716,
      "main.transactions_1k": 1000
    },
    "content_digests": {},
    "source_file_sha256": "sha256:b3d149ad05746dbbe5116e229e17e18f09c39db43cf117d9ef3441753608b691"
  },
  "data_as_of": "2026-09-08T05:01:34.398754+00:00",
  "executed_at": "2026-09-08T05:01:45.598164+00:00",
  "run_id": "audit-3e5adc79-54df-43ec-b04d-d17f8bc48ba5",
  "rerun_instruction": "re-run this statement read-only against SQLite 3.53.4 | file=/private/tmp/attestql-runs/data/minidev/dev_databases/debit_card_specializing/debit_card_specializing.sqlite | size=34635776 under the session settings and over the data this record's fixture digest names, and compare the two results under R-SET",
  "result_hash": "sha256:b08acf9ce8d1711d12dc275035848bc24e10a0111c04ba8aa6845de0a0b33c93",
  "record_hash": "sha256:ba473065c3842472a5b306ddd4a1b1269c5bfb73df84631e4b8bf551f799e6c9"
}