moxml 0.5.160 → 0.5.162

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 3baac5f598cb14a214bcf65d8f19f7d73d6d70c7f3fc0b53766f07bac4f2d176
-  data.tar.gz: 54e53fb3aa363edd679bca122996d5a224bfa58a99e656a35acc59182dd66f45
+  metadata.gz: e3ff9c9a02aad66036e51b20f9dd72fb17adb09b51dbe3950bb5a5174a2f2158
+  data.tar.gz: b4924b020e3b4738e08197d918594df3269d5206fda86ab0f582b27e801a1dbf
 SHA512:
-  metadata.gz: 705c62afbefc4678ad231e380644023416a5e0cf19e94dd59437c0570abca635e4570db661272490ed1f37804230623d9836e5cc2b8e70619bea1cc16f2fe0a6
-  data.tar.gz: e40cf23891b36aaca41bb1c62d01b0e7479c5c1c5eada2fa9563f315399d943a170381d5467019e7e956f06940b71aad59db2d19099a545ebf67d7d4603168c8
+  metadata.gz: dcb4225b3f662a656232b4e4bccdaefeb261a186d9c01d5369ee54ec28829678202e69349372842e470dcd21bed702f6f28c0e58dc9e45b6c262fffab1ed937a
+  data.tar.gz: 22fa41a31b5a8541e2c3f5fa2c8eb088975f173902ff8c046e325ec55c28246e3c459df5e49d004fb2e89ea1d1d8f9adb841d71cae8e4fe8bfaea14cd25c5d7c

data/benchmark/README.md

@@ -92,16 +92,16 @@ rewrites this block and `docs/_pages/performance.adoc`):
 <!-- SCOREBOARD:BEGIN -->
 | Row | Ratio | Kind | Status |
 | --- | ----- | ---- | ------ |
-| `parse` | 3.59x | parity | met |
-| `serialize` | 1.83x | parity | met |
-| `xpath //field (count)` | 4.79x | parity | met |
-| `xpath //field (each)` | 0.44x | structural | tracked (below parity) |
-| `attr pairs listing` | 7.46x | parity | met |
-| `build add_element` | 0.57x | structural | tracked (below parity) |
-| `walk+read (warm)` | 0.64x | structural | tracked (below parity) |
-| `walk+read (cold)` | 0.17x | structural | tracked (below parity), paused: leptris-ruby#527 (1.9.380 crossing regression) |
-| `children recursion (cold)` | 0.13x | structural | tracked (below parity), paused: leptris-ruby#527 (1.9.380 crossing regression) |
-| `plan records (typed)` | 1.14x | data | informational |
+| `parse` | 4.61x | parity | met |
+| `serialize` | 1.65x | parity | met |
+| `xpath //field (count)` | 3.39x | parity | met |
+| `xpath //field (each)` | 0.34x | structural | tracked (below parity) |
+| `attr pairs listing` | 8.48x | parity | met |
+| `build add_element` | 0.74x | structural | tracked (below parity) |
+| `walk+read (warm)` | 0.54x | structural | tracked (below parity) |
+| `walk+read (cold)` | 0.37x | structural | tracked (below parity), paused: leptris-ruby#527 (1.9.380 crossing regression) |
+| `children recursion (cold)` | 0.45x | structural | tracked (below parity), paused: leptris-ruby#527 (1.9.380 crossing regression) |
+| `plan records (typed)` | 1.13x | data | informational |
 <!-- SCOREBOARD:END -->
 
 The open rows are the known structural gap: every node the facade

data/benchmark/scoreboard.json

