{
  "finding_id": "DF-3590",
  "verdict": "reproduced",
  "impact": "dos",
  "confidence": "certain",
  "reproduce": {
    "build": "cc -O2 -Wall -o psm_ioctl_poc psm_ioctl_poc.c && cc -O2 -Wall -o hold_probe hold_probe.c",
    "run": "./psm_ioctl_poc ; ./psm_ioctl_poc hold & ; (as root) ./hold_probe",
    "expected": "uid 1001 opens /dev/psm0, reprograms rate (persists), forces NATIVE level, reads device data; ~6.8ms keyboard-controller downtime per ioctl; root open() returns EBUSY while the unprivileged user holds the device"
  },
  "kernel_refs": [
    "sys/dev/misc/psm/psm.c:2025",
    "sys/dev/misc/psm/psm.c:2629",
    "sys/dev/misc/psm/psm.c:2720",
    "sys/dev/misc/psm/psm.c:2811",
    "sys/dev/misc/psm/psm.c:2539",
    "sys/dev/misc/psm/psm.c:2222"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "psm_ioctl_poc.c", "hold_probe.c",
    "mouse_reader.c", "inject_mouse.py", "build.sh", "run.sh",
    "build.log", "run.log", "env.txt", "fix.diff",
    "manifest.json", "verdict.json"
  ]
}