jsonschema_rs 0.48.2-aarch64-linux → 0.49.0-aarch64-linux

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: b98c0e47119f92049a42e2400c41c8f7919a83a5e386da7bc7362cd7084cb0a1
-  data.tar.gz: 0de7ed735f6f47d4b39671987cbee53464b5e8f071a7d77192d7c6d5fafbbe1a
+  metadata.gz: 30cf2dd3523b8236e0174b8428b54dd5be86de34f3ba139afd88a0fe89cd5f07
+  data.tar.gz: ecb2e8de4b3188c94572d658e24ba39846431d4c9a2d7e48a9ed0a0b0c80117e
 SHA512:
-  metadata.gz: a296edf52c431d723cffb65fb054729742f81e0ca84713f2e4b35039fb2ca4ccffd4650ccb14197a98dae84d89842b153290cbca56861c159576add8fbf43e53
-  data.tar.gz: db96a866b5ce4932024e9642235b4fed4572f058f162f38604fcc598984372f31ecf3c0b53202cd1c5f110047788fca05dd6b6ae3e587ea2b1d7dec1a10677ac
+  metadata.gz: be97e1d4b66273b68874d74a48386047b5504800ed679a434013db70d92d3a7178bf86d8f9bd9e5099d8aff2913ef809130644cb3e8ba3ead95142f3bf3d476c
+  data.tar.gz: 3d60a91a48228513758279430d71b100301e6b54d6631fe15b7ec7835bcfe83e0b29d5d530e66df324790385afd0255598f70cfdce4c94c3858bf5934352e6a7

data/CHANGELOG.md

@@ -2,6 +2,33 @@
 
 ## [Unreleased]
 
