#!/bin/sh
# DF-2427 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
cd ../DF-2427 && ./run.sh   (sysctl debug.df2427.battery=1 -> contained battery: layout dump, poison reselect OOB chain, field-alias variant, wrong-target confusion, valid control, 0 checks failed; sysctl debug.df2427.battery=2 -> scenario A2 lets the real MSG IN path dereference the non-canonical wild active_srb -> Fatal trap 12 supervisor write). A/B: ../DF-2426/make_fixed.sh && ./run_fixed.sh