{
  "verdict": "not_reproduced",
  "impact": "none",
  "confidence": "certain",
  "reproduce": {
    "build": "sh findings/poc/DF-4653/build.sh  (guest: cc -Wall -Wextra -O2 -pthread)",
    "run": "sh findings/poc/DF-4653/run.sh  (runs the interleaving model ON the guest, then probes for puc hardware)",
    "expected": "Model (guest-executable): phase A (kernel store order, faithful 2-store window) shows NULL-argument handler dispatches; phase B (widened) many; phase C (fixed order) ZERO. Observed: A=2/140263, B=36901/49191, C=0. Kernel manifestation: puc card + shared-IRQ sibling event during sio_attach -> siointr(NULL) -> siointr1 deref -> boot-time NULL-deref panic. Guest has no comm-class PCI device -> kernel path hardware-gated."
  },
  "kernel_refs": [
    "sys/dev/misc/puc/puc.c:229",
    "sys/dev/misc/puc/puc.c:236",
    "sys/dev/misc/puc/puc.c:407",
    "sys/dev/misc/puc/puc.c:409",
    "sys/dev/misc/puc/puc.c:691",
    "sys/dev/misc/puc/puc.c:692",
    "sys/dev/misc/puc/puc.c:711",
    "sys/dev/serial/sio/sio.c:1236",
    "sys/dev/serial/sio/sio.c:1750"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "trigger.c", "build.sh", "run.sh",
    "build.log", "run.log", "env.txt", "fix.diff",
    "manifest.json", "verdict.json"
  ]
}