@@ -1,6 +1,6 @@
 {
   "protocol": {
-    "measured": "2026-10-23T15:54:45Z",
+    "measured": "2026-10-24T05:26:53Z",
     "ruby": "3.3.13",
     "adapter": "leptris",
     "adapter_version": "1.9.381.0",
@@ -8,16 +8,16 @@
     "reps": 9,
     "warmup": 2,
     "clock": "CLOCK_PROCESS_CPUTIME_ID",
-    "load": 1.87
+    "load": 1.74
   },
   "rows": [
     {
       "row": "parse",
       "kind": "parity",
       "parity": true,
-      "baseline_us": 1027.8,
-      "candidate_us": 286.6,
-      "ratio": 3.586,
+      "baseline_us": 1075.7,
+      "candidate_us": 233.6,
+      "ratio": 4.606,
       "baseline_allocs": 7,
       "candidate_allocs": 18
     },
@@ -25,9 +25,9 @@
       "row": "serialize",
       "kind": "parity",
       "parity": true,
-      "baseline_us": 517.0,
-      "candidate_us": 281.9,
-      "ratio": 1.834,
+      "baseline_us": 457.0,
+      "candidate_us": 277.6,
+      "ratio": 1.646,
       "baseline_allocs": 30,
       "candidate_allocs": 14
     },
@@ -35,9 +35,9 @@
       "row": "xpath //field (count)",
       "kind": "parity",
       "parity": true,
-      "baseline_us": 121.9,
-      "candidate_us": 25.4,
-      "ratio": 4.791,
+      "baseline_us": 64.4,
+      "candidate_us": 19.0,
+      "ratio": 3.387,
       "baseline_allocs": 13,
       "candidate_allocs": 8
     },
@@ -45,9 +45,9 @@
       "row": "xpath //field (each)",
       "kind": "structural",
       "parity": false,
-      "baseline_us": 361.9,
-      "candidate_us": 822.7,
-      "ratio": 0.44,
+      "baseline_us": 256.4,
+      "candidate_us": 744.4,
+      "ratio": 0.344,
       "baseline_allocs": 1213,
       "candidate_allocs": 10
     },
@@ -55,9 +55,9 @@
       "row": "attr pairs listing",
       "kind": "parity",
       "parity": true,
-      "baseline_us": 502.0,
-      "candidate_us": 67.3,
-      "ratio": 7.458,
+      "baseline_us": 503.6,
+      "candidate_us": 59.4,
+      "ratio": 8.484,
       "baseline_allocs": 3300,
       "candidate_allocs": 0
     },
@@ -65,19 +65,19 @@
       "row": "build add_element",
       "kind": "structural",
       "parity": false,
-      "baseline_us": 5532.8,
-      "candidate_us": 9658.2,
-      "ratio": 0.573,
+      "baseline_us": 5607.1,
+      "candidate_us": 7620.4,
+      "ratio": 0.736,
       "baseline_allocs": 20358,
-      "candidate_allocs": 11363
+      "candidate_allocs": 10163
     },
     {
       "row": "walk+read (warm)",
       "kind": "structural",
       "parity": false,
-      "baseline_us": 1805.4,
-      "candidate_us": 2797.9,
-      "ratio": 0.645,
+      "baseline_us": 1631.1,
+      "candidate_us": 3005.5,
+      "ratio": 0.543,
       "baseline_allocs": 4503,
       "candidate_allocs": 2
     },
@@ -85,9 +85,9 @@
       "row": "walk+read (cold)",
       "kind": "structural",
       "parity": false,
-      "baseline_us": 2938.6,
-      "candidate_us": 17354.2,
-      "ratio": 0.169,
+      "baseline_us": 3094.4,
+      "candidate_us": 8308.1,
+      "ratio": 0.372,
       "baseline_allocs": 6011,
       "candidate_allocs": 10232
     },
@@ -95,9 +95,9 @@
       "row": "children recursion (cold)",
       "kind": "structural",
       "parity": false,
-      "baseline_us": 3346.5,
-      "candidate_us": 25949.4,
-      "ratio": 0.129,
+      "baseline_us": 3414.5,
+      "candidate_us": 7574.2,
+      "ratio": 0.451,
       "baseline_allocs": 5711,
       "candidate_allocs": 8732
     },
