lutaml-xsd 1.2.103 → 1.2.105

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 0406cd7f1ca030db5b4c6db63f060fdaae3981f61d2913f3552c510129f80b8c
-  data.tar.gz: 067f44365c98c7a9b3fd221c74d35965d5e628b3cb58f788e7210bd8a8cc6964
+  metadata.gz: 1b6818402b9251af19a59e3a7858a54a9acd85a2f1b6705ba6ffaf1346ad7979
+  data.tar.gz: 774c04eb4a361f5b5d076a4228280968f7c85e4b82a9fae996056727d21f7ab4
 SHA512:
-  metadata.gz: d7b9a1f01944bfe42b257e750226f2e9b200fbe3a30fe14ac834f3b1b7fdd675a12afb77764eaf821e09662674788ecf764064516477e26df394da4ba8b66ac2
-  data.tar.gz: 8dc0ac9729456a8903c6a2f70c4db8d1d2c7704076654ac173c4450aa089c76d3369a48f61d1638c210e26cd5b94584cebeff2af4700bdf3964b587136082183
+  metadata.gz: f04e67e032a0b304af390e8404105f588852ed0d59f306aa10f94394169aae8a8416748aa141417ffa21f2b81199a89d463a68d2baea11dcd8fdf2507fcc4e25
+  data.tar.gz: f56003936d0e805e72e0e490b5065e32d6bd1aeb9d18dfbe38a5009a8ec9fc42ca4a8aab70acfee5fac48e5ce5f72e2c3b640c3eef27e00e256a8b59133014db

data/TODO.conformance.md

@@ -517,7 +517,37 @@ tuple keys, node-set field violations and absent-field rows handled, cross-eleme
   layering), full type-redefine body semantics.
 - RIDE-407 PIN-BACK (2026-11-05): the leptris 1.9.407.0 + moxml
   0.6.3 + lutaml-model 0.8.166 train carried fixes (the FULL #45
+- LAX-OBIGATION ROUND (2026-11-08, parent-context round D): +5
+  DataTypes (duration028/029/030, dateTime013, gMonthDay006; suite
+  4631->4636 = 98.72%, pending measure confirm). THE LAX WILDCARD
+  OBLIGATION (XSD 1.0 §3.10.4) now runs: a wildcard-governed
+  attribute whose declaration IS AVAILABLE (resolved in the
+  attribute's OWN namespace, checked against the declaration's
+  expected namespace — the exact-ns discipline that killed the
+  first attempt's name-based mis-typing) is VALIDATED against it.
+  duration028: the lax-governed "P" hits the global xs:duration
+  declaration and rejects. The unexpected-attribute check splits
+  into admission / strict-undeclared reporting / the obligation.
+  The prior dead-end's regression shapes (idF/G comps, ctZ011_b,
+  elemZ014, schQ1, wildZ004) re-verified clean. PARKED REMAINDER:
+  QFE1700c1 (matcher assignment), addB188 (ComplexType-capability
+  sweep), schA1/D10 (child-value binding).
+
   stE legs, the #522 attgC four + attgD mostly + attJ018 +
+- PARENT-CONTEXT ROUND C (2026-11-08): +1 Additional (addB065;
+  suite 4630->4631 = 98.61%, pending measure confirm). A declaration
+  carrying a FIXED value constraint rejects xsi:nil=true outright
+  (XSD 1.0 §4.2.3 as the errata reads it; xmllint: "cannot be
+  'nilled' because there is a fixed value constraint defined for
+  it") — the nil-true branch now reports xsi_nil_with_fixed and
+  treats the element as nilled-handled. PARKED same-day: addB188
+  (an undeclared root anchored by xsi:type must assess against the
+  named type — the override-type dispatch was TRIED and reverted:
+  constraint-category rules assume Element schema_defs and crash on
+  ComplexType; the fix needs a per-rule ComplexType-capability
+  audit, a sibling of the parent-context charter). addB187's valid
+  twin re-verified after the revert.
+
   schF1/P2, stE065/066/096) AND a WHOLESALE 407 regex regression:
 - PARENT-CONTEXT ROUND B (2026-11-08): +1 Additional (isDefault079;
   suite 4629->4630 = 98.59%, zero regressions, rspec green).

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

@@ -1032,56 +1032,19 @@ module Lutaml
                                                 wildcards: [], repository: nil,
                                                 schema_element: nil)
             xml_attrs.each do |xml_attr|
-              # Skip xmlns attributes
-              next if xml_attr.name == "xmlns" ||
-                xml_attr.prefix == "xmlns"
-
-              # Skip xsi attributes
-              next if xml_attr.namespace_uri ==
-                "http://www.w3.org/2001/XMLSchema-instance"
+              next if spec_namespace_attribute?(xml_attr)
 
               schema_attr = find_schema_attribute(schema_attrs, xml_attr,
                                                   repository, schema_element)
               next if schema_attr
 
-              # xml:lang and friends are declared by the spec, not by
-              # the schema document.
-              next if xml_attr.namespace_uri == XmlBuiltins::NAMESPACE &&
-                XmlBuiltins.attribute(xml_attr.name)
-
-              # The derivation's wildcard GROUPS admit: ACROSS groups
-              # (derivation layers) any group admits the attribute — the
-              # extension union; WITHIN a group every wildcard must
-              # admit — same-type wildcards intersect (wildZ013b/c/e).
-              admitted = false
-              strict_undeclared = false
-              wildcards.each do |group|
-                next unless group.all? do |wildcard|
-                  wildcard_permits_attribute?(wildcard, xml_element,
-                                              xml_attr, repository)
-                end
-
-                admitted = true
-                group.each do |wildcard|
-                  next unless wildcard_process_mode(wildcard) == "strict" &&
-                    !attribute_declared?(xml_attr, repository)
-
-                  strict_undeclared = true
-                end
-              end
+              admitted, strict_undeclared =
+                wildcard_admission(xml_attr, xml_element, wildcards,
+                                   repository)
 
               if admitted
