Le versant polyédrique se juge sur son utilité cognitive vérifiable, et voici comment on la vérifierait

Ce que Judge apporte

Un critère d'évaluation déplacé par l'auteur lui-même. Interrogé en 2026 sur un travail mathématique qui recoupait le sien, Judge décline la compétence formelle et redéfinit son objet dans la même phrase — la compréhension de la complexité telle qu'elle peut se refléter dans les polyèdres ([CORR-2026-08-30-judge-devuyst]#m2). Ce n'est pas un désaveu : c'est un déplacement de la charge de la preuve, du théorème vers la compréhension. On ne demande donc plus si un polyèdre est mathématiquement fondé — la question serait tranchée d'avance et sans intérêt pour TURFu — mais s'il rend une complexité plus manipulable que la liste équivalente.

Le matériau existe et il est daté : synthese/90-laboratoire-falsifiable.md inscrit dix-huit documents qui construisent leur argument sur un solide, une surface ou une charpente, de 1978 à 2026, sans interruption d'une décennie à l'autre.

Ce que la règle du dépôt impose et que cette entrée applique. Un document de laboratoire s'invoque par une portée localisée, jamais en bloc (amendement L-2 du 2026-09-02). Le cas d'école est LIP-2008-polynet : [LIP-2008-polynet]§45 porte une revue de la robustesse des réseaux — connectivité de nœuds contre connectivité de liens, les six critères de Dekker et Colbert — exacte, sourcée, vérifiable sans le solide ; la ligne passe plus loin, là où une propriété optique se met à tenir lieu de preuve psychosociale. Le même document est opératoire d'un côté de la borne et de laboratoire de l'autre.

Comment on le vérifierait, et ce qui compterait comme un échec

La condition de falsification est déjà publiée ; on la reprend au lieu d'en inventer une autre. Elle vient du corpus lui-même, par l'objection de Lucas rapportée en [LIP-2008-polynet]§149 : un réseau social réel conserve-t-il ses relations assez longtemps pour qu'un solide symétrique les capture ? Si la réponse est non, tout le versant retombe au rang de mnémotechnique — ce qui n'est pas rien, et ce que [LIP-2026-tcodiy]§26 assume déjà en toutes lettres. Cette question est mesurable sur des données de réseau réelles ; personne, dans le corpus lu, ne l'a mesurée.

Le protocole de vérification, en toutes lettres :

Sur quoi. Un jeu de contraintes réel et déjà énuméré — par exemple un ensemble d'objectifs dont on sait quelles paires se contrarient. synthese/90-laboratoire-falsifiable.md a déjà tranché un cas de ce type : pour les dix-sept polytopes de [LIP-2021-uncosys]§274, une matrice d'interactions 17 × 17 dit tout ce que le polytope dit, et en plus quelles paires se contrarient. Verdict : « non ».
Avec qui. Deux groupes appariés, dont aucun n'a construit la représentation qu'on lui remet — la condition est décisive, parce que l'utilité cognitive d'un solide pour son constructeur ne prouve rien sur son utilité pour un lecteur.
Quelle tâche. Identique dans les deux bras, et mesurable : retrouver les incompatibilités entre contraintes et les ordonner, avec un temps et un taux d'erreur.
Ce qui compte comme échec, écrit avant l'essai. Si le bras « liste ou matrice » fait aussi bien ou mieux, le solide n'ajoute aucune opération vérifiable : il reste un dispositif mnémotechnique, il ne devient ni inspirant ni importable, et il n'entre dans aucun export. Un second échec est prévu et il compte autant : si le protocole ne peut pas être exécuté parce qu'aucune tâche mesurable ne se laisse formuler sur le matériau, le verdict est « indécidable en l'état » — ce qui est un résultat, contrairement à une réponse évitée.

C'est pourquoi cette entrée est laboratoire et non importable. 08-CONTEXT.md autorise une entrée polyédrique à être importable sans être mathématiquement fondée, si elle rend une complexité manipulable. La condition est une conjonction, pas une permission : tant que le banc d'essai n'a pas tourné, l'antécédent n'est pas établi. L'entrée dit ce qui la ferait changer d'étiquette, et le changelog en portera la trace.

Point de comparaison daté — M.A.T.I., convergence d'objet, divergence de statut

sources/correspondance/CONFRONTATION-mati.md §2, ligne C2 : la note du 2026-08-30 travaille le tesseract comme instrument de compréhension ([NOTE-2026-08-30-mati]§126), et le corpus le travaille aussi — 66 occurrences de « tesseract » sur 4 textes, LIP-2026-tcodiy en portant 43, LIP-2021-uncosys 15, LIP-2025-disting 5, LIP-2023-secorder 3 ; LIP-2021-uncosys mentionne en outre la 16-cellule, dont la note relève la dualité avec le tesseract ([NOTE-2026-08-30-mati]§127). La convergence porte sur l'objet.

La divergence porte sur le statut, et elle est le point. Judge décline explicitement la compétence mathématique ; M.A.T.I. revendique une formalisation. Deux entreprises qui manipulent le même solide sous deux régimes de preuve opposés ne se valident pas l'une l'autre — et la CONFRONTATION le dit déjà : cet écart est le candidat le plus net à une divergence établie, mais il demande d'être instruit plutôt qu'asséné.

