{
  "finding_id": "DF-3870",
  "title": "bw_calcs_init: vram_width/dram_channel_width truncates to 0 channels -> #DE div-by-zero family",
  "verdict": "inconclusive (hardware/VBIOS-gated), speculative",
  "impact": "dos (boot/first-modeset panic on misdetecting boards)",
  "reproduce": { "build": "n/a (hardware-gated)", "run": "n/a", "expected": "panic on first bw_calcs invocation" },
  "kernel_refs": ["sys/dev/drm/amd/display/dc/calcs/dce_calcs.c:2041","sys/dev/drm/amd/display/dc/calcs/dce_calcs.c:1185","sys/dev/drm/amd/display/dc/calcs/dce_calcs.c:1098","sys/dev/drm/amd/amdgpu/gmc_v8_0.c:525"],
  "artifacts": ["README.md","VERDICT.md","fix.diff","manifest.json","verdict.json","env.txt"]
}