@@ -105,9 +105,9 @@
       "row": "plan records (typed)",
       "kind": "data",
       "parity": false,
-      "baseline_us": 2901.1,
-      "candidate_us": 2554.9,
-      "ratio": 1.136,
+      "baseline_us": 3056.3,
+      "candidate_us": 2700.7,
+      "ratio": 1.132,
       "baseline_allocs": 8112,
       "candidate_allocs": 13232
     }

data/docs/_pages/model-coverage.adoc

@@ -41,6 +41,7 @@ Generated by `bundle exec rake docs:coverage` from the coverage matrix and the d
 | materialization | equivalent | equivalent | equivalent | equivalent | equivalent | equivalent | equivalent
 | validation | equivalent | equivalent | equivalent | equivalent | equivalent | equivalent | equivalent
 | validation under-detections | equivalent | equivalent | equivalent | equivalent | equivalent | equivalent | equivalent
+| validation version reporting | equivalent | equivalent | equivalent | equivalent | equivalent | equivalent | equivalent
 | loud capability contracts | equivalent | equivalent | equivalent | equivalent | equivalent | equivalent | equivalent
 |===
 

data/docs/_pages/performance.adoc

@@ -14,21 +14,21 @@ the marked block below from a live measurement; see
 // SCOREBOARD:BEGIN
 Generated by `SCORE_PUBLISH=1 bundle exec ruby benchmark/scoreboard.rb`. Protocol: CPU-time medians of an interleaved A/B run (raw nokogiri vs moxml on leptris); the ratio is baseline / candidate, so > 1.0 means the facade is faster. Warmups discarded, GC between samples.
 
-Measurement: Ruby 3.3.13, leptris 1.9.381.0, nokogiri 1.19.4, 2026-10-23T15:54:45Z, 1-minute load 1.87, 9 repetitions.
+Measurement: Ruby 3.3.13, leptris 1.9.381.0, nokogiri 1.19.4, 2026-10-24T05:26:53Z, 1-minute load 1.74, 9 repetitions.
 
 [cols="2,1,1,1",options="header"]
 |===
 | Row | Ratio | Kind | Status
