moxml 0.5.158 → 0.5.160

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: a173c6faca10ad59c37096bc873999f16f7e5b05ae7afb9f2eba6041ec8147a2
-  data.tar.gz: e430658fbe932063794a0a04d2c05224a367da83ebc2f55c9eef8d7e67e431af
+  metadata.gz: 3baac5f598cb14a214bcf65d8f19f7d73d6d70c7f3fc0b53766f07bac4f2d176
+  data.tar.gz: 54e53fb3aa363edd679bca122996d5a224bfa58a99e656a35acc59182dd66f45
 SHA512:
-  metadata.gz: a68cad1dab561fa57921867cf856f9222e21f0413e7e4611dce3fa7f91e23b6ae52dc260921e03c8a0f83185ce1d7a6bd66f26e394151c55d08fe63b1b310686
-  data.tar.gz: 63ffc8a538f79c85bbc3179875d489f0ee20b8c36ae2498eac1694f0e1538e0ecf07e796a8364613fbe54d9a656da34965e87e9c1165960bd7815c19939e0669
+  metadata.gz: 705c62afbefc4678ad231e380644023416a5e0cf19e94dd59437c0570abca635e4570db661272490ed1f37804230623d9836e5cc2b8e70619bea1cc16f2fe0a6
+  data.tar.gz: e40cf23891b36aaca41bb1c62d01b0e7479c5c1c5eada2fa9563f315399d943a170381d5467019e7e956f06940b71aad59db2d19099a545ebf67d7d4603168c8

data/.github/workflows/performance-release.yml

@@ -3,12 +3,23 @@ name: performance-release
 # Every release re-measures the scoreboard and appends the table to
 # the release notes (TODO.sota/04). Triggered by the release
 # workflow's completion; idempotent — a re-run replaces the marked
-# section instead of stacking it.
+# section instead of stacking it. Manual dispatch can backfill any
+# release: `ref` pins the measured tree, `tag` pins the notes
+# target (both default to the automatic release-run behavior).
 on:
   workflow_run:
     workflows: ["release"]
     types: [completed]
   workflow_dispatch:
+    inputs:
+      ref:
+        description: "Tree to measure (branch/tag/SHA); default: the released tree"
+        required: false
+        type: string
+      tag:
+        description: "Release whose notes receive the section; default: the triggering release"
+        required: false
+        type: string
 
 concurrency:
   group: ${{ github.workflow }}
@@ -30,8 +41,9 @@ jobs:
         with:
           # Pin to the exact tree the release run published, so the
           # measured scoreboard describes the released code even when
-          # main moves between the release and this report.
-          ref: ${{ github.event.workflow_run.head_sha || 'main' }}
+          # main moves between the release and this report. A manual
+          # dispatch may pin any tree (backfills).
+          ref: ${{ inputs.ref || github.event.workflow_run.head_sha || 'main' }}
           submodules: "recursive"
 
       - name: Set up Ruby
@@ -99,11 +111,15 @@ jobs:
           # run — NOT "latest" (a rerun of an old run would mis-aim)
           # and NOT the gemspec at the pinned tree (the checkout is
           # the pre-bump tree; the bump lands on main during the
-          # release run itself).
-          TRIGGERED_AT="${{ github.event.workflow_run.created_at }}"
-          TAG=$(gh api "repos/${GITHUB_REPOSITORY}/releases" \
-            --jq "map(select(.created_at >= \"${TRIGGERED_AT}\")) | sort_by(.created_at) | last | .tag_name")
-          TAG=${TAG:-$(gh release view --json tagName --jq .tagName)}
+          # release run itself). A manual dispatch may pin the tag
+          # directly (backfills).
+          TAG="${{ inputs.tag }}"
+          if [ -z "$TAG" ]; then
+            TRIGGERED_AT="${{ github.event.workflow_run.created_at }}"
+            TAG=$(gh api "repos/${GITHUB_REPOSITORY}/releases" \
+              --jq "map(select(.created_at >= \"${TRIGGERED_AT}\")) | sort_by(.created_at) | last | .tag_name")
+            TAG=${TAG:-$(gh release view --json tagName --jq .tagName)}
+          fi
           echo "Reporting against $TAG"
           gh release view "$TAG" --json body --jq .body > /tmp/body.md
           ruby -e '

data/docs/_pages/model-coverage.adoc

@@ -39,6 +39,8 @@ Generated by `bundle exec rake docs:coverage` from the coverage matrix and the d
 | XSLT | equivalent | loud (NotImplementedError) | loud (NotImplementedError) | loud (NotImplementedError) | loud (NotImplementedError) | loud (NotImplementedError) | equivalent
 | SAX | equivalent | equivalent | equivalent | equivalent | equivalent | equivalent | equivalent
 | 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
 | loud capability contracts | equivalent | equivalent | equivalent | equivalent | equivalent | equivalent | equivalent
 |===
 

data/docs/_references/processing-model.adoc

@@ -253,6 +253,23 @@ Pins:: `spec/moxml/plan_conformance_spec.rb`
 matching is global; unmatched subtrees are dropped per the pinned
 semantics.
 
