#!/bin/sh
# DF-0641 run script -- deterministic primitive characterization.
# Prints the exact heap-overflow magnitude from the ssnsetup size math.
echo "=== overflow_harness (deterministic overflow proof) ==="
./overflow_harness
echo "exit=$?"
echo
echo "=== kernel-path trigger (root; reaches the nsmb path) ==="
echo "Requires: kldload smbfs; ./fakesmb & in background; ./trigger /dev/nsmb"
echo "(See VERDICT.md / panic.txt: the kernel crash on the minimal fake-SMB"
echo " handshake is NOT cleanly attributable to ssnsetup; the overflow is"
echo " proven by the harness above + source trace.)"