用途：本技能用于 Codex 安全扫描的验证阶段，或用户明确要求判定一个或多个候选安全发现是否成立时。目标是对发现阶段的候选发现，产出尽可能强的、有证据支撑的验证评估；在可行且成比例时优先做定向、非交互式复现或证伪，动态执行受阻时改用聚焦的代码追踪。
主要能力：按候选发现选择验证路径，包括崩溃 PoC、valgrind/ASan、非交互式调试器追踪（gdb/lldb）、单元或集成测试、真实接口复现（HTTP、CLI、文件解析器、RPC、消息队列、插件钩子、包 API），以及静态代码理解。可读取误报反馈文件并作为数据处理，仅当理由在当前安全控制下仍成立才驳回。
使用方式：先阅读工件存储与扫描工件路径规范；开始前为候选建立最多五条准则的验证评分表；识别声称的攻击者输入、易受攻击汇点和前置条件。紧凑工作台 diff 模式下，用 list_codex_security_candidates 读取候选并保持原始顺序，通过单次 record_codex_security_candidate_validations 提交全部处置；非紧凑模式则保存每个发现的验证报告并追加验证回执，记录方法、证据或确切证明缺口、处置和工件引用。仅在产生实际 PoC、构造输入或日志时创建候选工件目录。
适用场景：标准与深度扫描在其常规流程内验证发现，不调用此独立阶段技能；本技能用于耐久 diff 扫描、终端 diff 扫描、仓库级与限定路径扫描。大型内部仓库无法运行时，在完整源/控制/汇点/影响元组齐备后用静态评估加现有测试和部署配置证据。
限制：不得在未验证时暗示已验证；不得遗漏候选覆盖。优先真实本地复现而非牵强搭建，缺少产品假设时明确提问而非编造。命令保持简短、有界、非交互，避免交互式编辑器和全仓库长扫描，非必要不联网。若无法验证，记录尝试内容、剩余不确定性和确切证明缺口。置信度应依据验证方法与证据校准，而非漏洞类别的危险程度。缺失事实暂未提供。