用途：为指定的行为编写或加强测试。若任务只是运行已知测试套件，可直接使用现有测试，本技能不是必需的包装。测试有用的标准是能区分“可接受结果”与“可信失败”，而不仅是执行了实现；绿测只是调用方决策的证据，不是测试作者的合并批准。
模式：generate 用于为已有行为补测试；coverage 用于查找或填补覆盖缺口，给出前后覆盖、有价值测试与残余风险；tdd 用于先写测试开发新行为，经历真实的 RED、实现、green 与重构；strategy 仅做测试设计，输出按优先级排列的风险与建议检查。默认 generate；模式和范围是技能提示选择，不是自创 CLI 标志；覆盖阈值来自调用方或仓库。
关键约束：断言承诺的效果，检查状态变化、存储记录、出站调用或计数，并给出精确期望值；仅凭状态码、返回对象或不抛异常不足以证明行为。回归测试在缺陷代码上失败前不能算证明，须展示其在前置修复代码上失败（见变异杀死证明），否则证明记为 not shown。用例应源自可接受的可见行为，优先复用对话、bead、规格或既有契约中的例子；保留既有领域名称。使用仓库的框架和真实检查配方，避免意外的时间、顺序与共享状态依赖。既有正确行为上的绿测是合法的，不得伪造 RED 或修改验收以掩盖产品缺陷。
预言强度层级：优先精确可观测值或错误；当不变量更能表达契约时使用属性或不变量；差分一致需要独立可信参照；冒烟检查只能证明它观察到的东西。
变异杀死证明：确认重要的新行为检查能捕获其声称防御的缺陷，真实的前置修复 RED 或复现通常足够；修复后补写的回归测试需在隔离副本上对修复前版本运行，或使用安全定向负对照。
工作流：读取已接受示例与相关公共接口；找到所属套件与窄基线；写最小的、通过稳定接口观察承诺结果的测试；tdd 模式下先运行并要求出现预期的缺失行为失败，再实现并在绿测下重构；编辑时运行聚焦检查，交接前运行相关集成配方；与原始已接受示例比较。
输出规范：测试放在仓库语言原生位置，事实与限制写入现有交接，包括 tests（文件::名称 -> 断言的行为与精确值）、proof（每个重要新测试如何证明在缺陷上失败：pre-fix RED | reverted-fix run | negative control | not shown）、commands（精确命令 -> 结果）、harness（运行器完成情况、运行数量、跳过或排除）、defects（发现的缺陷与复现器，或 none）、unchecked（无测试覆盖的重要行为）。仅在请求或声明的消费者要求时才持久化覆盖报告，无自动 .agents/ 输出。
限制：资料未提供具体框架、语言或安装命令，需按目标仓库既有约定执行。