# Generated by Cargo
/target/
Cargo.lock

# IDE
.idea/
.vscode/
*.swp
*.swo
*~

# OS
.DS_Store
Thumbs.db

# Coverage
/coverage/
*.profraw
*.profdata
tarpaulin-report.html

# Claude Code
.claude/

# Bug hunt artifacts (local-only working documents)
BUG_HUNT_*.md
QUALITY.md

# TLA+ model checking artifacts
states/
specs/**/states/
specs/**/*.dump
specs/**/*_TTrace*
specs/tla2tools.jar
