State resolution and checks on incoming PDUs according to the Matrix specification that can be used by server code.