-| `parse` | 3.59x | parity | met
-| `serialize` | 1.83x | parity | met
-| `xpath //field (count)` | 4.79x | parity | met
-| `xpath //field (each)` | 0.44x | structural | tracked (below parity)
-| `attr pairs listing` | 7.46x | parity | met
-| `build add_element` | 0.57x | structural | tracked (below parity)
-| `walk+read (warm)` | 0.64x | structural | tracked (below parity)
-| `walk+read (cold)` | 0.17x | structural | tracked (below parity), paused: leptris-ruby#527 (1.9.380 crossing regression)
-| `children recursion (cold)` | 0.13x | structural | tracked (below parity), paused: leptris-ruby#527 (1.9.380 crossing regression)
-| `plan records (typed)` | 1.14x | data | informational
+| `parse` | 4.61x | parity | met
+| `serialize` | 1.65x | parity | met
+| `xpath //field (count)` | 3.39x | parity | met
+| `xpath //field (each)` | 0.34x | structural | tracked (below parity)
+| `attr pairs listing` | 8.48x | parity | met
+| `build add_element` | 0.74x | structural | tracked (below parity)
+| `walk+read (warm)` | 0.54x | structural | tracked (below parity)
+| `walk+read (cold)` | 0.37x | structural | tracked (below parity), paused: leptris-ruby#527 (1.9.380 crossing regression)
+| `children recursion (cold)` | 0.45x | structural | tracked (below parity), paused: leptris-ruby#527 (1.9.380 crossing regression)
+| `plan records (typed)` | 1.13x | data | informational
 |===
 
 *Parity rows* must stay at or above the 0.95 measurement floor. *Structural rows* are measured and trend-locked (10% regression tolerance) while their gaps remain open: per-node wrapper minting costs (#312 endgame) and engine construction. *Data API* rows are informational.

data/docs/_references/processing-model.adoc

@@ -255,7 +255,7 @@ semantics.
 
 === Validation
 
-Pins:: `spec/moxml/xsd_spec.rb`, `spec/moxml/xsd_underdetection_spec.rb`
+Pins:: `spec/moxml/xsd_spec.rb`, `spec/moxml/xsd_underdetection_spec.rb`, `spec/moxml/xsd_version_spec.rb`
 
 XSD validation through engines that ship a validator (libxml2;
 leptris tier-1: recognized roots, one-level content descent, lexical
@@ -265,7 +265,11 @@ where it does not; `[]` means valid. Documents outside the engine's
 scope validate laxly, except that strict `xs:any` /
 `xs:anyAttribute` wildcard matches and `xsi:nil` are re-checked from
 the schema source on every adapter — the re-check can only
-under-report, never false-report. Unsupported adapters raise
+under-report, never false-report. A compiled schema reports the
+version its source declares: root `vc:minVersion="1.1"` scopes the
+document to 1.1, anything else is 1.0 (consumers scope 1.0-only
+checks with it; applying 1.1 semantics is the engine-side program).
+Unsupported adapters raise
 `Moxml::NotImplementedError` at compile; `Moxml::XSD.supported?`
 answers without raising. RELAX NG rides engines with an RNG face
 (the same shapes).

data/lib/moxml/adapter/leptris.rb

@@ -83,6 +83,15 @@ module Moxml
         ::Leptris::XML::Native.respond_to?(:xpath_result_rows_bulk) &&
         ::Leptris::XML::Document.method_defined?(:xpath_result_rows_bulk)
 
+      # TODO.sota/04 (build row): ONE-crossing construction —
+      # create + attrs + attach (+ optional text) + version bump +
+      # consumer mint, all in C off the parent wrapper's struct
+      # (leptris-ruby perf/add-element-full). Probed on the class:
+      # older exts take the existing two-crossing path.
+      ADD_ELEMENT_FULL =
+        defined?(::Leptris::XML::NativeNode) &&
+        ::Leptris::XML::NativeNode.method_defined?(:add_element_full)
+
       # leptris-ruby#460: set-text by document+address, kind-dispatched
       # in C — no binding twin mint per write. Face-probed, not
       # version-gated (the floor admits bindings without it).
@@ -1334,8 +1343,6 @@ module Moxml
         end
 
         def set_root(doc, element)
-          drop_columnar_children(doc)
-          drop_columnar_children(element)
           to_binding(doc).root = to_binding(element)
         end
 
@@ -1735,7 +1742,6 @@ module Moxml
         # re-indented). Raw-pointer walk over the root subtree — the
         # same batch child-pointer pattern the materializer uses.
         def strip_blank_text_nodes!(doc)
-          drop_columnar_children(doc)
           binding_ffi = ::Leptris::XML::FFI
           root = binding_ffi.leptris_document_root(doc.c_ptr)
           return unless root && !root.null?
@@ -2233,8 +2239,6 @@ module Moxml
         # source. Answer the installed binding element; callers re-point
         # wrappers at it.
         def adopt_root(doc, element)
-          drop_columnar_children(doc)
-          drop_columnar_children(element)
           return nil unless NATIVE_ROOT_ADOPT
 
           binding_doc = to_binding(doc)
@@ -2345,7 +2349,10 @@ module Moxml
           doc = doc_for(node)
           return nil unless doc
 
-          map = attachments.get(doc, COLUMNAR_CHILDREN)
+          pair = attachments.get(doc, COLUMNAR_CHILDREN)
+          return nil unless pair.is_a?(Array) && pair[0] == doc.version
+
+          map = pair[1]
           return nil unless map&.key?(node)
 
           map[node].dup
@@ -2383,36 +2390,14 @@ module Moxml
             end
             mine << handle if depth == child_depth
           end
-          attachments.set(doc, COLUMNAR_CHILDREN, map) if map
+          # Memo-version law: the pair is stamped with the binding
+          # Document#@version the map was primed under; every mutation
+          # face advances that version in C, so a stale map misses the
+          # hit check and re-primes — no write-side drop walk needed.
+          attachments.set(doc, COLUMNAR_CHILDREN, [doc.version, map]) if map
           mine
         end
 
-        # Structural seams drop the columnar map wholesale; the next
-        # children read re-primes it (see COLUMNAR_WALK). Cheap no-op
-        # when no map is live: one lock-free attachment probe.
-        def drop_columnar_children(node)
-          return unless COLUMNAR_WALK
-
-          doc =
-            case node
-            when ::Leptris::XML::NativeNode
-              doc_for(node)
-            when ::Leptris::XML::Document
-              node
-            else
-              begin
-                node.document
-              rescue StandardError
-                nil
-              end
-            end
-          return if doc.nil?
-
-          return if attachments.get(doc, COLUMNAR_CHILDREN).nil?
-
-          attachments.delete(doc, COLUMNAR_CHILDREN)
-        end
-
         def native_keep_entity_refs?(node)
           return false unless NATIVE_READ_LAYER &&
             node.is_a?(::Leptris::XML::NativeNode)
@@ -2625,8 +2610,18 @@ module Moxml
         # loop is C->C dlsym). Requires parent binding + the face;
         # callers fall back to create_element + set_attribute +
         # add_child when absent.
+        # TODO.sota/04: the ONE-crossing build face. Returns the
+        # contract-carrying row, or nil when this binding cannot
+        # serve it (caller takes the legacy path).
+        def add_element_full(parent, name, attrs)
+          return nil unless NATIVE_C_MINT && ADD_ELEMENT_FULL &&
+            parent.is_a?(::Leptris::XML::NativeNode)
+
+          validate_element_name(name)
+          parent.add_element_full(name.to_s, attrs.flatten, nil)
+        end
+
         def create_element_with_attrs(parent, name, attrs)
-          drop_columnar_children(parent)
           validate_element_name(name)
           # NativeNode parents need NO FFI twin (TODO.sota/04 bridge
           # tax): the bridge existed only to obtain c_address +
@@ -2964,8 +2959,6 @@ module Moxml
         # on the source, so a living source can never outlive the
         # memory its reads still touch.
         def absorb_source_document(dest, owner)
-          drop_columnar_children(dest)
-          drop_columnar_children(owner)
           return nil unless NATIVE_DOC_ABSORB
           return :direct if attachments.get(dest, :absorbed_sources)&.include?(owner)
 
@@ -3011,8 +3004,6 @@ module Moxml
         end
 
         def add_child(parent, child)
-          drop_columnar_children(parent)
-          drop_columnar_children(child)
           result = add_child_impl(parent, child)
           # A successful child insertion rebuilds the engine's
           # document index; the upstream sibling-insert bug leaves it
@@ -3134,8 +3125,6 @@ module Moxml
         end
 
         def add_previous_sibling(node, new_node)
-          drop_columnar_children(node)
-          drop_columnar_children(new_node)
           result = add_previous_sibling_impl(node, new_node)
           mark_xpath_index_stale(node)
           result
@@ -3188,8 +3177,6 @@ module Moxml
         end
 
         def add_next_sibling(node, new_node)
-          drop_columnar_children(node)
-          drop_columnar_children(new_node)
           result = add_next_sibling_impl(node, new_node)
           mark_xpath_index_stale(node)
           result
@@ -3266,7 +3253,6 @@ module Moxml
         end
 
         def remove(node)
-          drop_columnar_children(node)
           node = to_binding(node) if NATIVE_READ_LAYER
           case node
           when CustomizedLeptris::Declaration
@@ -3298,8 +3284,6 @@ module Moxml
         end
 
         def replace(node, new_node)
-          drop_columnar_children(node)
-          drop_columnar_children(new_node)
           if NATIVE_READ_LAYER
             node = to_binding(node)
             new_node = to_binding(new_node)
@@ -3358,7 +3342,6 @@ module Moxml
           Gem::Version.new(::Leptris::VERSION) >= Gem::Version.new("1.9.290.0")
 
         def replace_children(node, new_children)
-          drop_columnar_children(node)
           # Cross-pool children: the binding's bulk face adopts per
           # node and fails on mixed kinds (inner_xml= with
           # text+elements died with Memory allocation failed —
@@ -3448,7 +3431,6 @@ module Moxml
           ::Leptris::XML::NativeNode.method_defined?(:set_text_native)
 
         def set_text_content(node, content)
-          drop_columnar_children(node)
           if SET_TEXT_NATIVE && node.is_a?(::Leptris::XML::NativeNode)
             begin
               node.set_text_native(content.to_s)

data/lib/moxml/element.rb

@@ -139,10 +139,17 @@ module Moxml
     # wrapper. Equivalent to create_element + attribute writes +
     # add_child, minus two crossings and the intermediate churn.
     def add_element(name, attrs = {})
+      # TODO.sota/04: one crossing when the binding serves it.
+      native_child = adapter.add_element_full(@native, name, attrs)
+      if native_child
+        attach_built_child(native_child)
+        return Moxml::Node.wrap_with(native_child, context, adapter)
+      end
       native_child = adapter.create_element_with_attrs(
         @native, name, attrs
       )
       if native_child
+        attach_built_child(native_child)
         Moxml::Node.wrap_with(native_child, context, adapter)
       else
         fallback = Moxml::Node.wrap_with(
@@ -154,6 +161,16 @@ module Moxml
       end
     end
 
+    # The construction fast paths bypass add_child, so they owe the
+    # same invalidation contract: the ctx children clock retires every
+    # wrapper's generation-checked memo (the receiver's own included —
+    # the read re-checks the generation before serving).
+    def attach_built_child(native_child)
+      context.bump_children_generation
+      native_child.parent_node = self
+      native_child
+    end
+
     def attributes
       # Primed like Node.wrap: the adapter and type are known at
       # mint, so the first name/value/attribute? access skips the

data/lib/moxml/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Moxml
-  VERSION = "0.5.160"
+  VERSION = "0.5.162"
 end

data/lib/moxml/xsd/schema_rules.rb

@@ -67,7 +67,11 @@ module Moxml
                                 :declared_attributes, :any_attribute)
       SchemaIndex = Struct.new(:target_namespace, :element_default,
                                :attribute_default, :elements,
-                               :attributes, :contents)
+                               :attributes, :contents, :version)
+
+      # The XSD 1.1 version-tagging namespace (Structures §C.3):
+      # vc:minVersion / vc:maxVersion gate 1.1 constructs.
+      VC_NS = "http://www.w3.org/2001/XMLSchema-versioning"
 
       class << self
         # Index one schema document. Returns nil when the source
@@ -81,7 +85,7 @@ module Moxml
             root["targetNamespace"].to_s,
             root["elementFormDefault"] == "qualified",
             root["attributeFormDefault"] == "qualified",
-            {}, {}, {}
+            {}, {}, {}, schema_version(root)
           )
           child_elements(root).each do |decl|
             case decl.name
