#!/bin/sh
# DF-2411 build.sh — no buildable PoC on this guest (gated).
# Gate: no AdvanSys PCI HBA (pciconf); advansys 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-2411: no buildable PoC — gated on this guest (no AdvanSys PCI HBA (pciconf); advansys module not loaded (kldstat))."
echo "See VERDICT.md (gate + source trace) and fix.diff (validated fix)."
exit 0