#!/bin/sh
# DF-4079 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
sh run.sh baseline   (survives, prints both CHAIN INVARIANT VIOLATION markers); fresh boot + sh run.sh panic   (kernel panic)