Salix, das Agent-Harness von Comma

Ein Loop kann eine verbundene App wie Gmail, GitHub oder Slack beobachten, eine Web-API regelmäßig abfragen oder Ereignisse über seine eigene geheime Webhook-URL empfangen. Bittest du Comma im Chat, etwas zu verfolgen, etwa einen Pull Request oder einen Thread, richtet Comma den Loop ein und startet ihn. Brauchst du ihn nicht mehr, bitte Comma, ihn zu pausieren oder zu löschen. Ein Agent kann bis zu 20 Loops gleichzeitig laufen lassen.

Ein wartender Loop ist ein kleines Programm auf dem Salix-Cluster, kein Cloud-Computer. Er ruft kein Modell auf und hat keinen eigenen Verbrauchszähler. Credits fallen also nur für das an, was er aufruft, etwa für Fragen an Jev, die auch dann Credits verbrauchen, wenn du einen eigenen Modellschlüssel nutzt, und für Durchgänge des Agenten, den er weckt. Diese werden wie jeder andere Durchgang abgerechnet. Er kann den Agenten in jedem Zehn-Minuten-Fenster höchstens sechsmal wecken.

Jev beantwortet die Fragen, die ein Loop stellt, etwa ob eine neue E-Mail dich braucht, und kann keine Nachrichten senden, nichts ändern und keinen Zugriff gewähren. Wenn Comma für dich einen Pull Request, ein Issue oder einen Thread verfolgt, bleibt der Loop dafür nur dann ruhig, wenn Jev mit einer Sicherheit von 0,9 oder mehr „ruhig“ antwortet. Alles andere, auch Fehler, geht an deinen Agenten, der angewiesen ist, die Quelle zu prüfen, bevor er dir schreibt. Antwortet Jev mit hoher Sicherheit „ruhig“ und liegt damit falsch, erreicht dich dieses Update nicht.

Sie bleiben Daten: Eine E-Mail oder ein Ereignis kann weder den Code des Loops ändern noch seine feste Liste von Fähigkeiten erweitern. Ein eingehendes Ereignis wird nur gespeichert, bis der Loop es bestätigt, und der Loop speichert einen einzigen Checkpoint von höchstens 16 KB. Was der Loop liest, gelangt nur über seine eigenen Aufrufe weiter, etwa über eine Frage an Jev, das TypeSafe AI betreibt, oder über einen Weckruf an deinen Agenten.

Jeder Agent läuft als eigener Prozess auf der Erlang VM. So startet ein ausgefallener Teil neu, und die anderen Agenten laufen weiter. Nachrichten, die Salix angenommen hat, überstehen den Neustart, und eine unterbrochene Aktion, die etwas verändert, wird nicht von selbst erneut ausgeführt. Nach einem Neustart oder einer Verschiebung auf einen anderen Knoten macht ein Loop an seinem letzten Checkpoint weiter. Tritt in seinem eigenen Programm ein Fehler auf, startet er höchstens dreimal pro Stunde neu, stoppt dann und benachrichtigt deinen Agenten.

Der Kern der Agent-Schleife läuft als Lean-Code, und seine Beweise werden maschinell geprüft. Sie zeigen, dass Arbeit, die Salix angenommen hat, bei Ausfällen und Neustarts erhalten bleibt, dass eine fehlgeschlagene Antwort nicht als erledigt gilt und dass jede Aktion, die etwas verändert, festgehalten wird, bevor Salix sie startet, und höchstens einmal gestartet wird. Sie beruhen auf ausdrücklich genannten Annahmen über den Code rund um den Kernel. Sie beweisen weder die Speicherung noch das Urteil des Modells, noch dass eine Aufgabe gelingt.

Anfangs kann Comma auf einem verbundenen Computer, auch auf deinem Mac, nur Dateien lesen. Damit Comma dort Dateien ändern, Befehle ausführen und die installierten Coding-Agenten nutzen kann, schalte für diesen Computer „Allow operations“ unter „Settings > Devices“ ein. Du kannst die Einstellung jederzeit ausschalten: Laufende Befehle werden beendet, und Comma kann wieder nur lesen.

Ist Codex, Claude Code, Pi oder Kimi auf einem verbundenen Computer installiert und „Allow operations“ eingeschaltet, kann Comma ihm Arbeit übergeben. Der Coding-Agent erledigt die Arbeit auf diesem Computer, und die Unterhaltung bleibt bei Salix. Geht der Computer offline, wartet die Arbeit oder schlägt mit einem Fehler fehl. Salix verschiebt sie nicht von sich aus auf einen anderen Rechner.