Sleeping π LegalKit Retrieval A binary Search with Scalar Rescoring through legal codes lemoneresearch Apr 7