القائمة
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.