@@ -94,6 +98,20 @@ module Moxml
           nil
         end
 
+        # The effective schema version declared at the root
+        # (#460 item 2): vc:minVersion="1.1" on <xs:schema> scopes
+        # the document to 1.1 semantics; anything else reports
+        # 1.0. Conditional (subtree-level) vc: evaluation is the
+        # engine's conditional-assignment work — the facade reports
+        # the root declaration only.
+        def schema_version(root)
+          declared = root.attributes.find do |attribute|
+            attribute.namespace&.uri == VC_NS &&
+              attribute.name == "minVersion"
+          end&.value
+          declared.to_s.start_with?("1.1") ? "1.1" : "1.0"
+        end
+
         # Post-validation findings for one instance document.
         def findings(doc, index)
           return [] unless index

data/lib/moxml/xsd.rb

@@ -175,6 +175,15 @@ module Moxml
         @context.config.adapter.xsd_declarations(@handle)
       end
 
+      # The effective schema version the source declares (#460 item
+      # 2): "1.1" when the root carries vc:minVersion="1.1", else
+      # "1.0". Consumers (lutaml-xsd) scope 1.0-only checks with
+      # it; the engine's application of 1.1 semantics is the
+      # engine-side program.
+      def version
+        @rules_index ? @rules_index.version : "1.0"
+      end
+
       # Deterministic drop (#362.3): true when the adapter freed
       # the engine-side schema NOW; false when the adapter can only
       # wait for GC (documented per adapter). After a true release

