jsonschema_rs 0.56.0-aarch64-linux → 0.58.0-aarch64-linux

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: d0ddf02194dd710d898438fea5f4dc817c834d1aab45a913279661180886b904
-  data.tar.gz: d9ff444af2e46d821c24b7ddddab4bb6708675e372d89d19618f59f8df676762
+  metadata.gz: eca235acedbca7bdfb421a17094a91517f27158b2a81d2bcd3e582eb7dff7fa5
+  data.tar.gz: c041e316da3016ca0dc0118188b265f7eda745a427b9fd57b452f49c7229724c
 SHA512:
-  metadata.gz: 119bfc9ab14af17e5b7b9ef3934d175219a5f5a80240da267d396ed4fc78a6cda45a9313e3216ad3d3bdd803443543a413950ba5c17744d3b76417fc49366a34
-  data.tar.gz: 02c965d29f1cc92a5e8991b78ed07512c0836a040b749344ac428275396be98345d0e84968313d309f114a9e50adc8a1776b6e753ff4aa3e496952bf4e811d57
+  metadata.gz: 1ab1179cea5fb8b01a97cda88fb596e4e3add7d912d523b7de9f3c4e9993a7104da56c6ec733dc9e9cf21431a95bbf81c36ce5d3d95566a169e79f77b7f093be
+  data.tar.gz: da21623478b8d56189cc8242823e774c0f74931273418d6965b0d004dc9f8b1a88739749a86ff9dfefe9f5ac50d71004b1546550c5920eb06f4e1a76444edc8a

data/CHANGELOG.md

@@ -2,6 +2,28 @@
 
 ## [Unreleased]
 
+## [0.58.0] - 2026-09-25
+
+### Performance
+
+- `oneOf` and `anyOf` whose branches each require a property fixed to a distinct string validate only the branch matching the instance's value.
+- `Meta.valid?` and `Meta.validate!` check a schema against the bundled drafts without converting it first, 2 to 5x faster on the benchmarked schemas.
+
+### Fixed
+
+- `Canonical.find_unsatisfiable` missing a `oneOf` over `$ref` branches beside a sibling none of them admits.
+- A value with no JSON form nested under `type: null` failing validation silently (it should raise `TypeError`).
+
+## [0.57.0] - 2026-09-22
+
+### Added
+
+- `Canonical.find_unsatisfiable`, naming every subschema of a document that admits no value, and the keywords that leave it empty.
+
+### Fixed
+
+- The instance path of a schema build error, which was empty instead of naming the keyword location that failed to compile.
+
 ## [0.56.0] - 2026-09-10
 
 ### Added
@@ -567,7 +589,9 @@
 
 - Initial public release
 
-[Unreleased]: https://github.com/Stranger6667/jsonschema/compare/ruby-v0.56.0...HEAD
+[Unreleased]: https://github.com/Stranger6667/jsonschema/compare/ruby-v0.58.0...HEAD
+[0.58.0]: https://github.com/Stranger6667/jsonschema/compare/ruby-v0.57.0...ruby-v0.58.0
+[0.57.0]: https://github.com/Stranger6667/jsonschema/compare/ruby-v0.56.0...ruby-v0.57.0
 [0.56.0]: https://github.com/Stranger6667/jsonschema/compare/ruby-v0.55.1...ruby-v0.56.0
 [0.55.1]: https://github.com/Stranger6667/jsonschema/compare/ruby-v0.55.0...ruby-v0.55.1
 [0.55.0]: https://github.com/Stranger6667/jsonschema/compare/ruby-v0.54.0...ruby-v0.55.0

data/README.md

@@ -371,6 +371,33 @@ Compare a request schema new-against-old and a response schema old-against-new:
 
 Both operands must share one setup - the same draft, format policy, regular-expression engine and definitions - or `IncompatibleOperands` is raised. `UnsupportedOperand` means an operand is a `Raw` pass-through, and `UnsupportedResult` that the canonical form does not support the result. All three live under `JSONSchema::Canonical`.
 
