#!/bin/sh
# DF-5059 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
sh run.sh   (S1 shadow proof -> S4 fix pattern -> S3a unpriv deterministic -> S3b organic 100k unpriv reads -> S2 groomed cross-object corruption; guest must be reverted afterwards)