# Rust build artifacts
/target/
**/*.rs.bk

# Editor files
*.swp
*.swo
*~
.idea/
.vscode/
*.iml

# OS files
.DS_Store
Thumbs.db

# Nix
/result
/result-*
.direnv/

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

# Fuzzing
fuzz/corpus/
fuzz/artifacts/

# TLA+ tools (downloaded)
tools/
*.toolbox/
*.out
states/
traces/

# Test fixtures (downloaded)
tests/compatibility-full/
tests/compatibility-results/

# Benchmark results
target/criterion/

# Binary cache files (rustledger)
*.beancount.cache

# Local development
.env
.env.local
*.local
.claude/

# Logs
*.log

# Documentation build
book/
.mcp.*
.bench-tools/
tests/compatibility/synthetic/
.playwright*
.opencode/
.venv-plugins/
packaging/arch/rustledger/.SRCINFO
