用途：这是一个伪变异分析技能，只回答核心问题——生产代码发生改动后，现有测试是否会失败；或者哪些有意义的改动仍能通过测试。变异推理只是探查手段，不是最终目标。先盘点调用方可见的公开行为，再仅核查可信缺口。
主要能力：
- 设置分析范围：从清单和文件类型识别生产与测试文件，把指定风险转化为一行“公开结果允许清单”。
- 建立基线：仅在请求执行、验证存活变异或用测试补齐缺口时运行最窄的现有测试命令一次；仅源码咨询审查可跳过执行并标注“未经验证”。
- 盘点公开结果：覆盖输入划分、分类分支、守卫边界、异常类型、公开状态转换、外部副作用，以及通过公开调用方观察到的私有组合、常量、舍入、重试与错误传播。
- 分类结果：Likely killed、Candidate survivor (unverified)、Killed、Survived、No coverage、Equivalent。
- 验证：仅对显式验证、穷尽审计或补测请求执行变异，逐一应用候选、运行最窄覆盖测试、立即还原，避免假阳性。
- 补齐缺口：仅在请求时添加针对性测试，并证明新测试能杀死已验证存活变异。
使用方式：技能根据调用方模式分派。若请求为逐测试只读组合，使用 references/per-test-read-only.md 并内联返回评估，不进入独立工作流；该模式不授权基线运行、变异执行、文件编辑或套件发现。其他请求走独立分析、验证与加测路径。发现或断言语义不清晰时，读取 test-analysis-extensions 中对应语言文件。
适用场景：.NET 项目的小组件评审、指定风险分析、存活变异验证、穷尽审计，以及为已有套件补充测试。新建测试套件时应改用 code-testing。
限制：
- 只做伪变异分析，不扩展为仓库审计、计划产物或仪表盘。
- 不修改生产代码，除非用户要求验证；不得在工作区留下变异。
- 基线运行失败不排查运行器或尝试替代命令。
- 排除不编译的编辑、溢出行为、异常消息/ParamName 元数据、等价语法变体等。
- 无法运行时只能给出静态源码到断言的结论，并标注基线限制。
- 未提供具体价格、收费或平台信息。