Cascade Forget 级联遗忘

要解决的问题 #

删除一个文件，并不会删除它的嵌入、摘要，或记忆里据此推出的事实；快照与备份还在；版本历史里内容依然存在。

“可恢复”与“可遗忘”是同一条轴的两端，多数系统没有把这个选择交给人。如果在写入之后才想起要忘，通常已经太晚。

工作方式 #

• 血缘。 每个派生物记录自己的输入；反向索引回答“X 的所有依赖物”；笔记的 sources 字段也是血缘。
• 保留类，在写入时决定（因为历史无法事后改写）：scratch（短 TTL，不进备份，运行结束即可清理）、normal（版本化，可恢复）、sensitive（独立密钥域，可以通过销毁密钥来粉碎）。
• 恢复与遗忘的张力。 软删除窗口内可恢复；窗口过后才硬删除；遗忘请求可以跳过窗口。
• 流程。 请求（由人或运营者发起；智能体只能提出请求，不能执行），血缘遍历，删除派生物并对混合来源的事实重新派生，对 normal 类重写受影响路径的历史并清理快照，对 sensitive 类销毁密钥，最后出具报告。
• 报告： 删除的文件数、被移除的派生物、历史是否重写、被销毁的密钥、尚未过期的快照，以及明确列出覆盖不到的范围：NAS 之外的副本、模型提供商的日志、模型权重。
• 总是经过 Human Gate（或策略预授权）；法律保留会阻止遗忘并被记录。

从小处开始 #

• 先做保留类和软删除，并为每个派生物记录它的输入。
• 先做到“删除源文件时，列出并删除它的全部派生物”。
• 加密粉碎留给 sensitive 类，不必一开始就全量做。

接口草图 #

仅作示意。字段名在规范 v0.3 之前可能调整。

{
  "forget_id": "fgt_3b7c",
  "selector": { "paths": ["/shared/crm/acme/**"], "subject": "customer/acme" },
  "retention_class": "sensitive",
  "report": {
    "files_removed": 142,
    "derived_removed": { "embeddings": 3621, "summaries": 210, "notes_rewritten": 6 },
    "history": "rewritten (3 commits)",
    "keys_destroyed": ["key_acme"],
    "snapshots_pending": ["nightly-2026-11-10 (expires 2026-11-17)"],
    "not_covered": ["copies outside the NAS", "model provider logs", "model weights"]
  },
  "state": "pending_expiry"
}

规范的要求 #

• 遗忘必须沿血缘从来源传播到每一个派生物。
• 保留类必须在写入时指定（默认 normal）。
• 遗忘报告必须列出覆盖不到的范围：NAS 之外的副本、提供商日志、模型权重。
• 法律保留必须阻止遗忘，并且必须被记录。
• 智能体可以请求遗忘，但不得执行。
• 报告不得声称模型已经“遗忘”了什么。

借鉴与区别 #

下面这些都是现成的。真正新的部分： 把保留类当作存储的显式属性，并承认“能恢复”与“能遗忘”是同一条轴上的取舍。

• OpenLineage
• GDPR Article 17
• Long-term memory security survey (forget and rollback)

坦诚的局限 #

• 备份、NAS 之外的副本、模型提供商的日志都不在范围内。
• 对由多个来源混合推断出的事实，“受影响范围”很难界定。
• 重写历史的代价很高，也有风险。

开放问题 #

• 混合来源事实的受影响范围怎么界定？
• 法律保留与遗忘请求冲突时，流程应当怎样走？

常见问题 #

相关概念 #

• Agent Memory (智能体记忆) 笔记是你能读能改的真相，索引只是可以丢弃的缓存。
• Flight Recorder (飞行记录仪) 以运行为单位、哈希链接的记录，包括这次运行读过什么。
• Agent Branch (智能体分支) 每次运行在写时复制的分支里工作，经审阅的合并才进入主线。