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

Merge x2-1p5x-landing b458f3d2 into master (gate: green on 468918c9, recorded by tools/ci/pre-push.sh; landed on the build mirror)

Browse source
This commit is contained in:
igneum-labs 2026-10-09 09:45:32 +00:00
commit e601547aec
1 changed files with 17 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
tools/1p5x/x2/run-prod-then-pairs.sh Executable file
View file

@ -0,0 +1,17 @@
#!/usr/bin/env bash
# X2: the prod plan again (with the separators, after finding X2-F1), then the measured pairs; one GPU process at a time.
# The text as it ran on fk-x2-4090 at 08:49 UTC on 9 October 2026 (paths are the pod's /root/x2 layout).
set -uo pipefail
P=/root/x2/pids; O=/root/x2/out/equiv; D=/root/x2/tools/x2-equiv.py; W=/root/x2/bin/igneum-worker-cuda
echo "$$ $(date -u +%FT%TZ) x2 run-prod-then-pairs" > $P/x2-run-prod-then-pairs.pid
for c in same-work-20261008-01 same-work-20261008-02 same-work-20261008-03; do
echo "== $(date -u +%T) $c prod"
python3 $D expect --ctx /root/x2/ctx/$c --shape prod --out $O > /dev/null
python3 $D run --worker $W --ctx /root/x2/ctx/$c --mode full --shape prod --out $O --pid-dir $P > /dev/null
python3 $D run --worker $W --ctx /root/x2/ctx/$c --mode select --shape prod --out $O --pid-dir $P > /dev/null
python3 $D compare --out $O --ctx-id $c --shape prod > /dev/null
python3 -c "import json,sys; r=json.load(open(sys.argv[1])); print(r[\"ctx\"], r[\"shape\"], r[\"verdict\"], {m: (v if isinstance(v, str) else (v[\"equal_to_expected\"], v[\"sha256\"][:16], v[\"first_difference\"])) for m, v in r[\"modes\"].items()}, \"expected\", r[\"expected_sha256\"][:16])" $O/$c.prod.compare.json
done
echo "== $(date -u +%T) pairs"
/root/x2/tools/run-pairs.sh $W /root/x2/ctx/same-work-20261008-02/packs/chain-seed-d20730 /root/x2/out/pairs $P 4 1024 22
rm -f $P/x2-run-prod-then-pairs.pid