Quête
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 ».
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.