{
  "artifact_sha256": {
    "repro/fixed_attempt_1_attack.log": "0d6adc714f103587070ef2592e9ca4a193439a673679de10e94469d870216d9a",
    "repro/fixed_attempt_1_qemu.log": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "repro/fixed_attempt_1_setup.log": "59121c987d8497eea686e97f1b4538b2bbcd98434e8e8e78c5d2a5710e341026",
    "repro/fixed_attempt_2_attack.log": "774b847e3250beb0d5e50f23eba24bedf029d6abf67871dd493ec8e77091810a",
    "repro/fixed_attempt_2_qemu.log": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "repro/fixed_attempt_2_setup.log": "7ed1c7fb5aa887175ec6d49be2d6ba9a7d654cdd6b1d43d12204d5290d591207",
    "repro/proof_summary.log": "fc5b476df98943de779c7d045223c8facf3d93a7f07fa18aa8089f736e730f89",
    "repro/target_identity.log": "8a3e62f278bf679345c3fcd76d893c6b728510ce4c6b09e8b99e46bb8038361c",
    "repro/vulnerable_attempt_1_attack.log": "4b89ba5e2f4abb1eebd4551ba3c0e8306e1a387b6ed266fec3eae76392355e7a",
    "repro/vulnerable_attempt_1_qemu.log": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "repro/vulnerable_attempt_1_setup.log": "316a429c989b514b44604d6e165b9b967fcd7b7fb02aa2fd2b539af148eafe92",
    "repro/vulnerable_attempt_2_attack.log": "769070041fabcb731c68e8b12259750a789c58ff9ae1a13bb8772793d9883fe3",
    "repro/vulnerable_attempt_2_qemu.log": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "repro/vulnerable_attempt_2_setup.log": "d8ad89bfdefc94d5c304b9393fc3c0669d7417e3b91daf73364a5bb84b5f6c41"
  },
  "entrypoint_detail": "real TCP RouterOS SSH service RSA public-key authentication",
  "entrypoint_kind": "tcp_peer",
  "healthcheck_passed": true,
  "notes": "Two fresh vulnerable 7.23.3 TCP SSH attempts accepted e=1 forged authentication and returned RouterOS command output; two fresh fixed 7.23.4 attempts rejected it. Fixed archive sha256=0d32a8da0950dee71e751281c39063f2bebee4b542291aedecc9dbfbe5d60c9d",
  "proof_artifacts": [
    "repro/target_identity.log",
    "repro/vulnerable_attempt_1_qemu.log",
    "repro/vulnerable_attempt_1_setup.log",
    "repro/vulnerable_attempt_1_attack.log",
    "repro/vulnerable_attempt_2_qemu.log",
    "repro/vulnerable_attempt_2_setup.log",
    "repro/vulnerable_attempt_2_attack.log",
    "repro/fixed_attempt_1_qemu.log",
    "repro/fixed_attempt_1_setup.log",
    "repro/fixed_attempt_1_attack.log",
    "repro/fixed_attempt_2_qemu.log",
    "repro/fixed_attempt_2_setup.log",
    "repro/fixed_attempt_2_attack.log",
    "repro/proof_summary.log"
  ],
  "runtime_stack": [
    "qemu-system-x86_64",
    "unmodified RouterOS CHR 7.23.3 SSH service",
    "Paramiko 5.0.0 SSH client"
  ],
  "service_started": true,
  "target_identity": {
    "architecture": "x86_64",
    "platform": "linux",
    "repository_url": "https://download.mikrotik.com/routeros/7.23.3/chr-7.23.3.img.zip",
    "runtime_digest": "0cd4112a8f0cb891eb7c10e8df38c9dfeec8c7389bb22db6aa425f0d6fe733dc",
    "target_digest": "646764fb0a53e9b5a056cb9cf7420eb1629031096c7268c99fb9216c07f8e98c"
  },
  "target_path_reached": true
}