Event sourcing is reifying a state machine transitions explicitly (in data). So the properties will depend on how the state machine is modeled. If you don’t ha

Event sourcing is reifying a state machine transitions explicitly (in data). So the properties will depend on how the state machine is modeled. If you don’t have strong ordering guarantees, it also means your state machine has to accept transitions from/to any state (eg comutative). Otherwise if ordering is important, your event log must have some ordering built-in (exactly once semantics) or you implement re-ordering and replay as past events arrive (a branching model).