{
 "applied": 25,
 "clean_run_ok": true,
 "killed": 25,
 "mutations": [
  {
   "killed": true,
   "mutation": "M16-01",
   "noticed_by": [
    "crash_after_effect_then_restart",
    "crash_before_effect_recovers_and_completes",
    "timeout_after_effect_then_retry"
   ],
   "removes": "an unresolved outcome blocks re-dispatch"
  },
  {
   "killed": true,
   "mutation": "M16-02",
   "noticed_by": [
    "redispatch_of_an_action_already_executed"
   ],
   "removes": "an already executed action is not dispatched again"
  },
  {
   "killed": true,
   "mutation": "M16-03",
   "noticed_by": [
    "revoked_between_admission_and_dispatch"
   ],
   "removes": "authority is re-checked at dispatch"
  },
  {
   "killed": true,
   "mutation": "M16-04",
   "noticed_by": [
    "authorization_expires_between_admission_and_dispatch"
   ],
   "removes": "authorization expiry is re-checked at dispatch"
  },
  {
   "killed": true,
   "mutation": "M16-05",
   "noticed_by": [
    "dispatch_after_cancellation"
   ],
   "removes": "a cancelled mission dispatches nothing"
  },
  {
   "killed": true,
   "mutation": "M16-06",
   "noticed_by": [
    "dispatch_after_cancellation"
   ],
   "removes": "cancellation needs a pinned approver's signature"
  },
  {
   "killed": true,
   "mutation": "M16-07",
   "noticed_by": [
    "contract_version_rollback"
   ],
   "removes": "a contract version is never installed twice"
  },
  {
   "killed": true,
   "mutation": "M16-08",
   "noticed_by": [
    "concurrent_updates_on_a_stale_base"
   ],
   "removes": "a new contract version must name the current head"
  },
  {
   "killed": true,
   "mutation": "M16-09",
   "noticed_by": [
    "widening_update_without_the_principal"
   ],
   "removes": "a widening contract version needs the principal's signature"
  },
  {
   "killed": true,
   "mutation": "M16-10",
   "noticed_by": [
    "widening_update_without_the_principal"
   ],
   "removes": "the principal's approval is bound to the exact widening"
  },
  {
   "killed": true,
   "mutation": "M16-11",
   "noticed_by": [
    "compensation_without_its_own_authorization"
   ],
   "removes": "a compensation needs an authorization from a pinned issuer"
  },
  {
   "killed": true,
   "mutation": "M16-12",
   "noticed_by": [
    "compensation_without_its_own_authorization"
   ],
   "removes": "a compensation authorization is bound to the compensation and valid"
  },
  {
   "killed": true,
   "mutation": "M16-13",
   "noticed_by": [
    "compensation_without_its_own_authorization"
   ],
   "removes": "a compensation authorization is used once"
  },
  {
   "killed": true,
   "mutation": "M16-14",
   "noticed_by": [
    "compensation_reported_but_not_observed",
    "compensation_without_its_own_authorization"
   ],
   "removes": "a compensation counts only when the observer confirms it"
  },
  {
   "killed": true,
   "mutation": "M16-15",
   "noticed_by": [
    "irreversible_action_is_not_reported_as_rolled_back"
   ],
   "removes": "an irreversible action cannot be compensated"
  },
  {
   "killed": true,
   "mutation": "M16-16",
   "noticed_by": [
    "completion_claimed_with_an_unresolved_dispatch"
   ],
   "removes": "completion is refused while a dispatch is unresolved"
  },
  {
   "killed": true,
   "mutation": "M16-17",
   "noticed_by": [
    "effect_reported_for_an_action_never_dispatched"
   ],
   "removes": "an effect is accepted only for an open dispatch"
  },
  {
   "killed": true,
   "mutation": "M16-18",
   "noticed_by": [
    "evidence_older_than_its_validity"
   ],
   "removes": "evidence older than its validity is refused"
  },
  {
   "killed": true,
   "mutation": "M16-19",
   "noticed_by": [
    "evidence_contradicted_after_completion",
    "evidence_contradicted_before_completion"
   ],
   "removes": "a contradicting pinned observation reopens a confirmed effect"
  },
  {
   "killed": true,
   "mutation": "M16-20",
   "noticed_by": [
    "absence_asserted_without_a_pinned_observer"
   ],
   "removes": "absence is established only by a pinned observer"
  },
  {
   "killed": true,
   "mutation": "M16-21",
   "noticed_by": [
    "crash_after_effect_then_restart",
    "crash_before_effect_recovers_and_completes"
   ],
   "removes": "an intent left by a crash becomes AMBIGUOUS at recovery"
  },
  {
   "killed": true,
   "mutation": "M16-22",
   "noticed_by": [
    "absence_asserted_without_a_pinned_observer",
    "captured_admission_replayed_after_reconciliation"
   ],
   "removes": "an executor's 'nothing was sent' is not taken on trust for a non-repeatable action"
  },
  {
   "killed": true,
   "mutation": "M16-23",
   "noticed_by": [
    "narrowed_contract_voids_pending_admission"
   ],
   "removes": "a dispatch is bound to the contract version it was admitted under (both layers removed: the digest comparison at dispatch and the voiding of pending admissions at succession)"
  },
  {
   "killed": true,
   "mutation": "M16-24",
   "noticed_by": [
    "captured_admission_replayed_after_reconciliation"
   ],
   "removes": "the request nonces seen before a restart are still refused after it (used authorizations too)"
  },
  {
   "killed": true,
   "mutation": "M16-25",
   "noticed_by": [
    "concurrent_updates_on_a_stale_base"
   ],
   "removes": "a succession record is bound to the exact mission version it installs"
  }
 ],
 "not_applied": [],
 "note": "killed = at least one lab scenario changed its result; this measures the scenarios, not the code",
 "schema": "CAIN42/EVOLUTION16/MUTATION/v1",
 "survived": [],
 "total": 25
}