Logos：基于跨进程总线的智能体Harness

现代代理系统在运行时组装能力，这种动态组合最近在时空可组合性演算中得到了完整的正式处理，其中能力是承载跟踪逆的组件，代理被组装为插件。这种插件形式由共享一个上下文的单个进程承载，该载体将所有组件放置在一个物理故障域中，故障会立即挂起每个组件，进程死亡会中断进程托管的每个会话。本文表明，建模和微积分都没有将代理绑定到一个进程，语言模型的无状态性将所有跨步状态保留在模型之外，并且健全性不变量仅在状态空间上定义。这些观察结果浓缩为四个引理，其前提是微积分的假设和语言模型推理的无状态性。基于这些引理，本文构建了 Logos，一个类似 ROS 的跨进程代理工具，其中插件是一个进程，唯一的共享状态是一个仅附加的转录本。在工具调用周期的四个边界处进行终止后，八十个会话恢复，没有重复影响，并且与单个进程参考配置的相同故障比较显示，一个故障中断了每个共存会话，而在对等进程构造下，一个故障在一个节点结束。