It seems that the result of the algorithm depends on the iteration order in the step 3 of section 4.4.3. Also, following the link for the definition of map here we can see that it's always assumed that the map is ordered.
However, for the issued identifiers map it's explicitly mentioned that it's an ordered map, so inattentive reader like me might assume that it's the only map which keys have to be ordered.
It seems that the result of the algorithm depends on the iteration order in the step
3
of section4.4.3
. Also, following the link for the definition of map here we can see that it's always assumed that the map is ordered.However, for the issued identifiers map it's explicitly mentioned that it's an ordered map, so inattentive reader like me might assume that it's the only map which keys have to be ordered.