#!/bin/sh
# DF-0903 run.sh - host-runnable; pushes PoC into the guest, runs the harness
# (deterministic math transcription) AND the live mount+trigger (expected to
# panic). Full output to run.log; panic excerpt captured separately.
set -u
cd "$(dirname "$0")"
LOG=run.log
: > "$LOG"
{
    echo "=== DF-0903 run @ $(date -u +%FT%TZ) ==="
    echo
    echo "--- (a) deterministic harness (no mount needed) ---"
    ssh -F ../../dfbsd-qemu/config dfbsd '/bin/sh -c "cd /root && ./harness"'
    echo "HARNESS_RC=$?"
    echo
    echo "--- (b) live mount + trigger (expect panic / OOB) ---"
    ssh -F ../../dfbsd-qemu/config dfbsd '/bin/sh -c "sh /root/reproduce.sh qbmask3fff"'
    echo "REPRODUCE_SSH_RC=$?"
} >> "$LOG" 2>&1
cat "$LOG"
echo "--- serial boot.log tail (panic signature, if any) ---"
tail -40 ../../dfbsd-qemu/boot.log