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