#!/bin/sh
# DF-0393 decisive run: meshid[1]=200 -> copy 202 bytes into 34-byte se_meshid
cd "$(dirname "$0")"
echo "============================================================"
echo "[1/3] Silent OOB write (NO_INVARIANTS analog): meshid[1]=200"
echo "============================================================"
./harness 200
RC_SILENT=$?
echo ""
echo "exit=$RC_SILENT (0 => OOB write confirmed)"
echo ""
echo "============================================================"
echo "[2/3] INVARIANTS-trap analog: same input, asserts first"
echo "============================================================"
./harness_inv 200
RC_INV=$?
echo ""
echo "exit=$RC_INV (99 => INVARIANTS trap fired before the write)"
echo ""
echo "============================================================"
echo "[3/3] Negative control: meshid[1]=20 (within 32-byte limit)"
echo "============================================================"
./harness 20
RC_NEG=$?
echo ""
echo "exit=$RC_NEG (1 => no overflow, as expected for in-bounds IE)"