data/spec/moxml/adapter/columnar_invalidation_spec.rb

@@ -0,0 +1,56 @@
+# frozen_string_literal: true
+
+require "spec_helper"
+
+# The COLUMNAR_WALK children map must never serve rows older than a
+# completed mutation, through EVERY write lane. This is the memo-version
+# law (leptris-ruby#530) applied to the columnar map: the binding
+# Document#@version advances on every mutation, so a map primed under
+# an older version is stale by construction — independent of which
+# adapter seam (or none) happens to drop it.
+RSpec.describe "columnar children map invalidation" do
+  let(:ctx) { Moxml.new(:leptris) }
+
+  def walk_children(node)
+    node.children.map { |c| c.is_a?(Moxml::Element) ? c.name : c.text }
+  end
+
+  it "serves fresh rows after content= replaces a child subtree" do
+    doc = ctx.parse("<r><a>t1</a><b>t2</b></r>")
+    a = doc.root.children.first
+    walk_children(a) # prime the columnar map over a's subtree
+    a.content = "replaced"
+    expect(walk_children(a)).to eq(["replaced"])
+    expect(walk_children(doc.root)).to eq(%w[a b])
+  end
+
+  it "serves fresh rows after add_element" do
+    doc = ctx.parse("<r><a/></r>")
+    walk_children(doc.root)
+    doc.root.add_element("b", "k" => "v")
+    expect(walk_children(doc.root)).to eq(%w[a b])
+  end
+
+  it "serves fresh rows after add_next_sibling" do
+    doc = ctx.parse("<r><a/></r>")
+    a = doc.root.children.first
+    walk_children(doc.root)
+    a.add_next_sibling("<c/>")
+    expect(walk_children(doc.root)).to eq(%w[a c])
+  end
+
+  it "serves fresh rows after remove" do
+    doc = ctx.parse("<r><a/><b/></r>")
+    b = doc.root.children.last
+    walk_children(doc.root)
+    b.remove
+    expect(walk_children(doc.root)).to eq(%w[a])
+  end
+
+  it "keeps the primed rows valid when nothing mutated" do
+    doc = ctx.parse("<r><a>t1</a><b>t2</b></r>")
+    expected = walk_children(doc.root)
+    expect(walk_children(doc.root)).to eq(expected)
+    expect(walk_children(doc.root)).to eq(expected)
+  end
+end

