# Source books and anything derived from their full text: copyrighted material,
# never committed. Only code and the short Lean datasets belong in git.
*.pdf
*.epub
*.djvu
books/
textbook/*.txt
*_raw.txt

# Local state
.env
data/
database/
results/
out/
*.sqlite
*.sqlite-wal
*.sqlite-shm

# Lean build output
lean/.lake/
lean/lake-packages/
lean/build/

# Python
__pycache__/
*.py[cod]
.venv/
venv/
*.egg-info/
.pytest_cache/
.ruff_cache/
.coverage
htmlcov/

# Editors and OS
.DS_Store
.idea/
.vscode/

# Local experiment data: passages from copyrighted books and per-run outputs.
# Each experiment keeps raw data in experiments/<ID>/data/ (ignored) and small,
# text-free artifacts (keys, verdict-only labels, summaries) in labels/ and results/ (tracked).
runs/
.leanbench-cache/
# (data/ above already covers experiments/*/data/; results/ above is ignored for the
# pipeline's own output, but experiment summaries are numbers only and are tracked.)
!experiments/*/results/