lutaml-xsd 1.2.95 → 1.2.96

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: a752804ef8cfcbbe98845ffcfcbd8830d2c37020d392d34524795f645351cef9
-  data.tar.gz: 467cd19ffcc587cbdc4007e614b02f2f299a26917c684e997138fa5116686a7b
+  metadata.gz: b47e6206406d15078ca3896061eb50d415a599a3a6fe62df9a59d191c31f410a
+  data.tar.gz: d60605597341f39c26d19ac3bb8d88e6a0ff06d4f7ad03c9504d6903fc6a6ca9
 SHA512:
-  metadata.gz: 904b2740eaa42225aa419c6a27586cc115fbcba3efaa4e4fe987b979f7139bd00e5e96007f094f65b5631a8383bdd12d0e50eaef82482733662d2dcda8658507
-  data.tar.gz: 545c68eb6ce9cda1d4b834d3bf608974d3da82e774fee7465918ba39d5c2d7183892c0a314c3314d15f68e8f20a6af27e264fb752f5023008db7a5cfa84be512
+  metadata.gz: 231da0fb555d2591583462fa173efef19ee7835938aab19b52a3dc637a2e1c62a2e97f428fe492bea6b7b6891da3af45602a8ebf7112c1733d914098e32a3c38
+  data.tar.gz: baa25447cd81057253277cf53348399487b15a2d8b5735e3531a57f6f87d7dec4dc12bfe0a3e2c87f80a20f9580c094b823616b093c5764f95789a1b0724d373

data/TODO.conformance.md

@@ -526,6 +526,24 @@ tuple keys, node-set field violations and absent-field rows handled, cross-eleme
   STACK IS PINNED BACK to the known-good 1.9.406.0/0.6.2/0.8.161
   (98.28% restored, zero regressions vs the 406 baseline). The
   407 wins ride again when #47 and #529 land. NET: no score
+- ID-VALUE-CONSTRAINT ROUND (2026-11-07): +1 IC (idZ011; suite
+  4619->4620 = 98.38%, zero regressions, rspec green). Value
+  constraints (fixed/default) are FORBIDDEN on attribute declarations
+  typed xs:ID or derived from it (XSD 1.0 §3.2.6) — the schema is
+  uncompilable, so every instance reached is invalid regardless of
+  instance use. The attribute rule's declaration-scoped step 1c
+  checks the builtin-prefixed reference, ref-resolved declarations,
+  and the inline/named restriction base chain (depth 6); the
+  idZ011_a companion (xs:STRING default) stays clean. Family probes:
+  Attribute 113/113 clean, AttributeGroup 14 = the parked moxml#522
+  set unchanged. PROBE LESSON (repeat): single-process family probes
+  CRAWL after ~50 engine-heavy cases (engine-state accumulation;
+  enumeration order is unstable so the hang point moves) — the case
+  runs alone in <1s; batched methodology or the full measure is the
+  only reliable family signal at this scale. Remaining IC
+  singletons: idZ012 (IDREFS default references no ID), idZ015 (a
+  skip-wildcard-governed attribute supplies no IC field value).
+
   change; the pin protects the register.
 - NON-SIMPLE-FIELD ROUND (2026-11-07): +2 IC (idK012, idZ010; suite
   4617->4619 = 98.36%, zero regressions, rspec green). An identity

data/lib/lutaml/xsd/validation/rules/attribute_validation_rule.rb

@@ -106,6 +106,13 @@ module Lutaml
                                            xml_attributes, collector,
                                            wildcards: wildcards)
 
+            # Step 1c: an xs:ID declaration cannot carry a value
+            # constraint — the schema itself is uncompilable, so the
+            # instance is invalid wherever the declaration is reached
+            # (XSD 1.0 §3.2.6, idZ011).
+            validate_id_value_constraints(schema_attributes, collector,
+                                          xml_element, repository)
+
             # Step 2: Validate attribute values
             validate_attribute_values(xml_element, resolved_attributes,
                                       xml_attributes, collector,
@@ -436,6 +443,73 @@ module Lutaml
             end
           end
 
+          # An xs:ID declaration with fixed or default is an illegal
+          # value constraint (XSD 1.0 §3.2.6): the type definition is
+          # or is derived from xs:ID. Declaration-scoped — fires on the
+          # element's type regardless of instance use (idZ011).
+          #
+          # @return [void]
+          def validate_id_value_constraints(schema_attrs, collector,
+                                            xml_element, repository)
+            schema_attrs.each do |schema_attr|
+              next if schema_attr.fixed.to_s.empty? &&
+                schema_attr.default.to_s.empty?
+              next unless id_typed_attribute?(schema_attr, repository)
+
+              report_error(
+                collector,
+                code: "id_value_constraint_violation",
+                message: "Attribute '#{schema_attr.name}' is typed " \
+                         "xs:ID (or derived from it) and cannot carry " \
+                         "a fixed or default value constraint",
+                location: xml_element.xpath,
+                context: { attribute: schema_attr.name },
+              )
+            end
+          end
+
+          # Whether the declaration's type is xs:ID or derives from it:
+          # a builtin-prefixed reference, or a restriction base chain
+          # (inline or named) whose terminal is xs:ID.
+          #
+          # @return [Boolean]
+          def id_typed_attribute?(schema_attr, repository)
+            return true if builtin_id_type?(schema_attr.type)
+
+            ref = schema_attr.ref.to_s
+            if ref.match?(/\S/) && repository
+              resolved = repository.resolve_attribute(ref.split(":").last,
+                                                      nil)
+              return true if resolved && builtin_id_type?(resolved.type)
+            end
+
+            named = schema_attr.type.to_s.split(":").last
+            chain = schema_attr.simple_type ||
+              (named && repository&.resolve_named_type(named))
+            id_derived_chain?(chain, repository, 0)
+          end
+
+          # @return [Boolean]
+          def builtin_id_type?(reference)
+            parts = reference.to_s.split(":")
+            %w[xs xsd].include?(parts.first) && parts.last == "ID"
+          end
+
+          # @param type [Lutaml::Xml::Schema::Xsd::SimpleType, nil]
+          # @return [Boolean]
+          def id_derived_chain?(type, repository, depth)
+            return false if depth > 6 || type.nil?
+
+            base = type.restriction&.base.to_s
+            return true if builtin_id_type?(base)
+            return false if base.empty?
+
+            id_derived_chain?(
+              repository&.resolve_named_type(base.split(":").last),
+              repository, depth + 1
+            )
+          end
+
           # Check if attribute is required
           #
           # @param schema_attr [Lutaml::Xsd::Attribute] Schema attribute

data/lib/lutaml/xsd/version.rb

@@ -2,6 +2,6 @@
 
 module Lutaml
   module Xsd
-    VERSION = "1.2.95"
+    VERSION = "1.2.96"
   end
 end

metadata

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