用途：当常规断言因精确预期输出不可得、计算成本过高或过于脆弱而失效时，用本技能设计蜕变测试。核心是测试多次执行之间的关系：对输入做受控变换后，输出必须相应地变换、保持稳定或保留某属性。不变量被视为“变换后必须存活”的契约。
主要能力：选择能编码真实契约的关系，常见关系族包括不变性、等价性、往返/逆向、单调性、分解与聚合、幂等性、交换律/结合律、缩放或平移、以及不同实现或模式之间的差分关系。设计生成器时明确种子来源、变换、守卫条件、可观测属性和收缩策略，生成成对或分组用例而非孤立输入。测试结构为源执行、变换后执行、关系断言，将关系逻辑与输入生成分离以便确定性重放。失败时按守卫失败、生成器失败、观测失败、容差失败、关系失败、产品失败顺序分流。输出包含风险陈述、关系矩阵、生成器计划、测试框架说明与失败分流规则。
使用方式与限制：先收集被测行为、输入域、前置条件、种子样例与所需证据风险；若局部存在精确预期值，仅作校准检查而不让整体计划依赖它。应拒绝依赖未文档化行为、隐藏已知有损步骤或仅因生成器回避困难用例才通过的关系。优良的蜕变测试应因有意义契约违反而失败，而非表征差异，并记录足够元数据以复现失败关系。