用途：实现或改进 Antithesis 工作负载。成功标准是把 antithesis-research 技能产出的属性映射为具体断言，在 antithesis/test/ 下建立测试命令，替换一个线性执行（时间线）中 SUT 与工作负载的行为，并在分诊后把发现转化为工作负载或属性更新。
主要能力：检测属性实现状态（已实现、部分实现、未实现），一次推荐一个属性并说明理由；编写断言、测试命令与配套代码；按值菜单选择边界值与配置上限族；对已有工作负载做分诊后迭代。
关键概念：SUT 为被测系统；测试模板位于 /opt/antithesis/test/v1/{name}/；测试命令前缀限于 parallel_driver_、singleton_driver_、serial_driver_、first_、eventually_、finally_、anytime_；断言类型含 Always/AlwaysOrUnreachable（安全与正确性）、Sometimes(cond)（活性或应至少出现一次的状态）、Reachable/Unreachable（路径与结果）。
使用方式：前置为 scratchbook（通常在 antithesis/scratchbook/）、docker-compose.yaml 与 snouty 均已就绪，否则不要继续。先用 antithesis-research 建立属性目录，用 antithesis-setup 搭建基础设施，用 antithesis-triage 复查运行结果，提交或启动运行请使用 antithesis-launch。实现流程为：读取 references 中的组件实现、断言、测试命令、有趣值等文档，识别值菜单，再实现断言与命令。
限制：保持 Antithesis 专用代码在生产路径之外；工作负载需容错，遇瞬时错误继续推进；断言属性名须为内联常量字符串且全局唯一；量测边界输入应来自属性专属值菜单；测试命令用项目语言而非 Bash；helper_ 前缀的文件会被忽略；不要直接运行 snouty launch。可用 snouty validate 校验 antithesis/config，需先构建最新镜像。