Somehow this article misses key steps in the logical proof of the need not to expect any data as a result of command. It’s quite hard to understand the way of thought going from unspecified heisenbug to thesis about difficulties with reasoning about state.

I doubt that such proof can exist and that even such purism makes any sense: why adding another round trip between client and server? What architectural problem justifies doubling the number of requests?