{
  "verdict": "reproduced",
  "impact": "panic",
  "reproduce": {
    "build": "cc -O2 -pthread -o listen_connect_race listen_connect_race.c",
    "run": "./listen_connect_race 45",
    "expected": "Stock INVARIANTS kernel: guest panics within <=45s with 'panic: already linked' at in_pcbunlink_flags <- tcp_connect (ssh dies, vm.sh status -> down). Patched kernel (fix.diff): prints iters/EOPNOTSUPP/listen counters and 'SURVIVED - no panic'."
  },
  "kernel_refs": [
    "sys/netinet/tcp_usrreq.c:481-513",
    "sys/netinet/tcp_usrreq.c:1146-1236",
    "sys/netinet/tcp_usrreq.c:960-972",
    "sys/kern/uipc_socket.c:330-343",
    "sys/kern/uipc_socket.c:684-713",
    "sys/kern/uipc_msg.c:204-249",
    "sys/netinet/in_pcb.c:307-321",
    "sys/netinet/in_pcb.c:1885-1914",
    "sys/netinet/in_pcb.c:2283-2293",
    "sys/netinet/in_pcb.c:2367-2395",
    "sys/netinet/tcp_input.c:950"
  ],
  "artifacts": [
    "listen_connect_race.c",
    "run.log",
    "run_fixed.log",
    "run_fixed.2.log",
    "panic.txt",
    "boot_panic.log",
    "fix.diff",
    "env.txt",
    "VERDICT.md",
    "README.md",
    "run.sh",
    "verdict.json",
    "manifest.json"
  ]
}