用途：确认某次安全修复是否真正解决了上报的漏洞。它重新执行最初发现该问题的检测方式——扫描器规则或 Claude 代码分析——并输出明确结论：FIXED 或 STILL VULNERABLE，附带说明，同时更新 .appsec/findings.json 中的发现记录。
主要能力：支持按发现 ID、状态（fix-applied 且未验证）、范围或全部待处理项来定位需要验证的发现。--depth 提供 quick、standard、deep、expert 四档；--severity 过滤严重级别；--format 默认 text，可设 json。验证时加载原始漏洞详情、修复 diff 和当前代码，判断原检测方（scanner.name 或 Claude 分析）后重跑：扫描器不再报告即 FIXED，仍报告即 STILL VULNERABLE；若无扫描器则重新分析代码，检查漏洞模式是否仍存在、修复是否完整。deep 及以上会检查绕过路径，如替代代码路径、编码绕过、类型混淆、竞态与局部修复。
输出与记录：FIXED 时状态置为 verified-fixed，记录 verified_at 与 verification.method，并复制到 .appsec/fixed-history.json 供回归跟踪；STILL VULNERABLE 时置为 fix-failed，保留原发现以便重跑 /appsec:fix。最后输出汇总表。验证期间新发现的问题使用 VER 前缀；若扫描器版本或配置自原检测后有变，会提示重新验证。
适用场景：安全修复后的复查、漏洞修复验收与回归前确认。
限制：Claude 分析验证默认为中等可信度；验证以原始漏洞模式是否解决为准，不因同文件无关问题判失败；若仅移动而非消除漏洞代码，仍标记为 STILL VULNERABLE。其他平台、价格与安装方式暂未提供。