jpountz commented on PR #13777: URL: https://github.com/apache/lucene/pull/13777#issuecomment-2347079637
> I think that this is entirely the wrong fix Why is it the wrong fix? This looks correct to me: we want to consider docs with equal or greater scores if the doc ID is less than the top-n-th hit so far, but only docs with a greater doc ID otherwise? -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: issues-unsubscr...@lucene.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org --------------------------------------------------------------------- To unsubscribe, e-mail: issues-unsubscr...@lucene.apache.org For additional commands, e-mail: issues-h...@lucene.apache.org
