论文识别出“例外链坍缩”失败模式：模型在“A要求，除非B适用，除非C覆盖B”等嵌套规则中错误判定资格。研究还发现，同一模型别名和提示下，失败表现会在无版本更新时悄然变化，并提出由大模型编写规则、SMT层确定性执行的Aethis Eligibility Module。
最近 24 小时暂无可用热度快照。