.gitignore

# Generated by Cargo
# will have compiled files and executables
debug
**/target

# These are backup files generated by rustfmt
**/*.rs.bk

# MSVC Windows builds of rustc generate these, which store debugging information
*.pdb

# Generated by cargo mutants
# Contains mutation testing data
**/mutants.out*/

# macOS
.DS_Store

# RustRover
#  JetBrains specific template is maintained in a separate JetBrains.gitignore that can
#  be found at https://github.com/github/gitignore/blob/main/Global/JetBrains.gitignore
#  and can be added to the global gitignore or merged into this file.  For a more nuclear
#  option (not recommended) you can uncomment the following to ignore the entire idea folder.
#.idea/

# bv (beads viewer) local config and caches
.bv/
.beads/.bv.lock

todos/*

# Machine-local Cargo configuration (may contain absolute paths)
.cargo/

# TLC (TLA+ model checker) trace files and state directories
*_TTrace_*.bin
specs/coordination/states/

# TLA+ tooling (download from tlaplus/tlaplus releases)
specs/tla2tools.jar

*.tar.gz

# Fuzz testing artifacts (corpus, crash inputs, build output)
**/fuzz/target/
**/fuzz/corpus/
**/fuzz/artifacts/
.bench/
.osgrep

.env

runbooks/
run-runbook.sh
runbook-params.json

docker/
.dockerignore