#!/bin/sh
# run.sh — DF-0819 PoC runner
# Runs the code-level analysis harness (primary proof).
# For the runtime trigger, see hammer_blkmap_trigger (needs root + hammer mount).
cd "$(dirname "$0")"
echo "=== DF-0819: Code-level lock-leak analysis ==="
./blkmap_lock_trace
echo ""
echo "=== Exit code: $? ==="
echo "(The runtime trigger hammer_blkmap_trigger requires root + a mounted"
echo " HAMMER filesystem; see VERDICT.md for the runtime test results.)"