As first noted at #6758 (comment) we say:

Note 8: An implementation is required to provide default definitions for the global allocation functions

This was just changed to "is expected to provide". I think we could just say "An implementation provides default definitions". It's not something we expect to be true, it's just something required to be true, so it's a fact that the implementation provides them.

In [locale.category] we have similar normative wording:

An implementation is required to provide those specializations for facet templates identified as members of a
category, and for those shown in Table 105.

We could just say "provides those specializations"