{
  "finding_id": "DF-2646",
  "title": "hammer2_flush_core LOST CHILD3: NULL->non-NULL parent transition panics (KKASSERT / unlock(NULL))",
  "verdict": "skipped",
  "impact": "none (potential: panic)",
  "reproduce": {
    "build": "n/a",
    "run": "n/a (race not schedulably winnable)",
    "expected": "panic at hammer2_flush.c:686 KKASSERT(parent != NULL) or NULL-deref inside hammer2_chain_unlock(NULL)"
  },
  "kernel_refs": [
    "sys/vfs/hammer2/hammer2_flush.c:681-690",
    "sys/vfs/hammer2/hammer2_flush.c:661-665",
    "sys/vfs/hammer2/hammer2_chain.c:1132-1138"
  ],
  "artifacts": ["README.md", "VERDICT.md", "verdict.json", "manifest.json"]
}