#!/bin/sh
# DF-<ID> run/reproduction script.
#
# Source-only confirmation: this finding's bug pattern is real but is
# either latent (no in-tree caller reaches it) or HW-gated (needs hardware
# the audit guest does not have).  The "reproduction" is the source-level
# trace in VERDICT.md plus the clean -Werror kernel build from build.sh.
# There is no runtime PoC to invoke.
echo "DF-2072: source-only confirmation (see VERDICT.md for the path:line trace)"
echo "DF-2072: no runtime PoC -- bug is latent / HW-gated / defense-in-depth"
exit 0