From 4c10bc15ff56823fb71c50df0c00341709ff2925 Mon Sep 17 00:00:00 2001
From: Will Curran <will.s.curran@gmail.com>
Date: Mon, 12 Oct 2026 16:15:55 -0700
Subject: [PATCH] scratch: one deliberate failing check for PROOF-P0-S3 (never
 merge)

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
---
 tests/checks/ZZ-scratch-red.sh | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 tests/checks/ZZ-scratch-red.sh

diff --git a/tests/checks/ZZ-scratch-red.sh b/tests/checks/ZZ-scratch-red.sh
new file mode 100644
index 0000000..b39cdcb
--- /dev/null
+++ b/tests/checks/ZZ-scratch-red.sh
@@ -0,0 +1,2 @@
+# Scratch branch for PROOF-P0-S3. Never merge. It holds one check that must fail, to show the suite check turns red.
+fail "deliberate failure on a scratch branch (PROOF-P0-S3): the suite check must turn red"