data/spec/moxml/xsd_version_spec.rb

@@ -0,0 +1,82 @@
+# frozen_string_literal: true
+
+require "spec_helper"
+
+# Processing model §Validation (normative): pinned here.
+
+# #460 item 2: a compiled schema reports the effective version its
+# source declares — vc:minVersion="1.1" on the root scopes the
+# document to 1.1 semantics; anything else reports 1.0. The
+# detection is namespace-based (vc: is a convention, not a
+# requirement) and reads the ROOT declaration; conditional
+# (subtree-level) vc: evaluation is the engine's program.
+RSpec.describe "Moxml::XSD::Schema#version (#460 item 2)" do
+  %i[nokogiri leptris].each do |adapter_name|
+    describe "on #{adapter_name}" do
+      let(:ctx) { Moxml.new(adapter_name) }
+
+      before do
+        skip "#{adapter_name} requires an XSD-capable engine" unless
+          Moxml::XSD.supported?(ctx)
+      end
+
+      it "reports 1.1 when the root declares vc:minVersion=1.1" do
+        schema = ctx.xsd(<<~XSD)
+          <xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema"
+              xmlns:vc="http://www.w3.org/2001/XMLSchema-versioning"
+              vc:minVersion="1.1">
+            <xs:element name="note" type="xs:string"/>
+          </xs:schema>
+        XSD
+        expect(schema.version).to eq("1.1")
+      end
+
+      it "detects the versioning namespace, not the prefix" do
+        schema = ctx.xsd(<<~XSD)
+          <xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema"
+              xmlns:vcx="http://www.w3.org/2001/XMLSchema-versioning"
+              vcx:minVersion="1.1">
+            <xs:element name="note" type="xs:string"/>
+          </xs:schema>
+        XSD
+        expect(schema.version).to eq("1.1")
+      end
+
+      it "reports 1.0 without a root version declaration" do
+        schema = ctx.xsd(<<~XSD)
+          <xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">
+            <xs:element name="note" type="xs:string"/>
+          </xs:schema>
+        XSD
+        expect(schema.version).to eq("1.0")
+      end
+
+      it "reports 1.0 for an explicit root vc:minVersion=1.0" do
+        schema = ctx.xsd(<<~XSD)
+          <xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema"
+              xmlns:vc="http://www.w3.org/2001/XMLSchema-versioning"
+              vc:minVersion="1.0">
+            <xs:element name="note" type="xs:string"/>
+          </xs:schema>
+        XSD
+        expect(schema.version).to eq("1.0")
+      end
+
+      it "reports 1.0 when only a construct carries vc:minVersion" do
+        schema = ctx.xsd(<<~XSD)
+          <xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema"
+              xmlns:vc="http://www.w3.org/2001/XMLSchema-versioning">
+            <xs:element name="note">
+              <xs:complexType>
+                <xs:sequence vc:minVersion="1.1">
+                  <xs:element name="a"/>
+                </xs:sequence>
+              </xs:complexType>
+            </xs:element>
+          </xs:schema>
+        XSD
+        expect(schema.version).to eq("1.0")
+      end
+    end
+  end
+end