La question de la grille 4×4 reste ouverte, et elle est écrite ouverte. La note construit une grille I / WE / IT / ITS × analytique, systémique, symbolique, initiatique ([NOTE-2026-08-30-mati]§54), dont la parenté avec les quadrants intégraux saute aux yeux sans que la note la discute. CONFRONTATION-mati.md §3 renvoie la question à la phase 8 avec une consigne explicite : ne pas trancher sur une impression. Cette entrée s'y tient. Instruire suppose de lire la source dont la parenté est soupçonnée et de comparer les axes terme à terme ; ce n'est ni fait, ni estimé, ni suggéré ici.

Destination TURFu

Couche L1, TURFu Labs. Un banc d'essai est une opération d'incubation : il ne produit pas un produit, il décide si un matériau a le droit d'en devenir un.

Ce qu'il faudrait faire est le protocole ci-dessus, monté avant tout emprunt et non après. L'ordre n'est pas cosmétique : monté après, le banc d'essai sert à confirmer un choix déjà fait, et tout le monde le sait. La fiche de résultat est versionnée, protocole et données comprises, y compris quand le verdict est négatif — un banc d'essai dont on ne publierait que les succès mesurerait l'enthousiasme, pas l'utilité.

Ce que cette destination n'autorise pas. Rien de ce versant n'entre dans un export opérationnel tant que l'étiquette est laboratoire (transposition/00-methode.md §2), et le matériau reste isolé des recommandations opératoires.

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 :

Monter un banc d'essai d'utilité cognitive avant tout emprunt de matériau de visualisation. Le protocole est comparatif et à deux bras : le même jeu de contraintes est présenté à deux groupes, l'un par la configuration géométrique, l'autre par la liste ou la matrice équivalente ; la tâche est identique et mesurable — retrouver les incompatibilités entre contraintes, et les ordonner. Le résultat qui compte comme échec est écrit d'avance : si le groupe « liste » fait aussi bien ou mieux, le matériau reste mnémotechnique et n'entre dans aucun export. Consigner protocole, données et verdict dans une fiche versionnée, y compris quand le verdict est négatif.

Verdict de généricité, sur une entrée déjà laboratoire. Un essai comparatif à deux bras, avec critère d'échec écrit avant la collecte et publication du verdict négatif, est le protocole standard d'évaluation d'une visualisation : le genre « graphe contre tableau » a sa littérature propre, et la version privée ci-dessus s'y range sans rien perdre.

C'est exactement ce qu'on attend d'une entrée laboratoire. Elle ne transpose pas un dispositif : elle spécifie comment on saurait si le dispositif vaut quelque chose. Une procédure de falsification n'a pas à dépendre de ce qu'elle falsifie, et il serait inquiétant qu'elle en dépende. Le verdict compte dans le taux, et il ne reproche rien à l'entrée.

Contradiction

Passe adversariale du 2026-09-02, appel pg-20260902T121221Z-versant-polyedrique-utilite-cognitive-verifiable, Peter G (gpt-5). Statut : partielle — et c’est l’objection la plus grave de la passe, parce qu’elle porte sur le banc d’essai, c’est-à-dire sur la seule chose que l’entrée apporte.

Retenu, sans parade. « Votre “banc d’essai d’utilité cognitive” est calibré pour faire échouer le versant polyédrique, donc il ne teste pas la thèse — il la court-circuite. » La démonstration tient en deux points, et les deux portent.

La tâche est tabulaire. « Retrouver les incompatibilités entre contraintes, et les ordonner » est la zone de force d’une matrice. L’entrée cite elle-même un cas où la matrice dit tout ce que le polytope dit, et en plus quelles paires se contrarient. Le bras « liste » part avec l’information mieux disposée : c’est un essai à information inégale.
Le mode opératoire du versant est exclu d’emblée. Si l’hypothèse est que la géométrie rend la complexité manipulable par la construction, exiger qu’aucun participant n’ait construit la représentation retire à la géométrie son mode natif — puis conclut de l’échec d’un lecteur passif.

La conclusion de Peter G est juste : « votre protocole ne pourrait réfuter que ceci : un lecteur passif extrait plus vite des incompatibilités explicitement tabulées qu’en les inférant d’une forme. C’est vrai par construction et sans intérêt pour la question posée. »

Aucune parade ici. Re-spécifier la tâche exigerait un cas d’usage incarné et un critère d’utilité cognitive que ni le corpus ni ce dépôt ne fournissent ; en inventer un serait fabriquer la recommandation que la passe éprouve. La réserve reste ouverte : le banc d’essai n’est pas utilisable en l’état, et l’entrée ne fournit pas un protocole prêt. C’est le sens de laboratoire, et la passe vient de lui donner son contenu exact.

Rejeté, avec son motif. « L’injonction “monter le banc avant tout emprunt” confond garde-fou et camisole. » Exiger une épreuve avant emprunt est le seul moyen d’empêcher qu’une forme séduisante devienne une infrastructure. Que le banc actuel soit mauvais n’invalide pas l’ordre entre épreuve et emprunt.

Changelog

Version	Date	Plan	Étiquette	Motif
1	2026-09-02	`08-06`	`laboratoire`	rédaction initiale ; le banc d'essai d'utilité cognitive n'a pas tourné

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.