#!/bin/sh
# DF-4671 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
./run.sh   (--seqcheck confounder proof; --holdcheck deterministic orphan alias; then grow-vs-fault race as maxx)