{
  "finding_id": "DF-4112",
  "file": "sys/dev/netif/nge/if_nge.c",
  "verdict": "inconclusive",
  "impact_class": "none",
  "reproduce": {
    "build": "cd /root/kmod && make   (guest with /usr/src; tlnge_replica.ko, BUILD_RC=0)",
    "run": "vm.sh run_root 'kldload /root/kmod/tlnge_replica.ko; sysctl kern.ngereplica.arm=1; sleep 3; (sysctl kern.ngereplica.stop_blk=1 >/dev/null 2>&1 &); sleep 6; dmesg | grep replica; ps -o pid,stat,wchan,command -ax | grep stop_blk'",
    "expected": "Mechanism PROVEN on the guest by replica (target hardware absent: vtnet0/lo0 only). stop_blk under a held serializer with the nge-shaped handler parked -> callout_stop NEVER returns: last dmesg line is the marker, stopper thread D-state wchan 'costp'; fix-shape (try-enter + 1-tick retry) fully stopped, pending=0."
  },
  "kernel_refs": [
    "sys/dev/netif/nge/if_nge.c:1372",
    "sys/dev/netif/nge/if_nge.c:1403",
    "sys/dev/netif/nge/if_nge.c:2094",
    "sys/kern/kern_timeout.c:920",
    "sys/kern/lwkt_serialize.c:234"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "tlnge_replica.c",
    "Makefile",
    "build.sh",
    "run.sh",
    "build.log",
    "run.log",
    "env.txt",
    "fix.diff",
    "manifest.json",
    "verdict.json"
  ]
}