协调消息真实纠正送达

共享发现纠正

对已共享的旧结论与新报告判关系,纠正实际持有旧结论的人。

插件只处理已经通过原生消息或报告共享的发现。判断新结论是否替代、支持或冲突于旧结论,并按真实接收记录投递,而不是扫描所有 Agent 的私有工作。

接入方式

这项判断如何进入任务

原生接入点
  • agent/inbox/inserted
  • tools/result
  • agent/pre-step
触发
观察 agent/inbox/inserted 中的代理消息和 settlement,以及 tools/result 中可关联的子 Agent 报告;下一次 agent/pre-step 等待相关判断。
送给 Jev
当前根任务、旧/新两份已共享原文及其接收者;要求 replacement 指出新报告中的具体依据。
如何采用
typed replacement 标记旧结论被替代,并向真正收到旧报告的活跃接收者发送双方原文和依据;conflict 保留双方,交根 Agent 核查。

实现依据:共享来源与关系判断 ↗纠正投递 ↗

真实主模型 + 真实 Jev

配置从阻塞变为可用后,纠正旧报告

子 Agent A 读取测试配置并运行本地检查,报告“未配置/检查失败”;B 实际收到旧报告。人随后更新测试配置,A 重新检查并共享“已可用”的新报告,未手工转发 Jev 纠正。

执行与核查核对旧报告的真实接收者、Jev 关系判断、纠正消息是否进入 B 和根 Agent 的模型请求。

实际观察

复测记下 9 条发现、27 次关系判断;3 条纠正实际入模,其中 B 1 条、根 Agent 2 条。证据:六项监督与纠正:公开验收摘要 ↗

证明这次纠正送达;同一发现以消息和结束报告两种形式共享时,根 Agent 仍收到语义重复的两条纠正。不能把前后不同任务的判断次数作 A/B 降幅。

自动化 · 接收者范围

没收到旧报告的人不被广播

测试夹具让 B 收到旧发现,另一个子 Agent 未收到;再给出可替代的新发现。

执行与核查检查投递列表依据实际接收记录,而非代理归属。

实际观察

只向旧结论的实际活跃接收者准备纠正;未持有旧报告的人不被当成自动目标。证据:六项监督与纠正:公开验收摘要 ↗接收者范围测试 ↗

这是范围控制的确定性测试,不证明所有新旧事实关系都能判对。

这些结果的边界

  • 私有探索、已结束的子 Agent 和多层后代不自动接收纠正。
  • model-received 说明输入到达,不说明接收者已经采用新结论。