Mihaela Mihaljevic 94e16b1d7d fix(schema): block an xsi:type that reaches a union declared type through a member (#277) ... cvc-elt.4.3 defers to cos-st-derived-OK, whose clause 2.2.4 makes a type validly derived from a union when it is validly derived from one of the union's member types. The block check followed only the named base chain, so when the declared type was a union and the substitute reached it through a member by a blocked derivation method, the check found no path and stayed silent, wrongly accepting the substitution (W3C XSTS elemT074: block on the element is restriction and the xsi:type restricts a union member). Record a union's direct member types during schema compilation and follow a derivation through a member when the base chain does not reach the union. The member clause is existential: bar the substitution only when every confirmed derivation path to a member is blocked, so a substitute that is itself a member (its self-membership path uses no method) or reaches one member by an unblocked method is accepted whatever other members it reaches by a blocked method. The check adds a rejection only on a positively confirmed path, so an unresolved, inline-anonymous, or nested-union member leaves it silent: a bounded, disclosed under-rejection, never a false positive. Drops XSTS invalid-instances-accepted 15 to 14 with valid-schemas-rejected and valid-instances-rejected held at 0 over the full archive. An adversarial over-rejection review caught a first cut that order-shadowed the self-membership path; the existential form rules it out and the case is a regression test.		2026-06-24 21:12:35 +02:00
..
BuiltinType.swift
ComplexType.swift	fix(schema): attribute-wildcard union/intersection per Errata E1-10 (#251)	2026-06-23 04:56:17 +02:00
ComplexValidator.swift	fix(schema): block an xsi:type that reaches a union declared type through a member (#277)	2026-06-24 21:12:35 +02:00
ComplexValidatorAttributes.swift	fix(schema): resolve defaulted/fixed IDREF attributes against IDs	2026-06-22 18:56:36 +02:00
ComplexValidatorContentModel.swift	fix(schema): optional xs:all group requires its members when present	2026-06-22 18:29:09 +02:00
ComplexValidatorDerivation.swift	fix(schema): block an xsi:type that reaches a union declared type through a member (#277)	2026-06-24 21:12:35 +02:00
ComplexValidatorHelpers.swift
ComplexValidatorIDs.swift
ComplexValidatorStreaming.swift	fix(schema): optional xs:all group requires its members when present	2026-06-22 18:29:09 +02:00
ComplexValidatorXSIType.swift
ContentMatcher.swift
ContentModelDeterminism.swift	feat(schema): compositional UPA determinism, delete positionCap	2026-06-22 22:19:44 +02:00
ContentModelDeterminismCompositional.swift	fix(schema): reject a redefine whose self-reference duplicates a particle (UPA) (#253)	2026-06-24 00:06:23 +02:00
ContentModelEffectiveModel.swift
ContentNFABuilder.swift
DateTimeParser.swift
DateTimeValue.swift
DecimalValue.swift
DerivationMethod.swift
DurationValue.swift
GroupParticleMemo.swift	perf(schema): memoize group expansion in the compiled content model	2026-06-22 23:24:19 +02:00
IdentityConstraint.swift
IdentityFieldType.swift	fix(schema): reject identity field whose declared target is a non-simple complex type	2026-06-22 13:10:30 +02:00
IdentityFieldValue.swift
IdentityValidator.swift	fix(schema): reject identity field whose declared target is a non-simple complex type	2026-06-22 13:10:30 +02:00
IdentityValidatorDefaults.swift
IDTracker.swift
Lexical.swift
OccurrenceRange.swift
ParticleNormalization.swift
ParticleRestriction.swift	fix(schema): attribute-wildcard union/intersection per Errata E1-10 (#251)	2026-06-23 04:56:17 +02:00
ParticleRestrictionElement.swift
ParticleRestrictionHelpers.swift
Primitive.swift
RelaxNGCompactHelpers.swift
RelaxNGCompactLexer.swift
RelaxNGCompactParser.swift
RelaxNGContentType.swift
RelaxNGDerivative.swift
RelaxNGDiagnostics.swift
RelaxNGFacets.swift
RelaxNGGrammarCheck.swift
RelaxNGGrammarCheckSections.swift
RelaxNGNameClasses.swift
RelaxNGNode.swift
RelaxNGParser.swift
RelaxNGParserIncludes.swift
RelaxNGPattern.swift
RelaxNGRestrictionChecker.swift
RelaxNGRestrictionOverlap.swift
RelaxNGRestrictionPaths.swift
RelaxNGRestrictions.swift
RelaxNGSchema.swift
SchemaAllGroupPlacement.swift
SchemaAttributeApplicability.swift
SchemaAttributeRestriction.swift
SchemaAttributeUniqueness.swift	fix(schema): flatten redefine self-reference and exclude prohibited uses in attribute uniqueness	2026-06-22 03:52:13 +02:00
SchemaCompileValidation.swift	fix(schema): reject a redefine whose self-reference duplicates a particle (UPA) (#253)	2026-06-24 00:06:23 +02:00
SchemaCompositionValidations.swift
SchemaContentDerivation.swift	fix(schema): a complexContent restriction cannot restrict simple content	2026-06-22 19:40:57 +02:00
SchemaContentOrder.swift
SchemaDerivationControl.swift
SchemaDocument.swift	fix(schema): block an xsi:type that reaches a union declared type through a member (#277)	2026-06-24 21:12:35 +02:00
SchemaDocumentHints.swift
SchemaElementDeclarationsConsistent.swift	refactor(schema): split Element-Declarations-Consistent out of SchemaStructure	2026-06-22 15:30:58 +02:00
SchemaExtensionAllGroup.swift
SchemaFacetApplicability.swift
SchemaIDAttribute.swift
SchemaIdentityXPath.swift
SchemaIDValueConstraint.swift
SchemaImportNamespace.swift
SchemaNameUniqueness.swift
SchemaNestedDefinition.swift
SchemaNotationValidity.swift
SchemaRedefineAttributeGroupRestriction.swift	refactor(schema): split redefine attribute-group restriction into its own file	2026-06-22 15:07:53 +02:00
SchemaRedefineSelfReference.swift	refactor(schema): split redefine attribute-group restriction into its own file	2026-06-22 15:07:53 +02:00
SchemaReferenceForeignPools.swift
SchemaReferenceResolution.swift
SchemaReferences.swift
SchemaSimpleTypeFinal.swift
SchemaSimpleTypeValidity.swift
SchemaStructure.swift	refactor(schema): split Element-Declarations-Consistent out of SchemaStructure	2026-06-22 15:30:58 +02:00
SchemaStructureHelpers.swift
SchemaSubstitutionType.swift
SchemaUndeclaredNamespace.swift
SchemaWildcardExpressibility.swift	fix(schema): attribute-wildcard union/intersection per Errata E1-10 (#251)	2026-06-23 04:56:17 +02:00
SchemaWildcardNamespace.swift
SchemaXSIAttribute.swift
SimpleType.swift
StreamingXSDValidator.swift
TypeDerivation.swift
XPathQueryCache.swift
XSDAttributeParser.swift
XSDCompletions.swift
XSDComplexContent.swift	fix(schema): attribute-wildcard union/intersection per Errata E1-10 (#251)	2026-06-23 04:56:17 +02:00
XSDContext.swift	fix(schema): block an xsi:type that reaches a union declared type through a member (#277)	2026-06-24 21:12:35 +02:00
XSDDerivation.swift	fix(schema): block an xsi:type that reaches a union declared type through a member (#277)	2026-06-24 21:12:35 +02:00
XSDDerivationTables.swift	fix(schema): block an xsi:type that reaches a union declared type through a member (#277)	2026-06-24 21:12:35 +02:00
XSDParser.swift	fix(schema): block an xsi:type that reaches a union declared type through a member (#277)	2026-06-24 21:12:35 +02:00
XSDParserHelpers.swift
XSDParserParticles.swift	perf(schema): memoize group expansion in the compiled content model	2026-06-22 23:24:19 +02:00
XSDParserTypeReferences.swift
XSDParserUnion.swift
XSDSchemaValidations.swift
XSDSimpleContentParser.swift
XSDSimpleParser.swift	fix(schema): reject an unknown \p{...} category or block name (#248)	2026-06-23 02:15:26 +02:00
XSDSimpleParser+Facets.swift
XSDSubstitutionMembers.swift
XSDValidations.swift	fix(schema): block an xsi:type that reaches a union declared type through a member (#277)	2026-06-24 21:12:35 +02:00
XSDWildcardParser.swift	fix(schema): attribute-wildcard union/intersection per Errata E1-10 (#251)	2026-06-23 04:56:17 +02:00