#!/bin/sh
# DF-2073 run.sh -- HW-gated; no runtime trigger possible on this guest.
# Confirming artifact: the source trace in VERDICT.md (cited path confirmed
# line-by-line) plus the combined-fix kernel build (fix_build_combined.log).
set -eu
cd "$(dirname "$0")/../../.."   # repo root
echo "DF-2073: HW-gated (no AR5212 ath(4) NIC). Source-only confirmation."
echo "  Bug confirmed: sys/dev/netif/ath/ath_hal/ar5212/ar5212_keycache.c:86-93"
echo "  HALASSERT inert on GENERIC (AH_ASSERT only in LINT64): ah_internal.h:665-676"
echo "  Runtime trigger requires privileged HAL capability control + AR5212 NIC."
echo "  Realistic impact ceiling: MMIO write past keycache aperture -> local DoS."
./dfbsd-qemu/vm.sh run_root 'pciconf -l 2>/dev/null | grep -iE "ath|atheros" || echo "NO_ATH_HW (HW-gated, source-only)"'