docs(inventaire): le sixième manque est nommé deux fois, donc prioritaire

Un compteur qui SUIVE la commande de la charge qu'il mesure a été nommé par deux
chemins indépendants en deux jours : par les traces de divergence (quatorze
épisodes qui mesurent une consigne variable contre un compteur constant), et par
la pose d'une obligation éco (ce qui borne la fenêtre n'est pas la cible, c'est la
constance du compteur).

Deux lots différents, deux symptômes sans rapport apparent, une seule cause. Le
manque n° 4 avait été nommé deux fois de la même manière, et c'est ce qui lui avait
donné sa priorité — même règle appliquée ici.

Quand un manque se fait nommer deux fois sans qu'on l'ait cherché, il ne s'agit
plus d'un confort de test : il décide de ce que plusieurs lots pourront prouver.

docs/INVENTAIRE_MOCK.md

@@ -168,3 +168,16 @@ Le critère de tri est écrit avant les données : `docs/DESIGN_COMMANDE_PERDUE.
 charge qu'il mesure. Aucune classe ne le fait aujourd'hui — les compteurs sont des sources
 indépendantes qu'on pilote à la main. Tant que c'est le cas, aucun test ne peut exercer une charge
 qui obéit, donc aucun ne peut distinguer l'obéissance de la désobéissance.
+
+> **Nommé DEUX FOIS par deux chemins indépendants, le 2026-09-05 et le 2026-09-06** — et c'est ce
+> qui lui donne sa priorité, comme au manque n° 4 avant lui.
+>
+> - Par les **traces de divergence** : quatorze épisodes qui mesurent l'écart entre une consigne
+>   variable et un compteur constant, et non une désobéissance.
+> - Par la **pose d'une obligation éco** : sur un banc dont le compteur ne suit pas la commande,
+>   on ne peut pas avoir à la fois une cible modeste et un chemin d'achat longuement exercé. Ce
+>   qui borne n'est pas la cible, c'est la constance du compteur.
+>
+> Deux lots différents, deux symptômes sans rapport apparent, une seule cause. Quand un manque se
+> fait nommer deux fois sans qu'on l'ait cherché, il ne s'agit plus d'un confort de test : il
+> décide de ce que plusieurs lots pourront prouver.