target/
.git/
.gitignore
*.md
# Lean 4 proofs
lean4/
# Paper / docs
docs/
# Training data, datasets, artifacts
*.bin
*.jsonl
models/
.fastembed_cache/
# burn training artifacts (checkpoints, experiment logs)
src/ensemble/gen/scanner_artifacts/
src/ensemble/gen/ddos_artifacts/
# Dev / CI files
certs/
.github/
.vscode/
.idea/
.claude/
scripts/
infrastructure/
*.swp
*.swo
*~