用途：在涉及规格文件（.spec.md、SPEC.md、spec/.md）、设计模块测试用例或测试策略、编写或评审单元/集成/e2e 测试、/specout 完成后、规划 CI 测试通道时启用。默认行为是分析代码并产出测试策略、测试矩阵与实施计划；除非用户明确要求维护规格，否则不编辑规格文件；与系统或项目规则冲突时以系统/项目规则为准。
主要能力：按三层组织测试。单元测试验证单个函数与不变量，采用数据驱动参数化表覆盖正常路径、边界、错误与边缘情况，并用基于属性的测试验证幂等性、排序稳定性、序列化往返等不变量，用例从模块公开 API 的输入类型与约束、输出形状、错误模式、不变量推导。集成/契约测试验证组件与外部服务交互，覆盖 API 请求响应形状、状态码、内容类型、分页、错误码与错误形状、限流与重试、令牌校验与角色访问及租户隔离、最终一致性（有界时间内轮询而非 sleep），并尽量复用认证状态。e2e 测试验证真实用户工作流，不使用 mock，只覆盖正常路径，要求快速、容忍既有状态、可重复运行、面向真实数据流。
硬性规则：不得编造签名、源码位置或行号；不得伪造 fixture，测试数据须来自仓库真实 schema、类型或种子数据；不得在产品代码中加入测试专用分支、导出或后门；e2e 不得依赖干净环境；不得为让测试通过而弱化断言或硬编码与断言匹配的值。
执行指导：e2e 前做预检（健康端点、依赖服务、测试凭据、遗留状态）；使用带种子的随机数据与工厂函数；异步采用有界超时与退避轮询，禁止固定 sleep；flake 处理允许单次基础设施重试，二次失败即非 flake，并收集截图、网络日志、服务健康与时间戳等诊断，先分类再修复。
输出格式：使用 markdown，包含测试策略、测试矩阵（用例 ID 采用 {CATEGORY}-{NN}，如 HP、BV、ERR、EDGE，只追加不重编号）与实施计划（含运行命令）。CI 建议分快速 PR 冒烟通道（单元+lint+类型检查+关键契约集成，目标 5 分钟内）与夜间全量通道（全量单元、集成、e2e，更高迭代次数的属性测试，幂等性验证与 flake 检测）。
限制：资料未提供具体安装命令、收费方式、支持语言或平台信息。