#!/bin/sh
# DF-1253 run: no runtime trigger possible on this guest.
echo "DF-1253: vega20 uint32 underflow — NOT RUNTIME-REACHABLE on this guest."
echo "  Reason: amdgpu.ko not loaded; no AMD Vega20 GPU in QEMU guest."
echo "  Status: source-confirmed real bug; fix authored and compile-validated."
echo "  See VERDICT.md for the line-by-line source trace."
exit 0