排障Agent容易重新提议一个已经否决的方案。只把失败原因塞进摘要未必够，因为它还可能保留该方案下面的一串动作，看起来像仍可执行的待办。

一个假设失效时，应沿依赖关系撤销后续动作；失败证据本身则要保留。删除整个分支会让Agent失去“为什么不能再试”的解释，完全不撤销又会留下过期行动。

撤销权威，保留历史

下面用树表示“目标→假设→动作→观测”。从指定节点迭代遍历所有后代，不限于直接孩子，并用visited集合避免意外重复边造成无限循环。模型不负责决定状态写入；调用者确认假设已被证伪后，才触发撤销。

from dataclasses import dataclass, field @dataclass class Node: text: str children: list = field(default_factory=list) active: bool = True reason: str = '' def invalidate(nodes, start, reason): if start not in nodes: raise KeyError(start) stack, visited = [start], set() while stack: key = stack.pop() if key in visited: continue visited.add(key) node = nodes[key] node.active = False node.reason = reason if key == start else 'ancestor invalidated' stack.extend(node.children) return visited nodes = {'goal': Node('recover', ['A', 'B']), 'A': Node('bad hypothesis', ['A1']), 'A1': Node('action', ['A1a']), 'A1a': Node('observation'), 'B': Node('alternative')} changed = invalidate(nodes, 'A', 'evidence contradicts hypothesis') assert changed == {'A', 'A1', 'A1a'} assert nodes['goal'].active and nodes['B'].active assert 'A' in nodes and nodes['A'].reason print('all descendants revoked; alternative and failure evidence retained: PASS')

树是起点，真实依赖可能是图

如果两个方案共享一份观测，不能因为一个方案失效就宣布观测为假。应把“观测真实性”与“行动是否仍被该假设授权”分开。这里的树只适合明确的单父依赖，跨分支共享工件需要额外记录边的类型。

长任务Agent的工程文章讨论了跨会话留下可接续工件的重要性。本文把这个思路收窄到失败路径的状态，不把2025年的文章当成当月新发布。

IBM 10月20日的记忆研究还提醒我们，失败经验怎样被压成指引本身就是实验条件。把一条失败提炼成“永远不要做X”可能过度泛化；记录适用环境和反证比写一句禁令更稳妥。

这个例子已在本地验证孙辈节点也被撤销、另一分支保留和失败证据不被删除，没有开展模型排障或生产故障实验。