Files
Hanzo AI 844ba8ed64 docs: rename pulsarm → pulsar (decomplect metaphor)
Go package is already named 'pulsar' (per imports in luxfi/consensus
quasar/witness.go). Only stale doc paths in LLM.md and gitignore
patterns carried the legacy 'pulsarm' identifier.

LLM.md: Updated all 'ref/go/pkg/pulsarm/' path references to
        'ref/go/pkg/pulsar/' (matches actual filesystem).

.gitignore: Removed pulsarm-prefixed dudect lib patterns; kept the
            pulsar-prefixed patterns (which match actual artifacts).

Formal academic name "Pulsar-M" remains in NIST MPTC submission
LaTeX (spec/pulsar-m.tex) and proofs/pulsar-m/ for paper-consistency.
2026-05-20 16:13:19 -07:00

56 lines
1.3 KiB
Plaintext

# Build artefacts
bench/results/*.txt
bench/results/*.json
# dudect harness artefacts
ct/dudect/dudect/
ct/dudect/dudect_verify
ct/dudect/dudect_combine
ct/dudect/libpulsar_verify.so
ct/dudect/libpulsar_verify.dylib
ct/dudect/libpulsar_verify.h
ct/dudect/libpulsar_combine.so
ct/dudect/libpulsar_combine.dylib
ct/dudect/libpulsar_combine.h
ct/dudect/libpulsar_verify.so
ct/dudect/libpulsar_verify.dylib
ct/dudect/libpulsar_verify.h
ct/dudect/libpulsar_combine.so
ct/dudect/libpulsar_combine.dylib
ct/dudect/libpulsar_combine.h
ct/dudect/results/*.log
ct/dudect/results/*.stdout
spec/*.pdf
spec/*.aux
spec/*.bbl
spec/*.blg
spec/*.fdb_latexmk
spec/*.fls
spec/*.log
spec/*.out
spec/*.toc
spec/*.synctex.gz
# Editor / OS
.DS_Store
*.swp
*~
# Go workspace
go.work
go.work.sum
# jasmin2ec extraction artifacts (regenerated by scripts/extract-jasmin-ec.sh)
proofs/easycrypt/extraction/build/
# EasyCrypt compiled object files
proofs/easycrypt/*.eco
proofs/easycrypt/lemmas/*.eco
# pq-crystals reference impl (regenerated by test/interoperability/pq_crystals/fetch.sh)
test/interoperability/pq_crystals/dilithium/
test/interoperability/pq_crystals/obj.*/
test/interoperability/pq_crystals/libpqcrystals_*.a
test/interoperability/pq_crystals/libpqcrystals_*.so
test/interoperability/pq_crystals/libpqcrystals_*.dylib