__pycache__/
*.pyc
.agent_seal/
*.egg-info/
dist/
build/
.venv/

# The demo and the shell tests deliberately run broken/real redirects, which drop
# odd zero-byte files into the cwd on Windows. Ignore EVERYTHING at the repo root
# except the handful of files that belong there, so junk can never be swept in by
# `git add -A` again (it has happened three times).
/*
!/.gitignore
!/LICENSE
!/README.md
!/pyproject.toml
!/stepproof/
!/tests/
!/examples/
!/docs/
!/.github/
