PatchOptic 用于共享状态 LLM 工作流程，具有投影视图和经过验证的结构化更新

代理工作流通常在共享的结构化状态上运行。由于 LLM 上下文窗口有限，因此每个模型调用通常仅显示当前工作流程步骤所需的状态片段，这种模式通常称为渐进式公开。现代系统使用类似 grep 的关键字搜索、检索增强生成 (RAG)、抽象语法树 (AST) 查询和特定于任务的代理技能来构建此类面向模型的视图。这些方法使读取端易于管理，但它们没有定义本地建议的重写在应用回完整状态后何时有效。缺失的部分是本地更新和全局有效性之间的契约。我们推出 PatchOptic，这是一种用于共享状态 LLM 工作流程的光学接口。光学是组合双向访问器，描述如何读取和更新结构化数据的视图。 PatchOptic 借用了这种查看/更新直觉，并通过预测读取和验证的结构化补丁来实现它。每个工作流程步骤都声明一个投影读取视图、一个授权写入区域和一个补丁源区域。除了运行时强制之外，相同的声明还生成路径级足迹，支持委派、子工作流组合和静态证书，以便在同一阶段内重新排序独立步骤。我们使用 PatchBench 评估此设计，这是一个包含 46 个跨领域案例的基准。结果表明，投影读取减少了报告的泄漏和词元成本，同时在强大的参与者下保持了可接受的输出质量。运行时验证会在提交之前阻止声明的工作流合同违规，并且补丁读取强制执行会拒绝使用隐藏源的受损补丁工件。