Hacktoberfest 2026: los issues que los mantenedores marcaron para octubre, abiertos y aptos para principiantes. Explorar issues de Hacktoberfest

[FR] Communicate when a zoekt search limit is hit

Abierto
#504 1 comentario 1 reacción 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
4/5
Tiempo estimado
3-5 días
Aptitud para principiantes
48/100
Tipo de issue
Nueva funcionalidad
Claridad
Bastante claro
Estado de actividad
Tranquilo
Área
search

Línea de trabajo

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.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

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

Lenguaje dominante
TypeScript
Estrellas
3.9k
Forks
374
Merge medio
21 h 18 min
PR fusionados (30 d)
39

Guía de contribución

Abrir la guía de contribución

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de sourcebot-dev/sourcebot

Todos los issues de sourcebot-dev/sourcebot

Issues similares

Más issues de TypeScript

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.