lutaml-xsd 1.2.112 → 1.2.113

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: cdfdd257c5d78df578d997d512d39f17f9c83b10d4a8928708767b41bb6224b9
-  data.tar.gz: c9a0bc6226dd8346324c44af5f93906f851b477895b145ed86a89cc2a70f8538
+  metadata.gz: 4ef5ebe654a09dce031fef237b193d2f537550b3f6e05e234214fe2c9bba8a21
+  data.tar.gz: bde3cb46ee3b74ea6a2812d98b69c73e8ea5ad5f7a89a838350a290a76917eec
 SHA512:
-  metadata.gz: f503a443b9e205299c93eadd6c4f878f8fe025a2d0bd0514629fcdd38945f533b948afa656aa3e57bd8b5bfc2ade4213f9c77380d5bcc395c279a23b247c1da6
-  data.tar.gz: 1f533117654e06d3e2acde45f3c053eb99c9c41030b9a844fa598482372db23e24029fe3eaf7514ce7033c8a4c94b9bcd11b62209d00e7ab0b56ccc9458e6e66
+  metadata.gz: df70a1340ca701bebd079dcd7b514f1657c5aa2a9e4117127a3003fdb0a63487aeb44e981da443b40801194e556be881f181d729cced3d0ed8fc07b08191e4f1
+  data.tar.gz: 90623814fed971c9c310f00ea3f1de694b624a15d634a0452e263786bdb3b934891023431af787bfe0cfdc2146bef9f9a3ce29f201d86e85401d3304648c68a5

data/TODO.conformance.md

@@ -120,7 +120,7 @@ pinned commit) is measured via `rake conformance:w3c`:
 
 | mode | pass-rate |
 |---|---|
-| pipeline | 4644/4696 measured + 5 budget exclusions (98.96% of measured) |
+| pipeline | 4649/4696 (98.91%) — FIRST FULL-DENOMINATOR MEASURE, all 94 batches in one rake run |
 
 (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) → 4614 (98.25%, simple-type-children round) → 4617 (98.32%, ic-ancestor-scope round) → 4637 (parent-context rounds + chameleon round 1.2.109) → 4637 (nested-type-candidates round, 1.2.110) → 4637 (redefine-cycle round, 1.2.111) → 4644 measured (98.96% of measured, train-adoption round: moxml 0.6.6 + leptris 1.9.418.0), +683 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) → 4617 (98.32%, ic-ancestor-scope round) → 4637 (parent-context rounds + chameleon round 1.2.109) → 4637 (nested-type-candidates round, 1.2.110) → 4637 (redefine-cycle round, 1.2.111) → 4644 measured (98.96% of measured, train-adoption round: moxml 0.6.6 + leptris 1.9.418.0) → 4649 (98.91%, quadratic-dispatch round — first FULL-denominator measure, the 5 reZ budget exclusions retired), +688 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
@@ -612,6 +612,32 @@ tuple keys, node-set field violations and absent-field rows handled, cross-eleme
   the RAW validity boolean — expected-INVALID rows reading false
   are PASSES; the first assembly inverted them and manufactured 9
   phantom reZ regressions before the correction.
+- QUADRATIC-DISPATCH ROUND (2026-11-12, release pending): the
+  per-rule profile on reZ003v (a trivial `[\w]` pattern over a
+  232KB instance of ~65k `<value>` siblings) showed the RULES at
+  ~3.3s and the DISPATCH at ~100-370s — `same_name_sibling_index`
+  scanned the parent's raw children per element (O(N) per child,
+  O(N²) per parent) TIMES five category walks, and
+  `positional_children` re-walked the parent's particle tree per
+  element. THREE cuts, all semantics-preserving: (a) the sibling
+  ordinal is now a per-parent identity-keyed map built in ONE
+  O(N) pass (running same-name count — identical to the old
+  take(position).count reading); (b) the dispatch skips the scan
+  when the content model holds at most ONE same-named candidate
+  (positional binding only matters for DUPLICATE declarations,
+  isDefault079); (c) positional_children memoizes per
+  (declaration, name) on the resolver (schema immutable once
+  indexed). reZ003v validate 373.6s → 2.94s (127×); rspec 1663
+  green and 40s faster; rubocop clean. LEDGER: 4649/4696
+  (98.91%) — the FIRST FULL-DENOMINATOR MEASURE of the campaign:
+  ALL 94 batches completed in one rake run, the 5 reZ budget
+  exclusions RETIRED (reZ003v/005v/005i/006v/006i measured and
+  PASSING in-run), and the batch-03000 carry-over convention
+  RETIRED (reI003's tax was the same dispatch overhead, not regex
+  backtracking — 50/50 fresh). ZERO regressions vs the 1.2.112
+  ledger (47 still-failing in both — the standing remainder:
+  contested 24, the upstream filings' legs, the parked redesign
+  tails).
 - TRAIN ADOPTION REGRESSION — CHARACTER REFERENCES (2026-11-11):
   the 2026-11-10 adoption verdict ("conformance-IDENTICAL") was
   WRONG for one class: moxml 0.6.4 stopped decoding numeric

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

