Les contraintes sont des contrats

La première promesse de l’humanité

Il y a 100 000 ans, quelqu’un pointa du doigt quelque chose et émit un son. Une autre personne qui entendit ce son imagina la même chose.

C’est là l’origine du langage.

La promesse de désigner « cela » par le mot « lion ». Sans cette promesse, deux personnes vivant dans le même monde voient des mondes différents. Avec cette promesse, l’expérience d’une personne peut être transmise à une autre.

Le langage est le premier contrat de l’humanité.

L’écriture est un contrat qui traverse le temps

Il y a 5 000 ans, quelqu’un en Mésopotamie pressa des formes cunéiformes dans une tablette d’argile humide. C’était pour consigner des stocks de céréales.

La parole disparaît, mais l’écrit demeure. L’écrit rend possible la bureaucratie, la loi, l’État.

L’écriture est un dispositif qui transmet les promesses du présent vers le futur. Pour qu’un contrat signé aujourd’hui reste valide demain, il faut l’écriture.

La parole a créé les tribus. L’écriture a créé les États.

L’état de droit : une promesse écrite dans le sang

La société humaine est une question de densité.

Dans une tribu de 150 personnes, on connaît les visages de chacun. Briser une promesse, tout le monde le sait. La pression sociale suffit à maintenir l’ordre.

Dans une ville de 10 000 habitants, on ne connaît pas les visages. Briser une promesse, personne ne le sait. La pression sociale ne fonctionne plus.

C’est pourquoi la loi est devenue nécessaire.

La loi est une promesse mise par écrit. « Si tu fais cela, telle conséquence s’ensuit. » Tous les individus sont soumis aux mêmes règles. Les règles sont mécaniquement vérifiables. La violation est définie. La violation entraîne des conséquences.

Ce système a pris des millénaires à se mettre en place. Révolutions, guerres, massacres, compromis. L’humanité a écrit cette promesse dans le sang.

Le résultat : 8 milliards d’humains coexistent sur une même planète. Ce n’est pas parfait. Mais ça fonctionne. Sans l’état de droit, cette densité aurait été impossible.

Les trois conditions de l’état de droit

Si l’état de droit fonctionne, ce n’est pas parce que la loi est brillante. C’est parce que trois conditions sont satisfaites.

1. C’est vérifiable. On peut déterminer si la loi a été enfreinte ou non. Non par l’intuition du juge, mais par les textes et les preuves. La procédure de jugement est définie.

2. La violation est définie. Ce qui est permis et ce qui est interdit est explicite. Non pas « ne fais pas de mauvaises actions », mais « ne commets pas les actes relevant de l’article 50, alinéa 1 ». C’est binaire. Violation ou non-violation.

3. C’est applicable. La violation entraîne des conséquences. Une promesse sans conséquences n’est pas une promesse, c’est un vœu.

Ces trois conditions sont remarquablement universelles.

Le même schéma, des domaines différents

Tout système qui fonctionne est fondé sur des promesses. Les promesses sont vérifiables, la violation est définie, elles sont applicables.

Un système sans cela — c’est le chaos.

Les LLM n’ont pas de promesses

En 2026, si l’on demande à un agent de code IA d’« améliorer le code », l’agent modifie quelque chose.

Mais :

• Quand est-ce terminé ? On ne sait pas.
• Le résultat est-il suffisant ? Pas de critère de jugement.
• Relancer produit-il le même résultat ? Non.

C’est comme une société sans loi. Chacun agit selon son propre jugement, sans standard pour les résultats, différent à chaque fois.

« Qualité du code » est un spectre. Un spectre n’a pas de condition de terminaison. Sans condition de terminaison, la convergence n’est pas garantie.

C’est le règne des hommes. Dépendre d’un roi sage (un modèle intelligent). Si le roi est sage, ça marche bien ; sinon, non.

La contrainte converge

filefunc a défini 22 promesses.

Un fichier, une fonction. Profondeur inférieure ou égale à 2. Annotations obligatoires. Le control est l’un de : sequence, selection, iteration.

Ces promesses sont :

