lutaml-xsd 1.2.89 → 1.2.90

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: ee81fb06ad80e4da277c32dd4bd6dd3a5cdfbad94d2ba5c3fdef2b3a09cd64db
-  data.tar.gz: 43b043d4d772dd55838bbf7790d2d1bc7bfc9dda1c296377ac519d2acd75b7f2
+  metadata.gz: 455a2b544740a5953b1d2195962d89a3b549c8daa3b97c97b8bc8a9739bec815
+  data.tar.gz: 5157237514326ad902236ce4a3f2f67940680ef8a3e0f2a080d3012a2ee6c6c1
 SHA512:
-  metadata.gz: 2f3d851982c4b705f7bf3a2757110ac2ef8647031004618a3f105ebf4479ec214cb308395abd38c4bc85ab4edf2d432ec2822d6e5034ec1cda11d32b03e91e10
-  data.tar.gz: af59e1a701a4d46d9e82e79b908b350fbd53d5381e74efc8c841113cc914672c7cd96f846a59faa0281b8cfeb81d20b65b1f2812edd7aad15bb37eff47206702
+  metadata.gz: 539801642fef0b0625c6d647305411294f71164f0ebc49b92993895b473784112aafde653b46cc87f32d3b278dc71a7eed6468b366343a1731bd51304102814a
+  data.tar.gz: 00413b4b3e957a333d13285ad87219cdec576d7ac135dbc7d8561aee6f41b3bd613338910b4b366622805e685c7c34cbb204b6bfbc74376bee5c5b3424e2723c

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
@@ -512,6 +512,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/version.rb

@@ -2,6 +2,6 @@
 
 module Lutaml
   module Xsd
-    VERSION = "1.2.89"
+    VERSION = "1.2.90"
   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.90
 platform: ruby
 authors:
 - Ribose Inc.