data/spec/support/model_coverage.rb

@@ -85,6 +85,10 @@ module ModelCoverage
       section: "Validation",
       pin: "spec/moxml/xsd_underdetection_spec.rb",
     },
+    "validation version reporting" => {
+      section: "Validation",
+      pin: "spec/moxml/xsd_version_spec.rb",
+    },
     "loud capability contracts" => {
       section: "Errors and loud degradation",
       pin: "spec/consistency/loud_degradation_spec.rb",

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: moxml
 version: !ruby/object:Gem::Version
-  version: 0.5.160
+  version: 0.5.162
 platform: ruby
 authors:
 - Ribose Inc.
@@ -477,6 +477,7 @@ files:
 - spec/moxml/adapter/.gitkeep
 - spec/moxml/adapter/README.md
 - spec/moxml/adapter/base_spec.rb
+- spec/moxml/adapter/columnar_invalidation_spec.rb
 - spec/moxml/adapter/entity_restoration_spec.rb
 - spec/moxml/adapter/headed_ox_spec.rb
 - spec/moxml/adapter/leptris_adoption_spec.rb
@@ -633,6 +634,7 @@ files:
 - spec/moxml/xsd_release_spec.rb
 - spec/moxml/xsd_spec.rb
 - spec/moxml/xsd_underdetection_spec.rb
+- spec/moxml/xsd_version_spec.rb
 - spec/moxml/xslt/stylesheet_spec.rb
 - spec/performance/README.md
 - spec/performance/benchmark_spec.rb