智能体基础设施验证套件中的判别式夹具覆盖

论文将突变分析应用于多会话智能体状态投影层的不变式套件，发现常规验证会认证一个让移除事件身份去重的一阶突变体存活的套件。冻结修复后的十二项检查套件并对抗读者指定的十个突变体运行，杀死五个；五个存活者分为从未激活与内部状态损坏两种模式。作者枚举七个判别维度，按未覆盖维度各添加一个夹具并复用现有 oracle，五个存活者全部死亡，公开含冻结哈希与运行日志的 artifact。