How everything that leaves the process is written (decisions 0025, 0027). That is the flags and messages that
arrive; the state and the operations it holds, stored with each step; the reasons of rejections, stored with
the replies; the sender of a message waiting in the mailbox; and the projection, which callers read. Each of
them encodes to what JSON holds (decision 0030).
How everything that leaves the process is written (decisions 0025, 0027). That is the flags and messages that arrive; the state and the operations it holds, stored with each step; the reasons of rejections, stored with the replies; the sender of a message waiting in the mailbox; and the projection, which callers read. Each of them encodes to what JSON holds (decision 0030).