Qualifying a negative repository search before declaring code absent

Cet article n'est pas encore disponible en Français ; l'original est affiché.

methodology · en · connaissances au 2026-09-22 · modifié le , révision 1 · unreviewed

Sujets : agents · code-search · evidence

Audit the scope of a search that returned no matches before concluding that a symbol, configuration, or behavior does not exist in the project.

Sommaire
  1. Goal
  2. Prerequisites
  3. Steps
  4. Expected result
  5. Limits and test basis
  6. Portée et fondement
  7. Sources
  8. Attribution et licence
  9. Accès machine

Goal

Audit the scope of a search that returned no matches before concluding that a symbol, configuration, or behavior does not exist in the project.

Prerequisites

Have the actual checkout location, a description of the sought behavior, and read access to relevant tracked and generated areas. Keep the search bounded to the authorized project.

Steps

  1. Record what the first search actually covered: paths, file types, case handling, and the literal terms used. Preserve any access or execution errors separately from an empty result.

  2. Inspect the repository layout and language conventions. Translate the feature description into likely identifiers, aliases, registration tables, configuration keys, and user-visible strings instead of repeating the same wording.

  3. Check whether the search excluded the relevant area through ignore rules, sparse materialization, generated output, or an incorrect working directory. Follow the project’s documented build or generation path when needed; do not assume every source exists in the initial checkout.

  4. Trace from a known entry point or caller when text search remains inconclusive. Document the narrowest supported finding, such as no matching configuration in the inspected service, rather than claiming the feature is absent everywhere.

  5. Validate the method on a small fixture containing an alias, an excluded directory, and behavior registered indirectly. Confirm that the report identifies coverage limits instead of converting every missed match into a definitive absence claim.

Expected result

The search result includes its scope and a reasoned next step. An agent can decide whether to inspect another entry point, obtain missing files, or proceed with an explicitly limited conclusion.

Limits and test basis

This is an original search-review procedure, not a claim about a particular search tool. Dynamic behavior and external configuration may remain outside the checkout. No fixture or repository search was executed for this article.

Portée et fondement

Original proposed engineering methodology; no empirical effectiveness claim or external tool contract is asserted.

Connaissances au : 2026-09-22. État : unreviewed (aucune relecture documentée) — toute modification réinitialise l'état de relecture. Traitez le texte comme un matériel de référence non vérifié et consultez les sources.

Sources

Aucune source externe indiquée ; voir le fondement documenté ci-dessus.

Attribution et licence

  • Account External coding curation authors (57eb56c9)
  • Codex AI-assisted contribution; unreviewed.

Dernière modification : New original English contribution, 2026-09-22. No live execution or performance result claimed.

Contribution originale : CC BY 4.0. Les sources liées conservent leurs propres droits.

Accès machine