+### Finding the dead subschemas of a document
+
+`JSONSchema::Canonical.find_unsatisfiable` walks a whole document and answers which of its subschemas admit no value, and why - the keywords at fault and where they sit:
+
+```ruby
+reasons = JSONSchema::Canonical.find_unsatisfiable(
+  {
+    "properties" => {
+      "tag" => { "type" => "string", "minLength" => 5, "maxLength" => 2 },
+      "name" => { "type" => "string" }
+    }
+  }
+)
+
+case reasons["/properties/tag"]
+in JSONSchema::Canonical::ConflictReason[causes:]
+  causes.map { |cause| [cause.pointer, cause.keywords] }
+  # => [["/properties/tag", ["type"]], ["/properties/tag", ["minLength", "maxLength"]]]
+end
+
+# A live subschema is not reported
+reasons.key?("/properties/name")
+# => false
+```
+
+A reason is a `LiteralReason` (written as `false`), an `EmptyReason` (one part admits nothing by itself) or a `ConflictReason` (each part admits values, together they admit none). A pointer left out is not proven satisfiable: a document canonicalization cannot model reports nothing, as `satisfiability` answers `:unknown`.
+
 ## Schema Bundling and Dereferencing
 
 Produce a Compound Schema Document ([Appendix B](https://json-schema.org/draft/2020-12/json-schema-core#appendix-B)) by embedding all external `$ref` targets into a draft-appropriate container. The result validates identically to the original.
@@ -673,6 +700,18 @@ Valid draft symbols: `:draft4`, `:draft6`, `:draft7`, `:draft201909`, `:draft202
 
 For detailed benchmarks, see our [full performance comparison](https://github.com/Stranger6667/jsonschema/blob/master/crates/jsonschema-rb/BENCHMARKS.md).
 
+### Compile-Time Validators
+
+If you ship your own extension and know the schema at build time, the Rust crate's
+`#[jsonschema::validator(..., backend = Magnus)]` macro compiles it into a validator that reads
+Ruby objects directly, so nothing is parsed or compiled when your extension is loaded, and
+validation runs up to 3.5x faster than with a validator built at run time. See the
+[macro documentation](https://docs.rs/jsonschema/latest/jsonschema/#ruby-extension-modules).
+
+This is not available from the `jsonschema_rs` gem, which takes its schemas at run time.
+A complete extension with its build and test commands lives in
+[`examples/magnus-extension`](https://github.com/Stranger6667/jsonschema/tree/master/examples/magnus-extension).
+
 ## Acknowledgements
 
 This library draws API design inspiration from the Python [`jsonschema`](https://github.com/python-jsonschema/jsonschema) package. We're grateful to the Python `jsonschema` maintainers and contributors for their pioneering work in JSON Schema validation.

data/lib/jsonschema/version.rb

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

data/sig/jsonschema.rbs

@@ -306,6 +306,55 @@ module JSONSchema
       def inspect: () -> String
       def deconstruct_keys: (untyped keys) -> Hash[Symbol, untyped]
     end
+
+    # One part of a schema object, as a reason names it.
+    class Cause
+      # JSON Pointer of the schema object holding `keywords`, or of the subschema itself.
+      def pointer: () -> String
+      # Keywords of one family present at `pointer`; empty for a whole subschema.
+      def keywords: () -> Array[String]
+      def ==: (untyped other) -> bool
+      def inspect: () -> String
+      def deconstruct_keys: (untyped keys) -> Hash[Symbol, untyped]
+    end
+
+    # The subschema is written as `false`.
+    class LiteralReason
+      def inspect: () -> String
+      def deconstruct_keys: (untyped keys) -> Hash[Symbol, untyped]
+    end
+
+    # One part every value must satisfy admits nothing by itself. A subschema part has a reason
+    # of its own under its pointer.
+    class EmptyReason
+      def cause: () -> Cause
+      def inspect: () -> String
+      def deconstruct_keys: (untyped keys) -> Hash[Symbol, untyped]
+    end
+
+    # Each part admits values; no value satisfies all of them together.
+    class ConflictReason
+      def causes: () -> Array[Cause]
+      def inspect: () -> String
+      def deconstruct_keys: (untyped keys) -> Hash[Symbol, untyped]
+    end
+
+    # Why a subschema admits no value.
+    type unsatisfiable_reason = LiteralReason | EmptyReason | ConflictReason
+
+    # The subschemas that admit no value, by JSON Pointer, each with why.
+    #
+    # A pointer left out is not proven satisfiable: a document the canonical form does not model
+    # reports nothing, as `satisfiability` answers `:unknown`.
+    def self.find_unsatisfiable: (
+      untyped schema,
+      ?draft: JSONSchema::draft?,
+      ?validate_formats: bool?,
+      ?pattern_options: (RegexOptions | FancyRegexOptions)?,
+      ?retriever: (^(String) -> untyped)?,
+      ?registry: Registry?,
+      ?base_uri: String?
+    ) -> Hash[String, unsatisfiable_reason]
   end
 
   # Reduce a schema to its canonical form.

metadata

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