---

title: Reporter must compute the mutation score as killed plus timeout over killed, timeout, survived and no coverage. status: open text_ref: readme:README.md#L85 tags:

• strict-modeling
• confidence:0.90
• confidence-band:high
• provenance:readme-readme-md-l85
• lane:strict

semantic_text: Reporter must compute the mutation score as killed plus timeout over killed, timeout, survived and no coverage. logic_claims:

• CLAIM-749433B555707ACE

semantic_clauses:

• Reporter must compute the mutation score as killed plus timeout over killed, timeout, survived and no coverage.

semantic_inventory_version: kibi.semantic-inventory.v1 semantic_source_field: semantic_text semantic_source_hash: 76ded02f5c354e93c36d45f32a9ebfe359445649caefc61bf6744cc0b0d36dfb semantic_inventory:

• claim_key: CLAIM-749433B555707ACE claim_text: Reporter must compute the mutation score as killed plus timeout over killed, timeout, survived and no coverage role: normative status: modeled span: start: 0 end: 110 origin: kind: import ref: readme:README.md#L85 recorded_at: '2026-10-29T16:05:39.570Z' firmness: firm required_evidence: asserted id: REQ-AUTO-AEACADEB6A56DDD2 type: req --- Reporter must compute the mutation score as killed plus timeout over killed, timeout, survived and no coverage.

Source

The mutation score is the share of mutants detected, counting killed and timeout, out of killed, timeout, survived and no coverage.

Source: Mutalog README - README.md#L85