{
  "finding_id": "DF-5635",
  "verdict": "reproduced",
  "impact": "panic",
  "reproduce": {
    "build": "cd /root/df5632 && sh build.sh",
    "run": "sh run_c_panic.sh: load stock chain; ./dfctl failchild; sysctl hw.df5632.childbusy=1; ./dfctl detach_bus (returns 0 despite busy child); ./dfctl reqbus -> Fatal trap 12, fault VA 0x8",
    "expected": "'[df5632] DETACH_BUS: device_detach(iicbus0) returned 0' + 'driver=(NONE-DRIVERLESS) state=0 softc=0' + 'Stopped at iicbus_request_bus+0x89: movq 0x8(%r12),%rax'; fixed: 'returned 16' and bus stays attached"
  },
  "kernel_refs": [
    "sys/bus/iicbus/iicbus.c:156-162",
    "sys/bus/iicbus/iiconf.c:88",
    "sys/bus/iicbus/iiconf.c:101",
    "sys/kern/subr_bus.c:device_set_driver"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "verdict.json", "manifest.json", "fix.diff",
    "panic_5635_stock.txt", "run_c_panic_driver.log", "run_d_fixed.log",
    "run_d_fixed_dmesg.txt", "build.log", "env.txt"
  ]
}