AI 代理的记忆操作系统：审核每次层级转换

一个AI代理的内存操作系统只有当操作员能够在同一用户和助理范围下通过存储,更新,检索和生成遵循一个内存版本时才健康. 一个一致的答案是有用的结果,但它并不是证据表明每一个早期的过渡都发生了. 因此,实际的默认条件很简单:每一个边界都附上一个无内容的血统证明. 存储存储器内存内容在主机上. 仅记录稳定标识符,范围,源版本,目的地级别,时间标签,过渡状态以及用于生成的版本. 如果缺失或矛盾的边界,请取代绿色的 waiting , at risk , stale 或 uncertain 进行报告. 这一规则对于搜索查询背后的特定架构很重要 记忆中的AI代理 . 在MemoryOS文件中,定义了三个存储层次和四个功能模块. 其实施也揭示了一个有限的失败窗口,答案质量基准不能确定. MemoryOS所确定的内容 MemoryOS 纸描述了四个模块: 1. Storage 组织短期内存 (STM),中期内存 (MTM) 和长期个人内存 (LPM). 2. Updating 将对话页面从STM转移到MTM,然后从MTM中获得更长寿命的个人资料或知识材料. 3. 获取 在各级中选择相关材料. 4. Generation 从当前和检索的环境中构建响应. 这篇论文非常具体, 关于层次之间的运动. 更新STM到MTM使用对话链FIFO过程. 更新MTM to LPM使用按热量选择的细分页面. 这足以定义可观测的过渡界限,而不是把"记忆"视为一个不透明的数据库. 研究人员报告了49.11%的平均改善 F1 在 BLEU 1 在他们的基线上 LoCoMo 随着 GPT 4o mini. 这些是作者基准结果;我没有重新运行LoCoMo. 更重要的是,响应的正确性和一致性回答了与运营完整性不同的问题. 高分不证明: 在驱逐出境之前,STM记录存在持续; 在源消失之前承诺的MTM目的地; 每次过渡都存在相同的用户和助理范围; 检索返回最新预期版本; 最后一代实际上取决于这个版本. 文件的架构提供了边界. 运营商仍然需要他们的凭证. 在目的地承诺之前出现风险间隔 我检查了这个项目,在 587ed7755c7aed179965792830ff1b5ad9a6fa92 . 关键:存储库是活跃的,并且在下一次变更后,没有源版本的操作结论将变得模糊. 目前的 add memory 路径检查短期货架是否满,并在添加另一个项目之前进行促销. 源明确标记这一点为防止沉默的自动驱逐 (号: memoryos.py ,行 226244) 的修复. 这是一个有用的保障措施, 促销序列是重要的: 1. process short term to mid term 呼叫 pop oldest ,而 STM 充满 (号: updater.py ,行100105). 2. pop oldest 删除记录并立即保存更短的 STM deque (号: short term.py ,线号:3337). 3. 然后更新器调用支持LLM的连续性和总结函数. 4. 插入MTM及其最终保存后发生 (号: updater.py ,行 130207). 这种控制流程创造了一个源 危险间隔. 如果STM保存后,但MTM承诺之前,该过程退出或未捕获的下游操作失败,运营商没有完成的促销证明. 这是一个源源源故障窗口,而不是说每个MemoryOS部署都会丢失数据. 在目的地凭证到来之前,正确的健康状况只是不绿色的,或者证明来源仍然可回收. 另一种较窄的连续性界限. last evicted page for continuity 开始为内存 None 值,将其传输到下一批次,并在处理后更新 (列35和115158的 updater.py ). 一个重新启动过程重新设置了特定的转移线索. 其他MTM相似逻辑仍然可能重新连接材料,因此这并不是完全连续性损失的证据. 这是一个理由将前面的页面或源版本记录在过渡凭证中,而不是假设过程记住它. 在所有层面使用一个无内容凭证 凭证不需要提示,答案,摘要,嵌入或个人事实. 一个最小的事件可以看起来像这样: 在每一个阶段,要携带六个场地: runId 加入一个存储到生成的尝试,而不透露内容. 采用了 userScope 和 assistantScope 的方法,以实现交叉租户或共享助理的错误. version 识别预期的内存状态. 实现或适配器合约的 sourceVersion 脚本. status 分离了 started , waiting , committed , verified 和失败的工作. atUtc 让验证者使用过的证据过期. MemoryOS已经创建了用户特定的短期,中期和长期文件以及一个独立的助理特定的长期文件 (号: memoryos.py ,行 7178). 凭证应该保留两个维度,因为"正确的用户,错误的共享助理"仍然存在范围冲突. 为了生成,添加 dependsOnVersion 和 outcomeReceipt . dependsOnVersion 表示哪个回收的内存版本输入了最后提示. 如果可能, outcomeReceipt 应确定确定结果检查:文件哈希,行识别符,测试结果,目的地搜索或其他证明预期工作存在的证据. 这不应该是敏感的对话内容,只是为了让记录看起来严格. 在信任绿色之前,重现不方便的状态 我建立了一个无内容的8个案例. 分类器返回了所有8个预期状态: 案例 证据 国家 完整的血统 范围,版本,新鲜性,层次承诺,检索和生成凭证协议 healthy 未达到产能门 STM是持久的,声明的等待窗口是开放的 waiting 已取消STM,未承诺的MTM 在目的地证明之前源消失 source at risk STM保留,没有促销活动 预期的MTM过渡从来没有出现 promotion missing 促销期间的用户变化 一个事件属于不同的范围 scope conflict 检索返回 v21 ,预计 v22 一个真正的记忆存在,但它已经过时了. stale retrieval 流动的响应,没有依赖凭证 没有验证的血统完成的世代 generation unverified 没有实施版本 证据不能安全地解释 uncertain 重要区别是 waiting 和 missing 之间. 在未达到记录的容量门的情况下,保持持久性的STM记录不会被固体. 没有目的地承诺的删除源不等待;它处于危险之中. 时间和源 存在字段使得这种差异可检查. 使用明确的优先级,以便后来的成功不能掩盖早期的冲突: 这项命令是故意保守的. 范围冲突超过了成功的反应. 来源风险超过后续活动. 一个陈旧的回收不能通过流动的生成来赎回. 缺失的证据是不确定的,而不是被转化为健康的证据. 将凭证转换为操作门 首先要用一个没有个人或制作内容的卡纳里记忆. 给它一个随机识别器和预期版本,然后实践真正的存储,推广,检索和生成路径. 在采用之前或在内存系统升级后: 1. 关闭实现. 记录包装版本或存储库提交以及改变容量,热量,相似性或检索限制的配置. 2. 试验范围隔离. 运行两个用户范围和,如果适用,两个辅助范围. 每个查询都是故意的,不需要错误的路径检索. 3. 强度容量过渡. 填充STM到配置边界. 检查每个源删除都有匹配的MTM提交. 4. 练习倒退. 当多个总结输出不可时,更新器具有一般总结倒退. 标签退化的路径,并单独检查检索,而不是将退后完成视为正常质量. 5. 批次间重新启动. 检查过程重新启动后的连续性,因为内存传输不是持久的证据. 6. 收到的凭证过期. 一个昨天健康的推广并不能证明当前的进程,索引或文件现在是健康的. 7. 检查结果. 复苏成功表示,记忆被恢复. 它没有说代理使用了正确的版本或完成预期任务. 如果更新已有部分承诺,请不要自动重新尝试危险源的促销. 首先,按 runId 和版本调整源和目的地. 盲目重复可能会把不确定性转化为重复页面或长期的矛盾. 限制同样重要:此凭证证明了过渡血统,范围,新鲜性和确定性结果检查. 没有证明LLM编写的摘要是语义正确的. 这需要单独的评估,对具有影响力的个人事实进行人为评估,或者对特定任务进行确定性比较. 对于Sidewisp的健康界限 这项审计符合Sidewisp的记忆和语境健康模型:缺失读写,失败的持久性,过时的同步,意想不到的重置和丢失的决策应该是可见的,而不是从绿色过程中推断的. Sidewisp 目前处于私密预览阶段。 它的公共网站和文章系统是活跃的,而生产代理健康收集,运行时间适配器和恢复执行通常不出货. 上面的凭证是您现在可以实现的操作模式;它不是声称Sidewisp目前监控MemoryOS. 解决的规则是严格的,但可使用的:只有当相同的范围版本耐久地存储,推广,检索,使用和验证时,才能信任内存系统. 一个流动的回答可以鼓舞人心. 它不能取代缺失的凭证.