/target
Cargo.lock
proptest-regressions/
__pycache__/
/.claude/
probes/

.env
.env.*

# Lean lake build artifacts (comparator proof project)
proofs/comparator/.lake/
