Un audit qui ne peut pas trancher montre sans juger, et s'abstient plutôt que d'inventer¶

StatutEn vigueur, 2026-08-04

ArticleA13 · Un refus dit ce qui manque, et ne conseille que le vérifié

Chantier#3168, lot 4 du chantier #3151

Vérification certaineAuditDepartementDuPointTest#legitime_et_suspecte_indiscernables

Contexte¶

Depuis ADR 2791, le département d'un point se lit de deux façons : par le numéro de son carré (ses deux premiers chiffres, ADR 2351) et par le préfixe du code INSEE de sa commune. Cette ADR-là annonçait le diagnostic et le différait sans rien en décider.

Le lot 4 l'a écrit, et trois questions se sont posées, dont les réponses ne se devinent pas.

Décision 1 : montrer l'écart sans le trier¶

Une divergence est légitime en bord de carré : le carroyage national ignore les limites administratives, et un carré de 2 km posé sur une frontière en chevauche deux (R26). Elle peut aussi trahir un GPS relevé au mauvais endroit ou un numéro de carré mal recopié.

L'audit ne dispose d'aucun moyen de les départager : il n'a ni la géométrie du carré, ni la distance au bord. Il émet donc le même constat dans les deux cas, et le dit dans son détail (« l'écart est peut-être normal »). Un test sème délibérément les deux situations côte à côte - un point du 640380 tombé dans les Landes, un carré du Bas-Rhin dont le point serait à Marseille - et vérifie qu'elles sont indiscernables en sortie.

C'est un choix, pas un renoncement. Un tri approximatif serait pire que pas de tri : il donnerait à l'utilisateur l'impression que la machine a déjà écarté les faux positifs, et le mènerait à ignorer les constats restants aussi vite que s'ils étaient tous du bruit. Ici, c'est l'utilisateur qui connaît son terrain ; l'application lui apporte le rapprochement qu'il ne pouvait pas faire, pas un verdict.

Décision 2 : la sévérité informative est un contrat de sortie, pas une nuance d'affichage¶

audit-coherence rend 1 dès qu'un constat est en erreur. Le chevauchement de département étant le cas normal d'un carré de bord, un AVERTISSEMENT - a fortiori une ERREUR - ferait échouer la commande sur une base parfaitement saine, et casserait tout script qui l'appelle.

Severite.INFO n'est donc pas ici un réglage de couleur : c'est ce qui garde la commande utilisable. Deux tests le tiennent, un par surface (aDesErreurs() reste false, et le code de sortie reste 0).

Décision 3 : le constat vit sur le point, donc dans l'audit global seulement¶

auditerPassage répond à « cette nuit est-elle bien rangée ? » après réparation (#1347). Un département divergent est une propriété du point, que rejouer un import ne change pas : l'y émettre le répéterait à chaque nuit du même point sans jamais rien apprendre de neuf.

Il sort donc de auditerTout() - la porte que prennent l'écran Diagnostic et la commande - aux côtés du balayage des dossiers orphelins, l'autre contrôle de portée non-passage.

Décision 4 : deux écritures qu'on ne sait pas départager ne divergent pas¶

Les deux lectures ne s'écrivent pas dans le même alphabet : un carré corse porte 20 là où l'INSEE écrit 2A/2B. Comparer les chaînes telles quelles ferait de chaque point corse une divergence.

RegionsFrancaises.memeDepartement rend donc true dans ce cas, et c'est une abstention, pas une équivalence : 20 ne dit pas laquelle des deux Corses. La méthode n'affirme que les écarts qu'elle sait démontrer.

C'est le même principe que la décision 1, appliqué un cran plus bas : entre se taire et affirmer sans savoir, un outil de diagnostic se tait.

Corrigé le 2026-08-05 : l'outre-mer ne s'écrit pas comme cette ADR le croyait (#3298)

Cette décision affirmait aussi que « l'outre-mer porte 97 contre 971 », et fondait là-dessus une seconde abstention. C'était une supposition sur le numérotage, et elle est fausse.

Le recensement du catalogue de la plateforme - 20 572 sites, page par page - donne pour préfixes de carré hors 01-95 : 00 (307 carrés), 98 (313), 99 (127), 96 (1). Aucun 97. Les carrés d'outre-mer sont numérotés 00xxxx : 000294 est à Saint-Joseph, 001293 à Salazie.

L'abstention protégeait donc une écriture qui n'existe pas, pendant que le cas réel produisait une divergence systématiquement fausse : 00 ne sera jamais égal à 974, et aucune vérification de terrain n'aurait pu la faire taire.

Le remède ne touche pas au principe, qui reste juste : il le déplace d'un cran. Un préfixe qui ne désigne pas de département ne porte pas de lecture du tout ([RegionDuCarre#departement] rend vide, via RegionsFrancaises.estUnDepartement), et l'audit se tait comme devant un numéro trop court. Il n'y a plus deux écritures à départager : il n'y en a qu'une.

Ce que l'épisode enseigne dépasse le correctif : les trois autres décisions de cette ADR reposent sur des faits observés dans le code, celle-ci reposait sur un format supposé. C'est la mesure de

3257, faite sur les données réelles, qui l'a mise au jour - pas une relecture.¶

Conséquences¶

La règle « les deux premiers chiffres du numéro sont le département » vit désormais en un seul endroit, RegionDuCarre.departement. Elle s'écrivait en trois exemplaires : celui-là, la fiche site, et CarreGeo - cette dernière sans aucun appelant, trouvée en interrogeant le graphe du dépôt plutôt qu'en relisant le code.
Le prochain contrôle d'audit qui comparera deux dérivations d'une même donnée trouvera le patron écrit : une classe dédiée par confrontation (AuditDepartementDuPoint, comme BalayageDisque et AuditEnLigne), branchée dans auditerTout, et une catégorie de constat qui rejoint les puces de filtre par CategorieConstat.values().
Deux silences sont acquis et documentés : un point sans commune résolue ne produit rien (pas de seconde lecture, et l'absence de résolution est un état normal), un numéro de carré illisible non plus.

Alternatives écartées¶

Trier légitime et suspect par une heuristique de distance (le point est-il près du bord du carré ?). L'emprise réelle d'un carré n'est pas connue du modèle, et une approximation ferait passer un tri douteux pour un tri fait : l'utilisateur cesserait de regarder les constats restants.
Un repère permanent dans la fiche du point, en plus de l'audit. Se justifie si le cas est fréquent ; personne ne sait encore s'il l'est, et l'audit est précisément ce qui le dira. La question se repose avec une mesure plutôt qu'une intuition.
Un AVERTISSEMENT pour donner du poids au constat. Aurait fait rendre 1 à audit-coherence sur le cas normal ; le poids se serait payé en scripts cassés.
Comparer les deux écritures à l'égalité stricte, en normalisant seulement la Corse. L'outre-mer aurait produit une divergence à chaque point, pour une différence de longueur d'écriture.