я прочиталСпецификация XML-схемы для значений атрибутов по умолчанию правильно, процесс проверки фактически должен изменить DOM, чтобы заполнить значения по умолчанию.

default указывает, что атрибут должен безоговорочно появляться в инфо-наборе · post-schema-validation ·

Это правильное прочтение спецификации? Что еще более важно, какие-нибудь библиотеки (Java, C #, Python и т. Д.) Поддерживают это?

Во всем, что я видел, метод validate (document) не изменяет документ.