用途：为函数、类、接口或缺陷补充单元测试或集成测试，提升覆盖率、生成回归用例或完善测试策略，基于真实代码契约而非猜测。
主要能力与流程：
- 读取真实契约：检查目标代码的类型定义、公开文档、调用方与错误处理路径，以及现有测试、fixture、测试配置、依赖清单和项目测试命令，关注输入输出、副作用、状态变化、并发语义与系统边界。区分“代码当前行为”与“产品期望行为”，契约不明确时先列证据与待确认假设。
- 选择测试层级：纯逻辑用快速确定的单元测试；在系统边界隔离时间、随机数、文件系统、网络与第三方服务，不 mock 模块内部实现；需验证真实组件协作时用集成测试，采用临时目录、测试数据库或受控服务并确保资源隔离与清理；修缺陷先写最小回归用例。只覆盖契约或可达路径中真实存在的正常、边界与失败场景。
- 设计用例：每个用例说明对应契约、缺陷或分支、输入与环境、可观察结果与必要清理，优先参数化并沿用仓库现有命名、目录、fixture 与断言风格。
- 实现最小测试：只改目标测试文件和必要的 fixture，不为通过测试随意改生产代码；跨平台使用路径 API、系统临时目录与显式编码，不硬编码分隔符、/tmp、换行、大小写、时区或 locale。
- 运行与复验：先运行新增测试确认失败信息符合预期，再按风险运行相关测试；检查 Git diff，分开记录基线已有失败与新增失败；未实际运行时只能说明“已生成、未验证”。
安全与授权边界：未明确授权不安装或升级框架，不改 lockfile、全局测试配置、CI 或生产代码；不访问真实网络、生产数据库、云服务或含真实凭据环境；测试数据不含真实个人信息、Token、Cookie、密码或客户数据；测试须可重复、不依赖执行顺序并清理临时资源。
输出格式包含目标与契约依据、测试层级与框架、新增或修改文件、用例表（场景/契约依据/预期结果）以及验证结果与未验证假设。具体支持语言、框架与安装方式暂未提供。