"An unverifiable row reports it unless input or approval waits" still overstated
the projection. Cleanup outranks the liveness verdict: a worker that reported
success and still owns a reclaimable terminal is unverifiable with neither
pending flag set, and projectFleetNextAction returns `release` for it well
before the unverifiable branch is reached. An agent reading the old sentence
would treat that row as wait-only and leave the terminal held.
The sentence now says what `none` means without claiming absence produces it,
and the projection test that covers the reclaimable row asserts its unverifiable
verdict so the counterexample is pinned rather than described.
Jinwoo-H
6a6022576b