{
  "finding_id": "DF-4981",
  "verdict": "not_reproduced",
  "impact": "none",
  "confidence": "likely",
  "reproduce": {
    "build": "on guest /root/df4981: cp /usr/obj/usr/src/sys/X86_64_GENERIC/{device_if.h,bus_if.h} . && make -m /usr/share/mk   (see build.sh, build.log)",
    "run": "kldload /root/df4981/jmsink.ko; sysctl hw.jmsink_fire=1   -> panic(\"ifmedia_set\"), guest down; after reset: sysctl hw.jmsink_fixcheck=1 -> survives, ifm_cur non-NULL (see run.sh, run.log, run.2.log, panic.txt)",
    "expected": "baseline: panic: ifmedia_set, trace ifmedia_set<-jmsink_fire<-sysctl_root<-userland_sysctl<-sys___sysctl, guest down; fixcheck: survives"
  },
  "kernel_refs": [
    "sys/dev/netif/mii_layer/jmphy.c:119-131",
    "sys/dev/netif/mii_layer/mii.c:228-246",
    "sys/dev/netif/mii_layer/mii_physubr.c:221-237",
    "sys/net/if_media.c:168-175",
    "sys/dev/netif/jme/if_jme.c:218-220",
    "sys/dev/netif/jme/if_jme.c:303-308",
    "sys/dev/netif/jme/if_jme.c:1028",
    "sys/kern/subr_bus.c:1952-1955"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "jmsink.c", "Makefile", "build.sh", "run.sh",
    "build.log", "run.log", "run.2.log", "panic.txt", "env.txt", "fix.diff",
    "manifest.json", "verdict.json"
  ]
}