#!/bin/sh
# DF-1249 run: no runtime trigger possible on this guest.
echo "DF-1249: dc_pnic_rx_bug_war unbounded loop — NOT RUNTIME-REACHABLE on this guest."
echo "  Reason: guest NIC is vtnet0 (virtio-net); no PNIC 82c168/82c169 attached."
echo "  Status: source-confirmed code-level hardening gap; fix authored and compile-validated."
echo "  See VERDICT.md for the line-by-line source trace."
exit 0