{
  "finding_id": "DF-5591",
  "title": "vga_probe_unit() returns success without initializing the caller's video_adapter_t — uninit kernel-stack read programmed into world-readable devinfo resource ranges (structurally unreachable today: both files gated on one 'optional vga')",
  "verdict": "not_reproduced",
  "impact": "none",
  "confidence": "certain",
  "reproduce": {
    "build": "./build.sh  (none — introspection)",
    "run": "./run.sh",
    "expected": "vga0 windows exactly 0x3c0-0x3df / 0xa0000-0xbffff (static initializer values) — proving the initialized path ran; devinfo -rv readable unprivileged; conf/files shows both sources under one 'optional vga' gate"
  },
  "kernel_refs": [
    "sys/bus/isa/vga_isa.c:108",
    "sys/bus/isa/vga_isa.c:116-121",
    "sys/dev/video/fb/vga.c:70-84",
    "sys/dev/video/fb/fb.c:203-220",
    "sys/dev/video/fb/vga.c:244",
    "sys/platform/pc64/conf/files:72",
    "sys/platform/pc64/conf/files:199",
    "sys/sys/fbio.h:298-301"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "trigger.sh", "build.sh", "run.sh",
    "run.log", "env.txt", "fix.diff", "manifest.json", "verdict.json"
  ]
}