diff --git a/verification/HARNESS.sha256 b/verification/HARNESS.sha256
index ad4f996..e8e70f8 100644
--- a/verification/HARNESS.sha256
+++ b/verification/HARNESS.sha256
@@ -14,5 +14,5 @@ eda93f520546a692926b2a46bcb79332e1795879e5083327a8bf2404aca5cf87  Proofs/AxiomCh
 82d41c634a2e9adfc2cc74c202d025e57411687796f820765d45608f3fb4cb20  Proofs/Inventory.lean
 0b8a0fc6947af1d1e600a756eb2b07dc88d189b21df3220c4501a41be8b33f1e  run_bare.sh
 473e2463d9c26653c8435ad6758044742f200eb13ea0db4b8f076466c08bd87a  selftest_audit.sh
-3d5898161d663eccad162269a5a6c102319077e22e1f2d89a8bfcab6926d29f6  selftest-harness.sh
-cf6d4d8210e224a054d4ab693c28c83e7a9ddebda05da47d6ec311d825a606c0  selftest_statements.sh
+5d2792996d5164022591f116ce9cbd03cdee8c9b886eb4aac6fa49c9de2bac32  selftest-harness.sh
+b4a3ea633ac8a38c699e10b55b040718567cb60c5f7c7439c0c9720d4c9f8554  selftest_statements.sh
diff --git a/verification/selftest-harness.sh b/verification/selftest-harness.sh
index 6425d3f..593d118 100755
--- a/verification/selftest-harness.sh
+++ b/verification/selftest-harness.sh
@@ -40,7 +40,7 @@ cp "$HERE/HARNESS.sha256" "$STASH/HARNESS.sha256"
 # either terminator rather than hardcoding one and silently lifting nothing.
 DRIVER="$STASH/phase0c.sh"
 {
-  echo 'set -uo pipefail'
+  echo 'set -euo pipefail'  # -e matches the button; see lift-drivers-drop-errexit
   echo "HERE=\"$HERE\""
   awk '/^# ── Phase 0c/{f=1} f{print} /^# ── Phase 1|^echo "=== Phase 1/{if(f && !/Phase 0c/) exit}' "$HERE/check.sh" \
     | sed '/^# ── Phase 1/d; /^echo "=== Phase 1/d'
diff --git a/verification/selftest_statements.sh b/verification/selftest_statements.sh
index 5239d9c..1c47e6a 100755
--- a/verification/selftest_statements.sh
+++ b/verification/selftest_statements.sh
@@ -48,7 +48,7 @@ cp "$T/AUDIT-MANIFEST.txt"   "$T/MANIFEST.pristine"
 # two variables it reads from its surroundings.
 DRIVER="$T/phase3d.sh"
 {
-  echo 'set -uo pipefail'
+  echo 'set -euo pipefail'  # -e matches the button; see lift-drivers-drop-errexit
   echo "HERE=\"$T\""
   echo 'INVLOG="$1"'
   sed -n '/^# -- Phase 3d/,/^# -- Phase 4/p' "$SRC/check.sh" | sed '$d'