{
  "finding_id": "DF-3655",
  "verdict": "inconclusive",
  "impact": "none",
  "reproduce": {
    "build": "cc -O2 -Wall -o harness harness.c",
    "run": "./harness",
    "expected": "prints WARN_ON(!status) = 1 (kernel WARN fires, execution continues), then SIGSEGV at offset 8 (status->plane_count), EXIT=139"
  },
  "kernel_refs": [
    "sys/dev/drm/amd/display/amdgpu_dm/amdgpu_dm.c:4888",
    "sys/dev/drm/amd/display/amdgpu_dm/amdgpu_dm.c:4889",
    "sys/dev/drm/amd/display/amdgpu_dm/amdgpu_dm.c:4890",
    "sys/dev/drm/amd/display/amdgpu_dm/amdgpu_dm.c:4837",
    "sys/dev/drm/amd/display/dc/dc_stream.h:struct dc_stream_status"
  ],
  "artifacts": [
    "harness.c", "build.sh", "run.sh", "build.log", "run.log", "env.txt",
    "VERDICT.md", "fix.diff", "manifest.json", "verdict.json", "README.md"
  ]
}