{
  "finding_id": "DF-4644",
  "verdict": "untested",
  "impact": "none",
  "reproduce": {
    "build": "cc -o /root/probe /root/probe.c (dispatch sanity probe only)",
    "run": "/root/probe (root; opens /dev/ttyv0)",
    "expected": "probe: ADPINFO fully overwritten + va_reserved zeroed; MODEINFO out-of-range -> ENODEV. The race itself needs >=2 concurrent adapter registrations (not available on guest)."
  },
  "kernel_refs": [
    "sys/dev/video/fb/fb.c:76",
    "sys/dev/video/fb/fb.c:150",
    "sys/dev/video/fb/fb.c:196",
    "sys/dev/video/fb/fb.c:235"
  ],
  "artifacts": ["README.md", "VERDICT.md", "fb_dispatch_probe.c", "probe_run.log", "verdict.json", "manifest.json"]
}