>>             <report test="@id = (//@id[not(ancestor::meta)] except @id)">

> The most
> inefficient part of this is the test [not(ancestor::meta)] - it would be
> nice if Saxon were smart enough to remember while scanning the elements
> whether it has passed more meta start-tags than end-tags - but sadly, it
> isn't.

couldn't that be rewritten as:

@id = //@id except (@id, //meta//@id)

to avoid the ancestor walk?

--
Andrew Welch
http://andrewjwelch.com