Logos：一个运行于跨进程总线上的 Agent Harness

现代 agent 系统在运行时组装能力，而这种动态组合最近在时空可组合性演算中得到了完整的形式化处理。在该演算中，能力是一个带有可追踪逆元的组件，而 agent 作为插件被组装起来。这种插件形式由单个进程承载，共享一个上下文；而这种承载方式把所有组件置于同一个物理故障域中，一次故障会同时挂起所有组件，进程终止则会中断该进程所承载的每个会话。本文表明，模型和演算都没有把 agent 绑定到单一进程，语言模型的无状态性将所有跨步状态都保留在模型外部，而健全性不变式仅在状态空间上定义。基于语言模型推理无状态这一前提，这些观察凝练为四个引理，其前提是该演算的假设。本文在这些引理之上构建了 Logos，一个类似 ROS 的跨进程 agent harness，其中 plugin 是一个进程，唯一共享的状态是一个只追加的转录记录。对在 tool-call 周期四个边界处设置进程终止的八十个会话进行恢复测试后，没有出现重复效应；并且在与单进程参考配置的同故障比较中，单个故障会中断所有同驻会话，而在 peer-process 构造下，一个故障只会在一个节点上终止。