From 2235204ada459d0b2ad5837264b615cd7c37d495 Mon Sep 17 00:00:00 2001
From: igneum-labs <337424239+igneum-labs@users.noreply.github.com>
Date: Tue, 6 Oct 2026 17:40:30 +0000
Subject: [PATCH] fleet: the last three bare process patterns anchored; the
 self-match check passes over the tree

---
 tools/fleet/box-prover.py | 4 ++--
 tools/fleet/box-prover.sh | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/tools/fleet/box-prover.py b/tools/fleet/box-prover.py
index ffe638fb6..62b32d5fb 100644
--- a/tools/fleet/box-prover.py
+++ b/tools/fleet/box-prover.py
@@ -50,7 +50,7 @@ def fnv1a(s):
     return h
 def kill_server():
     if CARD: subprocess.run(f"rm -f /tmp/sp1-cuda-{DEV}.sock", shell=True)   # a rig: never another card's server
-    else: subprocess.run("pkill -f sp1-gpu-server; sleep 1; rm -f /tmp/sp1-cuda-*.sock", shell=True)
+    else: subprocess.run("pkill -x sp1-gpu-server; sleep 1; rm -f /tmp/sp1-cuda-*.sock", shell=True)
 MPROC = None
 def miner_start():
     global MPROC
@@ -64,7 +64,7 @@ def miner_start():
 def miner_stop():
     global MPROC
     if MPROC: MPROC.terminate(); time.sleep(2); MPROC.kill(); MPROC = None
-    subprocess.run(f"pkill -f 'igneum-worker-cuda --device {DEV} '", shell=True)
+    subprocess.run(f"pkill -f '^/opt/igneum/pkg/bin/igneum-worker-cuda --device {DEV} '", shell=True)
 def miner_rate(n=6):
     try:
         vals = [float(l.split(" now=")[1].split()[0]) for l in open(f"{OUT}/prover-miner.log").read().split("\n") if "STATUS" in l and " now=" in l][-n:]
diff --git a/tools/fleet/box-prover.sh b/tools/fleet/box-prover.sh
index 902660544..fa45f2e9c 100755
--- a/tools/fleet/box-prover.sh
+++ b/tools/fleet/box-prover.sh
@@ -13,7 +13,7 @@ if [ -z "${THRESHOLD:-}" ]; then
 fi
 if [ -z "${MINER:-}" ]; then if [ "$TOTAL" -ge 15000 ]; then MINER=keep; else MINER=pause; fi; fi
 echo "RESULT launch $(stamp) total_mib=$TOTAL threshold=${THRESHOLD:-default} miner=$MINER"
-pkill -f "igneum-miner mine" 2>/dev/null; pkill -f '^/opt/igneum/pkg/bin/igneum-worker-cuda' 2>/dev/null; pkill -x sp1-gpu-server 2>/dev/null; rm -f /tmp/sp1-cuda-*.sock
+pkill -x igneum-miner 2>/dev/null; pkill -f '^/opt/igneum/pkg/bin/igneum-worker-cuda' 2>/dev/null; pkill -x sp1-gpu-server 2>/dev/null; rm -f /tmp/sp1-cuda-*.sock
 pkill -x igneumd; sleep 4; pkill -9 -x igneumd 2>/dev/null; sleep 1
 HUBARG=""; [ -n "${HUB_PEER:-}" ] && HUBARG="--addpeer=$HUB_PEER"   # the fleet's hub box (a second peer beside the seed, 12:35Z)
 NODE_BIN=$B/igneumd; [ -x $B/igneumd-0313 ] && NODE_BIN=$B/igneumd-0313   # the 0.3.13 swap's binary once box-node-swap.sh has run