# Build / test scratch directories
vectors-first/
vectors-second/
vectors-tmp/

# Editor / OS
.DS_Store
*.swp
*~

# Local-build artefacts
/genkat
/ct/dudect/combine_ct

# EC theory shells admit-closed at v0.4.0 (admit 0/0 across 13 EC
# files mirroring Pulsar v1.0.7 reference). proofs/ now tracked.

# dudect external dependency clone (fetched on demand; never
# committed).
ct/dudect/dudect/

# Jasmin slh-dsa upstream subtree (libjade-SLH-DSA when it lands;
# fetched on demand).
jasmin/slh-dsa/libjade/
