From e327d4a767cffb1db905dcbee485cfe588adef6b Mon Sep 17 00:00:00 2001
From: igneum-labs <337424239+igneum-labs@users.noreply.github.com>
Date: Wed, 7 Oct 2026 22:22:58 +0000
Subject: [PATCH] class v5: the listed-programs reading's box-side runner (pool
 lease, class v5)

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
---
 tools/class-v5/listed-on-box.sh | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100755 tools/class-v5/listed-on-box.sh

diff --git a/tools/class-v5/listed-on-box.sh b/tools/class-v5/listed-on-box.sh
new file mode 100755
index 000000000..5ef187209
--- /dev/null
+++ b/tools/class-v5/listed-on-box.sh
@@ -0,0 +1,16 @@
+#!/usr/bin/env bash
+# Box side of the class v5 listed-programs (c''') reading: runs igneum-pow's ignored test `v5_floor_on_listed_programs`
+# from the suite's own test binary on the programs file given, under the pool lease. A file run by path (the inline rule).
+#   listed-on-box.sh <remote root> <programs file> <log file>
+set -uo pipefail
+REMOTE_ROOT="$1"; PROGRAMS="$2"; LOG="$3"
+cd "$REMOTE_ROOT/igneum-pow"
+bin=
+for c in $(ls -t target/release/deps/ | grep -E '^igneum_pow-[0-9a-f]+$'); do
+  if target/release/deps/$c --list 2>/dev/null | grep -q v5_floor_on_listed_programs; then bin=target/release/deps/$c; break; fi
+done
+[ -n "$bin" ] || { echo "listed: no test binary lists v5_floor_on_listed_programs"; exit 3; }
+echo "listed: binary $bin ($(stat -c %y "$bin" | cut -c1-19)), commit $(git -C "$REMOTE_ROOT" rev-parse --short HEAD)"
+mkdir -p "$(dirname "$LOG")"
+/srv/builds/_bin/lease pool 16 --label "v5 gate: c3 reading on listed programs" --owner class-v5 --class v5 --min 4 -- \
+  env IGNEUM_V5_PROGRAMS="$PROGRAMS" "$bin" --ignored v5_floor_on_listed_programs --nocapture --test-threads 1 2>&1 | tee "$LOG"