用途：verify-fix 用于在用户明确请求验证安全修复时，判断每个给定的安全发现是否已在当前代码检出中被修复。只有直接调用 $verify-fix 或明确要求验证修复时才应使用；请求实现修复或运行其测试本身不构成调用理由。
主要能力：以独立、仅验证模式运行，不创建、修改或删除仓库文件，不打补丁、不提交、不写产物、不改动问题跟踪器。评估时依据 ../../references/static-finding-assessment.md 识别原始攻击者可控来源、安全控制、敏感汇聚点、可达路径、信任边界、反证与证明缺口；若调用方已在提示中提供该参考内容，则直接使用，不再读取。
验证流程：先确定原始漏洞、前置条件、受影响安全边界及必须继续正常工作的合法行为；确认当前检出仍包含受影响组件，并跟踪被移动或重构的代码，不能把文件缺失、行删除或函数改名当作修复证据；沿当前实现追踪原始利用路径，检查最近的相关控制、等价路径与可能的绕过；仅在无需修改仓库时可运行原始复现、聚焦回归或合法行为检查，无法运行时保留精确静态证据。按请求顺序为每个发现返回一条结果。已关闭工单、无关测试通过、新扫描未发现该问题，均不足以作为证明。
结果契约：返回一个 JSON 对象，含 results 数组，每项有 id、status（fixed|still_vulnerable|inconclusive）和 evidence。仅当证据证明原始安全边界已关闭且合法行为完好时用 fixed；仅当证据证明原始脆弱路径仍可达时用 still_vulnerable；仓库不匹配、缺少原始上下文、相关检查不可用、合法控制未证明或其他重大证明缺口时用 inconclusive。不得通过放宽只读边界、替换其他漏洞或隐藏缺失证据来推断更强结论。
限制：仅用于验证，不执行修复；不修改任何仓库或跟踪器；证据不足时必须如实标记 inconclusive。