-                if strict_undeclared
-                  report_error(
-                    collector,
-                    code: "wildcard_undeclared_attribute",
-                    message: "Attribute '#{xml_attr.qualified_name}' " \
-                             "matches xs:anyAttribute with " \
-                             "processContents=strict but is not declared",
-                    location: xml_element.xpath,
-                    context: { attribute: xml_attr.qualified_name },
-                  )
-                end
+                report_wildcard_finding(xml_element, xml_attr, collector,
+                                        strict_undeclared, repository)
                 next
               end
 
@@ -1100,6 +1063,78 @@ module Lutaml
             end
           end
 
+          # xmlns declarations, xsi, and the xml: builtins (lang, base,
+          # space — declared by the spec, not by the schema document)
+          # are not content.
+          #
+          # @return [Boolean]
+          def spec_namespace_attribute?(xml_attr)
+            return true if xml_attr.name == "xmlns" ||
+              xml_attr.prefix == "xmlns"
+
+            return true if xml_attr.namespace_uri == XSI_NAMESPACE
+
+            xml_attr.namespace_uri == XmlBuiltins::NAMESPACE &&
+              XmlBuiltins.attribute(xml_attr.name)
+          end
+
+          # The derivation's wildcard GROUPS admit: ACROSS groups
+          # (derivation layers) any group admits the attribute — the
+          # extension union; WITHIN a group every wildcard must admit —
+          # same-type wildcards intersect (wildZ013b/c/e). A strict
+          # wildcard in an admitting group still demands a declaration.
+          #
+          # @return [Array(Boolean, Boolean)] [admitted, strict_undeclared]
+          def wildcard_admission(xml_attr, xml_element, wildcards, repository)
+            admitted = false
+            strict_undeclared = false
+            wildcards.each do |group|
+              next unless group.all? do |wildcard|
+                wildcard_permits_attribute?(wildcard, xml_element,
+                                            xml_attr, repository)
+              end
+
+              admitted = true
+              group.each do |wildcard|
+                next unless wildcard_process_mode(wildcard) == "strict" &&
+                  !attribute_declared?(xml_attr, repository)
+
+                strict_undeclared = true
+              end
+            end
+            [admitted, strict_undeclared]
+          end
+
+          # An admitted wildcard attribute reports the strict-undeclared
+          # finding when strict demanded a declaration, then runs the
+          # lax obligation (XSD 1.0 §3.10.4): a wildcard-governed
+          # attribute whose declaration IS available (in the attribute's
+          # own namespace) is validated against it — duration028: the
+          # lax-governed "P" must still hit its global xs:duration
+          # declaration.
+          #
+          # @return [void]
+          def report_wildcard_finding(xml_element, xml_attr, collector,
+                                      strict_undeclared, repository)
+            if strict_undeclared
+              report_error(
+                collector,
+                code: "wildcard_undeclared_attribute",
+                message: "Attribute '#{xml_attr.qualified_name}' " \
+                         "matches xs:anyAttribute with " \
+                         "processContents=strict but is not declared",
+                location: xml_element.xpath,
+                context: { attribute: xml_attr.qualified_name },
+              )
+            end
+
+            found = wildcard_declaration(xml_attr, repository)
+            return unless found
+
+            validate_attribute_value(xml_element, xml_attr, found,
+                                     collector, repository: repository)
+          end
+
           # Whether the loaded lutaml-model parses xs:anyAttribute on
           # complexType (the mapping landed after 0.8.121); probed once
           # with a minimal schema.
@@ -1290,14 +1325,28 @@ module Lutaml
           def attribute_declared?(xml_attr, repository)
             return true if repository.nil?
 
+            !wildcard_declaration(xml_attr, repository).nil?
+          end
+
+          # The global declaration the wildcard-governed attribute
+          # resolves to, resolved in the attribute's OWN namespace and
+          # checked against the declaration's expected namespace
+          # (duration028's lax obligation uses it for value validation).
+          #
+          # @return [Lutaml::Xml::Schema::Xsd::Attribute, nil]
+          def wildcard_declaration(xml_attr, repository)
+            return nil if repository.nil?
+
             declaration = repository.resolve_attribute(
               xml_attr.name, xml_attr.namespace_uri
             )
-            return false unless declaration
+            return nil unless declaration
 
             expected = repository.expected_attribute_namespace(declaration)
-            expected.nil? ||
-              expected == xml_attr.namespace_uri.to_s
+            if expected.nil? ||
+                expected == xml_attr.namespace_uri.to_s
+              declaration
+            end
           end
 
           # Target namespace of the schema owning the parent's declaration.

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

@@ -333,6 +333,22 @@ module Lutaml
                 return true
               end
 
+              # A fixed value constraint forbids nilled elements
+              # outright (addB065; xmllint: "cannot be 'nilled' because
+              # there is a fixed value constraint").
+              unless schema_element.fixed.to_s.empty?
+                report_error(
+                  collector,
+                  code: "xsi_nil_with_fixed",
+                  message: "Element '#{xml_element.name}' cannot be " \
+                           "nilled because there is a fixed value " \
+                           "constraint defined for it",
+                  location: xml_element.xpath,
+                  context: { element: xml_element.name },
+                )
+                return true
+              end
+
               if xml_element.children.empty? &&
                   xml_element.text_content.to_s.strip.empty?
                 return true

data/lib/lutaml/xsd/version.rb

@@ -2,6 +2,6 @@
 
 module Lutaml
   module Xsd
-    VERSION = "1.2.103"
+    VERSION = "1.2.105"
   end
 end

metadata

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