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

# Runtime data — regenerated on every run
data/whaxon.pid
data/whaxon.log
data/settings.json
data/scope.json
data/whaxon.env
data/scope_overrides.log
data/*.db
data/*.db-shm
data/*.db-wal

# OS / editor
.DS_Store
*.swp
*~
.idea/
.vscode/
data/whaxon.db
data/whaxon.out
data/whaxon.fg.log
data/scope_overrides.log
pyside6_downloads/
__pycache__/
*.pyc
pyside6_downloads/
__pycache__/
*.pyc

# Python build artifacts
dist/
build/
*.egg-info/

# CVE cache (regenerated from NVD on demand)
data/cve_cache.db

# Full backups — local only, never uploaded
backups/
whaxon-report.*
docs/STATE.md

# Proof stores are regenerable; reports are the artifact
data/proof-*/*.db
data/proof-*/*.db-shm
data/proof-*/*.db-wal
