{
 "finding_id": "DF-3488",
 "verdict": "not_reproduced",
 "impact": "none",
 "confidence": "likely",
 "reproduce": {
  "build": "gcc -O -o pppoerace7 pppoerace7.c",
  "run": "./pppoerace7 100 100000",
  "expected": "Not reproduced on the harness kernel (NETGRAPH7_PPPOE compiled in, X86_64_NG7): 100 CONNECT/teardown cycles (pppoerace7.c, each arming a session with the 2s initial retransmit ticker, then RMHOOK tear"
 },
 "kernel_refs": [
  "sys/netgraph7/pppoe/ng_pppoe.c:1788",
  "sys/netgraph7/pppoe/ng_pppoe.c:1797",
  "sys/netgraph7/pppoe/ng_pppoe.c:1803"
 ],
 "artifacts": [
  "README.md",
  "VERDICT.md",
  "env.txt",
  "fix.diff",
  "manifest.json",
  "run.log",
  "verdict.json"
 ]
}