@@ -80,8 +80,17 @@ module Lutaml
                 resolver.resolve(parent.name, parent.namespace_uri)
               candidates = resolver.positional_children(parent_declaration,
                                                         xml_element.name)
-              positional = candidates[same_name_sibling_index(xml_element,
-                                                              parent)]
+              # The scan only matters when the parent's content model
+              # holds DUPLICATE same-named declarations (isDefault079);
+              # a sole candidate binds regardless of position — skipping
+              # the sibling scan keeps wide documents linear.
+              positional = if candidates.size > 1
+                             candidates[same_name_sibling_index(
+                               xml_element, parent
+                             )]
+                           else
+                             candidates.first
+                           end
               # The binding must agree with the child's OWN namespace:
               # an unqualified ref's global namesake never serves a
               # qualified local namesake (particlesQ016).
@@ -245,21 +254,31 @@ module Lutaml
           override && override.value.to_s.split(":").last
         end
 
-        # The child's position among its same-named siblings — the index
+        # The child's ordinal among its same-named siblings — the index
         # the positional binding (duplicate same-named declarations,
-        # isDefault079) binds to. Computed on the RAW moxml nodes: the
+        # isDefault079) binds to. Keyed on the RAW moxml nodes: the
         # wrapper objects are not identity-stable across accessor calls
-        # (the IdUniquenessRule lesson).
+        # (the IdUniquenessRule lesson). The per-parent ordinal map is
+        # memoized — a document of N same-named siblings costs one
+        # O(N) pass per parent instead of an O(N) scan per child
+        # (reZ003v: 65k siblings made every dispatch quadratic, times
+        # five category walks).
         #
         # @return [Integer]
         def same_name_sibling_index(element, parent)
-          raw_children = Array(parent.moxml_element.elements)
-          position = raw_children.index do |node|
-            node.equal?(element.moxml_element)
+          parent_raw = parent.moxml_element
+          cache = (@sibling_ordinals ||= {}.compare_by_identity)
+          ordinals = cache[parent_raw]
+          if ordinals.nil?
+            ordinals = {}.compare_by_identity
+            counts = Hash.new(0)
+            parent_raw.elements.each do |node|
+              ordinals[node] = counts[node.name]
+              counts[node.name] += 1
+            end
+            cache[parent_raw] = ordinals
           end
-          return 0 if position.nil?
-
-          raw_children.take(position).count { |node| node.name == element.name }
+          ordinals.fetch(element.moxml_element, 0)
         end
 
         # Whether the parent's content model holds a processContents

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

@@ -607,17 +607,28 @@ module Lutaml
         # @param parent_declaration [Lutaml::Xml::Schema::Xsd::Element, nil]
         # @param local_name [String]
         # @return [Array<Lutaml::Xml::Schema::Xsd::Element>]
+        #
+        # Memoized per (declaration, local name): the dispatch calls
+        # this for every element, and the particle-tree walk cost is
+        # constant across elements of the same parent type (the schema
+        # is immutable once indexed).
         def positional_children(parent_declaration, local_name)
+          key = [parent_declaration.object_id, local_name]
+          cache = (@positional_children ||= {})
+          cached = cache[key]
+          return cached if cached
+
           type = parent_declaration&.complex_type ||
             resolve_type(parent_declaration)
-          return [] unless type.is_a?(Lutaml::Xml::Schema::Xsd::ComplexType)
-
-          particles = []
-          collect_named_particles(particle_for_type(type), local_name,
-                                  particles, {}.compare_by_identity, 0)
-          return [] unless particles.all? { |p| @namespaces.key?(p) }
-
-          particles
+          computed = []
+          if type.is_a?(Lutaml::Xml::Schema::Xsd::ComplexType)
+            particles = []
+            collect_named_particles(particle_for_type(type), local_name,
+                                    particles, {}.compare_by_identity, 0)
+            computed = particles if particles.all? { |p| @namespaces.key?(p) }
+          end
+          cache[key] = computed
+          computed
         end
 
         private

data/lib/lutaml/xsd/version.rb

@@ -2,6 +2,6 @@
 
 module Lutaml
   module Xsd
-    VERSION = "1.2.112"
+    VERSION = "1.2.113"
   end
 end

metadata

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