Agent IA
Qu'est-ce qu'un « turn » dans reins ?
Une anatomie du turn, la plus petite unité d'exécution de reins. Ce qui n'est pas enregistré n'est pas un turn — de cette seule définition découlent l'indépendance du driver, la résilience au redémarrage et l'auditabilité. Comparé au discours du Loop Engineering de juin 2026, on voit comment le turn convertit ces recommandations en structure.
Pourquoi les modèles intelligents ne savent pas expliquer
Les modèles intelligents s'expriment de manière complexe, tandis que ceux qui expliquent simplement manquent de capacité de raisonnement. La solution : les séparer. Méthode concrète pour dissocier le modèle de communication (principal) du modèle de raisonnement (subagent) dans Claude Code, et pourquoi cette architecture fonctionne.
abloq — un blog opéré par des agents, dont la machine verrouille la vérification
Confiez un blog à un agent et l'article sort. Le problème, c'est qu'on ne peut pas s'y fier — il fabrique des sources, relève le lastmod d'un article qu'il n'a même pas modifié, touche à des fichiers qu'on ne lui a pas demandés. Si l'humain doit tout relire, l'avoir délégué n'avait aucun sens. La réponse d'abloq, c'est la division du travail : la génération est probabiliste, la vérification est déterministe. L'humain n'écrit qu'une seule chose, une spécification d'insight (insight.yaml) ; la rédaction, la traduction, l'actualisation et le renforcement des preuves sont assurés par l'agent sous forme de quêtes ; et la qualité est garantie par une porte déterministe dérivée d'un unique blog.yaml. Un PASS verrouillé est irréversible — l'agent est jetable, mais la progression s'accumule.
reins — ne garder du Quest CLI que le domaine, le ratchet devient un framework
how-make-quest enseignait à bâtir un Quest CLI à mains nues. Mais dès le deuxième CLI, on réécrit le même ratchet, les mêmes scan/next/submit, la même agrégation. reins extrait cet invariant en framework — le ratchet, le squelette de commandes, l'agrégation et l'export sont fournis par reins, et vous n'implémentez que la porte de votre domaine (les 4 méthodes de gate.Definition). La porte est un catalogue de règles de défense anti-cheese, et le defeat graph de toulmin renvoie à l'agent un guide stratégique « pourquoi tu as perdu, et quoi changer pour gagner ».
L'outil censé vous donner les rênes n'avait lui-même aucune rêne — la frontière entre harnais et Reins
"Reins Engineering, c'est finalement du harness engineering, non ?" Les deux ne s'opposent pas — ce sont des pièces différentes du même équipement équestre. Mais des pièces différentes. Même le meilleur agent de codage au monde n'a pas mis de rênes sur son propre code. Car les rênes ne s'ont pas quelque chose qu'on possède — c'est quelque chose qu'on tient.
Comment créer un Quest CLI — bâtir soi-même l'outil qui laisse la machine juger de l'achèvement
L'IA dit « C'est fait ». En réalité, ce ne l'est pas. Cet article explique comment bâtir soi-même l'outil qui résout ce problème — un Quest CLI. Du principe (le pourquoi) au squelette de commandes cobra (le comment), cet article unique suffit à ce qu'un agent crée un Quest CLI en Go. huma en est l'exemple pratique.
Pourquoi votre agent ne s'arrête jamais
Face à la fierté de faire tourner un agent 24 heures sur 24, le sentiment qui surgit n'est pas l'admiration mais l'interrogation — pourquoi n'a-t-il pas encore fini ? Le code n'est pas un problème de recherche, mais un problème de satisfaction de contraintes. Un système sain est un système capable de s'arrêter.
Qui définit l'«achèvement» ? — Ce que le jeu a résolu 40 ans avant nous
Définir la libération d'un locataire par cinq photos spécifiques, c'est en faire une quête de jeu vidéo. Définir l'«achèvement» non pas comme une affirmation de l'acteur, mais comme une condition vérifiable mécaniquement — c'est ce que le jeu a résolu 40 ans avant nous, et c'est la bonne façon de confier du travail à un agent IA.
filefunc × Hono — Du code lisible par un agent en un passage : de 60 lignes à 18
Nous avons refactorisé Hono, un framework réel à 23k étoiles, avec filefunc. Les 4419 tests passent intégralement. Et la mesure révèle — quand un agent lit un concept, la médiane de lignes lues passe de 60 à 18, soit une réduction de 71 %. Ce qui compte, ce n'est pas le nombre de fichiers, mais la longueur de lecture.
Reins Engineering — L'IA avec des renes
Le harness engineering est une cloture. Il empeche l'agent de sortir, mais ne garantit pas qu'il atteigne la destination. Reins Engineering, ce sont les renes — diriger avec des contrats deterministes, verrouiller avec des cliquets, separer les decisions de l'implementation.
Ratchet Pattern — comment forcer un agent à aller jusqu'au bout
J'ai demandé à un agent AI d'écrire les tests de 527 fonctions. Il s'est arrêté à 40 et a déclaré : 'C'est fait.' Le Ratchet Pattern confie la décision d'achèvement à un verifier mécanique, forçant l'agent à aller jusqu'au bout.