{
  "question_as_asked": "For the driver who set the fastest lap speed, what is his nationality?",
  "question": {
    "question_id": "879",
    "question_set": "questions",
    "question_text": "For the driver who set the fastest lap speed, what is his nationality?",
    "evidence_text": "the fastest lap speed refers to (MAX) fastestLapSpeed;"
  },
  "question_set_version": "sha256:7ad58addc070b425cabfc9d67bbd9c95840253160cf3b73d672e9aeb4897f5ff",
  "statement_source": {
    "path": "demo/questions.json",
    "digest": "sha256:7ad58addc070b425cabfc9d67bbd9c95840253160cf3b73d672e9aeb4897f5ff",
    "origin": null,
    "date": null
  },
  "executed_sql": "SELECT T1.nationality FROM drivers AS T1 INNER JOIN results AS T2 ON T2.driverId = T1.driverId ORDER BY T2.fastestLapSpeed DESC LIMIT 1",
  "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-site-sandbox/demo/fixture.sqlite | size=69632",
  "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": "nationality",
        "declared_type": "TEXT"
      }
    ],
    "row_count": 1,
    "truncated": false,
    "rows": [
      [
        {
          "type": "str",
          "value": "Norwegian"
        }
      ]
    ],
    "backend_identity": "SQLite 3.53.4 | file=/private/tmp/attestql-site-sandbox/demo/fixture.sqlite | size=69632",
    "statement_timeout_ms": 30000
  },
  "row_count": 1,
  "canonical_ordering": [
    {
      "column": "T2.fastestLapSpeed",
      "descending": true
    }
  ],
  "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-ORD",
  "fixture": {
    "schema_digest": "sha256:085edf565758a574b3d3b1ca4ec041a55808be4833b19b4834bfea6cef00d2d0",
    "row_counts": {
      "main.drivers": 4,
      "main.results": 7
    },
    "content_digests": {},
    "source_file_sha256": ""
  },
  "data_as_of": "2026-09-08T04:11:01.285823+00:00",
  "executed_at": "2026-09-08T04:11:01.294477+00:00",
  "run_id": "audit-5ac1b5ac-ceba-418a-841e-577381666b11",
  "rerun_instruction": "re-run this statement read-only against SQLite 3.53.4 | file=/private/tmp/attestql-site-sandbox/demo/fixture.sqlite | size=69632 under the session settings and over the data this record's fixture digest names, and compare the two results under R-ORD",
  "result_hash": "sha256:305ac6bb3143bd1e7623e255e56e39e8fd5f6d78abeef74efeb919785a30c3dd",
  "record_hash": "sha256:e5e95ef64eb137b00f24622c36386f658364e724d3331d1ebf3efff0023e34ab"
}
