Expand description
store-delete — removes a key from a named store.
Deleting a key that does not exist is a success. This is the one place the
design deliberately does not mirror store-get: a miss port here would be
mandatory-wired in every policy that clears state, to signal something
almost no caller acts on.