メニュー
Classify surviving mutants as trivial or material after deterministic mutation measurement.
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
Orchestration skill: chains the full ADLC Build Loop. PRD → Brief → Council → Scaffold → Codegen → LDD → TDD → Council → PR. Use when implementing a new feature end-to-end.
Generate a bounded, schema-valid goal prompt from one validated Build Brief task for zero-context external execution.
Applicability-aware Definition of Done checklist. Core checks apply to every task; overlay checks activate only when the applicability manifest says the surface exists. Binary verification — pass or fail. Triggers at Phase 4 completion and Phase 5 entry.
Score whether each task is specific enough for autonomous, one-shot, production-ready execution.
Reviews code changes for understanding, blast radius, state, secrets, assumptions, and explainability. Produces a blocking comprehension artifact when implications are unclear.
Resolve ambiguous triage outcomes in the middle confidence band.
| name | mutant-materiality-judge |
| description | Classify surviving mutants as trivial or material after deterministic mutation measurement. |
| contract_version | 1.0.0 |
| side_effect_profile | read_only |
| activation | {"mode":"judgement","consumes_manifest":true,"model_class":"deep_judge","cost_guard":{"max_tokens_per_call":1400,"expected_calls_per_run":3}} |
Run this only when mutation tooling reports surviving mutants.
{
"batch": [
{
"mutant_id": "M-12",
"classification": "material",
"rationale": "The mutant changes duplicate-invoice behavior without any test failing."
}
]
}
material means the mutant could hide a real regression or missing assertion.trivial means the survivor is noise: equivalent behavior, logging-only drift, or unreachable semantics that the verifier contract intentionally ignores.weak, regardless of aggregate kill rate.