Voici Salix, le harnais d'agents de Comma

Un Loop peut surveiller une app connectée comme Gmail, GitHub ou Slack, interroger régulièrement une API web ou recevoir des événements sur sa propre URL de webhook secrète. Demandez à Comma dans le chat de suivre quelque chose, comme une pull request ou un fil, et il configure puis lance le Loop. Demandez-lui de mettre le Loop en pause ou de le supprimer quand vous n'en avez plus besoin. Un agent peut faire tourner jusqu'à 20 Loops à la fois.

Un Loop en attente est un petit programme sur le cluster Salix, pas un ordinateur cloud. Il n'appelle aucun modèle et n'a pas de compteur propre, donc il ne consomme des crédits qu'à travers ce qu'il appelle, comme les questions à Jev, qui consomment des crédits même si vous utilisez votre propre clé de modèle, et les tours de l'agent qu'il déclenche en le réveillant, facturés comme n'importe quel autre tour. Il peut réveiller l'agent au plus six fois par tranche de dix minutes.

Jev répond aux questions que pose un Loop, par exemple si un nouvel e-mail a besoin de vous, et il ne peut ni envoyer de messages, ni rien modifier, ni accorder d'accès. Quand Comma suit pour vous une pull request, un ticket ou un fil, son Loop ne reste silencieux que si Jev répond « silence » avec une confiance d'au moins 0,9, et tout le reste, erreurs comprises, est transmis à votre agent, qui a pour consigne de vérifier la source avant de vous écrire. Si Jev répond à tort « silence » avec assurance, cette mise à jour ne vous parvient pas.

Elles restent des données : un e-mail ou un événement ne peut ni modifier le code du Loop, ni rien ajouter à sa liste fixe de capacités. Un événement entrant n'est conservé que jusqu'à ce que le Loop en accuse réception, et le Loop garde un seul point de contrôle de 16 KB au plus. Ce qu'il lit ne sort du Loop que par ses propres appels, comme une question à Jev, exécuté par TypeSafe AI, ou un message de réveil à votre agent.

Chaque agent tourne dans son propre processus sur l'Erlang VM, donc une partie en panne redémarre et les autres agents continuent de tourner. Les messages que Salix a acceptés survivent au redémarrage, et une action interrompue qui modifie quelque chose n'est pas relancée d'elle-même. Un Loop reprend à son dernier point de contrôle après un redémarrage ou un déplacement vers un autre nœud, et si son propre programme échoue, il redémarre au plus trois fois par heure, puis s'arrête et prévient votre agent.

Le cœur de la boucle d'agent s'exécute sous forme de code Lean, et une machine vérifie ses preuves. Elles montrent que le travail accepté par Salix est conservé malgré les pannes et les redémarrages, qu'une réponse en échec ne compte pas comme terminée, et que chaque action qui modifie quelque chose est enregistrée avant que Salix ne la lance, puis lancée au plus une fois. Elles reposent sur des hypothèses explicites sur le code qui entoure le noyau, et ne prouvent ni le stockage, ni le jugement du modèle, ni la réussite d'une tâche.

Au départ, Comma peut seulement lire les fichiers d'un ordinateur connecté, votre Mac compris. Pour qu'il puisse modifier des fichiers, exécuter des commandes et utiliser les agents de code qui y sont installés, activez Allow operations pour cet ordinateur dans Settings > Devices. Vous pouvez le désactiver à tout moment : les commandes en cours s'arrêtent et Comma repasse en lecture seule.

Quand Codex, Claude Code, Pi ou Kimi est installé sur un ordinateur connecté et qu'Allow operations est activé, Comma peut lui confier du travail. L'agent de code fait le travail sur cet ordinateur, et Salix garde la conversation. Si l'ordinateur passe hors ligne, le travail attend ou échoue avec une erreur, et Salix ne le déplace pas de lui-même vers une autre machine.