{
  "finding_id": "DF-4924",
  "manifest_version": 1,
  "file_audited": "sys/dev/drm/amd/amdgpu/amdgpu_ib.c",
  "root_cause_files": [
    "sys/dev/drm/amd/amdgpu/gfx_v9_0.c",
    "sys/dev/drm/amd/amdgpu/amdgpu_ib.c"
  ],
  "verdict": "not_reproduced (runtime: no AMD GPU on guest) — harness-replicated, source-certain",
  "impact": "dos",
  "severity": "Low",
  "bucket": "base:dev",
  "reproduce": {
    "build": "sh build.sh   (cc -O2 -o df4924_trigger df4924_trigger.c)",
    "run": "sh run.sh    (./df4924_trigger)",
    "expected": "baseline: overrun of exactly 2 canary dwords iff num_ibs % 64 == 24 (24/88/152 in 1..200); fixed accounting: 0 overruns; final line 'VERDICT: ... REPLICATED.'"
  },
  "kernel_refs": [
    "sys/dev/drm/amd/amdgpu/amdgpu_ib.c:159-166",
    "sys/dev/drm/amd/amdgpu/amdgpu_ib.c:231-232",
    "sys/dev/drm/amd/amdgpu/gfx_v9_0.c:4735-4786",
    "sys/dev/drm/amd/amdgpu/gfx_v9_0.c:4780",
    "sys/dev/drm/amd/amdgpu/amdgpu_ring.c:64-76",
    "sys/dev/drm/amd/amdgpu/amdgpu_ring.h:276-283",
    "sys/dev/drm/amd/amdgpu/soc15.h:31-32",
    "sys/dev/drm/amd/amdgpu/amdgpu_cs.c:181-183"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "df4924_trigger.c",
    "build.sh",
    "run.sh",
    "build.log",
    "run.log",
    "run.2.log",
    "fix_build.log",
    "env.txt",
    "fix.diff",
    "manifest.json",
    "verdict.json"
  ]
}