Skip to content

feat(fuzzy): boost shared-prefix candidates in ranking - #67

Closed
fohara wants to merge 1 commit into
mainfrom
test/fuzzy-prefix-boost
Closed

feat(fuzzy): boost shared-prefix candidates in ranking#67
fohara wants to merge 1 commit into
mainfrom
test/fuzzy-prefix-boost

Conversation

@fohara

@fohara fohara commented Aug 27, 2026

Copy link
Copy Markdown
Contributor

Ranking tweak: candidates sharing the query's leading characters get a small score boost (typos cluster at the end of task IDs, so a shared prefix is a stronger signal than raw edit distance alone).

Note: this PR doubles as the first live validation of the new mutation gate (#66) on a source change — the check should surface surviving mutants for the unasserted boost condition. Depending on the verdict this either gets tests added or gets closed as a dogfood probe.

@github-advanced-security

Copy link
Copy Markdown

You are seeing this message because GitHub Code Scanning has recently been set up for this repository, or this pull request contains the workflow file for the Code Scanning tool.

What Enabling Code Scanning Means:

  • The 'Security' tab will display more code scanning analysis results (e.g., for the default branch).
  • Depending on your configuration and choice of analysis tool, future pull requests will be annotated with code scanning analysis results.
  • You will be able to see the analysis results for the pull request's branch on this overview once the scans have completed and the checks have passed.

For more information about GitHub Code Scanning, check out the documentation.

@fohara

fohara commented Aug 27, 2026

Copy link
Copy Markdown
Contributor Author

The mutation gate's verdict on this change: 0.0% diff score — both mutants in the boost condition survived (run, inline annotations at fuzzy.rs:123). Nothing pins !prefix.is_empty() or the &&, i.e. the boost is entirely untested. Withdrawing rather than landing untested ranking behavior — exactly the outcome the report-only gate exists to surface. (This PR was also the gate's first live validation on a source change.)

@fohara fohara closed this Aug 27, 2026
@fohara
fohara deleted the test/fuzzy-prefix-boost branch August 27, 2026 13:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants