{
  "finding_id": "DF-4445",
  "verdict": "untested (Low; static certain)",
  "reproduce": {
    "build": "cc -O2 -o /tmp/df4445 df4445_probe.c",
    "run": "/tmp/df4445",
    "expected": "static note only \u2014 real manifestation needs radeon hw + failing router read"
  },
  "kernel_refs": [
    "sys/dev/drm/radeon/radeon_i2c.c:1108-1133",
    "sys/dev/drm/radeon/radeon_i2c.c:1136-1161",
    "sys/dev/drm/radeon/radeon_i2c.c:1052-1084",
    "sys/dev/drm/radeon/radeon_i2c.c:42-70"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "df4445_probe.c",
    "fix.diff",
    "verdict.json",
    "manifest.json"
  ]
}