.gitignore

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

# Google Gemini CLI settings
.gemini
# Openai Codex
.codex

#  Code Coverage report
coverage

# Remove Cargo.lock from gitignore if creating an executable, leave it for libraries
# More information here https://doc.rust-lang.org/cargo/guide/cargo-toml-vs-cargo-lock.html
.cargo/config.toml
.cargo/config

# Bazel config
.bazelrc.remote

# Bazel stuff
/target-bzl/
/target-bzl/*
/target-bzl/*.*

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

# Jetbrains files & folders
.idea
.idea/
.idea/*.*

# Mac stuff
.DS_Store
*/.DS_Store

# tmp files
ctx/next

# Astro site (website/web)
website/cfd/node_modules
website/cfd/dist
website/cfd/.astro
website/cfd/.pagefind
website/cfd/.cache
website/cfd/.env
website/cfd/.env.production

# Astro site (website/web)
website/docs/node_modules
website/docs/dist
website/docs/.astro
website/docs/.pagefind
website/docs/.cache
website/docs/.env
website/docs/.env.production

# Astro site (website/web)
website/web/node_modules
website/web/dist
website/web/.astro
website/web/.pagefind
website/web/.cache
website/web/.env
website/web/.env.production

# LaTeX build artifacts (papers/). PDFs are tracked intentionally.
papers/**/*.aux
papers/**/*.bbl
papers/**/*.blg
papers/**/*.fdb_latexmk
papers/**/*.fls
papers/**/*.lof
papers/**/*.log
papers/**/*.lot
papers/**/*.out
papers/**/*.synctex.gz
papers/**/*.toc
papers/**/*.nav
papers/**/*.snm
papers/**/*.vrb
papers/**/*.idx
papers/**/*.ilg
papers/**/*.ind
papers/**/*.run.xml
papers/**/*.bcf
papers/**/.texpadtmp/

# Lean / lake build artifacts and vendored dependency clones (Mathlib etc.).
# lake-manifest.json IS committed (like Cargo.lock: pins dependency revisions).
/lean/.lake/

# cargo-mutants scratch output; regenerated by scripts/mutants.sh
mutants.out/
mutants.out.old/

# Python bytecode from the reference oracles under openspec/notes/*/reference/
__pycache__/