{
  "finding_id": "DF-3589",
  "verdict": "not_reproduced",
  "impact": "none",
  "confidence": "certain",
  "reproduce": {
    "build": "cc -O2 -Wall -o divzero_expr divzero_expr.c",
    "run": "./divzero_expr ; echo exit=$?   (arithmetic proof); ./trigger.sh on Synaptics/Elantech hardware (full trigger)",
    "expected": "divzero_expr: product prints 0 then SIGFPE (exit=136). On real touchpad hardware trigger.sh + finger movement => kernel divide-by-zero panic in psmsmoother()."
  },
  "kernel_refs": [
    "sys/dev/misc/psm/psm.c:4336-4344",
    "sys/dev/misc/psm/psm.c:4307-4309",
    "sys/dev/misc/psm/psm.c:5767-5780",
    "sys/dev/misc/psm/psm.c:6048-6056",
    "sys/dev/misc/psm/psm.c:6099-6117",
    "sys/dev/misc/psm/psm.c:7209-7211",
    "sys/kern/kern_sysctl.c:1446"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "divzero_expr.c", "trigger.sh",
    "build.sh", "run.sh", "build.log", "run.log", "env.txt", "fix.diff",
    "manifest.json", "verdict.json"
  ]
}