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.
  tools/site/data/
      the audit directories the published site is built from: the question text, the evidence
      text and the gold SQL of the questions the site shows, of BIRD Mini-Dev and of BIRD dev
      (https://github.com/AlibabaResearch/DAMO-ConvAI/tree/main/bird, the same licence), the
      predictions BIRD's own llm/exp_result/sql_output_kg files hold for them, and the rows
      those statements returned from the benchmark databases, inside the evidence records. The
      same licence and the same attribution apply to all of it.

The three woff2 files under src/attestql/report/static/fonts/ are Latin subsets of IBM Plex
Sans and IBM Plex Mono, Copyright 2017 IBM Corp. with Reserved Font Name "Plex", licensed
under the SIL Open Font License, Version 1.1. That licence is not the Apache License: its
text is beside the fonts as src/attestql/report/static/fonts/OFL.txt, and
src/attestql/report/static/fonts/provenance.txt names the release each file came from and
its sha256.

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.
