用途：判断给定的每个安全发现是否已在当前检出中修复，采用独立、仅验证模式，不创建、修改或删除仓库文件，不应用补丁、不提交、不写产物、不改 issue 跟踪器。
方法：依据静态发现评估参考，识别原始攻击者可控来源、安全控制、敏感汇聚点、可达路径、信任边界、反证与证据缺口；若调用方已在提示中提供该参考内容，则直接使用而不再读取。
流程：先确立原始漏洞、前置条件、受影响安全边界及必须保留的正常行为；确认当前检出仍含受影响组件，追查被移动或重构的代码，不能把文件缺失、行删除或函数改名当作修复证据；沿当前实现追踪原利用路径，检查最近的相关控制、等价路径和可能绕过；仅在能不改动仓库的前提下运行原始复现、针对性回归或正常行为检查，无法运行时保留精确静态证据；按给定顺序为每个发现返回一条结果。已关闭的工单、无关的通过测试、新扫描未报出都不足以作为修复证据。
输出契约：返回一个 JSON 对象，含 results 数组，每项有 id、status、evidence。status 取值 fixed、still_vulnerable、inconclusive。仅当证据证明原安全边界已封闭且正常行为完好时用 fixed；仅当证据证明原脆弱路径仍可达时用 still_vulnerable；仓库不匹配、缺少原始上下文、相关检查不可用、正常控制未被证明或其他重大证据缺口时用 inconclusive。不得削弱只读边界、替换其他漏洞或隐瞒缺失证据来推断更强结论。
限制：运行环境与可用检查未提供；分类依据其用于验证安全修复，归入安全与审计。