#!/bin/sh
# DF-0856 run script — trigger is a source-trace no-op; the bug lives in
# dirfs (vkernel64-only, optional), which is not in the running kernel.
set -e
cd "$(dirname "$0")"
echo "+ ./trigger  (source-level reproduction: dirfs not in running kernel)"
./trigger
echo "RUN_EXIT=$?"
echo
echo "Bug verified at source: see trigger.c and VERDICT.md for the"
echo "openat error-path leak in dirfs_alloc_file (dirfs_subr.c:193-200)."