#!/bin/sh
# No standalone PoC binary: this finding is a hardware-gated kernel driver bug
# (no AMD GPU / no HighPoint HBA / no AMD-SVM on the QEMU guest).  The deliverable
# is the source-verified analysis + a compile-validated fix.diff.
# See VERDICT.md for the path trace and fix.diff for the patch.
echo "DF-NNNN: no userspace PoC to build (hardware-gated driver bug). See VERDICT.md."