Hacktoberfest 2026 : les issues que les mainteneurs ont marquées pour octobre, ouvertes et accessibles aux débutants. Parcourir les issues Hacktoberfest

[FR] Communicate when a zoekt search limit is hit

Ouverte
#504 1 commentaire 1 réaction 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

Évaluation

Difficulté
4/5
Temps estimé
3-5 jours
Accessibilité débutants
48/100
Type d'issue
Fonctionnalité
Clarté
Plutôt claire
Activité
Calme
Domaine
search

Piste de recherche

Start by tracing where SHARD_MAX_MATCH_COUNT, TOTAL_MAX_MATCH_COUNT, and ZOEKT_MAX_WALL_TIME_MS are enforced, then review related issue #495. Define the user-facing and log signals for each limit, including which limit caused termination, and verify that exhaustive queries clearly indicate incomplete results.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Description

Feature

Problem

We have a set of configurable limits that Zoekt uses to determine when to terminate a search:

SHARD_MAX_MATCH_COUNT // Maximum number of matches: skip all processing an index shard after we found this many non-overlapping matches.
TOTAL_MAX_MATCH_COUNT //  Maximum number of matches: stop looking for more matches once we have this many matches across shards.
ZOEKT_MAX_WALL_TIME_MS // Abort the search after this much time has passed.

Currently, there is no UX or logs to signal when these limits are hit, resulting in inaccurate results and user confusion. This is especially bad for queries that need to be exhaustive, e.g.,

  • "does X exist anywhere?" (this could hit the max wall time)
  • "how many instances of Y exist?" (this could hit both the max wall time and the max match counts)

Proposed Solution

Add some UX to communicate when a search limit has been hit and why.

Related #495

Langage dominant
TypeScript
Étoiles
3.9k
Forks
374
Merge moyen
21 h 18 min
PR mergées (30 j)
39

Guide de contribution

Ouvrir le guide de contribution

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Autres issues de sourcebot-dev/sourcebot

Toutes les issues de sourcebot-dev/sourcebot

Issues similaires

Plus d'issues TypeScript

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.