At some stage before we finally go to press, we need to decide what to do about the deep-equal2() function, which is currently in the XSLT 3.0 specification as a description of how we expect deep-equal to be enhanced to cater for maps.
I think the best approach is to drop the separate function name, and say instead something along the lines of "the fn:deep-equal function described is F+O 3.0 is modified to handle maps as follows:"
The WG accepts the proposal as suggested, editor to implement.
We noted also that the proposal to remove collations from maps impacts the deep-equal() comparison of maps; we should compare the keys in the two maps using codepoint collation and rely on the assumption that the application has normalized the keys to take account of the comparison semantics of the required collation.
Changes applied (draft N)