帮我盯着 #support 和我的收件箱，有客户报告 bug 时告诉我。
认识 Salix：Comma 的智能体框架
Salix 全天候运行你的 Comma 智能体，只在工作需要时才调用大模型。
Salix 工作中
一个可以点开查看的例子。你让 Comma 盯着 #support 和你的收件箱，留意 bug 报告，它为此写了一个 Loop。一位客户报告了 bug，Loop 唤醒了 Comma。Comma 开始了一个任务，Worker 在云电脑上复现问题，并提交修复等你审核。窗口旁的编辑器展示了 Salix 内核中的两个 Lean 证明。
深入 Salix
常见问题
Loop 能盯着什么？怎样启动或停止 Loop？
Loop 可以盯着一个已连接的应用（比如 Gmail、GitHub 或 Slack），轮询一个 Web API，或通过它专属的秘密 webhook URL 接收事件。在对话中让 Comma 跟进某件事，比如一个拉取请求或一个讨论串，它就会设置并启动 Loop；不再需要时，让它暂停或删除这个 Loop 即可。一个智能体最多可以同时运行 20 个 Loop。
Loop 在等待时会产生什么费用？
等待中的 Loop 是 Salix 集群上的一个小程序，不是云电脑。它不调用模型，本身也不计费，只有它调用的东西才会消耗额度：比如向 Jev 提问，即使你接入了自己的模型密钥，这也会消耗额度；又比如它唤醒智能体后产生的对话轮次，和其他轮次一样计费。在每个十分钟的时间窗口内，它最多唤醒智能体六次。
Jev 负责判断什么？它拿不准或判断错了怎么办？
Jev 回答 Loop 提出的问题，比如一封新邮件是否需要你处理；它不能发送消息、不能修改任何东西，也不能授予访问权限。当 Comma 替你跟进一个拉取请求、议题或讨论串时，只有 Jev 以 0.9 或更高的置信度回答“静默”，对应的 Loop 才会保持静默；其他任何结果，包括出错，都会交给你的智能体，而智能体被要求先核对来源，再给你写消息。如果 Jev 信心十足地答了“静默”却答错了，那条更新就不会送到你这里。
Loop 读到的数据会被怎样处理？
它始终只是数据：邮件或事件无法修改 Loop 的代码，也无法扩充它那份固定的能力清单。收到的事件只保存到 Loop 确认收到为止；Loop 只保留一个检查点，最大 16 KB。它读到的内容只能通过 Loop 自己发起的调用继续传出，比如向 Jev 提问（Jev 由 TypeSafe AI 运行），或向你的智能体发送唤醒消息。
Salix 的某个部分出故障时会怎样？
每个智能体都是 Erlang VM 上的一个独立进程，所以出故障的部分会重启，其他智能体继续运行。Salix 已接收的消息在重启后依然保留；一个会产生改动的操作如果被中断，不会自动再执行一次。Loop 在重启或被移到另一个节点后，会从上一个检查点继续；如果它自己的程序出错，每小时最多重启三次，之后就会停止并告知你的智能体。
Lean 证明能保证什么，不能保证什么？
智能体循环的核心以 Lean 代码运行，它的证明由机器检查。这些证明表明：Salix 已接收的工作在故障和重启后依然保留；回复失败不算完成；每个会产生改动的操作，都会在 Salix 启动它之前记录下来，并且最多只启动一次。这些证明建立在对内核周边代码的明确假设之上，不对存储、模型的判断或任务是否成功作出证明。
Comma 能在我的 Mac 上做什么？怎样收回权限？
一开始，Comma 只能读取已连接电脑上的文件，你的 Mac 也不例外。要让它修改文件、运行命令并使用那台电脑上安装的编程智能体，请在“设置 > 设备”中为那台电脑打开“允许操作”。你随时可以关掉它：正在运行的命令会停止，Comma 也会回到只读状态。
Salix 能在我的电脑上运行哪些编程智能体？
当已连接的电脑上装有 Codex、Claude Code、Pi 或 Kimi，并且打开了“允许操作”时，Comma 就可以把工作交给它。编程智能体在那台电脑上完成工作，对话则由 Salix 保存。如果电脑离线，工作会等待，或返回错误而失败；Salix 不会自行把它转移到另一台机器上。