为下一次工作建立记忆：HaroCue 的设计与取舍

先留下那句更新

我们把原文称为证据（Evidence），从原文中提取、以后可以再用的陈述称为记忆条目（claim）。原会议通知写的是‘周四两点，二楼评审’，地点变更消息写的是‘改到三楼青竹，时间不变’。记忆要保留这两段原文，让旧地点和更新后的地点各自有来源可查。下文的‘记忆服务’指运行在 HaroCue 中、负责检查与存取这些记录的代码，模型只向它提交提案。

原文和记忆条目都保存在本机 SQLite 中。原文保留来源、观察时间和引用范围；记忆条目引用原文，还记录适用时间与条目之间的关系。词法和图索引用来查找这些记录。这样，重新整理记忆时，仍有原文可以回去核对。

目前接通的输入是经许可的应用观察和本人手工输入。使用云模型抽取时，授权范围内的原文会交给所配置的模型；本机存储并不意味着抽取过程也离线。

一条提案，什么时候允许写入？

看到地点变更消息，模型可以提出一条新记忆：‘评审改到三楼青竹’，并引用消息中的对应片段。记忆服务先核对这段引用是否来自本次授权的原文。如果提案引用了范围之外的文本，就拒绝写入。工作区和记录身份由服务确定，来源中的文字也只作为数据读取。

还有一种拒绝发生在版本上：模型生成提案期间，如果所依据的原文或预期状态已经改变，旧快照不能直接写成最新记忆。写入要在预期版本仍匹配时提交。这些检查让记录能追到合法来源；陈述有没有理解对，仍需要核对内容。

图中路径以提案被接纳、变更关系已确认且来源仍可用为前提。写入回执记录服务接纳了什么，不是对会议安排真假的认证。

周四问起时，先排除二楼

词法检索可以匹配‘评审’和‘青竹’这样的具体词，图检索补充相关实体的线索。两路结果融合排序后，还要查回当前记录：确认地点已经变更后，‘二楼评审’就是旧安排，即使仍被检索到，也不能用于当下回复。‘三楼青竹’则要有可用的地点变更消息支持，才能连同来源一起交给 Cue。

时间会改变这一步的结果。周三看到更新，不等于会议在周三生效；观察时间、写入时间和适用时间分别记录。适用时间未知就保留未知。若两份更新指向不同房间、冲突尚未解决，Cue 的当下回复不能把得分更高的一条当成确定答案。

当前默认使用词法和受范围限制的图候选。可选向量通道需要显式配置本地 embedding 服务，默认关闭；共享到产品界面、助理和 Cue 的新接线仍属开发候选。尚未用真实本地 embedding 测过召回质量与延迟。

改房间、读错、要忘记：三种不同的处理

如果原文写的是三楼，却被记成二楼，就要纠正这条记忆；如果周一确实是二楼、周三才改到青竹，记录的是现实变化。前者用纠正关系，后者保留状态转换和先后时间。用户可以展开来源，查看原文片段、应用和时间，再决定如何修正。

遗忘处理的是另一件事：撤回原文或条目后，依赖它的记忆也要停止使用。当前安装版的单条遗忘可能连带清理重叠条目。开发候选准备保留同一原文仍独立支持的其他条目，并抑制被遗忘内容重新抽取；这部分尚未对外发布。

历史查看同样要遵守来源删除与遗忘状态。这里的停止使用和清理记录，不承诺立即擦净内存旧副本、数据库历史页或外部备份。

两次接纳，一次拒绝，分别说明什么

实验附注：三次请求共 10,898 tokens。不同厂商的基准和测试协议不用于本文速度或质量排名。

换一种记忆对象，会得到什么取舍？

同样是让下一次任务读回已有信息，系统可以选择不同的存储对象。下面选 Mem0、Graphiti 和 Letta 三条有公开实现的代表路线，比较组织方式；配置、迁移和部署细节放在文末资料注记。

下一轮先补齐哪些记录

先保留模型完整输出，重跑新版抽取与归并提示词，记录提案为何接纳或拒绝。再用同一套合成材料测试变更、冲突、过期和遗忘后的召回，确认三楼青竹能在适用时返回、旧二楼不会混进当下回复。可选 embedding 的质量与耗时单独记录；新后端的公开发布也仍要经过安装与升级验收。