#!/bin/sh
# DF-0601 — run.sh
# No PoC to run: the vulnerable file (sys/netgraph7/ng_source.c) is not in
# the build system, has a hard compile error at line 743 (ifq undeclared),
# and the default kernel does not enable NETGRAPH7. The race is latent.
echo "DF-0601: no PoC to run — the race is in dead, non-compiling code."
echo "The file is not in sys/conf/files and has a compile error at line 743."
echo "See VERDICT.md for the exhaustive dead-code proof."
exit 0