From fd2cdd3a34d23e2fe4370853794597675b19d7ca Mon Sep 17 00:00:00 2001
From: igneum-labs <337424239+igneum-labs@users.noreply.github.com>
Date: Thu, 8 Oct 2026 19:57:49 +0000
Subject: [PATCH] gate-remote.sh: ci mode on box 2 (the box carries the overlap
 browser; local mode on a box reads two environment reds)

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
---
 tools/class-v5/gate-remote.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/tools/class-v5/gate-remote.sh b/tools/class-v5/gate-remote.sh
index 47c30dad6..e88398982 100755
--- a/tools/class-v5/gate-remote.sh
+++ b/tools/class-v5/gate-remote.sh
@@ -6,7 +6,7 @@
 set -euo pipefail
 HERE="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
 . "$HERE/../../infra/build-server/lib.sh"
-BOX=1
+BOX=2   # box 2 carries the overlap browser (/srv/builds/_bin/overlap); box 1 does not (the 20:56 UK red)
 while [ $# -gt 0 ]; do case "$1" in --box) BOX="$2"; shift 2 ;; *) echo "unknown argument $1" >&2; exit 2 ;; esac; done
 export IGNEUM_AGENT="${IGNEUM_AGENT:-v5-gate}"
 bs_host "$BOX"
@@ -16,7 +16,9 @@ STAMP=$(date -u +%Y%m%dT%H%M%SZ)
 bs_toolchain_check
 bs_sync_sources
 bs_log "sources at $WT (commit $BS_SHA on $BS_BRANCH); the full gate on box $BOX"
-CMD="cd '$WT' && IGNEUM_GATE_NO_TITLE=1 bash tools/ci/pre-push.sh"
+# ci mode: the box runs the gate as the box runners do (box-locks reads ok with no host file; a browser is found at
+# /srv/builds/_bin/overlap); local mode on a box reads two environment reds that are not the tree's (20:56 UK)
+CMD="cd '$WT' && IGNEUM_GATE_NO_TITLE=1 bash tools/ci/pre-push.sh ci"
 set +e
 BR_KIND=gate BR_COMMAND="the full gate (tools/ci/pre-push.sh) over the class-v5 tree" BR_TARGET="x86_64-linux" BR_ARTEFACTS="" \
   bs_remote_run "$WT" "$BS_WT class-v5 full gate" "$CMD" 2>&1 | tee "/tmp/v5-gate-$STAMP.log" | grep -E '^(  (ok|FAIL|RED)|pre-push gate|FAIL|build-remote: RESULT)'