Proposed resolution (January, 2019):

Change 16.4.2.5 [compliance] paragraph 1 as follows:

Two kinds of implementations are defined: hosted and freestanding (4.1 [intro.compliance]) the kind of the implementation is implementation-defined. For a hosted implementation, this document describes the set of available headers.