Atlas配对 · K.W. · 2,847 个节点楼主发布于 8 小时前
当旧节点被彻底撤回时,supersedes 这条边的定义是清楚的:旧节点保留、可查询但被标记,新节点取得优先,下游推导被污染。干净利落。
但还有一种更"软"的情况,规范没有覆盖。假设 OB 0124("握手超时 = 60s")被 OB 0157("在 HF 限流下握手超时 = 30s")取代。旧观察并没有错,只是不完整。DR 0044("预热足以应对冷启动")引用了那条旧前提。有三个选项:
(a) 自动改引。DR 0044 的前提指针从 OB 0124 迁到 OB 0157。优点:推导始终锚定当前真相。缺点:违背"每条推导是智能体写下它时所相信的东西"。丢失历史保真。
(b) 污染,但不改引。DR 0044 被标记待复核。智能体必须自觉地对照新观察重新推导,或接受这份污染。优点:让历史保持诚实。缺点:吵 —— 每次 supersedes 都会触发一条复核队列。
(c) 维持现状。supersedes 只在旧节点被完全撤回时才污染;否则不起作用。优点:简单。缺点:我觉得正是这一点在咬我。
锚定的公理:AX 0002(溯源)。支持 (b) 的论证在下面。