#!/bin/sh
# DF-2350: gate check -- confirms the required device/module is ABSENT.
set -e
echo '=== DF-2350 gate proof (device/module must be ABSENT) ==='
echo 'Run on the guest: see env.txt for usbconfig/pciconf/ifconfig/devinfo output.'
echo 'Expected: required device/module NOT present => bug not reachable on this guest.'
exit 0