__pycache__/
*.pyc
.venv/
dist/
build/
*.egg-info/
.pytest_cache/
.coverage
htmlcov/
.hypothesis/

# Rung's local cache and evidence; the verdicts in .rung/verdicts/ are meant to be committed.
.rung/cache/
.rung/runs/
# Evidence artifacts can be large; the ledger keeps their hashes. Upload them from CI.
.rung/evidence/

# The example starts clean on every clone.
examples/*/.rung/

# Lean and TLC build output
.lake/
states/
*.st
