Le test des catégories-poubelle
Ce que Judge apporte
Une opération à une question. Devant un désaccord, on trouve toujours des explications déjà données
— « c'est politique », « c'est générationnel », « c'est une question de sensibilité ». Le test
consiste à demander de chacune : a-t-elle obligé quiconque à examiner son propre cadre ? Si non,
c'est une junk category au sens que [LIP-1992-frame]§5 reprend de Donald Schön : une catégorie
qui sert à expliquer ce qu'on comprend mal sans avoir à interroger la validité de sa propre
approche.
Le point qui fait la valeur du test est une inversion : ces explications ne sont pas écartées parce qu'elles seraient fausses. Elles sont écartées parce que dispenser d'examiner sa propre position est leur fonction, non leur défaut. C'est ce qui rend le critère utilisable sans arbitrer le fond : on ne juge pas le contenu de l'explication, on mesure son effet sur celui qui l'emploie.
Le test s'articule à [LIP-1992-frame]§9 — aucune donnée ne réfute un cadre auquel on tient assez.
Une catégorie-poubelle est exactement le dispositif qui rend cette immunité confortable : elle donne
une raison au désaccord, donc elle dispense d'en chercher une dans son propre cadre.
Un critère de refus, et c'est ce que le corpus produit de plus solide.
synthese/20-transversale.md l'établit dans sa section « Ce qui est utilisable tel quel » : les
critères de refus tiennent mieux que les propositions positives parce qu'ils sont testables. On
peut vérifier qu'un critère de refus a mordu — il a écarté quelque chose, ou il n'a rien écarté — et
cette vérification ne demande ni adhésion, ni instrument, ni formation.
Le test est réflexif, et cette entrée s'y soumet. Il s'applique au dépôt qui l'emploie, donc à
cette grille. Une entrée de transposition qui expliquerait un échec de portage par « le corpus est
trop spéculatif » ou « ce n'est pas notre culture d'ingénierie » aurait produit une catégorie-poubelle
de son côté : une explication qui n'oblige personne ici à examiner ce que notre cadre rend
invisible. La passe adversariale de 08-09 est l'application prévue de ce retournement, et
tools/desaccord-configure.md l'annonçait déjà comme telle.
Destination TURFu
Couche L1, produit EPIS. Le test n'est pas un contenu, c'est une contrainte de saisie : il vit là où les explications d'un désaccord sont enregistrées.
destination.ce_qu_il_faudrait_faire nomme trois objets : un champ à trois valeurs sur le nœud
d'explication, une liste ecartees[] qui conserve ce qui est écarté avec son motif, et un contrôle
qui refuse l'export tant que le champ est vide. La troisième valeur, non instruit, est celle qui
fait le travail : sans elle, un champ binaire pousse à trancher pour se débarrasser du formulaire, et
un « non » de commodité est indiscernable d'un « non » mesuré. C'est la leçon que ce dépôt applique
déjà à ses propres contrôles — un contrôle bloquant sans issue légitime se contourne.
Ce que l'écart ne doit jamais être. Une suppression. Une explication écartée reste lisible avec
son motif d'écart, faute de quoi on ne peut pas contester l'écart lui-même. Une grille dont on ne
voit que la partie retenue est une grille qu'on ne peut pas contester
(transposition/CANDIDATS.md, ouverture).
La dette juridique. Cette entrée est marquée inspirant depuis le 2026-09-02 — elle a
échoué au test de retrait de 08-08 — et vise L1 ; la clause NC de
docs/LICENCE.md conditionnerait une exploitation en L2, et ce déplacement devrait être instruit
plutôt qu'hérité.
La réserve de périmètre. Aucune mise en œuvre n'est rapportée sur les 95 pivots
(synthese/20-transversale.md) : le test est jugé applicable par construction, pas par expérience.
Test de retrait
Appliqué par 08-08 le 2026-09-02, en passe séparée, l'entrée lue seule, sans sa fiche
d'outil ni sa note de lecture. Verdict : tient_sans_judge — la recommandation tient sans le corpus.
Version privée — la recommandation réécrite sans aucune citation ni aucune référence au corpus :
Ajouter, sur tout nœud qui enregistre une explication d'un désaccord, un champ obligatoire
a_oblige_a_examiner_son_cadreà trois valeurs — oui, non, non instruit — accompagné d'une pièce datée quand la valeur est oui. Les explications marquées non basculent dans une listeecartees[]visible, avec leur motif d'écart écrit, jamais supprimées. Ajouter la même contrainte au dépôt lui-même : un contrôle qui liste les explications non instruites et refuse un export tant qu'aucune valeur n'est renseignée.
Le verdict tient à un fait que l'entrée écrit elle-même. Le critère des catégories-poubelle y est donné comme repris de Donald Schön, cité et crédité. L'inversion qui fait la valeur du test — ces explications ne sont pas écartées parce qu'elles seraient fausses, mais parce que dispenser d'examiner sa propre position est leur fonction et non leur défaut — appartient à cette lecture. Retirer le corpus étudié ne retire donc rien : ni l'énoncé, ni son fondement, ni sa littérature. La version privée ci-dessus est intégralement rédigeable en n'ayant lu que Schön.
Ce n'est pas un verdict de banalité, et il faut le distinguer. Le critère n'est pas plat : il est simplement emprunté. Le test de retrait ne mesure pas la valeur d'une recommandation, il mesure sa dépendance à ce corpus-ci, et une recommandation qui tient sur un tiers n'établit pas que la lecture de ce corpus était nécessaire. La distinction est écrite dans RETRAIT.md, section « Ce que ce taux ne mesure pas ».
L'entrée reste utile et sa réflexivité reste vraie. Le test s'applique au dépôt qui l'emploie, et cette passe s'y est soumise : expliquer un échec de portage par « le corpus est trop spéculatif » serait produire une catégorie-poubelle de notre côté. C'est pourquoi chaque verdict de généricité de cette passe porte un motif qui nomme ce qui tient, et non une appréciation sur le corpus. Redescente en inspirant.
Contradiction
Passe adversariale du 2026-09-02, appel pg-20260902T121137Z-test-des-categories-poubelle,
Peter G (gpt-5). Statut : resolue.
Retenu, et corrigé — l’asymétrie de preuve. « Vous exigez une “pièce datée” pour “oui”, mais rien
d’équivalent pour “non”. […] Vous créditez “non instruit” comme clé, mais vous le couplez à un
contrôle bloquant qui pousse à le cocher pour passer. » Le défaut est réel : le non était la sortie
gratuite. Correction — la charge devient symétrique. Un non exige son motif écrit — ce que
l’explication permet de ne pas examiner — comme un oui exige sa pièce. non instruit reste la
seule valeur gratuite, et c’est son rôle : dire qu’on n’a pas regardé, sans prétendre qu’on a
conclu. Retenu aussi, du dernier grief : un contrôle bloquant est un remède plus lourd que
l’heuristique qu’il incarne, et une entrée inspirant ne prescrit pas un blocage d’export.
Ces deux corrections sont enregistrées ici, comme conditions d’emploi, et non réécrites dans
destination.ce_qu_il_faudrait_faire : ce champ a été soumis tel quel au test de retrait par un
plan tiers, et le réécrire après coup rendrait ce verdict inapplicable au texte publié.
Rejeté, avec son motif. « Vous reconnaissez vous-même que l’énoncé et son fondement tiennent
intégralement sans le corpus. » C’est le verdict rendu par 08-08, avant Peter G, qui a coûté à
cette entrée son étiquette importable. L’objection attaque une prétention déjà retirée.
Rejeté, avec son motif. « “A obligé quiconque à examiner son propre cadre” n’est ni observable ni définissable. » Le critère est documentaire, non psychologique : la pièce est une trace d’examen, pas une preuve d’état mental. Peter G réfute une lecture introspective que l’entrée n’adopte pas.
Changelog
- v1, 2026-09-02, plan
08-04, étiquetteimportable— rédaction initiale. - v2, 2026-09-02, plan
08-08, étiquetteinspirant— échec au test de retrait de 08-08 : le critère est explicitement repris d'un tiers nommé dans l'entrée et lui survit intégralement ; retirer ce corpus n'enlève au dispositif ni son énoncé ni son fondement - Scellée en version 2 le 2026-09-02 par le plan
08-09: la passe adversariale a eu lieu,contradictionest instruite, et le champversiondu frontmatter coïncide désormais avec la ligne de changelog que08-08avait écrite par anticipation.