用途:该技能用于验证“修复提交”是否确实解决了审计发现的问题,且未引入新缺陷或安全漏洞。适用于审查针对安全审计发现的提交、验证修复不引入新漏洞、确认代码变更正确解决问题、判断整改是否完整正确等场景。
主要能力:分析声称修复审计发现的提交;对照原始审计发现核验问题是否被解决;检查是否引入回归;确认修复是否针对根因而非仅消除表象;检查潜在副作用或新问题;验证测试是否覆盖被修复场景;在同一根因的可达相关路径中继续搜索,并记录已覆盖与仍未被验证的部分。
使用方式:围绕修复提交开展审查,将其与原始审计发现逐项比对,确认测试确实运行且覆盖修复场景。证据记录要求把审查绑定到确切的完整 head SHA、原始发现与受影响范围,记录修复前的触发条件、修复后的行为、实际运行的测试、未解决的变体与限制。无法运行的测试应标记为未验证,而不能视为通过。该说明本身不构成仓库 Tessl 或维护者合并门禁的满足条件。
限制:仅在任务明确符合上述范围时使用;输出不能替代针对具体环境的验证、测试或专家评审;若缺少必要输入、权限、安全边界或成功标准,应停止并请求澄清。其他细节暂未提供。