CIVER：用因果干预验证实现可靠代码审查

CIVER 是一个基于因果干预的代码审查框架，通过审查、干预、验证三个模块联合优化，在 SWE-Review-Bench 上正确识别出 77% 的真实缺陷。该框架生成面向修复的扰动，使真实缺陷在针对性修复下暴露、在无关改动下保持稳定，从而区分真实缺陷与误报。跨项目与下游修复评估显示，CIVER 可跨代码仓库泛化，并提升编码智能体的任务成功率。