• Vérifiables. filefunc validate juge mécaniquement. Pas besoin de LLM.
• Violation définie. ERROR ou passage. Pas de spectre.
• Applicables. Le code doit être corrigé jusqu’à ce que le nombre d’ERROR atteigne 0.

Lorsque ces trois conditions sont satisfaites, le LLM peut, grâce à une simple boucle while ERROR > 0: fix, faire converger n’importe quelle codebase vers un état où les promesses sont respectées.

Le rôle du LLM n’est pas celui d’un juge, mais d’un exécutant. Ce qui constitue une violation, c’est la promesse (validate) qui le dit, et si la violation a été résolue, c’est encore la promesse (validate) qui le dit. Le LLM se contente de corriger les violations que la promesse a signalées.

Non pas le roi, mais la loi qui gouverne. C’est cela, l’état de droit.

Le ratio idéal entre chaos et ordre

Sans promesses, c’est le chaos. Le code est sans structure, les fonctions s’entremêlent, la profondeur s’approfondit sans limite. L’agent IA lit l’intégralité à chaque fois et produit des résultats différents à chaque fois.

Trop de promesses, c’est l’oppression. Tout réglementer fait disparaître la flexibilité. Imposer 10 lignes d’annotations pour une fonction de 3 lignes inverse les priorités.

Les 22 règles de filefunc ont trouvé l’équilibre entre les deux. Le point suffisamment contraint sans être excessif.

La preuve : 1 275 fonctions convergent vers trois structures de contrôle. Séquence, sélection, itération. Les trois que Böhm-Jacopini ont démontrées en 1966. Que 22 promesses convergent vers une classification mathématique est la preuve que les promesses ne sont ni excessives ni insuffisantes.

Ni chaos ni oppression. Suffisamment d’ordre dans suffisamment de liberté. C’est le ratio idéal.

Le troisième langage

La parole a créé les tribus. Une promesse entre humains. L’écriture a créé les États. Une promesse entre le présent et le futur.

Qu’est-ce que le troisième langage va créer ?

GEUL est une promesse entre intelligences artificielles. Et une promesse vérifiable entre intelligence artificielle et humain.

SIDX est une promesse de sens. Le même pattern de bits porte le même sens. Le flux de 16 bits est une promesse de forme. Réseau, stockage et IA partagent la même unité. Source, confidence, time sont une promesse de confiance. Les métadonnées sont intégrées dans la structure, l’omission est impossible. La mechanical verification est la vérification de l’exécution des promesses. L’information qui viole la spéc ne peut pas entrer dans le context.

Dans le langage naturel, il n’existe pas de concept de « phrase invalide ». Dans GEUL, si. Que l’invalidité soit définie est la preuve qu’une promesse existe.

On le prouve d’abord dans le code

Le même principe s’applique à la fois au code et à la connaissance.

Mais le code vient en premier.

Le code a un compilateur. Un AST. Un système de types. La frontière entre « code valide » et « code invalide » existe déjà. Ajouter 22 promesses par-dessus est naturel.

La connaissance en langage naturel n’a pas ce fondement. Le concept même de « phrase valide » n’existe pas. GEUL doit construire ce fondement depuis le début.

On prouve d’abord là où c’est plus facile, puis on étend là où c’est difficile. filefunc le prouve dans le code, GEUL l’étend à la connaissance.

C’est cela, l’ingénierie.

Un rappel à l’humanité

Le problème est simple.

Nous avons déjà inventé l’état de droit. C’est une promesse écrite dans le sang. Grâce à cette promesse, 8 milliards d’humains coexistent malgré cette densité extraordinaire.

Les LLM ne sont pas différents.

La contrainte raisonnée est une promesse. Il faut des promesses pour que chaos et ordre trouvent leur ratio idéal. Si les promesses sont vérifiables, la violation définie, et elles applicables, tout système converge.

Comme la société humaine l’a fait. Comme le code l’a fait. Comme la connaissance le fera.

Ce n’est pas une nouvelle invention qu’il faut. C’est appliquer ce qui a déjà été inventé à un nouveau domaine.

Concevez les promesses. Alors la convergence suivra.