#!/bin/sh
# DF-0880 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
guest root: sh run.sh   (vnconfig + mount_udf + ls as maxx -> panic);  maxx: ./harness (deterministic over-read proof)