记忆撤销、派生清理与防复活

实现与取舍

代码示例

旧 checkpoint 遇到撤销版本时拒绝恢复原文

Python 标准库可运行。演示逻辑拒绝，不演示物理删除、索引清理或跨系统发送协调；生产仍需处理校验与调用的竞态。

import sqlite3
c = sqlite3.connect(':memory:')
c.executescript("CREATE TABLE scopes(id TEXT PRIMARY KEY, epoch INTEGER); CREATE TABLE memory(id TEXT PRIMARY KEY, scope TEXT, body TEXT, deleted INTEGER); INSERT INTO scopes VALUES('u1',1); INSERT INTO memory VALUES('m1','u1','prefer email summaries',0);")
checkpoint = {'scope':'u1', 'epoch':1, 'memory_id':'m1'}
with c:
    c.execute("UPDATE memory SET deleted=1 WHERE id='m1'")
    c.execute("UPDATE scopes SET epoch=epoch+1 WHERE id='u1'")
def restore(cp):
    epoch = c.execute('SELECT epoch FROM scopes WHERE id=?',(cp['scope'],)).fetchone()[0]
    if epoch != cp['epoch']: return 'rebuild context'
    row = c.execute('SELECT body FROM memory WHERE id=? AND scope=? AND deleted=0',(cp['memory_id'],cp['scope'])).fetchone()
    return row[0] if row else 'rebuild context'
print(restore(checkpoint))

预期输出

rebuild context

工程推演

场景

假设工程场景：用户撤销“发送邮件摘要”偏好，一个旧任务随后恢复。

设计决策

提升用户记忆 epoch，恢复时重新召回，禁止旧后台提取任务写入已撤销版本。

验证目标

验收目标是恢复后的规划不再以旧偏好作为邮件发送依据。

适用边界

已经发出的邮件无法撤回；历史副本的物理清理要单独追踪。

易错点

• 只删除向量，不删除或阻断摘要来源
• 恢复旧 checkpoint 时直接信任其中的原文
• 后台提取没有版本检查，删除后重新写回
• 把“停止使用”宣称为“所有备份已物理删除”

参考资料

依据公开技术资料设计；参考资料支持技术机制，场景与评分标准为本站设计，不代表某公司面试原题。 新增问答与迁移案例用于原理讲解，来源核查与案例运行验证分别记录。

• LangGraph：Stores 与 namespace 前缀匹配
• LangGraph：Checkpointers 与历史回放
• OWASP：RAG Security Cheat Sheet

检查自己理解到哪一步

读完后可以对照这些标准解释原理、边界和取舍。掌握程度由你自评；需要进一步验证时，再完成下方小任务。

基础达标

理解删除主记录不等于清理所有派生副本。

中高级信号

恢复时检查墓碑、版本和引用有效性。

资深信号

设计摘要重建、缓存索引失效与旧备份恢复不复活的验证。