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

# Go build artifacts & binaries
server_bin
/app/server_bin
bin/
**/bin/
*.exe
*.exe~
*.dll
*.so
*.dylib
*.test
*.out
*.prof

# Node / Web / Package managers (if any tooling is added)
node_modules/
dist/
.npm
npm-debug.log*
yarn-debug.log*
yarn-error.log*
.pnpm-debug.log*

# IDEs and Text Editors
.vscode/
!.vscode/settings.json
!.vscode/tasks.json
!.vscode/launch.json
!.vscode/extensions.json
.idea/
*.iml
*.sublime-workspace
*.sublime-project
*.swp
*.swo
*~

# Operating System Files
.DS_Store
.DS_Store?
._*
.Spotlight-V100
.Trashes
ehthumbs.db
Thumbs.db

# Environment variables & local overrides
.env
.env.local
.env.*.local
docker-compose.override.yml

# TLA+ Model Checker (TLC) generated artifacts
spec/states/
MC.*
*.tla.dump
