Fix shared TopK early exit with global prefix threshold#1

geoffreyclaude wants to merge 1 commit into

ajegou:arnaud.jegou/topk-early-exit-filter-rejectionajegou/datafusion:arnaud.jegou/topk-early-exit-filter-rejectionfrom

geoffreyclaude:codex/topk-global-prefix-early-exitgeoffreyclaude/datafusion:codex/topk-global-prefix-early-exitCopy head branch name to clipboard