{
  "finding_id": "DF-5197",
  "file": "sys/dev/misc/syscons/warp/warp_saver.c",
  "title": "set_video_mode() return ignored at warp_saver.c:87 — on failure vid aliases the stale 32KB text window and the 64000-byte bzero (plus every star write) overruns it by 32KB into 0xC0000+ (DF-5114 twin)",
  "verdict": "untested",
  "impact": "none",
  "severity": "Info",
  "confidence": "certain",
  "reproduce": {
    "build": "",
    "run": "",
    "expected": "Latent: no in-tree path makes vga_set_mode(M_VGA_CG320) fail after warp_init's get_mode_info succeeded; see README.md for the full failure-path trace"
  },
  "kernel_refs": [
    "sys/dev/misc/syscons/warp/warp_saver.c:87",
    "sys/dev/misc/syscons/warp/warp_saver.c:93",
    "sys/dev/misc/syscons/warp/warp_saver.c:95",
    "sys/dev/video/fb/vga.c:997",
    "sys/dev/video/fb/vga.c:581",
    "sys/dev/video/fb/vgareg.h:37",
    "sys/dev/misc/syscons/dragon/dragon_saver.c:194"
  ],
  "artifacts": [
    "README.md",
    "verdict.json",
    "manifest.json"
  ],
  "guest_poc": false,
  "notes": "Info/latent twin of DF-5114; Phase V skipped per contract."
}