{
  "finding_id": "DF-4279",
  "verdict": "reproduced",
  "impact": "panic",
  "confidence": "certain",
  "reproduce": {
    "build": "cc -O -o /tmp/df4279 /root/df4279/trigger.c",
    "run": "sh /root/df4279/run.sh",
    "expected": "control (ileave=32) config+read OK; trigger (ileave=-1) accepted then kernel panic 'assertion obj != NULL failed in vm_object_hold_shared' with memmove fault; patched module rejects with EINVAL and survives"
  },
  "kernel_refs": [
    "sys/dev/disk/ccd/ccd.c:1326",
    "sys/dev/disk/ccd/ccd.c:1068",
    "sys/dev/disk/ccd/ccd.c:1071",
    "sys/dev/disk/ccd/ccd.c:886"
  ],
  "artifacts": [
    "trigger.c", "run.sh", "build.sh", "README.md", "VERDICT.md",
    "panic.txt", "run.2.log", "fix_patched.log", "build.log", "env.txt",
    "fix.diff", "verdict.json", "manifest.json"
  ],
  "fix": { "status": "fixed", "diff": "fix.diff", "validated_on": "patched ccd.ko built in guest /usr/src" }
}