Development record
A move that starts a run and then records it is two durable writes, so a process killed between them leaves a run its series never records: in build next's series (loop/nextseries.go, startPick then finish) a --max 2 series can start three runs and never report the orphan's outcome, and the drain's drainMove (Start then finish) has the same gap. Found by the build-next lane's ruthless review (run-2610110908001704).
issueopenminoriss-2610111014215034
A move that starts a run and then records it is two durable writes, so a process killed between them leaves a run its series never records: in build next's series (loop/nextseries.go, startPick then finish) a --max 2 series can start three runs and never report the orphan's outcome, and the drain's drainMove (Start then finish) has the same gap. Found by the build-next lane's ruthless review (run-2610110908001704).
Frontmatter
| id | iss-2610111014215034 |
|---|---|
| type | issue |
| lifecycle | open |
| severity | minor |
.abcd/work/issues/open/iss-2610111014215034-move-killed-between-start-and-record.md
open on GitHub ↗ · commit history ↗