Simpletype restriction and {final}

I am trying to define a simpleType that is a restriction of another 
simpleType. I think this should be possible and the tools agree with me. 
the place where I am running into issues is with {final}. When 
specifying that the base type is final (#all) I expect the validator to 
fall over. MSXML, Xerces, IBM SQC all agree. XSV does not. I was 
wondering if anyone can confirm my results:

http://jeffrafter.com/samples/foo1.xml (should pass)
http://jeffrafter.com/samples/foo2.xml (should fail)
http://jeffrafter.com/samples/foo3.xml (should fail on schema load)
http://jeffrafter.com/samples/simpletype-restriction.xsd (valid)
http://jeffrafter.com/samples/simpletype-restriction-final.xsd (invalid)


http://www.w3.org/2001/03/webdata/xsv?docAddrs=http%3A%2F%2Fjeffrafter.com%2Fsamples%2Fsimpletype-restriction-final.xsd&warnings=on&independent=on&style=xsl#

When I looked at coverage for XSV it looks like this is something marked 
as implemented.

Thanks,
Jeff Rafter