{
  "finding_id": "DF-2650",
  "verdict": "reproduced",
  "impact": "panic",
  "reproduce": {
    "build": "sh build.sh (guest base image + host forge + guest cc)",
    "run": "sh run.sh; expect guest panic 'assertion \"radix != 0\" failed in h2_bulkfree_callback at hammer2_bulkfree.c:848' (see panic.txt)",
    "expected": "kernel panic on stock INVARIANTS kernel; fixed kernel prints 'illegal radix-0 data_off' warning and completes"
  },
  "kernel_refs": [
    "sys/vfs/hammer2/hammer2_bulkfree.c:848",
    "sys/vfs/hammer2/hammer2_bulkfree.c:179",
    "sys/vfs/hammer2/hammer2_ioctl.c:144"
  ],
  "artifacts": [
    "forge_2650.py", "h2common.py", "trigger.c", "build.sh", "run.sh",
    "build.log", "run.log", "panic.txt", "env.txt", "fix.diff",
    "fix_build.log", "fix_run.log", "verdict.json", "manifest.json"
  ]
}