Sparse retrieval for smart contract security. Sept 2026: see the Known issue on each card; corrected release with the October preprint.