reserved the key means this runId, and nobody has started it yet
started one caller won the claim and is (or was) executing
terminal the run reached a terminal state; the key is spent
The states only ever move forward, with ONE exception: a start refused by the
execution fence rolls started back to reserved (see release), because a
fence refusal is the one failure that provably executed nothing.
Where a reservation is in its life:
reserved the key means this runId, and nobody has started it yet started one caller won the claim and is (or was) executing terminal the run reached a terminal state; the key is spent
The states only ever move forward, with ONE exception: a start refused by the execution fence rolls
startedback toreserved(seerelease), because a fence refusal is the one failure that provably executed nothing.