Conheça o Salix, o harness de agentes do Comma

Um Loop pode monitorar um app conectado, como Gmail, GitHub ou Slack, consultar periodicamente uma API web ou receber eventos na própria URL secreta de webhook. Peça no chat que o Comma acompanhe algo, como um pull request ou uma thread, e ele configura e inicia o Loop; peça que pause ou exclua o Loop quando você não precisar mais dele. Um agente pode executar até 20 Loops ao mesmo tempo.

Um Loop em espera é um pequeno programa no cluster do Salix, não um computador na nuvem. Ele não chama nenhum modelo nem tem medidor próprio, então só consome créditos pelo que aciona, como perguntas ao Jev, que usam créditos mesmo com sua própria chave de modelo, e os turnos que ele provoca ao acordar o agente, cobrados como qualquer outro turno. Ele pode acordar o agente no máximo seis vezes a cada janela de dez minutos.

O Jev responde às perguntas que um Loop faz, por exemplo se um novo e-mail precisa de você, e não pode enviar mensagens, alterar nada nem conceder acesso. Quando o Comma acompanha um pull request, uma issue ou uma thread para você, o Loop só fica em silêncio quando o Jev responde “silêncio” com confiança de 0,9 ou mais; qualquer outro resultado, inclusive erros, vai para o seu agente, que é instruído a conferir a fonte antes de escrever para você. Se o Jev responder “silêncio” com confiança e estiver errado, essa atualização não chega até você.

Eles continuam sendo dados: um e-mail ou um evento não pode alterar o código do Loop nem ampliar sua lista fixa de capacidades. Um evento recebido fica armazenado só até o Loop confirmar o recebimento, e o Loop mantém um só checkpoint de no máximo 16 KB. O que ele lê só segue adiante pelas chamadas do próprio Loop, como uma pergunta ao Jev, que a TypeSafe AI opera, ou uma mensagem para acordar seu agente.

Cada agente roda como um processo próprio na Erlang VM, então uma parte que falha é reiniciada e os outros agentes continuam funcionando. As mensagens que o Salix aceitou sobrevivem ao reinício, e uma ação interrompida que altera algo não é executada de novo automaticamente. Um Loop retoma a partir do último checkpoint depois de um reinício ou de uma transferência para outro nó e, se o próprio programa dele falhar, ele reinicia no máximo três vezes por hora; depois disso, para e avisa seu agente.

O núcleo do ciclo de agente roda como código Lean, e uma máquina verifica as provas dele. Elas mostram que o trabalho aceito pelo Salix é preservado em caso de falhas e reinícios, que uma resposta que falhou não conta como concluída e que cada ação que altera algo é registrada antes de o Salix iniciá-la e é iniciada no máximo uma vez. Elas se baseiam em premissas explícitas sobre o código em torno do núcleo e não provam o armazenamento, o julgamento do modelo nem que uma tarefa dê certo.

No início, o Comma só pode ler arquivos em um computador conectado, incluindo o seu Mac. Para que ele possa alterar arquivos, executar comandos e usar os agentes de código instalados nele, ative a opção Allow operations desse computador em Settings > Devices. Desative a qualquer momento: os comandos em execução param, e o Comma volta ao modo somente leitura.

Quando o Codex, o Claude Code, o Pi ou o Kimi está instalado em um computador conectado e a opção Allow operations está ativada, o Comma pode passar trabalho para ele. O agente de código faz o trabalho nesse computador, e o Salix mantém a conversa. Se o computador ficar offline, o trabalho espera ou falha com um erro, e o Salix não o transfere sozinho para outra máquina.