#!/bin/sh
# DF-3901 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
./skl_dram_probe (reachability only; full proof needs single-channel SKL + KMSAN)