lutaml-xsd 1.2.104 → 1.2.106

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 18b2cd97c729aae1ceb8836fe492b36d0ea829de0e6e47f4f7a992e142d2e7c8
-  data.tar.gz: 365431275056d9a6bf80a2d4bb256b0c144e52183ca62ca3fcab51822486cc84
+  metadata.gz: 642c768f801446e5fb51224ebf418eeaeef08f3e0dd8c4da89b378318eac0d98
+  data.tar.gz: cfa8d5e55aec2be1f91e73745c22d7f7afe138471c895eadd8582457528eb79c
 SHA512:
-  metadata.gz: cd1b6f0609b6bde57f1947856b7d63e277044ad8d27076d7a6bcc0251ccfc82de133e3226f2795dca5f105fb747c0aebfcc4457832f30ab5c86adb39320609fc
-  data.tar.gz: e9c1d309c0c544b83c469a2c8fccf13ada15daa5fd401821f1dc71c51a8a49ed4ceff35d928ff0b792fd565c4ecb4e64d34e53fbf7276fdf23061e9c703e8a33
+  metadata.gz: 6f05f2bfa287e9df3c90e358945483daaaa560b3a2bcb65c415879d29f65de6064ef8ba1d0340040e0cdf83ea7020663cbd2591e598ee2f8be2212e31df6ff60
+  data.tar.gz: fab7a21898846f6a0695506e26b1d980bf58b8348b1f758070e132c7591b5b2fa4ca3eba1ef3520576bfe3110e1fcd0f464abace93ed7d9255123fd1dc6d1bfe

data/TODO.conformance.md

@@ -516,7 +516,44 @@ tuple keys, node-set field violations and absent-field rows handled, cross-eleme
   'true' vs xsd:int — the per-child type plumbing under hint
   layering), full type-redefine body semantics.
 - RIDE-407 PIN-BACK (2026-11-05): the leptris 1.9.407.0 + moxml
+- PARENT-CONTEXT ROUND E (2026-11-09): +2 (Schema schA1,
+  Particles particlesA002; suite 4636->4638 = 98.76%, zero
+  regressions across all 94 batches, rspec green, the four-family
+  starvation sweep showing only the 8 known parked/contested). THE
+  CHILD→PARTICLE BINDING IS FULLY GENERAL: positional_children
+  dropped the duplicate gate — EVERY named child binds through its
+  parent's content model (schA1's same-local-name a1/a2 across three
+  namespaces resolve through the OWNING parent's type, not the
+  name+namespace guess that cross-bound an xsd:int namesake), with
+  the attempt-3 guards intact: every candidate particle INDEXED
+  (form/ns metadata survives) and the binding's expected namespace
+  must AGREE with the child's own (particlesQ016). The attempt-3
+  wall (277 regressions from raw-particle binding) is broken: the
+  wide DataTypes/Element/Particles/IC sweep is clean. PARKED:
+  schD10 (the chameleon form-default conflict — the suite wants the
+  chameleon doc's OWN unqualified elementFormDefault while ctE018
+  needed the includer's attributeFormDefault; owner decision on
+  which xmllint behavior is normative), QFE1700c1 (the suppression
+  must follow the NFA's child→particle assignment — matcher
+  surgery), addB188 (the ComplexType-capability audit).
+
   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

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/version.rb

@@ -2,6 +2,6 @@
 
 module Lutaml
   module Xsd
-    VERSION = "1.2.104"
+    VERSION = "1.2.106"
   end
 end

metadata

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