This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
The spec currently says in 3.7.1.3: "If construction mode in the static context is strip: The type-name property of each copied element node is set to xdt:untyped. Its nilled, is-id, and is-idrefs properties are set to false. The type-name property of each copied attribute node is set to xdt:untypedAtomic." attributes can also have an is-id property according to the following sentence in 3.7.1.1 & 3.7.3.2: "If the attribute name is in namespace http://www.w3.org/XML/1998/namespace and its local part is id (informally, if the attribute name is xml:id), the string-value of the attribute must be in the lexical space of the type xs:NCName [err:XQST0082], and the is-id property of the resulting attribute node is set to true;" But it is also set when the type of the attribute is of type xs:ID. I think that striping type information should set the is-id property the attribute to false as long as the original type of the attribute (xs:ID or subtype) was responsible for the is-id property to be set to true.
On May 16, the Query Working Group decided to respond to your comment by revising XQuery Section 3.7.1.3, Rule 1-e-ii-C-II as follows: "If the copied node is an attribute node, its type-name property is set to xdt:untypedAtomic. Its is-idrefs property is set to false. Its is-id property is set to true if the qualified name of the attribute node is xml:id; otherwise it is set to false." Please let us know whether you are satisfied with this resolution of your comment.
Looks good. Thanks.