#!/bin/sh
# DF-2428 build.sh — no buildable PoC on this guest (gated).
# Gate: no BusLogic HBA (pciconf); bt module not loaded (kldstat)
# The defense-in-depth fix is validated to compile: see fix.diff + fix_build.log
# (nativekernel rc=0, -Werror, -DINVARIANTS).
set -e
echo "DF-2428: no buildable PoC — gated on this guest (no BusLogic HBA (pciconf); bt module not loaded (kldstat))."
echo "See VERDICT.md (gate + source trace) and fix.diff (validated fix)."
exit 0