ORION：用结构化行为预言检测 PR 回归

论文提出 ORION，一个面向 PR 级回归检测的分阶段框架：先提取 PR 意图并用 AST 影响分析定位受影响函数，再合成函数级结构化行为预言，据此生成可执行测试并在改动前后代码上差分运行，最后用确定性规则和受限 LLM 推理分类。