Measure exhaustive ranking and filtered top-k completion - #37
Merged
Merged
Conversation
bweis
force-pushed
the
research/filter-candidate-selection
branch
from
September 19, 2026 22:43
660b138 to
dbea73e
Compare
bweis
changed the base branch from
perf/generic-ranked-plans
to
perf/runtime-ranked-bounds
September 19, 2026 22:43
bweis
added this pull request to stack #33
September 19, 2026 22:44
bweis
force-pushed
the
research/filter-candidate-selection
branch
from
September 19, 2026 22:50
7785cd6 to
274859d
Compare
bweis
marked this pull request as ready for review
September 19, 2026 22:57
bweis
force-pushed
the
research/filter-candidate-selection
branch
from
September 19, 2026 23:03
d42e9dc to
10269ca
Compare
bweis
force-pushed
the
research/filter-candidate-selection
branch
from
September 19, 2026 23:12
298805c to
661d238
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Ranked scans score candidates before residual SQL filters; when a filter rejects the pruned prefix, the scan completes the exhaustive ordering. Expose cumulative
Exhaustive Score CallsandTop-K Completionsin EXPLAIN ANALYZE so benchmarks can distinguish that work from successful pruning. This adds no execution strategy or on-disk change.Adds a regression covering ordinary top-k (zero exhaustive calls), a filter rejecting the initial prefix (1,000 exhaustive calls and one completion), and unprunable phrase scoring (1,000 calls without completion). Includes a scoped filter-before-scoring design with HOT/MVCC/security constraints and paired benchmark gates.
Validation: native rustfmt check, git diff --check, and 113 Python harness tests passed after rebasing onto PR #36 at 076a05f. PostgreSQL integration test awaits CI; no local Rust builds or timings ran while the paired benchmark uses the machine.
Stack: PR #31 → #32 → #36 → #37. This PR is based on the runtime-bound work in #36; its diff contains only the design and counters/tests.