#!/bin/sh
# DF-DF-1285 run script. The bug requires PCI hardware (MPT / hptmv / Broadcom WiFi)
# that is not present in the audit QEMU guest, so there is no runtime trigger.
# This script documents the verification status and exits 0.
echo "============================================================"
echo "DF-DF-1285: source-confirmed bug, INCONCLUSIVE on this guest."
echo "The vulnerable code path is unreachable because the relevant"
echo "PCI hardware is not present in the QEMU guest (see VERDICT.md)."
echo "See fix.diff for the verified fix (compiles cleanly)."
echo "============================================================"
exit 0