AttestQL
Copyright 2026 Hoang Le

This repository is licensed under the Apache License, Version 2.0 (see LICENSE), with the
exceptions listed here.

The following files contain material excerpted from BIRD Mini-Dev
(https://github.com/bird-bench/mini_dev), which is licensed under the Creative Commons
Attribution-ShareAlike 4.0 International licence (CC BY-SA 4.0,
https://creativecommons.org/licenses/by-sa/4.0/). That material is not covered by the
Apache License and keeps its own licence and attribution:

  tools/audit-sandbox/questions.json
      the question text, evidence text, gold SQL and difficulty of Mini-Dev questions 1029, 879
      and 207, reproduced because the defect the sandbox replays is in that shipped gold; the rows
      those statements run against are this repository's own synthetic fixture.
  src/attestql/demo/questions.json
      the question text, evidence text, gold SQL and difficulty of the same three questions as
      they are written in Mini-Dev's SQLite copy, reproduced for the same reason; the rows those
      statements run against are this repository's own synthetic fixture.
  plans/reports/spike-260902-three-gold-defects/
      evidence records and counterexamples for the same three questions, holding their gold SQL
      and a few result rows from the Mini-Dev PostgreSQL databases.
  plans/reports/sweep-260902-gold-only-probes/fired.json
      the question text, evidence text and gold SQL of the 52 Mini-Dev questions on which a
      gold-only probe fired, with the rows the probe read.
  plans/reports/parser-260903-postgast-against-pglast/current-parser.json and previous-parser.json
      the table names and the ordering expressions of the 498 Mini-Dev gold statements, as two
      parsers read them.
  plans/reports/minidev-260903-zip-against-hf/
      the two gold statements that differ between the GitHub zip and the Hugging Face file, in
      both forms.
  plans/reports/prediction-mode-260904-real-predictions/examples/
      four counterexamples (Mini-Dev questions 565, 1035, 1473 and 1057): the question text,
      evidence text and gold SQL, a prediction from BIRD's own llm/exp_result/sql_output_kg
      files, and the rows both returned from the Mini-Dev PostgreSQL databases.
  plans/reports/minidev-sqlite-260907/examples/
      three counterexamples (Mini-Dev questions 846, 45 and 1035): the question text, evidence
      text and gold SQL as Mini-Dev's SQLite copy writes them, a prediction from BIRD's own
      llm/exp_result/sql_output_kg files, and the rows both returned from the Mini-Dev SQLite
      databases.

Every other file, including the run outputs that carry only question ids, verdicts, hashes and
counts, is this repository's own work under the Apache License.
