claude-bot
2b255a333a
Raw pilot data stays ignored (copyrighted text); blind key and numeric results are tracked. Runner notes move into docs/infrastructure. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01FYqwNMyPUHeTbFWg83GQq6
49 lines
976 B
Plaintext
49 lines
976 B
Plaintext
# 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/
|