Ce que TURFu peut en faire

Ce chapitre clôt la série. Il ne récapitule rien : les huit précédents ont mené chacun un dispositif du corpus jusqu'à son emploi, celui-ci pousse cinq transpositions d'un cran de plus — jusqu'à l'objet qu'un développeur de TURFu pourrait écrire, ce qu'il interdit, et l'objection qu'aucune réponse de ce dépôt n'a levée.

Cet encart ne se déplace pas en annexe : docs/LICENCE.md range son retrait, sa réduction et son déplacement parmi les usages interdits par la clause d'attribution de la licence source. De tous les chapitres de cette série, c'est ici qu'il pèse le plus lourd — tout ce qui suit applique les dispositifs d'un auteur à un projet qu'il ignore et qui n'existait pas quand il écrivait. Les cinq objets décrits plus bas sont de moi.

Le problème, du côté de TURFu

Une transposition rate en aval de là où on la surveille. On la surveille sur la fidélité — ai-je bien lu, bien cité, bien attribué — et elle rate sur le fait que la conclusion, une fois écrite, ne se pose sur rien.

Le dépôt Laetus a produit une grille de transposition. Vingt-huit entrées, chacune avec une couche de l'architecture TURFu et un produit nommé — pas une appréciation, un produit : EPIS, MEMO, TURFurxiv, turfu.org, TURFu Labs — et un paragraphe de prose qui dit ce qu'il faudrait faire, sous une contrainte de longueur minimale destinée à interdire le vague.

C'est une bonne grille et elle ne suffit pas. Un lecteur y apprend qu'un dispositif irait en couche L1, chez tel produit, et qu'il faudrait « doter le schéma d'un bloc » ou « ajouter une opération » — puis il referme le document sans pouvoir se représenter la chose faite. Entre une recommandation qu'on peut se représenter et une qu'on ne peut pas, la différence n'est pas de qualité rédactionnelle : c'est celle qui sépare ce qui sera construit de ce qui sera cité.

Ce qui manque a un nom court. Une transposition est montrée quand on peut dire quatre choses : le champ qu'on ajoute au schéma, la règle qui gouverne son écriture, le contrôle qui refuse quand la règle n'est pas tenue, et ce que l'écran fait voir de différent. Tant que ces quatre choses ne sont pas écrites, la recommandation n'est pas fausse — elle est inexécutable, et son inexécutabilité ne se voit pas, parce qu'elle a l'air d'une conclusion.

Ce chapitre en écrit cinq, prises parmi les sept entrées portant l'étiquette la plus forte, sur quatre produits distincts et deux couches. Quatre d'entre elles portent une réserve que le dépôt ne sait pas lever ; elles sont données avec.

Ce que la grille dit, et ce qu'elle ne montre pas

Trois choses décident de ce qu'on a le droit de faire des cinq objets. Aucune n'est écrite pour un lecteur ; elles vivent dans des documents de méthode.

Les trois étiquettes ne sont pas trois degrés de qualité. importable dit que le dispositif se reprend tel quel ou presque ; inspirant, qu'il oriente une conception sans être repris ; laboratoire, que le matériau est falsifiable et non falsifié — il n'entre dans aucun produit, mais dans un protocole qui dirait ce qu'il faudrait mesurer pour le trancher. Le gros de la grille est inspirant, et ce résultat se lit plutôt qu'il ne se déplore : six décennies d'un auteur qui écrit contre la clôture des grilles produisent plus de manières de regarder que de dispositifs prêts à monter.

Le test de retrait est le dispositif le plus honnête du dépôt, et il faut l'expliquer. On prend la recommandation, on en retire toute citation et toute référence au corpus, on la réécrit intégralement sous cette contrainte — la version obtenue est conservée sous le nom de version privée. Puis une seule question : tient-elle encore debout ? Si oui, elle est générique. Pas fausse : générique. Elle peut être excellente et n'avoir aucun rapport avec ce projet, et l'étiquette la plus forte lui est alors interdite.

