This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
There are various statements in the spec of the form: "If some condition, x, is true, then, in the post-schema-validation infoset it has the properties a,b,c ..." For example: "If an element is valid with respect to a type definition, as per Element Locally Valid (Type), in the post-schema-validation infoset the item has a property ... Furthermore, the item has one of the following alternative sets of properties: [type definition] ... " Is it true that if condition x does *not hold*, then the processor is *not permitted* to include properties a,b,c in the PSVI, even if such information is available? I'm assuming this is what was intended, based on the clarifications drafted for the Query WG on the topic of PSVI. If this is the case, should the Structures spec clarify this? ...perhaps with wording similiar to: "The properties a, b, c are in the PSVI if and only if ..." As an aside, wouldn't it be useful to get at type information for an element that was not valid, if the processor had that information?