Is the output valid?

XML transformations are programs... so the question to ask is really:

Given an XML transformation T and an XML schema S, is it the case that whenever T outputs an XML document X, then X is valid with respect to S?

Existing XML transformation technologies - including XSLT and JDOM - lack support for such compile-time output validation

The consequence: Testing, testing, testing... and there might still be bugs