lutaml-xsd 1.2.88 → 1.2.90

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 39fc8674b3e5a3676a21e771abf673d48800564a4180cba74309033d31cbb59f
-  data.tar.gz: ea5b72895e06313b4bb04802f4abb151aa3c3b3717f48186b7d23ca571faedc8
+  metadata.gz: 455a2b544740a5953b1d2195962d89a3b549c8daa3b97c97b8bc8a9739bec815
+  data.tar.gz: 5157237514326ad902236ce4a3f2f67940680ef8a3e0f2a080d3012a2ee6c6c1
 SHA512:
-  metadata.gz: 96cb8f6600383f33e791d38544fec82e80c3c9abc376626d851a22165dff8be2d4c9d44011602f25280814d1ae8a55e53084c7fb247c81fbf517f30a28a9c95b
-  data.tar.gz: ac0bd6900bb0ac55b5ca948f2f8c4881666340270d96277ffd541aef68ef6eae1bb6283ab43dfdd8c08f2a582b4d269d46a7a5f2c428e00bcf9e2d43b7a2d556
+  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 | 4611/4696 (98.19%) |
+| 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), +650 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,37 @@ 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
+  test (Appendix E): the element- and attribute-side enumeration
+  checks now retry with INSTANT equality when the string compare
+  misses — both sides must parse as date-times and denote the same
+  instant (+00:00 equals Z). Unparseable forms never match, so the
+  string compare stays authoritative for every non-temporal type.
+  The 005a/b cases were orphaned legs of leptris-rs#27 (the engine
+  side fixed; our Ruby enumeration check carried the same lexical
+  comparison). ALSO UPSTREAM this round: three orphaned-leg
+  evidence comments posted (leptris-rs#36 confirmed FIXED by 406
+  and closed-out; #35 comment — stE050/stE055 fixed+empty root
+  legs still firing; #29 comment — elemZ020 substitution binding
+  still firing); the per-team remaining-issue inventory registered.
 - ENGINE-406 RIDE ROUND (2026-11-04, owner "leptris is updated"):
   leptris 1.9.403.0 -> 1.9.406.0 (three rides). +19 (suite
   4592->4611 = 98.19%, rspec green): the FULL #35 wave (fixed-empty

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

@@ -829,6 +829,20 @@ module Lutaml
             allowed = Array(restriction.enumeration).map(&:value)
             return nil if allowed.empty? || allowed.include?(value)
 
+            # Appendix E membership is by VALUE: timezone-shifted
+            # spellings of the same instant are members. Unparseable
+            # forms never match — the string compare stays
+            # authoritative.
+            require "date"
+            instant = begin
+              DateTime.parse(value.to_s)
+            rescue StandardError
+              nil
+            end
+            return nil if instant && allowed.any? do |candidate|
+              parse_candidate_instant(candidate) == instant
+            end
+
             {
               code: "attribute_enumeration_violation",
               message: "has value '#{value}' that is not among " \
@@ -837,6 +851,14 @@ module Lutaml
             }
           end
 
+          # @return [DateTime, nil]
+          def parse_candidate_instant(text)
+            require "date"
+            DateTime.parse(text.to_s)
+          rescue StandardError
+            nil
+          end
+
           def pattern_violation(value, restriction)
             patterns = Array(restriction.pattern)
             return nil if patterns.empty?

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

@@ -852,6 +852,10 @@ module Lutaml
             end
 
             return if allowed_values.include?(value)
+            # Appendix E membership is by VALUE: timezone-shifted
+            # lexical forms of the same instant are members (the #27
+            # reading — "+00:00" equals "Z").
+            return if temporal_enumeration_match?(allowed_values, value)
 
             report_error(
               collector,
@@ -866,6 +870,29 @@ module Lutaml
             )
           end
 
+          # Instant-equality membership for temporal enumerations: both
+          # sides must parse as date-times and denote the same instant
+          # (timezone-shifted spellings are members). Unparseable forms
+          # never match — the string compare stays authoritative.
+          #
+          # @return [Boolean]
+          def temporal_enumeration_match?(allowed_values, value)
+            require "date"
+            instant = parse_instant(value)
+            return false unless instant
+
+            allowed_values.any? do |allowed|
+              parse_instant(allowed) == instant
+            end
+          end
+
+          # @return [DateTime, nil]
+          def parse_instant(text)
+            DateTime.parse(text.to_s)
+          rescue StandardError
+            nil
+          end
+
           # Validate list type
           #
           # @param value [String] The value
@@ -1022,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.88"
+    VERSION = "1.2.90"
   end
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: lutaml-xsd
 version: !ruby/object:Gem::Version
-  version: 1.2.88
+  version: 1.2.90
 platform: ruby
 authors:
 - Ribose Inc.
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2026-11-04 00:00:00.000000000 Z
+date: 2026-11-05 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: liquid