Yes and no.  Yes, they're checked by the parser, no, validity errors
are not fatal.
>IDREF requires DTD information for its identification (though a consistent
>naming scheme might be valuable). XLL relies on hardcoded attribute names
>(though a DTD can be useful in supplying them).
That's the big problem.  We need a way for automatically spotting 
ID attributes. -Tim