moxml 0.5.159 → 0.5.160

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 824fc75872bed077049fca259a7b667634c2938e4a22c3899d7c898a0a585c98
-  data.tar.gz: f639f83b2c39247bb825ce017932ada226d9fb8b11ad6567893f1cb00babaa7f
+  metadata.gz: 3baac5f598cb14a214bcf65d8f19f7d73d6d70c7f3fc0b53766f07bac4f2d176
+  data.tar.gz: 54e53fb3aa363edd679bca122996d5a224bfa58a99e656a35acc59182dd66f45
 SHA512:
-  metadata.gz: eca084853becfa0d0dfaa80e88f492f1d4541e32a97aed2480f441db3bd33990d7c0f6ab2879db8aa9fb92216bcc6782afa573384e4126724801f38094a53c99
-  data.tar.gz: 6429a255c098e7291fd45b0034d23abbe7a3acc1fccbdb9956f1ac2e3002890415388d3e060b1d20869d3783d38f986917e633597b8e05dcd3b3effffc9e7cf6
+  metadata.gz: 705c62afbefc4678ad231e380644023416a5e0cf19e94dd59437c0570abca635e4570db661272490ed1f37804230623d9836e5cc2b8e70619bea1cc16f2fe0a6
+  data.tar.gz: e40cf23891b36aaca41bb1c62d01b0e7479c5c1c5eada2fa9563f315399d943a170381d5467019e7e956f06940b71aad59db2d19099a545ebf67d7d4603168c8

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

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Moxml
-  VERSION = "0.5.159"
+  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,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: moxml
 version: !ruby/object:Gem::Version
-  version: 0.5.159
+  version: 0.5.160
 platform: ruby
 authors:
 - Ribose Inc.