用途:该技能主张测试是负债而非资产,只有能捕获真实缺陷的测试才值得保留。它用于审查遗留测试套件、排查 CI 缓慢、重构后清理冗余测试、PR 审查中识别断言类型系统已保证的结构、以及处理变异测试报告。
主要能力:提出四条准则——测试存在是为捕获真实缺陷;测试价值在边界(协议合规、错误语义、安全不变量、真实 I/O 集成);不测试配置形状、构造器输出字段或结构体组装;不测试函数原样返回输入。区分静态语言(Rust/TypeScript-strict/Kotlin/Java/C++/OCaml)与动态语言(Python/JavaScript/Ruby):前者结构断言冗余可删,后者边界形状测试应保留。提供决策表、工作流、验证门、退出码(0 安全删除、11 未检测到框架、12 缺陷表述失败、13 静态保证不明、14 测试捕获注入缺陷、15 删除后套件回归)及宪法规则。
使用方式:识别候选测试,用一句话说明其捕获的缺陷;检查语言静态保证;检查边界契约;注入缺陷验证测试是否仍通过;在提交信息中记录删除理由;确保删除为原子提交且套件仍通过。
适用场景:遗留套件审查、重构后清理、PR 审查、变异测试报告分析。
限制:不适用于独立删除测试的 PR、未确认安全的行为变更 PR、活跃迁移中的代码路径、无法说明失败模式的测试。与 system-prompt-baseline.md 冲突时以后者为准。具体命令与代码示例资料未提供。