The protocol itself could implement an ITC, with deterministic rules for concurrent events, and thus have an identical ordering for all members. It would make sense to make this as an extra layer on top of the core protocol when using distribution mechanics that cannot guarantee ordering (which is most of them).