+=== Validation
+
+Pins:: `spec/moxml/xsd_spec.rb`, `spec/moxml/xsd_underdetection_spec.rb`
+
+XSD validation through engines that ship a validator (libxml2;
+leptris tier-1: recognized roots, one-level content descent, lexical
+checks). `validate` returns accumulated `ValidationError` entries —
+message always; line/column/path where the engine reports them, nil
+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
+`Moxml::NotImplementedError` at compile; `Moxml::XSD.supported?`
+answers without raising. RELAX NG rides engines with an RNG face
+(the same shapes).
+
 === Errors and loud degradation
 
 Pins:: `spec/consistency/loud_degradation_spec.rb`

data/lib/moxml/adapter/leptris.rb

@@ -555,6 +555,11 @@ module Moxml
             # face is a C method at 50-84ns).
             ELEMENT = Class.new(::Leptris::XML::NativeNode) do
               alias_method :native_name, :name
+              # The C nn_document (the BINDING document handle) is
+              # captured before Moxml::Node#document shadows it —
+              # the construction fast path needs the binding doc,
+              # not a facade wrapper (TODO.sota/04 bridge tax).
+              alias_method :native_document, :document
               include ::Moxml::Node
               include ::Moxml::Element
 
@@ -2623,6 +2628,35 @@ module Moxml
         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 +
+          # document, and the NativeNode answers both natively
+          # (address / document). The twin mint per building parent
+          # (FFI::Pointer + binding Node.wrap + registry insert) is
+          # pure construction overhead.
+          if parent.is_a?(::Leptris::XML::NativeNode)
+            doc = parent.respond_to?(:native_document) &&
+              parent.native_document or return nil
+            return nil unless ::Leptris::XML::Native.respond_to?(:create_element_with_attrs)
+
+            flat = attrs.flatten
+            if NATIVE_C_MINT &&
+                ::Leptris::XML::Native.respond_to?(:create_element_with_attrs_wrapped)
+              minted = ::Leptris::XML::Native.create_element_with_attrs_wrapped(
+                doc, parent.address, name.to_s, flat
+              )
+              return minted unless minted.nil?
+            end
+
+            addr = ::Leptris::XML::Native.create_element_with_attrs(
+              doc.c_address, parent.address, name.to_s, flat
+            )
+            return nil if addr.nil? || addr.zero?
+
+            return native_twin(
+              doc, ::Leptris::XML::Node.wrap(::FFI::Pointer.new(addr), doc)
+            )
+          end
           binding_parent = to_binding(parent)
           doc = binding_parent.document or return nil
           return nil unless ::Leptris::XML::Native.respond_to?(:create_element_with_attrs)

data/lib/moxml/version.rb

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

data/lib/moxml/xsd.rb

@@ -5,7 +5,10 @@ module Moxml
   # an XSD validator (currently leptris, tier-1: named+typed
   # top-level elements, one-level content-model descent, lexical
   # builtin/simpleType checks — see docs/c14n for the sibling
-  # pattern).
+  # pattern). Beside the engine, SchemaRules re-checks strict
+  # wildcards and xsi:nil from the schema source on every adapter —
+  # engines that miss those shapes stay model-conformant, and
+  # engines that already detect them get no duplicate findings.
   #
   #     ctx    = Moxml.new(:leptris)
   #     schema = ctx.xsd(<<~XSD)
@@ -24,7 +27,8 @@ module Moxml
   # Adapters without an engine raise Moxml::NotImplementedError at
   # compile; Moxml::XSD.supported?(context) answers without
   # raising. The tier-1 scope is the engine's: documents outside it
-  # validate laxly (see the binding's xsd_validate_spec).
+  # validate laxly, except for the re-checked shapes above (which
+  # can only under-report, never false-report).
   module XSD
     SUPPORTED_ADAPTERS = %i[leptris nokogiri].freeze
 

data/spec/moxml/xsd_spec.rb

@@ -2,6 +2,7 @@
 
 require "spec_helper"
 
+# Processing model §Validation (normative): pinned here.
 # Moxml::XSD contract (leptris tier-1 faces): compile + validate
 # with accumulated errors; unsupported adapters raise
 # NotImplementedError at compile.

data/spec/moxml/xsd_underdetection_spec.rb

@@ -2,6 +2,7 @@
 
 require "spec_helper"
 
+# Processing model §Validation (normative): pinned here.
 # #452: tier-1 engines can accept, inside their recognized scope,
 # instances that violate strict wildcards or xsi:nil. The
 # Ruby-side SchemaRules post-validation closes those gaps from the

data/spec/support/model_coverage.rb

@@ -77,6 +77,14 @@ module ModelCoverage
       section: "Materialization",
       pin: "spec/moxml/plan_conformance_spec.rb",
     },
+    "validation" => {
+      section: "Validation",
+      pin: "spec/moxml/xsd_spec.rb",
+    },
+    "validation under-detections" => {
+      section: "Validation",
+      pin: "spec/moxml/xsd_underdetection_spec.rb",
+    },
     "loud capability contracts" => {
       section: "Errors and loud degradation",
       pin: "spec/consistency/loud_degradation_spec.rb",

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: moxml
 version: !ruby/object:Gem::Version
-  version: 0.5.158
+  version: 0.5.160
 platform: ruby
 authors:
 - Ribose Inc.
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2026-10-23 00:00:00.000000000 Z
+date: 2026-10-24 00:00:00.000000000 Z
 dependencies: []
 description: |
   Moxml is a unified XML manipulation library that provides a common API