Douze entrées sur vingt-huit y ont échoué. La passe qui l'a appliqué n'avait rédigé aucune des entrées, et un contrôle mécanique le vérifie — un rédacteur qui teste sa propre entrée lit dans la version privée ce qui n'y est plus.

Ce que ce test révèle est plus intéressant que son taux, et c'est le point de ce chapitre. Il ne mesure pas la valeur d'une recommandation, il mesure sa dépendance à ce corpus-ci — et, sur les entrées qui survivent, il désigne ce que Judge apporte en propre. La réponse n'est pas celle qu'on attendrait : ce n'est jamais une idée, c'est une clause fine et non déductible. Le principe général — publier les objections, écrire ses hypothèses, journaliser les fusions — se retrouve chez n'importe qui ; ce qui ne se retrouve pas, c'est la précision qui le rend opérant : à l'endroit de l'affirmation visée plutôt qu'en annexe, à côté de la donnée plutôt qu'en préface, sans jamais déclarer complet. Un principe se réinvente ; une clause de placement, non.

Deux entrées bâties sur le même emprunt à un tiers ont reçu des verdicts opposés, ce qui montre que le critère discrimine. L'une perd son étiquette, sa version privée restant rédigeable en n'ayant lu que le tiers ; l'autre la garde, parce que le retrait ne la laisse pas debout mais la retourne en son contraire — chez le tiers, l'appareil emprunté conduit à synthétiser un cadre neuf, c'est-à-dire exactement ce que la recommandation interdit.

Le contrat d'export a deux étages, et personne n'a écrit pourquoi. Le fichier machine-lisible que la phase 9 publie ne porte le détail complet — destination, verdict de retrait, objection, réponse — que pour sept entrées. Les autres n'y figurent qu'avec leur identité, leur étiquette et un drapeau de réserve. Ce n'est ni une amputation ni une hiérarchie de mérite, c'est le refus de deux erreurs symétriques : tout exporter au même détail présenterait comme opératoire ce qui ne l'est pas, sans qu'un consommateur puisse faire la différence ; n'exporter que les sept retirerait vingt-et-une entrées en silence. Le second étage rend l'écart visible sans le rendre exploitable — l'identifiant de chaque entrée est un chemin de fichier, et qui veut l'argument va le lire.

Un dernier interdit gouverne tout ce qui suit : la grille ne moyenne jamais une contradiction de Judge. Quand l'auteur tient deux positions incompatibles, on peut dire qu'il les tient, dire laquelle TURFu retient et pourquoi, dire même que l'incompatibilité est le dispositif — on ne peut pas arbitrer à sa place, une position moyenne entre deux positions volontairement incompatibles étant une position que Judge n'a jamais tenue. La deuxième transposition ci-dessous est bâtie sur une telle contradiction, et l'on verra que cela coûte un choix de conception à déclarer.

Cinq transpositions menées jusqu'à l'objet

L'objection dans le texte, et non en annexe — TURFurxiv

