Add recv sequence incr to RecvPacket()

x/ibc/04-channel/keeper/packet.go

@@ -240,6 +240,24 @@ func (k Keeper) RecvPacket(
 		)
 	}
 
+	if channel.Ordering == types.ORDERED {
+		nextSequenceRecv, found := k.GetNextSequenceRecv(ctx, packet.GetDestPort(), packet.GetDestChannel())
+		if !found {
+			return nil, types.ErrSequenceReceiveNotFound
+		}
+
+		if packet.GetSequence() != nextSequenceRecv {
+			return nil, sdkerrors.Wrapf(
+				types.ErrInvalidPacket,
+				"packet sequence ≠ next receive sequence (%d ≠ %d)", packet.GetSequence(), nextSequenceRecv,
+			)
+		}
+
+		nextSequenceRecv++
+
+		k.SetNextSequenceRecv(ctx, packet.GetDestPort(), packet.GetDestChannel(), nextSequenceRecv)
+	}
+
 	if uint64(ctx.BlockHeight()) >= packet.GetTimeoutHeight() {
 		return nil, types.ErrPacketTimeout
 	}