Version attribute and importing standard step libraries

Hi,

I have a question about importing standard XProc step libraries
(http://www.w3.org/2008/xproc-1.0.xpl etc.). I think the WG sort of
agreed that with the "version" attribute (as specified in the latest
Editor's draft), this is no longer allowed. So, is it correct to assume
that the following pipeline:

<p:pipeline version="1.0">
  <p:import href="http://www.w3.org/2008/xproc-1.0.xpl"/>
  <p:identity/>
</p:pipeline>

will fail with a static error (err:XS0025 or similar)?

Or, should the processor be more clever and detect that in this
particular case, version="1.0" and <p:import
href="http://www.w3.org/2008/xproc-1.0.xpl"> are in fact consistent with
each other and therefore there is no error?

Regards,
Vojtech