DF-3846 / manifest.json
{ "verdict": "inconclusive", "impact_class": "stale pooled handle → wrong-command abort (logic, in-bounds)", "confidence": "certain", "reproduce": { "build": "n/a", "run": "requires MegaRAID HBA: complete/fail a RAID-map sync, let the mfi pool recycle the slot, then shutdown the controller", "expected": "shutdown aborts a recycled command's index/frame (bystander command aborted); unreachable on this guest (no HBA)" }, "kernel_refs": [ "sys/dev/raid/mrsas/mrsas.c:3239", "sys/dev/raid/mrsas/mrsas.c:2953", "sys/dev/raid/mrsas/mrsas.c:2960", "sys/dev/raid/mrsas/mrsas.c:2454", "sys/dev/raid/mrsas/mrsas.c:3041" ], "artifacts": ["README.md", "VERDICT.md", "run.log", "env.txt", "fix.diff", "manifest.json", "verdict.json"] } |