Ce que Judge fait. En 2008, dans un document dont la thèse est attaquée, il reproduit intégralement le message d'un correspondant qui la démolit (7 §148), puis répond sans rien effacer (7 §149). En 2023, il soumet à un modèle un de ses propres tableaux, conclut que ses attributions sont hautement suspectes — et laisse le tableau publié, l'avertissement dans la légende (9 #appl). En 2001, la doctrine publiée de sa base pose qu'aucune fiche n'est jamais déclarée complète (5 §317).

Ce que j'en tire, et Judge n'en a rien dit. Trois crans d'une même série : reproduire l'objection entière plutôt que la résumer, poser l'avertissement contre la donnée plutôt qu'en tête, refuser la clôture. L'effet visé est d'interface et non d'éthique — placer la contestation là où le lecteur ne peut pas ne pas la rencontrer.

L'objet. Le cadrage de turfu.org prévoit des soumissions ouvertes avec relecture alignée, et les appelle explicitement le TURFurxiv en germe.

Le champ. Un bloc objections[] interne au document, et non une table liée : texte intégral de l'objection, auteur nommé, date, ancre vers le passage visé, champ d'attribution qui ne se déduit d'aucun balisage, et champ reponse distinct qui peut rester vide.

La règle. Un reponse vide est un état publiable, pas un brouillon. Et le document ne porte pas de champ complet : on peut geler une version, la dater, la citer — c'est un engagement ferme — mais aucun état du schéma ne signifie « achevé ».

Le contrôle. Le rendu refuse de compiler un objections[] dont une entrée n'a pas d'ancre résolvable dans le corps : une ancre morte renvoie de fait l'objection en annexe.

L'écran. L'objection s'affiche dans le flux du texte, au niveau du paragraphe visé, dépliée par défaut, avec mention explicite quand aucune réponse n'existe. Le format MDX prévu par le cadrage en fait un composant, pas une refonte. Et c'est là que tout se joue : le lecteur arrivé par un partage social, qui ne descendra jamais jusqu'à une section « discussions », rencontre l'objection au moment où il lit ce qu'elle attaque.

La réserve, non levée. Un contradicteur externe a objecté que reproduire intégralement le texte d'un tiers dans le sien pose une question de permission qu'aucune convention interne ne tranche, et ouvre une surface d'attaque par volume qu'aucun champ de statut ne borne. Le grief est retenu sans parade : la règle ne se dépose pas sans une politique de permission et une borne de volume écrites ailleurs.

Le repli réversible des positions incompatibles — EPIS

Ce que Judge fait. En 1984, devant des concepts incommensurables portés par des gens qui se combattent, il 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 (2 §16). L'exercice produit une série ordonnée de deux cent dix énoncés mutuellement incompatibles, tenus ensemble.

Ce que j'en tire. Pas une image : 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 que l'élégance d'un schéma pourrait indiquer son intégration (2 §17) — « il se pourrait que » est la marque de l'essai, et cela ne se transpose pas.

L'objet. EPIS est un protocole, donc un schéma de nœuds et d'arêtes. Voici l'opération.

Le champ. Une opération replier qui prend un ensemble de nœuds-positions et produit un nœud unique, en écrivant dans le même geste un journal de repli : quelles positions ont été repliées, laquelle a fourni le libellé, et — champ obligatoire — ce que le libellé ne dit plus.

La règle. Le repli est réversible par construction : le dépli restitue les positions d'origine intactes, jamais une reformulation. Aucune valeur par défaut — rien ne se replie sans que quelqu'un ait tranché.

Le contrôle. L'écriture du nœud replié est refusée tant que le champ de perte est vide. Que cela produise des blocages est l'effet visé.

L'écran. Le nœud replié porte, visible sans clic, la phrase de perte — pas un compteur.

Ici l'objection a corrigé l'objet, ce qui vaut d'être montré. La version initiale affichait comme indicateur de coût le nombre de positions absorbées. Le contradicteur a répondu que ce nombre mesure la granularité choisie et non la perte effective, et qu'il incite à sur-segmenter pour faire bon score. C'est juste, et corrigé : le nombre reste comme descripteur de granularité, le seul indicateur de coût recevable est la phrase — un compteur ne remplace pas un énoncé. Le même contradicteur a soutenu par ailleurs qu'une opération strictement réversible n'est qu'un alias avec un journal : description exacte du mécanisme, dont il tire une déception qui ne suit pas, le gain revendiqué portant sur la surface de lecture et non sur le stockage.

La contradiction de Judge, qu'on ne moyenne pas. Vingt-trois ans plus tard, la FAQ de son site décrit le dispositif inverse : la position adverse est prise dans un autre article (6 §24). L'exigence ne bouge pas, le lieu où le désaccord est tenu se déplace. Le dépôt enregistre cette paire comme incompatibilité conservée et n'arbitre pas. Ce qu'on peut écrire en revanche, c'est ce qu'elle coûte à qui importe l'opération. Replier dans un schéma unique garde le désaccord au même endroit que la synthèse, mais le schéma grossit sans limite et devient illisible avant d'être complet. Replier en renvoyant ailleurs garde chaque pièce lisible, mais le désaccord n'est plus tenu par le dispositif : il l'est par la mémoire du lecteur. Le choix de lieu se déclare donc au moment du repli — un dispositif qui n'aurait pas à le déclarer aurait tranché sans le dire.

Le compte rendu d'échec du dossier quitté — MEMO

Ce que Judge fait. Un seul bloc. Cadrer un second défi comme plus dramatiquement urgent que le premier permet d'oublier tranquillement le premier — et avec lui les raisons pour lesquelles l'action avait échoué (8 §9). Le même bloc ajoute un corollaire qui rend le mécanisme observable : à quel degré d'urgence le défi suivant devra-t-il être porté pour que le procédé continue de fonctionner ?

Ce que j'en tire. La seconde moitié est la seule qui compte : ce qu'un déplacement d'effort fait perdre n'est pas le dossier quitté, c'est le diagnostic de son échec — la seule chose solide que le dossier avait produite.

L'objet. MEMO est l'application de curation de l'écosystème, celle qui tient des dossiers.

Le champ. Un champ clos_par à trois valeurs — abouti, abandonné, remplacé. Plus un champ degre_d_urgence_annonce, renseigné à l'ouverture de chaque dossier.

La règle. La valeur « remplacé » est impossible sans une pièce jointe de compte rendu d'échec : ce qui a été tenté, ce qui a échoué, ce qui reste non expliqué. L'exigence porte sur l'existence de la pièce, jamais sur sa qualité — un schéma ne sait pas contrôler une qualité, et prétendre le contraire serait le mode d'échec de cette transposition.

Le contrôle. Un dossier fermé en « remplacé » sans pièce apparaît en anomalie, jamais silencieusement.

L'écran. Une vue qui trace le degre_d_urgence_annonce dans le temps sur l'ensemble des dossiers d'une même équipe. C'est l'écran qui porte la découverte : une courbe d'urgences annoncées qui monte est un fait sur l'organisation, pas sur les dossiers.

La réserve, et c'est la meilleure objection reçue sur le plan opératoire. Le verrou est posé sur la seule sortie déclarée. Contraindre l'étiquette « remplacé » pousse le trafic vers les sorties non déclarées — renommage, changement de périmètre, fusion, mise en veille, transfert —, où la perte de diagnostic est invisible. Le verrou ne rend pas la substitution coûteuse : il rend l'aveu coûteux. La parade que le contradicteur nomme lui-même — enrichir la valence des fins de dossier — est une réécriture que la passe adversariale ne fait pas. La réserve reste ouverte.

Les hypothèses non nommées, sur la page de positionnement — turfu.org

Ce que Judge fait. En 1986, il déplie dix hypothèses implicites que porte tout plaidoyer pour « la bonne alternative » (4 #assum) : que le nouveau mode serait meilleur en soi ; qu'il serait également adapté partout ; qu'il est articulable d'un coup ; qu'il s'applique par des actions cohérentes ; que sa cohérence vient d'une hiérarchie ; qu'il est exempt de paradoxe. Chacune est énoncée en termes vérifiables. Le document ferme son raisonnement en 4 §83 : aucun mode n'est approprié seul, et l'appropriété s'approche par des jeux d'outils mutuellement incompatibles — plus grande est l'incompatibilité contenue dans le jeu, meilleure est l'approximation.

Ce que j'en tire. C'est le pendant constructif de la grille de questions difficiles de 1981 (1 §53) : celle-là demande ce qui manque à un texte, celle-ci ce qu'il présuppose sans le dire — un plaidoyer peut être complet et reposer entièrement sur des hypothèses jamais nommées. C'est aussi la grille la plus directement retournable contre TURFu, pour une raison simple : TURFu est un plaidoyer réformateur.

L'objet. Une page publiée, et non un schéma — l'objet n'en est pas moins concret.

Le champ. Une section « ce que nous supposons sans le démontrer » adossée aux dix hypothèses, sur le texte de positionnement de turfu.org. Chacune reçoit trois lignes : ce que TURFu suppose effectivement, ce qui l'établirait, ce qui reste non établi à ce jour.

La règle. La section est obligatoire à chaque révision majeure du positionnement, et versionnée comme le reste. Une case laissée vide est un résultat, pas un oubli.

Le contrôle. Aucune hypothèse ne peut être cochée « établie » sans renvoi vérifiable. La règle est la même que celle du dépôt Laetus, et elle mord de la même manière.

L'écran. Le manifeste de turfu.org est déjà prévu versionné avec changelog visible ; la section s'y range — à condition que le changelog dise ce qui a été abandonné, et pas seulement ajouté.

La réserve, et elle est spectaculaire : la grille s'est disqualifiée sur son propre critère. L'entrée d'origine affirmait que TURFu porte au moins six des dix hypothèses, et écrivait que c'était un fait. Le contradicteur a répondu qu'aucun renvoi vérifiable n'étayait ces imputations, que quatre d'entre elles étaient établies par absence — « rien ne borne », « jamais comparée », « supposé, jamais instruit » —, ce qu'aucune procédure ne peut réfuter, et que l'entrée tombait donc sous sa propre règle. Le grief est retenu ; le décompte a cessé d'être un fait pour devenir une imputation non instruite, marquée comme telle. La réparation exigerait des renvois localisés dans le dépôt TURFu, qui n'est pas le corpus de cette phase. Je n'affirme donc pas que TURFu porte ces hypothèses. Je dis que la liste se pose, et que le résultat de la passe n'est pas écrit.

Le motif écrit en pure relation, et la matrice à cases vides — EPIS

Ce que Judge fait. En 1984 encore, il prend les motifs d'architecture de Christopher Alexander comme gabarit (3 §16) et décrit l'opération pivot : réécrire chaque motif en termes sans contenu, comme pur rapport entre places, l'énoncé obtenu ne parlant plus ni de bâtiments ni de son domaine d'arrivée (3 §17). Il l'instancie ensuite sur quatre domaines, les mêmes pour chaque motif.

Ce que j'en tire, avec ses bornes. L'opération déplace le lieu du travail : comparer deux domaines suppose ordinairement un vocabulaire commun qu'il faut négocier, ici il est fabriqué, et la négociation porte ensuite sur les instanciations, qui se vérifient une à une. Deux bornes, dont l'auteur pose la seconde lui-même : une instanciation réussie établit qu'une relation est exprimable dans le domaine d'arrivée, pas qu'elle y est vraie ; et 3 §18 renvoie à une édition ultérieure les difficultés de vocabulaire d'arrivée — édition jamais venue. Le dispositif est offert complet et exécuté incomplet par celui qui l'offre.

L'objet.

Le champ. Un type de nœud motif dans le schéma EPIS, dont le corps est un énoncé sans contenu, une arête typée instancie qui le relie à un nœud de domaine, et un champ obligatoire non_transporté par instanciation, pour consigner ce que le transport a laissé derrière lui.

La règle. Cardinal égal : les mêmes domaines pour tous les motifs, sans quoi la matrice n'est pas comparable ligne à ligne.

L'écran. Le rendu affiche la matrice motifs × domaines avec ses cases vides visibles, jamais masquées. Une case vide dit l'une de deux choses — le motif ne s'instancie pas dans ce domaine, ou personne n'a su l'écrire — et les deux se disent. C'est le seul écran de ce chapitre dont la valeur tienne entièrement à ce qu'il refuse de cacher.

La réserve, et elle bloque le dépôt de l'objet. Le contradicteur a objecté qu'un type dont le corps est déclaré sans contenu ne peut porter aucun renvoi localisé, et qu'introduire une couche non traçable là où vivent les données de vérité contredit la règle qui fonde ce travail. La parade évidente — exiger un renvoi sur chaque motif — détruirait ce que le type sert à faire : consigner un motif de non-transport là où précisément aucune pièce n'existe. Le conflit n'est pas tranché. C'est l'objet le plus séduisant des cinq, et le seul dont je déconseille l'implémentation en l'état.

Ce qu'il en coûte

Le coût de construction est faible, et c'est trompeur. Aucun des cinq objets ne demande une infrastructure : un champ, une contrainte, un composant de rendu. Le vrai coût est de trois autres ordres.

Le coût de remplissage. Chacun fait porter à un humain une phrase qu'il n'a pas envie d'écrire : ce que le libellé ne dit plus, ce qui a échoué dans le dossier quitté, ce qui reste non établi, ce que le transport n'a pas transporté. C'est le coût déjà identifié au chapitre témoin, et il produit le même mode d'échec — la phrase écrite mollement, qui satisfait le contrôle sans porter aucune information. Aucun schéma n'attrape cela.

Le coût de blocage. Trois des cinq contrôles refusent une écriture, et un dispositif qui refuse sera contourné dès que le contournement coûte moins que l'obéissance. C'est exactement ce que dit la meilleure objection reçue, sur MEMO. Le remède n'est pas de durcir le verrou : c'est d'élargir la valence des sorties, et ce travail n'est pas fait.

Le coût de publication. Quatre des cinq entrées portent une réserve non levée, et la règle du dépôt est de les publier avec la recommandation. Une organisation qui ne supporte pas de publier une recommandation grevée n'a que deux issues, toutes deux pires : retirer la recommandation, ou taire la réserve.

Ce que cela ne coûte pas : d'adhérer à quoi que ce soit. Aucun des cinq objets ne demande de souscrire à une thèse de Judge. Trois viennent de documents dont l'appareil englobant est rangé par ce dépôt au laboratoire ou au fécond, et ils s'en détachent proprement — c'est le critère qui a permis de les retenir.

Ce que ce chapitre n'établit pas

Aucune mise en œuvre n'est rapportée, ni chez Judge ni ici. Zéro ligne de code TURFu n'a été écrite : les cinq objets sont des spécifications, et une spécification qui n'a jamais rencontré un compilateur est une hypothèse sur ce qui est écrivable. Sur les quatre-vingt-quinze documents lus, aucun ne rapporte non plus de mise en œuvre des dispositifs d'origine — le corpus décrit ce qu'il faudrait faire bien plus souvent qu'il ne rapporte ce qui a été fait.

Le choix des cinq est le mien, et il est arguable. J'ai écarté deux des sept entrées les plus fortes parce que les chapitres 1 et 3 de cette série les avaient déjà menées jusqu'à l'emploi. Un autre lecteur aurait retenu celles-là et trouvé les miennes moins probantes ; les vingt-huit entrées sont dans le dépôt, et le tri est contestable pièce par pièce.

Les objections viennent d'un modèle, et ce n'est pas une revue par les pairs. Le contradicteur n'a lu que l'entrée qu'on lui soumettait — pas le corpus, pas les notes, pas la synthèse — et il lui était interdit de produire un fait. Plusieurs de ses griefs portent sur des points instruits ailleurs dans le dépôt, qu'il ne pouvait pas voir : propriété voulue du dispositif, et limite réelle de ce qu'il établit. Il a produit au moins un raisonnement faux et bien formé, et cette limite est écrite dans docs/DECISION-IA-EXTERNE.md plutôt que tue. Ce qui est établi est qu'un lecteur adverse, ne voyant que le texte, y a trouvé des failles que ses auteurs n'avaient pas vues, et que six d'entre elles ont coûté une étiquette. Ce n'est pas rien, et ce n'est pas une validation.

La grille ne prétend donc pas que sa lecture est juste, mais qu'elle est contestable : chaque affirmation porte son renvoi vérifiable, chaque jugement son verdict de retrait et son objection instruite. Garantie de contestabilité, jamais de justesse — et aucune de ces pièces ne remplacerait une lecture par des tiers compétents.

Enfin, la lecture qui fonde ce chapitre porte sur quatre-vingt-quinze documents sur environ mille huit cents. Une absence signifie absente de ce qui a été lu, jamais absente de l'œuvre — et un dispositif absent de la grille est absent de ce qui a été lu, non inexistant.

Chapitre 9 — clôture de la série de lecture. Il transpose cinq dispositifs jusqu'à l'objet ; il ne clôt aucune question, et quatre des cinq objets portent une réserve que ce dépôt ne sait pas lever.