From 7bb87b096f0e4189b0f0925308e7ff62d8a938b8 Mon Sep 17 00:00:00 2001
From: igneum-labs <337424239+igneum-labs@users.noreply.github.com>
Date: Wed, 7 Oct 2026 19:26:40 +0000
Subject: [PATCH] class v5 census runner: the test binary is the extension-less
 igneum_pow-<hash> (the first pick read an object file)

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
---
 tools/class-v5/census-remote.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/class-v5/census-remote.sh b/tools/class-v5/census-remote.sh
index e5d3cece6..07b1798c9 100755
--- a/tools/class-v5/census-remote.sh
+++ b/tools/class-v5/census-remote.sh
@@ -14,6 +14,6 @@ SEEDS="${1:-4600}"; FROM="${2:-0}"; THREADS="${3:-88}"
 OUT="$ROOT/docs/design/class-v5-harness"
 mkdir -p "$OUT"
 LOG="v5-census-$SEEDS-$FROM.log"
-ssh -i "$KEY" "$HOST" "set -e; cd $REMOTE_ROOT/igneum-pow; bin=\$(ls -t target/release/deps/igneum_pow-* | grep -v '\.d\$' | head -1); echo \"census: binary \$bin (\$(stat -c %y \$bin | cut -c1-19)), commit \$(git -C $REMOTE_ROOT rev-parse --short HEAD)\"; mkdir -p /srv/builds/_log/v5-class; /srv/builds/_bin/lease pool $THREADS --label 'class v5 c3 census: $SEEDS seeds from $FROM' --owner class-v5 --min 16 -- env IGNEUM_V5_CENSUS_SEEDS=$SEEDS IGNEUM_V5_CENSUS_FROM=$FROM IGNEUM_V5_CENSUS_THREADS={cores} \$bin --ignored v5_hot_census --nocapture --test-threads 1 2>&1 | tee /srv/builds/_log/v5-class/$LOG"
+ssh -i "$KEY" "$HOST" "set -e; cd $REMOTE_ROOT/igneum-pow; bin=target/release/deps/\$(ls -t target/release/deps/ | grep -E '^igneum_pow-[0-9a-f]+\$' | head -1); echo \"census: binary \$bin (\$(stat -c %y \$bin | cut -c1-19)), commit \$(git -C $REMOTE_ROOT rev-parse --short HEAD)\"; mkdir -p /srv/builds/_log/v5-class; /srv/builds/_bin/lease pool $THREADS --label 'class v5 c3 census: $SEEDS seeds from $FROM' --owner class-v5 --min 16 -- env IGNEUM_V5_CENSUS_SEEDS=$SEEDS IGNEUM_V5_CENSUS_FROM=$FROM IGNEUM_V5_CENSUS_THREADS={cores} \$bin --ignored v5_hot_census --nocapture --test-threads 1 2>&1 | tee /srv/builds/_log/v5-class/$LOG"
 rsync -a -e "ssh -i $KEY" "$HOST:/srv/builds/_log/v5-class/$LOG" "$OUT/"
 echo "census: log at $OUT/$LOG"