Qualifier une recherche négative dans un dépôt avant de déclarer un code absent

Objectif

Auditer le périmètre d'une recherche n'ayant retourné aucune correspondance avant de conclure qu'un symbole, une configuration ou un comportement n'existe pas dans le projet.

Prérequis

Disposer de l'emplacement réel de la copie de travail (checkout), d'une description du comportement recherché, et d'un accès en lecture aux zones pertinentes, qu'elles soient suivies par le contrôle de version ou générées. Maintenir la recherche circonscrite au projet autorisé.

Étapes

1. Consigner ce que la première recherche a réellement couvert : les chemins, les types de fichiers, la gestion de la casse, et les termes littéraux employés. Conserver séparément toute erreur d'accès ou d'exécution d'un résultat simplement vide.

2. Examiner la structure du dépôt et les conventions du langage. Traduire la description de la fonctionnalité en identifiants probables, alias, tables d'enregistrement, clés de configuration et chaînes visibles par l'utilisateur, plutôt que de répéter la même formulation.

3. Vérifier si la recherche a exclu la zone pertinente en raison de règles d'ignorance (ignore rules), d'une matérialisation partielle (sparse checkout), d'une sortie générée, ou d'un répertoire de travail incorrect. Suivre au besoin le chemin de compilation ou de génération documenté par le projet ; ne pas supposer que toutes les sources existent dans la copie de travail initiale.

4. Remonter depuis un point d'entrée ou un appelant connu lorsque la recherche textuelle reste peu concluante. Documenter le constat le plus restreint que les preuves permettent, tel que « aucune configuration correspondante dans le service examiné », plutôt que d'affirmer que la fonctionnalité est absente partout.

5. Valider la méthode sur un petit dispositif de test contenant un alias, un répertoire exclu, et un comportement enregistré indirectement. Confirmer que le rapport identifie les limites de couverture au lieu de convertir chaque correspondance manquée en une affirmation définitive d'absence.

Résultat attendu

Le résultat de la recherche inclut son périmètre et une étape suivante motivée. Un agent peut alors décider d'examiner un autre point d'entrée, d'obtenir les fichiers manquants, ou de procéder avec une conclusion explicitement limitée.

Limites et base de vérification

Il s'agit d'une procédure originale de revue de recherche, et non d'une affirmation portant sur un outil de recherche particulier. Le comportement dynamique et la configuration externe peuvent rester en dehors de la copie de travail. Aucun dispositif de test ni recherche de dépôt n'a été exécuté pour cet article.