# Reference symlinks — for development context only, never committed.
refs/

# Integration test artifacts (agent logs, workdirs from test_agent_capabilities)
tests/.runs/

# Benchmark / prover run output (CLI default --output-dir, plus ad-hoc dirs)
runs/
/test/

# Sphinx docs build
docs/_build/
# Generated from docs/provers.yaml at build time (see docs/_ext/provers_table.py)
docs/provers/_table.md
docs/provers/_meta_*.md

# Python
__pycache__/
*.py[cod]
.venv/
venv/
*.egg-info/
build/
dist/
.mypy_cache/
.pytest_cache/
.ruff_cache/

# Lean build artifacts (e.g. created by an editor opening a fixture project)
.lake/

# Env / secrets
.env

# OS
.DS_Store

# Claude Code transient state
.claude/scheduled_tasks.lock

# Datasets
datasets/

# Prover runs
runs/
