#!/bin/sh
# DF-2664 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
sh run.sh          # unit proof + 2M-iteration fuzz
sh fix_run.sh       # fixed-build validation
sh hammer2_trigger.sh  # in-kernel (root on guest), read as maxx