diff --git a/verify/pr9144-32410029706-1/01-ab-guard-head-vs-base.png b/verify/pr9144-32410029706-1/01-ab-guard-head-vs-base.png
new file mode 100644
index 0000000000..51b68b539c
Binary files /dev/null and b/verify/pr9144-32410029706-1/01-ab-guard-head-vs-base.png differ
diff --git a/verify/pr9144-32410029706-1/02-mutation-pins-round21-hunk.png b/verify/pr9144-32410029706-1/02-mutation-pins-round21-hunk.png
new file mode 100644
index 0000000000..ce158e6a12
Binary files /dev/null and b/verify/pr9144-32410029706-1/02-mutation-pins-round21-hunk.png differ
diff --git a/verify/pr9144-32410029706-1/03-gates-typecheck-tests-lint.png b/verify/pr9144-32410029706-1/03-gates-typecheck-tests-lint.png
new file mode 100644
index 0000000000..8bdd5c0ef7
Binary files /dev/null and b/verify/pr9144-32410029706-1/03-gates-typecheck-tests-lint.png differ