# Build artifacts
target/
.tmp/

# Nix artifacts
result
result-*
.direnv/

# macOS
.DS_Store
.AppleDouble
.LSOverride

# Editor backup files
*.swp
*.swo
*~
*.bak
**/*.rs.bk

# IDE / AI
.vscode/
.idea/
*.iml
CLAUDE.md
.claude/
.cursor/
AGENTS.md
.agents/

# Rust analyzer artifacts
rust-project.json

# Merge artifacts
*.orig

# Local cargo config
.cargo/config.toml.local

# Working
work/
ext/
iris-lean/

# Generated documentation
/docs/book/
/docs/SUMMARY.md

# Webapp build output
rust/web/public/assets/
rust/web/dist/
node_modules/

# Simulator artifacts
artifacts

# Paper build artifacts
/papers/build/
/papers/artifact_manifest.json

# mdbook generated files
/mermaid.min.js
/mermaid-init.js
/theme/

# Lean build artifacts
/lean/.lake/
/lean/artifacts/

# Log files
*.log

subject_reduction/

# Mutation testing artifacts
mutants.out/
mutants.out.old/
