{
  "finding_id": "DF-3741",
  "title": "Zero-stride VBIOS record walks cause infinite kernel loops (radeon_atom_init_mc_reg_table, atom_lookup_voltage_object_v3)",
  "verdict": "inconclusive",
  "impact": "none (not runtime-demonstrated; source-certain)",
  "reproduce": {
    "build": "./build.sh",
    "run": "./run.sh (after ./build.sh)",
    "expected": "both zero-stride walks hit the 2^24-iteration harness cap (non-termination); control terminates in 3; exit_code=0"
  },
  "kernel_refs": [
    "sys/dev/drm/radeon/radeon_atombios.c:4023-4045",
    "sys/dev/drm/radeon/radeon_atombios.c:3423-3429",
    "sys/dev/drm/radeon/radeon_atombios.c:3416-3431"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "build.log",
    "build.sh",
    "env.txt",
    "harness_hang.c",
    "run.log",
    "run.sh",
    "README.md",
    "VERDICT.md",
    "manifest.json",
    "verdict.json",
    "fix.diff"
  ]
}