{
  "finding_id": "DF-4542",
  "verdict": "reproduced",
  "impact": "panic (reliable local kernel DoS; heap UAF/double-free window behind it)",
  "reproduce": {
    "build": "cc -O2 -pthread -o scstress scstress.c   (on the DragonFly guest)",
    "run": "./scstress 60 10    # CONS_SET cycling + concurrent tty writers on ttyv1..4",
    "expected": "stock kernel: panic within ~60s - 'assertion \"count & TOK_COUNTMASK\" failed in _lwkt_reltokref' (lwkt_token.c:458); single-stressor rounds (mode 1, mode 2) stay alive; v2-patched kernel: all rounds alive"
  },
  "kernel_refs": [
    "sys/dev/misc/syscons/scvidctl.c:64",
    "sys/dev/misc/syscons/scvidctl.c:129",
    "sys/dev/misc/syscons/scvidctl.c:156",
    "sys/dev/misc/syscons/syscons.c:244",
    "sys/dev/misc/syscons/syscons.c:983",
    "sys/dev/misc/syscons/schistory.c:72"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "scstress.c", "scprobe.c", "build.sh", "run.sh",
    "run.log", "run.panic1_bootlog.txt", "run.panic2_bootlog.txt",
    "run.panic3_bootlog.txt", "fixv1.BADFREE2_bootlog.txt", "env.txt",
    "code_hashes.txt", "fix.diff", "manifest.json", "verdict.json"
  ]
}