Le Dispositif adversarial à équilibre de Sauvageau est une procédure déterministe. Il confronte un artefact (un texte, une image, une mesure) à un référent déclaré avant lui, argument par argument, jusqu’à épuisement, et ne conclut qu’après quatre tours de confirmation. Il rend l’un de trois verdicts, dans cet ordre :

1. non-qualifiable : rien n’a pu être mesuré ;
2. validé : tout ce qui devait tenir tient ;
3. insuffisant : quelque chose ne tient pas, et la sortie le nomme.

Ce qui est plus petit que le bruit ne s’arbitre pas, et un seuil ajusté en cours de route annule l’arbitrage. Chaque verdict se rejoue.

Nouveau. La base théorique sur laquelle repose le DAES est maintenant publiée : l’échelle arborescente de taux saturables, les exigences techniques d’un dispositif qui s’en sert et la grammaire Équifonction, chacune avec sa preuve de calcul. Avec les deux dépôts précédents, elle forme un ensemble relativement complet. Une refonte du site est prévue d’ici janvier 2027, lors de la publication des codes et des compléments.

Dépôts

• Dispositif adversarial à équilibre de Sauvageau : procédure d’arbitrage à référent déclaré, preuve de calcul et porte sur texte libre (Zenodo)
• Le dispositif adversarial à équilibre hors du texte : instanciation de la procédure sur un instrument optique de lecture de signaux normés (Zenodo)
• Calcul de la sémantique de l’ordinal appliquée à l’information : mesure déterministe du sens fonctionnel par contenance relative arborescente saturable, sur ensemble fini déclaré (Zenodo)

Les publications sont sous licence CC BY-NC 4.0 : libres de reproduction et d’adaptation à des fins non commerciales, avec attribution. Pour un usage commercial, écrivez-nous.