From 8e5798fa1ceac2f7ba10f2fda9cdf7b8814e6845 Mon Sep 17 00:00:00 2001
From: Joseph Ferano <joseph@ferano.io>
Date: Fri, 18 Sep 2026 07:40:52 +0700
Subject: [PATCH] The sweep reads spike/js too, where a wrong shift had been
 waiting

---
 spike/x86/survey.sh | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/spike/x86/survey.sh b/spike/x86/survey.sh
index d3affb0..7fe1aa2 100755
--- a/spike/x86/survey.sh
+++ b/spike/x86/survey.sh
@@ -27,8 +27,11 @@
 #   NOX86     failed to build through --x86 for some other reason
 #   SKIP      no main, does not compile at all, or does not terminate
 #
-# Over test/programs, and over spike/x86's own probes, which are here for the
-# paths the corpus does not walk.
+# Over test/programs, over spike/x86's own probes, which are here for the paths
+# the corpus does not walk, and over spike/js's, which are here for another
+# backend's decisions but are plain flan programs and so are evidence about
+# this one too: p1-int-semantics.flan had been catching a wrong shift for as
+# long as this sweep had been not reading it.
 #
 # Usage: spike/x86/survey.sh [name-substring ...]
 set -u
@@ -77,7 +80,8 @@ read -r -a extra <<<"${SURVEY_FLAGS:-}"
 
 declare -a match=() differ=() refused=() nox86=() skip=()
 
-for src in "$corpus"/test/programs/*.flan "$corpus"/spike/x86/*.flan; do
+for src in "$corpus"/test/programs/*.flan "$corpus"/spike/x86/*.flan \
+         "$corpus"/spike/js/*.flan; do
   name=$(basename "$src" .flan)
   if [ $# -gt 0 ]; then
     want=0