lutaml-xsd 1.2.89 → 1.2.91

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: ee81fb06ad80e4da277c32dd4bd6dd3a5cdfbad94d2ba5c3fdef2b3a09cd64db
-  data.tar.gz: 43b043d4d772dd55838bbf7790d2d1bc7bfc9dda1c296377ac519d2acd75b7f2
+  metadata.gz: 2e393ac1e891791490925386f06e9f862e04287ab8866248e63075bcb22c16db
+  data.tar.gz: 383756510350cd3d61ffe29751e5ff06985efb4fab626c91e218db1546976bd8
 SHA512:
-  metadata.gz: 2f3d851982c4b705f7bf3a2757110ac2ef8647031004618a3f105ebf4479ec214cb308395abd38c4bc85ab4edf2d432ec2822d6e5034ec1cda11d32b03e91e10
-  data.tar.gz: af59e1a701a4d46d9e82e79b908b350fbd53d5381e74efc8c841113cc914672c7cd96f846a59faa0281b8cfeb81d20b65b1f2812edd7aad15bb37eff47206702
+  metadata.gz: bd0a4bb5ccb6da00c0adb3eb0f7621e45c431bcaa0cfdaa2d8c47e5775a411b77eff718a47b6b2ee5dd357ec8bb890b541589c6ba557b9e80af3ed0d3fc8aecd
+  data.tar.gz: 2a0a5ca5c6da7a35161eacf0a40bd1c4b8e50297d9659e6b696478edc6cecebebf6725d1ba70974978f43e5286ff4d2e0a4fdd85ba4e83535ebe7c2b7d1cabf3

data/TODO.conformance.md

@@ -120,7 +120,7 @@ pinned commit) is measured via `rake conformance:w3c`:
 
 | mode | pass-rate |
 |---|---|
-| pipeline | 4613/4696 (98.23%) |
+| pipeline | 4614/4696 (98.25%) |
 
 (2026-11-02, bundled-stack measurement with the escape,
 hint-following, pattern-alternative, identity-crash, engine-set,
@@ -144,7 +144,7 @@ lockfile refresh) → 4411 (93.9%) → 4430 (94.3%) → 4435 (94.4%) →
 → 4557 (97.0%) → 4565 (97.2%) → 4569 (97.3%) → 4562 (drift raw) →
 4563 (97.17%, ref-namespace round) → 4573 (97.38%, group-content
 round) → 4578 (97.49%, attribute-prohibition round) → 4585 (97.64%,
-multi-document round) → 4588 (97.7%, type-binding round) → 4592 (97.79%, model-161 ride) → 4611 (98.19%, engine-406 ride) → 4613 (98.23%, temporal-enumeration round), +652 net over the 1.2.43 baseline. The escapes round (PR #197 — \d→\p{Nd},
+multi-document round) → 4588 (97.7%, type-binding round) → 4592 (97.79%, model-161 ride) → 4611 (98.19%, engine-406 ride) → 4613 (98.23%, temporal-enumeration round) → 4614 (98.25%, simple-type-children round), +653 net over the 1.2.43 baseline. The escapes round (PR #197 — \d→\p{Nd},
 \w/\W/\s to their XSD value spaces) collapses Regex 120→69;
 same-step pattern facets now behave as alternatives and
 whitespace-only text reaches the facets intact (PR #200), Regex
@@ -238,6 +238,9 @@ corners.
 | mixed="true" on a particle-less complexType rejects text (ctA033/ctA035) | 2 | leptris-rs#35 (sub 2) |
 | xs:redefine composition compiles to an EMPTY content model (idF025/033/034, idG018/019/027/028) | 7 | leptris-rs#35 (sub 3) |
 | Default-supplied content on an empty list-typed element (stZ072) | 1 | leptris-rs#35 (sub 4) |
+| Fixed+empty ROOT-content legs (stE050, stE055) — survivors of the #25/#35 wave | 2 | leptris-rs#45 |
+| Substitution member bound to a same-name local of another type (elemZ020) — survivor of #29 | 1 | leptris-rs#46 |
+| Parsed schemas discard xmlns prefix maps — qualified QName resolution impossible (particlesQ032 class) | 1+ | lutaml-model#1131 |
 | Fixed + empty ATTRIBUTE values still rejected — the #25 attribute leg (addB104, attO006) | 2 | leptris-rs#36 |
 | Content model enforced on NILLED elements (QFE1700g2, particlesIa002) | 2 | leptris-rs#26 |
 | dateTime enumeration rejects timezone-equal forms (dateTime_enumeration005a/b) | 2 | leptris-rs#27 |
@@ -512,6 +515,22 @@ tuple keys, node-set field violations and absent-field rows handled, cross-eleme
   checks bind the no-ns int ct-A to the ns-b boolean children —
   'true' vs xsd:int — the per-child type plumbing under hint
   layering), full type-redefine body semantics.
