#!/bin/sh
# DF-2271 build.sh — no buildable PoC on this guest (gated).
# Gate: no /dev/ch* (no medium-changer target); trigger also needs a malicious SCSI changer
# The defense-in-depth fix is validated to compile: see fix.diff + fix_build.log
# (nativekernel rc=0, -Werror, -DINVARIANTS).
set -e
echo "DF-2271: no buildable PoC — gated on this guest (no /dev/ch* (no medium-changer target); trigger also needs a malicious SCSI changer)."
echo "See VERDICT.md (gate + source trace) and fix.diff (validated fix)."
exit 0