{
  "verdict": "inconclusive",
  "impact": "none",
  "confidence": "certain",
  "finding_id": "DF-3627",
  "title": "Uninitialized stack array consumed as eDP link rates when DPCD read fails",
  "severity": "Low",
  "reproduce": {
    "build": "n/a — requires Intel eDP hardware + flaky/hostile panel",
    "run": "n/a on this guest (virtio-only)",
    "expected": "On real hardware with a failing DP_SUPPORTED_LINK_RATES read: garbage rates from kernel stack used as control data (no OOB, no leak)"
  },
  "kernel_refs": [
    "sys/dev/drm/i915/intel_dp.c:3948",
    "sys/dev/drm/i915/intel_dp.c:3952"
  ],
  "artifacts": ["README.md", "fix.diff", "verdict.json", "manifest.json"]
}