.gitignore

/target/vendor-corpus/
target/
# os-lib transiently drops this while setting up a filesystem watch; auto-deleted once the watch
# is live, but can survive if the watching process is killed mid-setup.
.os-lib-watch-sentinel-*
# Local MCP client registration (machine-specific abs paths). Commit .mcp.json.example instead.
.mcp.json
# Generated from git tags by scripts/gen-release-notes.sh (CI regenerates before the site build).
docs/project/release-notes.md
# Docusaurus microsite: docs/ is generated by `sbt docs/run`; node_modules/build are local.
website/docs/
website/node_modules/
website/build/
website/.docusaurus/
!.mvn/wrapper/maven-wrapper.jar
!**/src/main/**/target/
!**/src/test/**/target/

### IntelliJ IDEA ###
.idea/
*.iws
*.iml
*.ipr
out/
!**/src/main/**/out/
!**/src/test/**/out/

### Eclipse ###
.apt_generated
.classpath
.factorypath
.project
.settings
.springBeans
.sts4-cache
bin/
!**/src/main/**/bin/
!**/src/test/**/bin/

### NetBeans ###
/nbproject/private/
/nbbuild/
/dist/
/nbdist/
/.nb-gradle/
build/
!**/src/main/**/build/
!**/src/test/**/build/

### VS Code ###
.vscode/

### Mac OS ###
.DS_Store

### Scala ###
.bsp/

*.log
/.claude/worktrees/chore+scala-steward/
/.codex/config.toml

# Local agent/worktree metadata.
/.agents/mcp_config.json
/worktrees/
/.claude/worktrees/
/.cline/
/.continue/config.yaml
/.gemini/
/.roo/
/.worktrees/
/worktrees/
/chat-tool-usage.md
# Stainless: the VC cache written by `stainlessVerify`, and the local maven repo a manual
# install-stainless-lib step may drop here. Neither belongs in git (the library jar we DO need is
# checked in at analysis/lib/stainless-library.jar).
/.stainless-cache/
/stainless/
/.claire/
/scripts/.scala-build/
# Local launcher copy referenced by the (ignored) .mcp.json; canonical copy is scripts/scalasemantic-mcp.sh.
/scalasemantic-mcp.sh
# scala-cli build cache from running the launcher at repo root.
/.scala-build/
# ScalaSemantic generated classpath metadata is project-local but machine-specific.
/.scala-semantic/
.aider*