Нет, я утверждаю что на моей практике чаще оказывается более необходимой проверка совместимости нежели соответствия. И те частные случаи исключений, о которых ты гоыоришь, таки на деле редковаты, и приходится сильно поднапрячь мозг чтобы их надумать. И на счет "по умолчанию" я тоже не говорил. Мне скорее был бы интересен такой функионал плюсом к существующему. Но, полагаю, он использовался бы чаще.

Впрочем, твой пример с саксом меня очень, очень впечатлил. Мне никогда не доводилось разбирать им. Я правильно понимаю, что парсер не отдает в колбэки полного пути элемента, лишь текущее его имя? Если так, то забираю все свои батхерты обратно.

Пример с адресом тоже красивый. Спасибо. Однако же при изменении семантического смысла элемента, принято менять и его имя. В случае, если бы проверка совместимости не была исключительно порождением Злохиной фантазии, думаю это правило бы применялось интуитивно.

Речь идет о том, что совместимость можно трактовать по разному. Пример должен был показать, когда синтаксическая совместимость, не означает семантическую  И в общем случае fail fast предпочтительней, потому что позволяет найти ошибку на раннем этапе.



Опять же, просто w3c решили что это не очень востребовано. К тому же тебя никто не ограничивает w3c-approved tools. Хотя разработчики Relax NG тоже почему-то не поддержали твое стремление 
Можешь посмотреть: TREX - Tree Regular Expressions for XML и schematron, schematron похож на то что ты ищешь.





Да, ты получаешь колбеки: начало_тега(имя_тега, аттрибуты), тело_тега(текст), конец_тега(имя_тега). Ты конечно можешь сам построить путь до текущего тега (все данные у тебя есть), но это надо делать и как правило в случае с SAX, на этом не заморачиваются.



Нашел очень правильное высказывание на эту тему:

И грамматика которая просто игнорирует некорректные выражения, выглядит странно.

Как и обещал раньше, забираю назад все свои батхерты.

Разобрался, попрактиковал, прорелизилил на прод пару аппликух, разбирающих саксом.
ЗАбираю назад забор своих батхертов.


Именно что могу, это не составляет ровно никакого труда.
Те кто не заморачивается, вполне должны отдавать себе отчет к каким последствиям это может привести, либо же пусть проверяют на соответствие локальной схеме а не на сферическую совместимость в восполенном мозгу Злохи.