#!/bin/sh
# DF-2203 run.sh -- HW-gated finding; no live trigger on this audit guest
# (no Vega20 GPU; amdgpu_xgmi_add_device is never called).
echo "DF-2203: HW-gated (no Vega20 GPU on guest). Source-only verification."
echo "See VERDICT.md for the unbounded-write trace and the bounds-check fix."
echo "Phase 8 evidence: build_patched.log shows amdgpu.ko rebuilt rc=0 under -Werror."