# SPDX-License-Identifier: MPL-2.0
# RSR-compliant .gitignore

# OS & Editor
.DS_Store
Thumbs.db
*.swp
*.swo
*~
.idea/
.vscode/
.direnv/

# Agent / local session artifacts (Claude Code worktrees, scratch) — never commit
.claude/

# Build
target/
_build/
/dist/
/out/

# Dependencies
node_modules/
/vendor/
/deps/
/.elixir_ls/

# Rust
# Cargo.lock  # Keep for binaries

# Elixir
/cover/
/doc/
*.ez
erl_crash.dump

# Julia
*.jl.cov
*.jl.mem
/Manifest.toml

# ReScript
/lib/bs/
/.bsb.lock

# Ada/SPARK
*.ali
/obj/
/bin/

# Haskell
/.stack-work/
/dist-newstyle/

# Chapel
*.chpl.tmp.*

# Secrets
.env
.env.*
*.pem
*.key
secrets/

# Test/Coverage
/coverage/
htmlcov/

# Logs
*.log
/logs/

# Maintenance local artifacts
.maintenance-perms-state.tsv
docs/reports/maintenance/*.json

# Machine-readable locks
.machine_readable/.locks/

# Temp
/tmp/
*.tmp
*.bak

# Crash recovery artifacts
ai-cli-crash-capture/

# KDE metadata
.directory

# Sync artifacts
sync_report*.txt

# Hypatia scan cache (local-only)
.hypatia/
.zig-cache/
target/
node_modules/
_build/
deps/
.elixir_ls/
.cache/
build/
dist/

# /build/ is a tracked config directory (build orchestration: contractile.just,
# guix.scm, just/*.just, etc.) introduced in chore/root-cleanup. Whitelist
# root-level /build/ so its contents are tracked. The blanket `build/` rule
# above still ignores any nested `build/` directories (e.g. Rust crate
# target/build/) — only the root-level path is exempt.
!/build/
!/build/**

# ...but never track Idris2 typecheck output. `idris2 --typecheck abi.ipkg`
# writes compiled .ttc/.ttm under build/ttc/; these are generated artifacts.
/build/ttc/

# Arrival-pack build artifact (regenerated from a2ml)
.machine_readable/arrival-pack/claude-md-data.json

# Coaptation atomiser artifacts (regenerated from contractiles + descriptiles);
# the receipt itself (receipts/latest.a2ml) IS committed as the drift baseline.
.machine_readable/coaptation/clauses.json
.machine_readable/coaptation/facts.json

# Coaptation Idris2 core typecheck artifacts
.machine_readable/coaptation/core/build/

# Coaptation re-anchor basis (occasional, generated on --reanchor when red; not a baseline)
.machine_readable/coaptation/receipts/reanchor-basis.a2ml

# Generated by `just cookbook` (has timestamp; non-deterministic)
docs/just-cookbook.adoc

# Generated man pages (`just man`)
docs/man/*.1
# Coq compiled proof artifacts
verification/proofs/coq/*.vo
verification/proofs/coq/*.vok
verification/proofs/coq/*.vos
verification/proofs/coq/*.glob
verification/proofs/coq/.*.aux
# Agda compiled proof artifacts
verification/proofs/agda/*.agdai
