#!/bin/sh
# Run the DF-1869 harness in both modes and report.
# UNFIXED must demonstrate the OOB write primitive (exit 1).
# FIXED   must demonstrate zero OOB writes (exit 0).
cd "$(dirname "$0")"
echo "==================== UNFIXED (verbatim kernel logic) ===================="
./harness
rc_unfixed=$?
echo
echo "==================== FIXED (offset+len <= edtlen guard) ===================="
./harness fixed
rc_fixed=$?
echo
echo "RESULT: unfixed_rc=$rc_unfixed fixed_rc=$rc_fixed"
if [ $rc_unfixed -eq 1 ] && [ $rc_fixed -eq 0 ]; then
  echo "PASS — primitive reproduced unfixed; fix closes it."
  exit 0
else
  echo "FAIL"
  exit 1
fi