+## [0.49.0] - 2026-07-25
+
+### Added
+
+- **EXPERIMENTAL**: Schema canonicalization via `jsonschema::canonicalize`. It reduces a reasonable subset of JSON Schemas to their normal forms.
+- Validation of recursive Ruby objects.
+
+### Changed
+
+- Invalid UTF-8, unsupported types, and nesting past the depth limit are reported only where a keyword reads the value.
+- A hash keyed by both `:name` and `"name"` counts two properties (it previously collapsed them into one).
+
+### Fixed
+
+- `multipleOf` incorrectly accepted integers past `u64` that are not multiples of the divisor.
+
+### Performance
+
+- Up to 3x faster validation by working on Ruby objects directly instead of converting them to `serde_json`. [#239](https://github.com/Stranger6667/jsonschema/issues/239)
+
+## [0.48.5] - 2026-07-22
+
+### Performance
+
+- Avoid map lookups in some `properties` validators.
+- Faster validation of `{"type": "array", "items": {...}}` schemas.
+
 ## [0.48.2] - 2026-07-21
 
 ### Fixed
@@ -192,7 +219,9 @@
 
 - Initial public release
 
-[Unreleased]: https://github.com/Stranger6667/jsonschema/compare/ruby-v0.48.2...HEAD
+[Unreleased]: https://github.com/Stranger6667/jsonschema/compare/ruby-v0.49.0...HEAD
+[0.49.0]: https://github.com/Stranger6667/jsonschema/compare/ruby-v0.48.5...ruby-v0.49.0
+[0.48.5]: https://github.com/Stranger6667/jsonschema/compare/ruby-v0.48.2...ruby-v0.48.5
 [0.48.2]: https://github.com/Stranger6667/jsonschema/compare/ruby-v0.48.1...ruby-v0.48.2
 [0.48.1]: https://github.com/Stranger6667/jsonschema/compare/ruby-v0.48.0...ruby-v0.48.1
 [0.48.0]: https://github.com/Stranger6667/jsonschema/compare/ruby-v0.47.0...ruby-v0.48.0

data/lib/jsonschema/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module JSONSchema
-  VERSION = "0.48.2"
+  VERSION = "0.49.0"
 end

data/sig/jsonschema.rbs

@@ -14,8 +14,159 @@ module JSONSchema
       # Main use case: deduplicate equivalent JSON Schemas by using a stable string form.
       def self.to_string: (untyped object) -> String
     end
+
+    # Structural discriminant of a canonical schema, one per view class.
+    type kind = :multi_type | :typed_group | :string | :integer | :number | :array
+              | :object | :const | :enum | :any_of | :true | :false | :raw
+
+    type view = TrueView | FalseView | MultiTypeView | TypedGroupView | StringView
+              | IntegerView | NumberView | ArrayView | ObjectView | AnyOfView
+              | ConstView | EnumView | RawView
+
+    class CanonicalizationError < StandardError
+    end
+
+    class InvalidSchemaType < CanonicalizationError
+    end
+
+    # A schema reduced to canonical form: schemas accepting the same values share one form.
+    class CanonicalSchema
+      def to_json_schema: () -> untyped
+      def draft: () -> JSONSchema::draft
+      def kind: () -> kind
+      def view: () -> view
+      def definitions: () -> Hash[String, CanonicalSchema]
+      def satisfiable?: () -> bool
+      def inspect: () -> String
+      def ==: (untyped other) -> bool
+      def eql?: (untyped other) -> bool
+      def hash: () -> Integer
+    end
+
+    # Matches any value.
+    class TrueView
+    end
+
+    # Matches no value.
+    class FalseView
+    end
+
+    # A value matches iff its JSON type is in the set.
+    class MultiTypeView
+      def types: () -> Array[Symbol]
+      def inspect: () -> String
+      def deconstruct_keys: (untyped keys) -> Hash[Symbol, untyped]
+    end
+
+    # A value matches iff its JSON type is `type_name` and it satisfies `body`.
+    class TypedGroupView
+      def type_name: () -> Symbol
+      def body: () -> CanonicalSchema
+      def inspect: () -> String
+      def deconstruct_keys: (untyped keys) -> Hash[Symbol, untyped]
+    end
+
+    # A string value within a length window, matching every pattern.
+    class StringView
+      def min_length: () -> Integer?
+      def max_length: () -> Integer?
+      def patterns: () -> Array[String]
+      def formats: () -> Array[String]
+      def content_media_types: () -> Array[String]
+      def content_encodings: () -> Array[String]
+      def inspect: () -> String
+      def deconstruct_keys: (untyped keys) -> Hash[Symbol, untyped]
+    end
+
+    # A number value within a real interval.
+    class NumberView
+      def minimum: () -> (Integer | Float)?
+      def exclusive_minimum: () -> bool
+      def maximum: () -> (Integer | Float)?
+      def exclusive_maximum: () -> bool
+      def multiple_of: () -> Array[Integer | Float]
+      def inspect: () -> String
+      def deconstruct_keys: (untyped keys) -> Hash[Symbol, untyped]
+    end
+
+    # An integer value within a closed interval, optionally a multiple of a divisor.
+    class IntegerView
+      def minimum: () -> Integer?
+      def maximum: () -> Integer?
+      def multiple_of: () -> Array[Integer | Float]
+      def inspect: () -> String
+      def deconstruct_keys: (untyped keys) -> Hash[Symbol, untyped]
+    end
+
+    # An array value whose length is within a window.
+    class ArrayView
+      def min_items: () -> Integer?
+      def max_items: () -> Integer?
+      def unique_items: () -> bool
+      def prefix_items: () -> Array[CanonicalSchema]
+      def items: () -> CanonicalSchema?
+      def contains: () -> Array[ContainsView]
+      def inspect: () -> String
+      def deconstruct_keys: (untyped keys) -> Hash[Symbol, untyped]
+    end
+
+    # One `contains` demand of an array; an absent minimum spells the default of one.
+    class ContainsView
+      def schema: () -> CanonicalSchema
+      def min_contains: () -> Integer?
+      def max_contains: () -> Integer?
+      def inspect: () -> String
+      def deconstruct_keys: (untyped keys) -> Hash[Symbol, untyped]
+    end
+
+    # An object value whose property count is within a window.
+    class ObjectView
+      def min_properties: () -> Integer?
+      def max_properties: () -> Integer?
+      def required: () -> Array[String]
+      def property_names: () -> CanonicalSchema?
+      def properties: () -> Hash[String, CanonicalSchema]
+      def pattern_properties: () -> Hash[String, CanonicalSchema]
+      def inspect: () -> String
+      def deconstruct_keys: (untyped keys) -> Hash[Symbol, untyped]
+    end
+
+    # A value matches iff at least one branch matches.
+    class AnyOfView
+      def branches: () -> Array[CanonicalSchema]
+      def inspect: () -> String
+      def deconstruct_keys: (untyped keys) -> Hash[Symbol, untyped]
+    end
+
+    # Exactly one admitted value.
+    class ConstView
+      def value: () -> untyped
+      def inspect: () -> String
+      def deconstruct_keys: (untyped keys) -> Hash[Symbol, untyped]
+    end
+
+    # A sorted, deduplicated finite set of admitted values.
+    class EnumView
+      def values: () -> Array[untyped]
+      def inspect: () -> String
+      def deconstruct_keys: (untyped keys) -> Hash[Symbol, untyped]
+    end
+
+    # A schema the canonical form does not model structurally, kept verbatim.
+    class RawView
+      def schema: () -> untyped
+      def inspect: () -> String
+      def deconstruct_keys: (untyped keys) -> Hash[Symbol, untyped]
+    end
   end
 
+  # Reduce a schema to its canonical form.
+  def self.canonicalize: (
+    untyped schema,
+    ?draft: draft?,
+    ?validate_formats: bool?
+  ) -> Canonical::CanonicalSchema
+
   # Create a validator with auto-detected draft version.
   #
   # @param schema The JSON Schema (Hash or JSON string)

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: jsonschema_rs
 version: !ruby/object:Gem::Version
-  version: 0.48.2
+  version: 0.49.0
 platform: aarch64-linux
 authors:
 - Dmitry Dygalo
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2026-07-20 00:00:00.000000000 Z
+date: 2026-07-25 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bigdecimal