SuperAPI AI 工具集

mutation-adequacy

通用与其它

查看项目

更新于 10-16 00:02

技能介绍

用途:mutation-adequacy 是放宽版验证组合(验证阶梯第 3 切片 R5)的充分性兜底。当规划器采用更省成本的测试策略(严格类型 + 内联不变量 + 一个 PBT + 一个验收测试)时,它作为机器护栏防止空泛测试与空泛 PBT 属性混入,衡量测试套件是否真能杀死注入的变异体。

适用范围:仅在 HIGH 风险层级、且仅在 /review 边界生效,是委派期 check_test_adequacy(R3)门禁的审查阶段对应物。该维度在 review-contract.ts 中作为必需 D1 审查维度注册(adaptLadderGate(MUTATION_GATE_NAME, 'D1', handleMutationAdequacy));所属层级由策略数据决定,本技能不决定层级归属。中/低层级或 /review 之外的路径不启用。

主要能力:按 diff 范围运行变异门禁(Stryker --since、cargo-mutants --in-diff、mutmut 路径限制,由 toolchains SoT 解析,不手工拼接),数分钟内完成。结果载体字段包括 passed、mutationScore(killed / (total − noCoverage),Stryker 约定)、killed、survived、noCoverage、total、threshold、report 及 next_actions。降级信号(skipped、warning、deferred scope:'full')均 return passed: true,不得当作硬失败。

两个正交轴:评分轴默认 advisory,低于阈值只产生存活变异体跟进项并告警,不阻断,除非 review.gates['mutation-adequacy'] 显式提高严重级别;100% 非必需(存在等价变异体)。NoCoverage 轴独立,在 review.mutationEnforcement: block 下由 workflow/guards.ts Check 4b 阻断 review → synthesize 转换(预算默认 0),该模式为 opt-in,默认 advisory;CI 侧按 PR 事件在 observe 模式运行,日志记录并始终退出 0,并非合并阻断器。

使用方式:调用 exarchos:exarchos_orchestrate({ action: "mutation-adequacy", featureId, base, worktreePath?, operationId? })(scope 默认 diff,勿传 full);动作自动发出 mutation.executing_started / mutation.executed 与 gate.executed,勿手工发出。随后按需调用 exarchos:exarchos_workflow 的 update 动作,以 kebab-case 维度名写入状态与 issues(category: "test-quality",引用 <file>:<line>)。

限制:全树变异为 R10/v2.12 的长时任务,此处 deferred;CI 门禁非合并阻断;维度必填,无论严重级别解析为何,每次都须运行并记录。具体阈值、配置项默认值随项目配置解析,资料未给出具体默认阈值数值。