@helge i am trying to understand the protocol and all its gory implications but i have difficulty piecing together a logical picture. Disconnected comments/complaints from implementers help point out what are important/ill defined topics but further fragment the overall coherence. Is there like a concise mathematical distillation of what is supposed to happen (and what actually does happen)? Or rather, what is the closest approximation to such a terse but complete depiction of information flow.