{
  "finding_id": "DF-3926",
  "title": "siba_cc_power_init (via unconditional siba_core_resume -> siba_cc_resume) dereferences scc->scc_dev with no NULL check - panic on resume when scan found no ChipCommon",
  "verdict": "not_reproduced (hardware-gated; source-certain)",
  "impact_potential": "kernel NULL-deref panic from suspend/resume on scan-failed card",
  "reproduce": {
    "build": "n/a",
    "run": "SSB card whose scan yields no ChipCommon (bad NCORES/switchcore failure) + ACPI S3 cycle",
    "expected": "panic at siba_cc_power_init (scc->scc_dev NULL); NOT runnable on audit guest (no 14e4 device)"
  },
  "kernel_refs": ["sys/dev/netif/bwn/siba/siba_core.c:1042", "sys/dev/netif/bwn/siba/siba_core.c:2223", "sys/dev/netif/bwn/siba/siba_core.c:2245", "sys/dev/netif/bwn/siba/siba_core.c:325"],
  "artifacts": ["README.md", "VERDICT.md", "fix.diff", "env.txt", "manifest.json", "verdict.json"]
}