{
 "applied": 30,
 "baseline": "279 passed in 13.24s",
 "killed": 30,
 "mutants": 30,
 "note": "targeted mutants of security guards; a mutation score is not code coverage",
 "rows": [
  {
   "file": "ihvrk/crypto/signature_verifier.py",
   "id": "M01",
   "mutation": "'if obj.get(\"alg\") not in SUPPORTED_ALGS:' -> 'if False:'",
   "pytest": "1 failed, 105 passed in 0.60s",
   "seconds": 1.5,
   "status": "KILLED"
  },
  {
   "file": "ihvrk/crypto/signature_verifier.py",
   "id": "M02",
   "mutation": "'raise SignatureError(\"BAD_SIGNATURE\")' -> 'pass'",
   "pytest": "1 failed, 100 passed in 0.83s",
   "seconds": 1.7,
   "status": "KILLED"
  },
  {
   "file": "ihvrk/crypto/canonical_encoding.py",
   "id": "M03",
   "mutation": "'if isinstance(v, int):\\n        if abs(v) > MAX_INT:' -> 'if isinstance(v, int):\\n        if False:'",
   "pytest": "1 failed, 7 passed in 0.48s",
   "seconds": 1.1,
   "status": "KILLED"
  },
  {
   "file": "ihvrk/crypto/canonical_encoding.py",
   "id": "M04",
   "mutation": "'raise EncodingError(\"duplicate object key %r\" % k)' -> 'pass'",
   "pytest": "1 failed, 15 passed in 0.46s",
   "seconds": 1.3,
   "status": "KILLED"
  },
  {
   "file": "ihvrk/policy/authorization_policy.py",
   "id": "M05",
   "mutation": "'if s.approved_digest != s.action_digest:' -> 'if False:'",
   "pytest": "1 failed, 48 passed in 0.50s",
   "seconds": 1.3,
   "status": "KILLED"
  },
  {
   "file": "ihvrk/policy/authorization_policy.py",
   "id": "M06",
   "mutation": "'if s.approval_channel != \"VERIFIER\":' -> 'if False:'",
   "pytest": "1 failed, 42 passed in 0.68s",
   "seconds": 1.3,
   "status": "KILLED"
  },
  {
   "file": "ihvrk/policy/authorization_policy.py",
   "id": "M07",
   "mutation": "'if s.solver_status != \"OK\":' -> 'if False:'",
   "pytest": "1 failed, 86 passed in 0.44s",
   "seconds": 1.0,
   "status": "KILLED"
  },
  {
   "file": "ihvrk/policy/authorization_policy.py",
   "id": "M08",
   "mutation": "'if s.now - s.uncertainty >= s.hvt_expires:' -> 'if False:'",
   "pytest": "1 failed, 68 passed in 0.44s",
   "seconds": 1.0,
   "status": "KILLED"
  },
  {
   "file": "ihvrk/solver/ihvrk_solver.py",
   "id": "M09",
   "mutation": "'if z3_decision != py_decision:' -> 'if False:'",
   "pytest": "1 failed, 272 passed in 5.04s",
   "seconds": 5.7,
   "status": "KILLED"
  },
  {
   "file": "ihvrk/solver/ihvrk_solver.py",
   "id": "M10",
   "mutation": "'if status != \"SAT\" or not model:' -> 'if not model:'",
   "pytest": "1 failed, 206 passed in 2.87s",
   "seconds": 3.7,
   "status": "KILLED"
  },
  {
   "file": "ihvrk/nonce/epoch_registry.py",
   "id": "M11",
   "mutation": "'\" AND action_digest = ? AND state = \\'ISSUED\\'\"' -> '\" AND action_digest = ? AND state IN (\\'ISSUED\\', \\'CONSUMED\\')\"'",
   "pytest": "1 failed, 164 passed in 1.20s",
   "seconds": 2.5,
   "status": "KILLED"
  },
  {
   "file": "ihvrk/nonce/epoch_registry.py",
   "id": "M12",
   "mutation": "'\" AND state = \\'ISSUED\\'\", (nonce, request_id))' -> '\", (nonce, request_id))'",
   "pytest": "",
   "seconds": 0.5,
   "status": "KILLED"
  },
  {
   "file": "ihvrk/service/permit_issuer.py",
   "id": "M13",
   "mutation": "'if digest != body[\"action_digest\"]:' -> 'if False:'",
   "pytest": "1 failed, 159 passed in 2.38s",
   "seconds": 3.3,
   "status": "KILLED"
  },
  {
   "file": "ihvrk/service/permit_issuer.py",
   "id": "M14",
   "mutation": "'if body[\"audience\"] != self.audience:' -> 'if False:'",
   "pytest": "1 failed, 207 passed in 2.32s",
   "seconds": 3.2,
   "status": "KILLED"
  },
  {
   "file": "ihvrk/service/permit_issuer.py",
   "id": "M15",
   "mutation": "'if now + unc >= body[\"expires_at\"]:' -> 'if now >= body[\"expires_at\"] + 1000:'",
   "pytest": "1 failed, 140 passed in 1.21s",
   "seconds": 2.2,
   "status": "KILLED"
  },
  {
   "file": "ihvrk/service/permit_issuer.py",
   "id": "M16",
   "mutation": "'if (body[\"agent_id\"], body[\"tenant\"], body[\"resource\"]) != (agent_id, ' -> 'if False:'",
   "pytest": "1 failed, 165 passed in 1.33s",
   "seconds": 2.2,
   "status": "KILLED"
  },
  {
   "file": "ihvrk/service/verification_service.py",
   "id": "M17",
   "mutation": "'and not cfg.verifiers.is_agent(entry[\"verifier_id\"]) and entry[\"verifi' -> 'and True \\\\'",
   "pytest": "1 failed, 208 passed in 3.30s",
   "seconds": 4.1,
   "status": "KILLED"
  },
  {
   "file": "ihvrk/service/verification_service.py",
   "id": "M18",
   "mutation": "'and aal >= req[\"required_aal\"] and channel == \"VERIFIER\")' -> 'and channel == \"VERIFIER\")'",
   "pytest": "1 failed, 209 passed in 1.94s",
   "seconds": 2.6,
   "status": "KILLED"
  },
  {
   "file": "ihvrk/service/verification_service.py",
   "id": "M19",
   "mutation": "'and approval.get(\"verifier_id\") == entry[\"verifier_id\"] \\\\' -> 'and True \\\\'",
   "pytest": "1 failed, 145 passed in 1.09s",
   "seconds": 1.8,
   "status": "KILLED"
  },
  {
   "file": "ihvrk/identity/verifier_registry.py",
   "id": "M20",
   "mutation": "'raise EnrollmentError(\"KID_REUSE\")' -> 'pass'",
   "pytest": "1 failed, 149 passed in 1.09s",
   "seconds": 1.8,
   "status": "KILLED"
  },
  {
   "file": "ihvrk/identity/verifier_registry.py",
   "id": "M21",
   "mutation": "'raise EnrollmentError(\"AGENT_CANNOT_BE_VERIFIER\")' -> 'pass'",
   "pytest": "1 failed, 147 passed in 1.08s",
   "seconds": 2.2,
   "status": "KILLED"
  },
  {
   "file": "ihvrk/identity/credential_status.py",
   "id": "M22",
   "mutation": "'if ver <= self._version:' -> 'if False:'",
   "pytest": "1 failed, 150 passed in 1.12s",
   "seconds": 1.8,
   "status": "KILLED"
  },
  {
   "file": "ihvrk/service/break_glass.py",
   "id": "M23",
   "mutation": "'if len(seen_ids) != 2 or len(seen_keys) != 2:' -> 'if False:'",
   "pytest": "1 failed, 178 passed in 4.78s",
   "seconds": 6.4,
   "status": "KILLED"
  },
  {
   "file": "ihvrk/service/break_glass.py",
   "id": "M24",
   "mutation": "'if entry is None or entry[\"role\"] != ROLE_BREAK_GLASS:' -> 'if entry is None:'",
   "pytest": "1 failed, 178 passed in 2.50s",
   "seconds": 4.4,
   "status": "KILLED"
  },
  {
   "file": "ihvrk/ledger/ledger_verifier.py",
   "id": "M25",
   "mutation": "'if rec[\"prev\"] != prev:' -> 'if False:'",
   "pytest": "1 failed, 211 passed in 4.07s",
   "seconds": 5.6,
   "status": "KILLED"
  },
  {
   "file": "ihvrk/ledger/ledger_verifier.py",
   "id": "M26",
   "mutation": "'if nonce in seen_nonces:' -> 'if False:'",
   "pytest": "1 failed, 215 passed in 3.64s",
   "seconds": 4.7,
   "status": "KILLED"
  },
  {
   "file": "ihvrk/ledger/ledger_verifier.py",
   "id": "M27",
   "mutation": "'elif (digests[count - 1] if count else GENESIS) != head:' -> 'elif False:'",
   "pytest": "1 failed, 217 passed in 3.25s",
   "seconds": 4.1,
   "status": "KILLED"
  },
  {
   "file": "ihvrk/service/verification_service.py",
   "id": "M28",
   "mutation": "'only_from=SM.AWAITING_HUMAN)' -> 'only_from=None)'",
   "pytest": "1 failed, 168 passed in 1.85s",
   "seconds": 2.5,
   "status": "KILLED"
  },
  {
   "file": "ihvrk/attestation/attestation_verifier.py",
   "id": "M29",
   "mutation": "'if body[\"evidence_class\"] == \"HARDWARE_BACKED\":\\n            return {\"r' -> 'if False:\\n            return {\"result\": INDETERMINATE'",
   "pytest": "1 failed, 141 passed in 0.86s",
   "seconds": 1.8,
   "status": "KILLED"
  },
  {
   "file": "ihvrk/service/permit_issuer.py",
   "id": "M30",
   "mutation": "'if body[\"policy_version\"] != self.policy_version():' -> 'if False:'",
   "pytest": "1 failed, 139 passed in 0.83s",
   "seconds": 1.4,
   "status": "KILLED"
  }
 ],
 "schema": "ihvrk.mutation/1",
 "score": "30/30",
 "survived": 0
}