# Build artifacts
*.o
*.a
*.elf
*.bin
*.hex
*.map
*.lst
*.dump
build/
out/

# Local coordination / internal docs
.agents/
/CLAUDE.md
/CODEX_HANDOFF.md
/MASTER_PLAN.md
/docs/
/references/

# Sub-directory READMEs are local-only orientation; the root README is the
# only one published. Tooling does not consume any of these.
src/README.md
tests/README.md
tools/README.md
proofs/README.md
toolchain/README.md

# Verification outputs (regenerated, not committed)
proofs/output/
proofs/cache/
proofs/**/*.smt2
proofs/**/*.cnf

# Toolchain caches
.cache/
.ccache/

# Flash logs
*.flashlog

# Editors
.vscode/
.idea/
*.swp
*.swo
*~
.DS_Store

# Local-only overrides
.env.local
*.local

# Python (test harness)
__pycache__/
*.pyc
.pytest_cache/
.venv/
venv/

# Sail / formal-tool intermediate files
*.smt
*.cvc
.sail_cache/

# Verifier toolchain (per ADR-0009): symlinks into ~/opt and the project venv.
# Re-created by toolchain/local/install.sh (which IS committed).
toolchain/local/bin/
toolchain/venv/

# Vendored upstream references (cloned, not committed; see toolchain/README.md
# for the install commands and pinned commits in toolchain/versions.lock).
references/sail-riscv/
references/fiat-crypto/
