igneum-network/igneum
1
0
Fork 0
Code Issues Pull requests Releases Activity

class v5: the (c''') census runner on box 2 through the pool lease (the suite's own test binary, the log copied under the harness dir)

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-07 19:24:03 +00:00
parent 9705a022ef
commit 15eeb5b5f6
1 changed files with 19 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

19
tools/class-v5/census-remote.sh Executable file
View file

@ -0,0 +1,19 @@
#!/usr/bin/env bash
# The class v5 (c''') census (docs/design/class-v5-stored-state.md section 14) on igneum-build-2 through the pool lease
# (main's rule, 7 October 2026, 20:17 UK: no sweep or thread-bound job starts on a box except through `lease pool`).
# Runs igneum-pow's ignored test `v5_hot_census` from the test binary the suite build left under the worktree's
# target (so the binary is the commit the suite judged), copies the log back under docs/design/class-v5-harness/.
# tools/class-v5/census-remote.sh [seeds] [from] [threads] defaults 4600 0 88
set -euo pipefail
ROOT="$(cd "$(dirname "$0")/../.." && pwd)"
WT="$(basename "$ROOT")"
HOST=build@142.132.249.238
KEY="$HOME/.ssh/igneum_ed25519"
REMOTE_ROOT="/srv/builds/$WT"
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 (c''') 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"