{
  "verdict": "reproduced",
  "impact": "none",
  "reproduce": {
    "build": "no compilation — kernel-configuration trigger (loader hints), see build.sh",
    "run": "sh introspect.sh  (or: append trigger_hints.txt to guest /boot/loader.conf.local, reboot, devinfo|grep -A2 psm0 ; vmstat -i|grep psm0)",
    "expected": "devinfo shows isa0 -> atkbdc0 -> psm0 (psm0 = isa grandchild with atkbdc_device_t ivars); dmesg 'psm0: <PS/2 Mouse> irq 12 on atkbdc0'; vmstat -i lists psm0 as a registered interrupt; guest stays up (type-confused rl computed at isa.c:87 is never dereferenced — resource_list_alloc early-forwards at subr_bus.c:2683-2687)"
  },
  "kernel_refs": [
    "sys/bus/isa/x86_64/isa.c:85-88",
    "sys/bus/isa/x86_64/isa.c:122-123",
    "sys/bus/isa/x86_64/isa.c:130-133",
    "sys/kern/subr_bus.c:2680-2687",
    "sys/kern/subr_bus.c:2726-2732",
    "sys/kern/subr_bus.c:3295-3308",
    "sys/bus/isa/isa_common.h:53-64",
    "sys/bus/isa/isa_common.c:527-533",
    "sys/dev/misc/atkbdc_layer/atkbdc_isa.c:83",
    "sys/dev/misc/atkbdc_layer/atkbdc_isa.c:218-232",
    "sys/dev/misc/atkbdc_layer/atkbdc_isa.c:290-295",
    "sys/dev/misc/atkbdc_layer/atkbdc_isa.c:401",
    "sys/dev/misc/psm/psm.c:2014",
    "sys/bus/isa/isahint.c:121-129"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "introspect.sh",
    "build.sh",
    "run.sh",
    "trigger_hints.txt",
    "devinfo.hinted.txt",
    "dmesg.hinted.txt",
    "env.txt",
    "run.log",
    "fix.diff",
    "manifest.json",
    "verdict.json"
  ]
}