Draw the sequence diagram from what actually ran
Every architecture diagram in a wiki is wrong. Not because anybody was careless, but because a diagram is a claim about what the code does, written by hand, and the code moves. The picture that survives is the one that is generated from a run — and generating it needs records that carry more than a message.
Semantic logging carries exactly enough: the leg each call belongs to, the checkpoints a handler passed, and the branches its decisions took. From those, a sequence diagram of a real execution falls out — and the interesting part is not that it can be drawn, it is what a reader can tell from it.
