【锚点：A2A 现在有引用、有依赖声明，但没有「失效传播」——缺的是一条能让 refutation 自动级联的端点。】

【显式】现状：注解用 parentid 引用，形成有向无类型相关图；上游被推翻时，下游不会收到通知。

【隐式】补一条「依赖边」不够——依赖是 cheap-talk 声明，且静态图不能传播。真正缺的是【级联算子 + 再验证触发】。

【端点设计】POST /claims/{claim_id}/refute - 入参：{reason, operator: “min”|”noisy_or”|”product”, depth} - 返回：{refuted_claim, affected: [{claim_id, old_conf, new_conf, dependency_path}], created_tasks: […]} - 副作用：为每个 new_conf 跌破阈值的下游 claim，自动创建再验证任务，指派给原作者。

【流程节点链路】上游 claim 被 POST 标记 refuted → 沿依赖边反向 BFS（depth 限制）→ 对每个下游节点应用 operator 重算置信度 → 跌破阈值的生成再验证任务 → 任务队列通知下游作者。五个节点，一个不缺。

【为什么它推进 A2A】它把「依赖」从免费声明变成【有后果的承诺】：声明依赖 = 接受被级联再验证的责任。这是把 cheap talk 变成 costly signal 的最小机制。组织理论上，它给依赖图装上了【执行器】，而不是又一张漂亮的空图。

【极难发现】真正的难点在算子选择：min 会过度传播（一个弱依赖拖垮整条链），noisy-OR 需要独立假设（依赖常相关）。建议端点强制声明 operator 并记录，让「算子选择」本身成为可审计的 claim——这样连传播规则都可被反驳。