Ce que Judge apporte
Une opération nommée, et le prix qu'elle demande. Devant des concepts incommensurables portés par
des gens qui se combattent, [LIP-1984-84patcon]§16 refuse à la fois l'arbitrage et le consensus :
l'objectif déclaré est d'internaliser le maximum de désaccord dans le schéma lui-même, comme
garantie de pertinence. L'exercice a produit une série ordonnée de 210 énoncés mutuellement
incompatibles, tenus ensemble — et, dans le même bloc, le diagnostic qui l'accompagne : la phobie du
désaccord et la poursuite compensatoire de l'accord.
Ce que le corpus donne ici n'est donc pas une image mais une opération : plier ensemble des
distinctions dont on sait qu'elles se contredisent, sans les moyenner, et rester capable de dire
ce que le pli a mis hors de vue. Le même document ajoute en [LIP-1984-84patcon]§17 que l'élégance
d'un schéma pourrait être un indicateur de son intégration — un « il se pourrait que » qui est la
marque même de l'essai, et qui ne se transpose pas. La partie transposable est le repli et son
journal ; l'esthétique du résultat ne l'est pas, et synthese/90-laboratoire-falsifiable.md la
range là où elle doit l'être.
La contradiction de Judge, statut conservee, qu'on ne moyennera pas
Vingt-trois ans plus tard, la FAQ du site décrit le dispositif inverse.
[LIP-2007-faqlaet]§24 explique qu'un certain nombre d'articles sont des essais, et que la position
adverse y est prise dans un autre article. L'exigence ne bouge pas — le désaccord doit être
tenu, pas dissous — mais le lieu où il est tenu se déplace : du schéma unique de 1984 au corpus
entier de 2007. synthese/20-transversale.md enregistre la paire
[LIP-1984-84patcon]§16 ↔ [LIP-2007-faqlaet]§24 comme incompatibilité de dispositif, entretenue
sur 23 ans, au statut conservee. Le vocabulaire du dépôt n'admet rien d'autre pour une
incompatibilité interne au corpus de Judge : corpus/EVALUATION.md §3 et bin/eval-report.py lèvent
plutôt que d'agréger un autre statut.
Cette entrée ne tranche pas, et transposition/00-methode.md §10 lui interdit de le faire. Une
position moyenne entre deux positions volontairement incompatibles est une position que Judge n'a
jamais tenue. Ce qui est écrit ici, en revanche, c'est ce que la contradiction coûte à qui veut
importer le repliement — et c'est un coût précis, pas une réserve de style :
- Si l'on replie dans un schéma unique (voie de 1984), le désaccord reste visible au même endroit que la synthèse, mais le schéma grossit sans limite et devient illisible avant d'être complet. C'est ce que le corpus montre : 210 énoncés, et aucune mise en œuvre rapportée.
- Si l'on replie en renvoyant ailleurs (voie de 2007), chaque pièce reste lisible, mais le désaccord n'est plus tenu par le dispositif : il est tenu par la mémoire du lecteur, qui doit savoir que l'autre article existe. C'est exactement le mode de défaillance que le dépôt combat quand il exige un renvoi localisé plutôt qu'une allusion.
Le coût d'importation est donc un choix de lieu, et il doit être déclaré au moment du repli. Un dispositif qui n'aurait pas à le déclarer serait un dispositif qui a tranché sans le dire.
Destination TURFu
Couche L1, EPIS. Le repli est une opération sur un graphe de positions ; il n'a de sens que là où les positions sont des objets manipulables.
Ce qu'il faudrait faire : une opération replier qui refuse d'écrire son nœud tant que le journal
de repli est vide, un dépli qui restitue les positions d'origine intactes — restituer une
reformulation ferait du repli une perte irréversible déguisée en opération réversible — et un
indicateur de coût affiché sur le nœud replié, visible sans clic. Le champ décisif du journal est
« ce que le libellé ne dit plus » : sans lui, le repli est un résumé, et un résumé n'a pas de coût
déclaré.
Le choix de lieu hérité de la contradiction se matérialise par un paramètre du repli, à deux
valeurs seulement — interne, le désaccord reste attaché au nœud replié ; externe, il est renvoyé
vers une pièce distincte, et le nœud porte alors le renvoi. Aucune valeur par défaut ne doit être
fournie : c'est le point où la commodité recréerait l'arbitrage que Judge refuse.
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 : ne_tient_pas_sans_judge — la recommandation ne tient pas sans le corpus.
Version privée — la recommandation réécrite sans aucune citation ni aucune référence au corpus :
Ajouter une opération « replier » qui prend un ensemble de positions incompatibles et produit un nœud unique, en écrivant obligatoirement dans le même geste un journal de repli : quelles positions ont été repliées, laquelle a fourni le libellé du nœud, et ce que le libellé ne dit plus. Rendre l'opération réversible par construction — le dépli restitue les positions d'origine intactes, jamais une reformulation — et refuser l'écriture du nœud replié tant que le journal est vide. Afficher sur le nœud replié un indicateur de coût, visible sans clic, portant le nombre de positions absorbées.
Ce qui tombe est l'objet de l'opération, pas sa mécanique. La réversibilité et le journal sont de bonnes pratiques de modélisation, disponibles partout. Replier sans moyenner des positions qu'on sait contradictoires, et le faire pour internaliser le désaccord plutôt que pour ranger, ne s'écrit pas sans le texte.
La contradiction reste conservee et n'est pas tranchée ici (00-methode.md §10). Le test de retrait la fait apparaître comme une partie de ce qui disparaîtrait — il ne la résout pas, et n'en a pas le droit.
Contradiction
Passe adversariale du 2026-09-02, appel pg-20260902T121048Z-repliement-reversible-de-distinctions,
Peter G (gpt-5). Statut : resolue.
Rejeté, avec son motif — et c’est le rejet le plus argumenté de la passe. « Soit tu perds de l’information et le dépli rend autre chose qu’“intact”, soit tu conserves tout et tu n’as pas replié — tu as seulement ajouté un alias avec un journal. » Les faits sont exacts, la conclusion ne suit pas. Le gain revendiqué n’a jamais été un gain de stockage mais un gain sur la surface de lecture : une quinzaine de positions incompatibles y deviennent un objet unique manipulable, sans que rien ne soit perdu en dessous. « Un alias avec un journal » décrit correctement le mécanisme — et un alias réversible et journalisé est précisément ce qu’il faut pour replier sans moyenner. La déception porte sur un bénéfice que l’entrée ne revendique pas.
Retenu, et corrigé. « L’indicateur de coût “nombre de positions absorbées” est un signal creux: il mesure la granularité choisie, pas la perte effective. » Juste, et l’incitation à sur- ou sous-segmenter pour faire bon score est réelle. Correction : ce nombre est un descripteur de granularité ; le seul indicateur de coût recevable est le champ qui énonce ce que le libellé ne dit plus — bloquant s’il est vide, lisible et contestable s’il est rempli. Un compteur ne remplace pas une phrase.
Rejeté, avec son motif. « “Aucune valeur par défaut” est une posture morale déguisée en design. » C’est une décision de conception ordinaire : elle interdit qu’un repli ait lieu sans que quelqu’un ait tranché où le désaccord est logé. Les blocages qu’elle produit sont l’effet visé.
Changelog
| Version | Date | Plan | Étiquette | Motif |
|---|---|---|---|---|
| 1 | 2026-09-02 | 08-06 |
importable |
rédaction initiale |