target/

# Nix build 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
/artifacts/

# Paper build artifacts
/paper/build/
/paper/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/

# QPF experiments
QpfTypes/
qpf4-example/
subject_reduction/
