{
  "verdict": "inconclusive",
  "impact": "none",
  "reproduce": {
    "build": "cd findings/poc/DF-4365 && ./build.sh   (ships + builds pcn_callout_replica{,_fixed}.ko on the guest via vm.sh)",
    "run": "cd findings/poc/DF-4365 && ./run.sh        (kldload, arm tick, backgrounded pcn_stop shape -> permanent D0/costp + B2/slize wedge; then vm.sh reset with-src and run the fixed-shape validation per fix_validation.log)",
    "expected": "Serial console: 'pcnreplica[stop]: tick INPROG and PARKED on the serializer (fired=2 ran=1)' then 'IF THIS IS THE LAST pcnreplica LINE callout_stop NEVER RETURNED (AB-BA deadlock)' and no further lines; stopper thread D0 wchan costp; (softclock N) B2 wchan slize; guest fails clean shutdown. Fixed shape: 'fires=309 ran=1 retries=308', 'callout_stop RETURNED, pending=0', guest healthy."
  },
  "kernel_refs": [
    "sys/dev/netif/pcn/if_pcn.c:577",
    "sys/dev/netif/pcn/if_pcn.c:879",
    "sys/dev/netif/pcn/if_pcn.c:896",
    "sys/dev/netif/pcn/if_pcn.c:1329",
    "sys/dev/netif/pcn/if_pcn.c:641",
    "sys/dev/netif/pcn/if_pcn.c:1106",
    "sys/dev/netif/pcn/if_pcn.c:1374",
    "sys/dev/netif/pcn/if_pcn.c:912",
    "sys/kern/kern_timeout.c:567",
    "sys/kern/kern_timeout.c:920",
    "sys/kern/lwkt_serialize.c:105"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "pcn_callout_replica.c",
    "pcn_callout_replica_fixed.c",
    "fix.diff",
    "build.sh",
    "run.sh",
    "build.log",
    "run.log",
    "fix_validation.log",
    "boot.log.wedge",
    "env.txt",
    "verdict.json",
    "manifest.json"
  ]
}