adjudicate-regression

裁定证据

适用时机

输入：候选项、冻结的来源、可用的复现／回放包和注册表分配。使用与复现者和回放者不同的新上下文。早期排除项可能没有实验。 在处理目标之前，请遵循项目指南。

不适用时机

生成缺失的证据；请将证据缺口交还给调用方。

作出决定

1. 阅读标准、 标签和 文件约定。验证封存标记。检查来源、 设置、PoC、实际日志和安全假设，而不只是摘要。
2. 找出所声称的缺陷，并评估该变更是否引入了它。根据引用的证据，排除 不完整修复、潜在／既有缺陷、有意为之的变更、不受支持的预期 以及无法触达的场景。对于安全发现，确认攻击者的访问权限和适用的防护措施。
3. 只有在复现和独立回放使用相同的 PoC／输入，通过真实接口分别针对运行中的 S0／S1 执行， 并显示变更前行为正确、变更后行为失败时，才予以确认。说明有证据支持的行为、可触达性和补丁因果关系。 说明严重性／可能性的判定理由。
4. 否则，选择有证据支持的排除项或 UNRESOLVED；说明哪些内容仍未得到证明。对于 UNRESOLVED，将标准中用于区分已观察到的缺口、 合理解释和解决所需检查的简洁段落写入 reason，以便报告保留该内容。 不完整修复和既有缺陷不计入回归总数。 声称问题为新发现前，先检查已知发现／问题／PR；若无法检查，则报告未知。
5. 对于去重请求，确认提供的候选项是否具有相同的根本原因。保留变更映射；绝不要将未解决的声称去重为已确认项。
6. 编写并封存 decision.json；每个结论都要引用证据。 记录任何阻碍裁定的问题。

返回报告

将详细推理保留在封存包中。仅返回：

• 状态：complete 或 blocked，与记录一致。
• 记录：已封存的 decision.json 路径，或说明未生成该文件的原因。
• 结果：结论及一句话理由。
• 缺口：缺失的证据或调用方需采取的操作（如有）。

已完成的裁定可以是 UNRESOLVED；任务状态与发现结论并不相同。

应驳回的合理化说法

• “S0 通过而 S1 失败”：暴露既有缺陷属于潜在缺陷。