One instance's state slot: read a copy-safe view, write the whole next state.
write answers its Settlement — nothing for a store that commits within the call, the
landing's promise for a door that does not. A cell that DISCARDS an asynchronous door's promise
makes its own read answer the pre-write state to the pipeline composing the reply, which is
task #79 exactly; the return type is where that signal is kept.
One instance's state slot: read a copy-safe view, write the whole next state.
writeanswers its Settlement — nothing for a store that commits within the call, the landing's promise for a door that does not. A cell that DISCARDS an asynchronous door's promise makes its ownreadanswer the pre-write state to the pipeline composing the reply, which is task #79 exactly; the return type is where that signal is kept.