# HW-gated SCSI/FC HBA driver finding

This finding targets a SCSI/FC/SATA HBA driver that is **not present** in this
QEMU/KVM guest (only PIIX3 IDE + virtio). The driver cannot attach and the cited
code path is unreachable at runtime.

## Reproduction status: NOT REPRODUCED (HW-gated)

- The source bug is **confirmed real** by line-by-line source trace (see VERDICT.md).
- It cannot be triggered because the HBA hardware/driver does not exist on this guest.
- A defense-in-depth `fix.diff` has been authored and validated with `git apply --check`.

## Evidence

- `VERDICT.md` — full source trace and analysis
- `env.txt` — guest environment (kldstat, pciconf, camcontrol gate proof)
- `fix.diff` — git-apply-able defense-in-depth fix
- `manifest.json` — machine-readable catalog