#!/bin/sh
# DF-5730 boot 2 — corrected maxoff demo + liveness marker (no network
# dependency for the post-continue proof).
set -eu
cd "$(dirname "$0")"
./serial_vm.sh down || true
./serial_vm.sh up
# T+150s console marker: proves userspace is scheduled again after `c`
(ssh -F ../../../dfbsd-qemu/config dfbsd \
   '(sleep 150; echo POSTCONT_MARKER_LIVE > /dev/console) >/dev/null 2>&1 & exit 0' >/dev/null 2>&1 &)
sleep 2
(ssh -F ../../../dfbsd-qemu/config dfbsd 'sysctl debug.enter_debugger=ddb' >/dev/null 2>&1 &)
sleep 6
python3 drive2.py 2>&1 | tee session2-live.log
echo "=== waiting 120s for POSTCONT marker ==="
sleep 120
grep -a "POSTCONT\|Fatal trap\|panic" /tmp/opencode/df-5730-serial.log | tee marker.log || echo "NO MARKER"
echo "=== ssh attempt ==="
ssh -F ../../../dfbsd-qemu/config -o ConnectTimeout=15 -o BatchMode=yes dfbsd \
   'echo SSH_ALIVE; uptime' 2>&1 | tee -a marker.log || true