Sparse retrieval for smart-contract audit findings: benchmark datasets, corpus, code and research checkpoints. v2 protocol (Sep 2026).