Keep a replaced build reachable, and delete it only once no process runs from it (hq issue 289) #48

Merged
mesh-admin merged 1 commits from fix/a-verb-survives-the-handover into main 2026-10-07 00:55:24 +00:00
1 Commits
Author SHA1 Message Date
jochen 3a117c2d2b Keep a replaced build reachable, and delete it only once no process runs from it (hq issue 289)
mesh/merge-gate pass: builds mesh-host → ace, g14, novox, shanks; no bus step; every machine composes with the change as it did without (4 of 4 compose)
mesh/repo-check pass: its merge-check.sh passed
mesh/delivery delivered
The witness moved a running controller's build into a 0700 directory and deleted it
on proof, while the old process could still be serving. Its directories are now
0711, and a build without a reader is retired and swept once /proc shows nothing
runs from it.
2026-10-07 02:45:08 +02:00