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