[xsl] XSD default attributes not working with doc()?

["Graydon graydon@xxxxxxxxx" <xsl-list-service@xxxxxxxxxxxxxxxxxxxxxx>]

Hello --

This is with XSLT 3.0, using Saxon-EE 9.8.0.12 in oXygen 21.1

I have some documents associated with an XSD schema via
xsi:noNamespaceSchemaLocation (and I'm sure that association works
because validation works in oXygen.)  The schema contains some
attributes with default values.

If I create an identity transform stylesheet and run one of the
documents through it, I get a result where the attribute nodes with the
default values have been created in the result document, which is what I
expect.

If I use the doc() function on the members of a sequence of document
references from the file:list() function I get the documents but I do
NOT get the default attributes, whether or not I set use="required" on
the default attributes.

I'm surprised by this; the DTD and RNG versions pick up the default
attributes.

Anyone got any idea what might be going on?

Thanks!
Graydon