# Claude Code session metadata and per-agent worktrees live here.
# Worktrees show up as embedded gitlinks if accidentally staged — keep them
# out of the index entirely.
.claude/

# Attractor runtime: per-run worktree directories the engine creates
# under .attractor/worktrees/<run-id>/ when running workflows out of
# this repo. Run state itself lives in git refs (refs/heads/attractor/)
# and is invisible to the working tree; only the loose dirs need to be
# kept out of `git status`.
.attractor/

# Node tooling (used only by the workflow-dashboard build helper).
node_modules/

# Python / UV.
.venv/
__pycache__/
*.py[cod]
*.egg-info/
.pytest_cache/
.ruff_cache/
.coverage
.mypy_cache/

# Legacy: Rust build output (pre-pivot). Kept ignored so checking out the
# rust-v0.1 tag doesn't try to track `target/`.
target/

# TLA+ tooling. The tla2tools.jar binary lives in docs/ for local
# model checking; it's a 2 MB binary the user downloads from the
# TLA+ release page (see docs/README.md). Don't commit it.
docs/tla2tools.jar
docs/*.toolbox/
docs/states/
docs/*.tla.tmp.tla
docs/MC.tla
docs/MC.cfg
docs/MC.out