+- SIMPLE-TYPE-CHILDREN ROUND (2026-11-05, third attempt — the first
+  two regressed 15 at scale): +1 DataTypes (dtZ86723; suite
+  4613->4614 = 98.25%, zero regressions, rspec green). A simple
+  type has no element content: the builtin assessment reports
+  children even when the lexical text is valid. THREE guards make
+  it sound where the earlier attempts were not: xs:anyType
+  overrides admit anything (isDefault072); unresolvable type
+  REFERENCES arrive at the builtin path as BARE NAMES through the
+  lenient fallback (resolve_element_type returns
+  schema_element.type on miss) — only xs/xsd-prefixed names are
+  builtin-typed, so the redefine-lenient tabletype class
+  (idF/idG) never triggers. The full 19-case battery — including
+  every case both earlier attempts regressed — passes. THE ROOT
+  CAUSE DISCOVERY: the lenient string fallback meant every
+  failed type resolution silently took the builtin path — the
+  children check is the first consumer that had to distinguish.
 - TEMPORAL-ENUMERATION ROUND (2026-11-05): +2 DataTypes (10->8,
   dateTime_enumeration005a/b; suite 4611->4613 = 98.23%, zero
   regressions, rspec green). Enumeration membership is a VALUE-space

data/lib/lutaml/xsd/validation/rules/type_validation_rule.rb

@@ -1049,6 +1049,33 @@ module Lutaml
                                     declared: nil)
             value = effective_text(xml_element, declared)
             validate_fixed_content(xml_element, declared, value, collector)
+            # A simple type has no element content: children under a
+            # builtin-typed element are illegal even when the lexical
+            # text is fine (dtZ86723 — the xsi:type-overridden root
+            # carries a stray child beside a valid int). xs:anyType
+            # overrides admit anything (isDefault072); unresolvable
+            # type REFERENCES arrive here as bare names (the lenient
+            # fallback returns schema_element.type) and are not
+            # builtin-typed at all (idF/idG's redefine-lenient
+            # "tabletype").
+            prefix = type_name.to_s.split(":").first
+            local = type_name.to_s.split(":").last
+            if !xml_element.children.empty? &&
+                BUILTIN_PREFIXES.include?(prefix) &&
+                local != "anyType"
+              report_error(
+                collector,
+                code: "simple_type_element_content",
+                message: "Element '#{xml_element.name}' has a simple " \
+                         "type (#{type_name}) and cannot carry " \
+                         "element children",
+                location: xml_element.xpath,
+                context: {
+                  element: xml_element.name,
+                  type: type_name,
+                },
+              )
+            end
             answer = engine_builtin_answer(type_name, value)
             return if answer.nil?
             return if answer

data/lib/lutaml/xsd/validation/schema_definition_resolver.rb

@@ -58,6 +58,13 @@ module Lutaml
           # the lenient unresolvable path (idF/idG/idH class).
           @redefined_targets = []
           @redefined_body_names = []
+          # Redefine SIMPLE-type bodies: the body is the effective type
+          # for every reference to the name (§4.2.2 — redefine modifies
+          # the schema as a whole, including target-document
+          # components; stZ033: the target doc's own b2 carries the
+          # redefined enumeration). The facet walk never recurses into
+          # named bases, so the body's base reference terminates here.
+          @redefined_simple_bodies = {}
           @elements = index_elements
         end
 
@@ -212,6 +219,11 @@ module Lutaml
         def resolve_named_type(local_name, owner_ns = nil)
           return nil if local_name.nil? || local_name.empty?
 
+          # A redefine SIMPLE-type body is the effective type for every
+          # reference to the name.
+          body = @redefined_simple_bodies[local_name]
+          return body if body
+
           list = named_type_candidates(local_name)
           return nil if list.empty?
           # A nil owner means the referencing declaration lives in NO
@@ -696,7 +708,13 @@ module Lutaml
           end
           Array(red.simple_type).each do |body|
             name = body.name.to_s
-            @redefined_body_names << name unless name.empty?
+            next if name.empty?
+
+            @redefined_body_names << name
+            # The body IS the effective type (§4.2.2): every reference
+            # to the name — including the target document's own — sees
+            # the redefined facets.
+            @redefined_simple_bodies[name] = body
           end
           Array(red.attribute_group).each do |group|
             name = group.name.to_s

data/lib/lutaml/xsd/version.rb

@@ -2,6 +2,6 @@
 
 module Lutaml
   module Xsd
-    VERSION = "1.2.89"
+    VERSION = "1.2.91"
   end
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: lutaml-xsd
 version: !ruby/object:Gem::Version
-  version: 1.2.89
+  version: 1.2.91
 platform: ruby
 authors:
 - Ribose Inc.