class v5: the listed-programs reading's box-side runner (pool lease, class v5)

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-07 22:22:58 +00:00
parent ace36eecdf
commit e327d4a767

16
tools/class-v5/listed-on-box.sh Executable file
View file

@ -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"