#!/bin/sh
# DF-2435 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
./run.sh overflow  (single-shot readback proof); ./run.sh loop (200 iters, baseline panics ~100)