Repository navigation

Add `minimum_rank` to name autocomplete - #336

Merged

vangberg merged 2 commits into

mainfrom

rank-aware-name-autocomplete

Sep 8, 2026

Merged

Add `minimum_rank` to name autocomplete#336
vangberg merged 2 commits into
mainfrom
rank-aware-name-autocomplete

Commits on Sep 3, 2026
- Add rank-aware name autocomplete development harness
  vangberg
  committed
  59a7072
Commits on Sep 8, 2026
- Extract rank range lookup into Name
  vangberg
  committed
  61b52b0