# OS
.DS_Store
Thumbs.db

# Editors
.vscode/
.idea/
*.swp
*.swo

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

# Node
node_modules/
*.log
.npm/
.pnpm-store/
# Built SDK bundle — never committed; built in CI on publish (publish-node.yml).
# (Already covered by dist/ above; kept explicit per the publish-pipeline work.)
# The contract-test runner skips the Node driver when dist/ is absent.
sdk/node/dist/

# Env
.env
.env.local
.env.*.local

# Dev-only issuer key material
services/reference-test-issuer/keys/

# Formal-model build artifacts
.lake/
formal/tla/states/
tla2tools.jar

# Local Claude state
.claude/settings.local.json
