"H. Peter Anvin" [off-list ref] writes:
We should be able to detect either inconsistency, or lack of forward
progress, but as long as there is forward progress made there doesn't
seem to be a strong need to terminate.
Yeah, what I wanted to say was that it would be tricky to detect (any/lack
of) forward progress without having server side state and without trusting
the client.