jsonschema_rs 0.50.0 → 0.51.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 8eab3d3f6e9ccf2a4ad5359fee53b8d6da2a5693b1e245bb1d1352a238988c5d
-  data.tar.gz: 29f0ca7bcf0bf62631378ca5f97a8bd92e356001de903274fde4542f1e4c5387
+  metadata.gz: 7cc0c8312d2b960d018cd1a8eda7e8db2ae74eee48bfd4328e3040e479db2a9d
+  data.tar.gz: 9149b6d196c3c7ca1b27ed2d12c433b2cdcc46ab1f665aea3e04e3186e901ede
 SHA512:
-  metadata.gz: 5a42a2ae9ad830281bfaac0c896ac731b7627ee17388321b84e005f587d1734e289cc21f3794d85c7f0e477be1b8dbc79a401abc9369aaa85ab3eef1c687dee5
-  data.tar.gz: 3c3ebba033ddd6e005d60ccec91cfab87c4f6e5b1e4752036d1b58eb8492070f0749fbed3c3c7f0187d5e21cdb1fe6ac7fe1782df9d6661d16f11e38a1fc0eec
+  metadata.gz: c380d68065992826531bf42fa03d9a200fdf20cd2a43e5fd8f35212cdad2d88a4e4b3e67f806171c1a7dd6cc3b78eff2f2af19276ccb1bec91d6f0c658587e73
+  data.tar.gz: 4f73fb65388571245b79a05cba80b74be5dafd2ef70073310aacbcbb76ce63dbe71abd5e6f90140752dffca4b32d0693723b7e94dc88c9371d168b734bfee6aa

data/CHANGELOG.md

@@ -2,6 +2,51 @@
 
 ## [Unreleased]
 
+## [0.51.0] - 2026-08-23
+
+### Added
+
+- `vocabularies` option, declaring support for a vocabulary this library does not implement.
+
+### Fixed
+
+- The `uniqueItems` length ceiling not reading an `items` or `contains` schema written as a `$ref`.
+- The Draft 2020-12 Format-Assertion vocabulary read as an annotation, so a meta-schema requiring it accepted values its `format` rejects.
+- An unrecognized `format` accepted under a meta-schema requiring the Format-Assertion vocabulary (it should be rejected).
+- A meta-schema requiring a vocabulary this library does not implement accepted (it should be rejected).
+- The Draft 2019-09 Format vocabulary declared `true` read as an annotation, so a meta-schema requiring it accepted values its `format` rejects.
+- The bundled `https://json-schema.org/draft/2020-12/meta/format-assertion` meta-schema not declaring its vocabulary, so a schema written against it annotated `format` instead of asserting it.
+- A meta-schema without `$id` keeping its `$vocabulary` unread, so a schema written against it got every Draft 2020-12 vocabulary.
+- A schema naming a bundled vocabulary meta-schema as its `$schema` rejected as an unknown meta-schema (it should build).
+- The `regex` format reading the Rust regex dialect (it should read the ECMA-262 dialect in Unicode mode).
+- The `uri-template` format rejecting an apostrophe in a literal (it should accept it, per RFC 6570 errata 6937).
+- The `duration` format accepting weeks combined with a time part, such as `P1WT1H` (it should reject it).
+- Stack overflow compiling `unevaluatedProperties` or `unevaluatedItems` beside a `$ref` that cycles back to the node, written as `#`, through its `$id`, or through a chain of definitions.
+
+### Performance
+
+- Building `unevaluatedProperties` or `unevaluatedItems` over a deep `allOf` or `$ref` chain costs its depth instead of its square.
+
+## [0.50.1] - 2026-08-22
+
+### Changed
+
+- `CanonicalSchema#satisfiability` answers `:yes` for a string whose `pattern` or `format` a matching value can be built from.
+- `CanonicalSchema#satisfiability` answers `:no` where a `format` takes no string of the length the schema asks for.
+
+### Fixed
+
+- `CanonicalSchema#negate` taking apart a union that reads a definition through its own `if`, so a schema and its negation shared a value.
+- `CanonicalSchema#subtract` dropping a Draft 4 array member an element demand partly takes.
+- `CanonicalSchema#covers` answering `Yes` where a Draft 4 element demand refuses a member.
+- A string schema whose `maxLength` is `0` keeping a `pattern`, `format`, or content facet unread, so the same constraints written in one object and written as an `allOf` reached different canonical forms.
+
+### Performance
+
+- `not` over a wide object schema costs its branch count instead of its square.
+- `not` over an object schema is linear in its property count, not quadratic.
+- `not` over an object schema with `additionalProperties: false` no longer costs cubic time in its property count.
+
 ## [0.50.0] - 2026-08-20
 
 ### Added
@@ -422,7 +467,9 @@
 
 - Initial public release
 
-[Unreleased]: https://github.com/Stranger6667/jsonschema/compare/ruby-v0.50.0...HEAD
+[Unreleased]: https://github.com/Stranger6667/jsonschema/compare/ruby-v0.51.0...HEAD
+[0.51.0]: https://github.com/Stranger6667/jsonschema/compare/ruby-v0.50.1...ruby-v0.51.0
+[0.50.1]: https://github.com/Stranger6667/jsonschema/compare/ruby-v0.50.0...ruby-v0.50.1
 [0.50.0]: https://github.com/Stranger6667/jsonschema/compare/ruby-v0.49.9...ruby-v0.50.0
 [0.49.9]: https://github.com/Stranger6667/jsonschema/compare/ruby-v0.49.8...ruby-v0.49.9
 [0.49.8]: https://github.com/Stranger6667/jsonschema/compare/ruby-v0.49.7...ruby-v0.49.8

data/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "jsonschema-rb"
-version = "0.50.0"
+version = "0.51.0"
 edition = "2021"
 authors = ["Dmitry Dygalo <dmitry@dygalo.dev>"]
 license = "MIT"
@@ -14,7 +14,7 @@ crate-type = ["cdylib"]
 
 [dependencies]
 strum = "0.28.0"
-jsonschema = { version = "0.50.0", default-features = false, features = ["magnus", "arbitrary-precision", "resolve-http", "resolve-file", "tls-ring", "macros"] }
+jsonschema = { version = "0.51.0", default-features = false, features = ["magnus", "arbitrary-precision", "resolve-http", "resolve-file", "tls-ring", "macros"] }
 magnus = { version = "0.8", features = ["rb-sys"] }
 rb-sys = "0.9"
 serde = { workspace = true }

data/README.md

@@ -365,6 +365,8 @@ Compare a request schema new-against-old and a response schema old-against-new:
 
 `:no` on the difference proves nothing was lost. `:unknown` proves nothing either way.
 
+`:unknown` is undecided, not negative, so the two questions have opposite safe tests: only `satisfiability == :no` proves a schema admits nothing, and only `covers == :yes` proves containment.
+
 `JSONSchema::Canonical::Containment`, `Satisfiability`, `Distinctness` and `Kind` hold these symbols as constants, each with an `ALL` list.
 
 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`.
@@ -642,6 +644,7 @@ JSONSchema.valid?(schema, instance,
   formats: { "name" => proc },     # Custom format validators
   keywords: { "name" => Klass },   # Custom keyword validators
   registry: registry,              # Pre-registered schemas
+  vocabularies: ["https://..."],   # Vocabularies implemented by custom keywords
   pattern_options: opts,           # RegexOptions or FancyRegexOptions
   email_options: opts,             # EmailOptions
   http_options: opts               # HttpOptions

data/ext/jsonschema/Cargo.lock

@@ -693,9 +693,9 @@ dependencies = [
 
 [[package]]
 name = "jsonschema"
-version = "0.50.0"
+version = "0.51.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "7bd2225bc56c338f18465ce618e5e56fff1295fcb0a0cb338b28010193f26949"
+checksum = "152999731bfbe0bb82d561550be73b0c31a9827d6ebe3fe96ad47563703b5328"
 dependencies = [
  "ahash",
  "bytecount",
@@ -726,9 +726,9 @@ dependencies = [
 
 [[package]]
 name = "jsonschema-macros"
-version = "0.50.0"
+version = "0.51.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "b98c87ae37713900b4c502fc934846e91ef7f0aded16b73c7b19e47efb257cec"
+checksum = "b2b1d072fffb43f056f6749cfe86d5fd5853cd0b8b139a05a83f616549b9a98d"
 dependencies = [
  "jsonschema-macros-core",
  "proc-macro2",
@@ -736,9 +736,9 @@ dependencies = [
 
 [[package]]
 name = "jsonschema-macros-core"
-version = "0.50.0"
+version = "0.51.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "be61ad4d81d0e74cc842ad8f28af0ca2e3e2c15d06fa9a3d091ff29816b780c4"
+checksum = "9a710eb535fcbe18373b29254c6a9ca65de465c4228c04c3fdc7600d7b099651"
 dependencies = [
  "fancy-regex",
  "indexmap",
@@ -755,7 +755,7 @@ dependencies = [
 
 [[package]]
 name = "jsonschema-rb-ext"
-version = "0.50.0"
+version = "0.51.0"
 dependencies = [
  "jsonschema",
  "magnus",
@@ -769,18 +769,18 @@ dependencies = [
 
 [[package]]
 name = "jsonschema-regex"
-version = "0.50.0"
+version = "0.51.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "b11520e5257651f31068fa2c959ce28b09d8a217ffe42338bc27d690f06c0f8c"
+checksum = "8cb2e614e1c610e31e947d53156e877340c718e053cfce0dfe9b9ce7beff4d31"
 dependencies = [
  "regex-syntax",
 ]
 
 [[package]]
 name = "jsonschema-value"
-version = "0.50.0"
+version = "0.51.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ccefde026ba6e6e23002c4e1e087b5f411ef5bc90f3e7febb7cf3c498ca8b169"
+checksum = "24373bc85409cb935a46af0ffb41294c5372c08cf9b0709913d908154cd10582"
 dependencies = [
  "ahash",
  "bytecount",
@@ -1074,18 +1074,18 @@ checksum = "69cdb34c158ceb288df11e18b4bd39de994f6657d83847bdffdbd7f346754b0f"
 
 [[package]]
 name = "rb-sys"
-version = "0.9.126"
+version = "0.9.130"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "284799e73e899fe946fd77c7211b83bff61a1356e039ade7a2516a779e3212d0"
+checksum = "02faf625bb10ba893e3ae620f19c9fb1b5f8fcae0fe4eb86bb3f2230fad75edb"
 dependencies = [
  "rb-sys-build",
 ]
 
 [[package]]
 name = "rb-sys-build"
-version = "0.9.126"
+version = "0.9.130"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "855fc1ad8943d12c89ef12f9147f1cc531f5bf19fb744112fdd317bb6ee7b5c5"
+checksum = "05be6f9c86fe5482808162826f6c047d093b3670582296c770de1d94f8066694"
 dependencies = [
  "bindgen",
  "lazy_static",
@@ -1133,9 +1133,9 @@ dependencies = [
 
 [[package]]
 name = "referencing"
-version = "0.50.0"
+version = "0.51.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3b228fc6035ae00a9008ba156c0dfc98f0b6ebc5f3c8db7ac7006dcf8e56f15a"
+checksum = "0aff997fc7eecb671a947b0f73f5ce4bcb4ad3534fd5bff2dd752718a8107525"
 dependencies = [
  "ahash",
  "fluent-uri",

data/ext/jsonschema/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "jsonschema-rb-ext"
-version = "0.50.0"
+version = "0.51.0"
 edition = "2021"
 publish = false
 
@@ -10,10 +10,10 @@ name = "jsonschema_rb"
 path = "../../src/lib.rs"
 
 [dependencies]
-jsonschema = { version = "0.50.0", default-features = false, features = ["magnus", "arbitrary-precision", "resolve-http", "resolve-file", "tls-ring", "macros"] }
+jsonschema = { version = "0.51.0", default-features = false, features = ["magnus", "arbitrary-precision", "resolve-http", "resolve-file", "tls-ring", "macros"] }
 magnus = { version = "0.8", features = ["rb-sys"] }
 rb-sys = "0.9"
-referencing = "0.50.0"
+referencing = "0.51.0"
 serde = { version = "1", features = ["derive"] }
 serde_json = { version = "1", features = ["arbitrary_precision"] }
 strum = "0.28.0"

data/lib/jsonschema/version.rb

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

data/sig/jsonschema.rbs

@@ -23,10 +23,12 @@ module JSONSchema
     # What an array requires of its elements: all distinct, some repeated, or neither.
     type distinctness = :unconstrained | :all_distinct | :some_repeated
 
-    # Whether one schema admits every value another does.
+    # Whether one schema admits every value another does. Only `:yes` proves containment: test
+    # for `:yes`, and treat `:unknown` like `:no`.
     type containment = :yes | :no | :unknown
 
-    # Whether any value satisfies a schema.
+    # Whether any value satisfies a schema. Only `:no` proves it admits nothing: test for `:no`,
+    # and treat `:unknown` like `:yes`.
     type satisfiability = :yes | :no | :unknown
 
     type view = TrueView | FalseView | MultiTypeView | TypedGroupView | StringView
@@ -308,6 +310,7 @@ module JSONSchema
     untyped schema,
     ?validate_formats: bool?,
     ?ignore_unknown_formats: bool?,
+    ?vocabularies: Array[String]?,
     ?base_uri: String?,
     ?retriever: (^(String) -> untyped)?,
     ?mask: String?,
@@ -324,6 +327,7 @@ module JSONSchema
     untyped schema,
     ?validate_formats: bool?,
     ?ignore_unknown_formats: bool?,
+    ?vocabularies: Array[String]?,
     ?mask: ::String?,
     ?base_uri: ::String?,
     ?retriever: (^(::String) -> untyped)?,
@@ -369,6 +373,7 @@ module JSONSchema
     ?draft: draft?,
     ?validate_formats: bool?,
     ?ignore_unknown_formats: bool?,
+    ?vocabularies: Array[String]?,
     ?base_uri: String?,
     ?retriever: (^(String) -> untyped)?,
     ?mask: String?,
@@ -387,6 +392,7 @@ module JSONSchema
     ?draft: draft?,
     ?validate_formats: bool?,
     ?ignore_unknown_formats: bool?,
+    ?vocabularies: Array[String]?,
     ?base_uri: String?,
     ?retriever: (^(String) -> untyped)?,
     ?mask: String?,
@@ -405,6 +411,7 @@ module JSONSchema
     ?draft: draft?,
     ?validate_formats: bool?,
     ?ignore_unknown_formats: bool?,
+    ?vocabularies: Array[String]?,
     ?base_uri: String?,
     ?retriever: (^(String) -> untyped)?,
     ?mask: String?,
@@ -421,6 +428,7 @@ module JSONSchema
     ?draft: draft?,
     ?validate_formats: bool?,
     ?ignore_unknown_formats: bool?,
+    ?vocabularies: Array[String]?,
     ?base_uri: String?,
     ?retriever: (^(String) -> untyped)?,
     ?mask: String?,
@@ -439,6 +447,7 @@ module JSONSchema
     ?draft: draft?,
     ?validate_formats: bool?,
     ?ignore_unknown_formats: bool?,
+    ?vocabularies: Array[String]?,
     ?base_uri: String?,
     ?retriever: (^(String) -> untyped)?,
     ?formats: Hash[String, ^(String) -> bool]?,

data/src/lib.rs

@@ -200,6 +200,7 @@ fn build_parsed_options(
         formats,
         keywords,
         registry,
+        kw.vocabularies,
         kw.pattern_options,
         kw.email_options,
         kw.http_options,

data/src/options.rs

@@ -36,6 +36,7 @@ define_rb_intern!(static KW_FORMATS: "formats");
 define_rb_intern!(static KW_KEYWORDS: "keywords");
 define_rb_intern!(pub(crate) static KW_REGISTRY: "registry");
 // Extra kwarg names (extracted before get_kwargs)
+define_rb_intern!(static KW_VOCABULARIES: "vocabularies");
 define_rb_intern!(static KW_PATTERN_OPTIONS: "pattern_options");
 define_rb_intern!(static KW_EMAIL_OPTIONS: "email_options");
 define_rb_intern!(static KW_HTTP_OPTIONS: "http_options");
@@ -224,12 +225,14 @@ pub fn parse_draft_symbol(ruby: &Ruby, val: Value) -> Result<jsonschema::Draft,
 
 pub struct ExtractedKwargs {
     pub base: BaseKwargs,
+    pub vocabularies: Option<Vec<String>>,
     pub pattern_options: Option<Value>,
     pub email_options: Option<Value>,
     pub http_options: Option<Value>,
 }
 
 pub fn extract_kwargs(_ruby: &Ruby, kw: RHash) -> Result<ExtractedKwargs, Error> {
+    let vocabularies = extract_vocabularies(&kw)?;
     let pattern_options = extract_and_delete(&kw, *KW_PATTERN_OPTIONS)?;
     let email_options = extract_and_delete(&kw, *KW_EMAIL_OPTIONS)?;
     let http_options = extract_and_delete(&kw, *KW_HTTP_OPTIONS)?;
@@ -239,6 +242,7 @@ pub fn extract_kwargs(_ruby: &Ruby, kw: RHash) -> Result<ExtractedKwargs, Error>
 
     Ok(ExtractedKwargs {
         base: base_kw.optional,
+        vocabularies,
         pattern_options,
         email_options,
         http_options,
@@ -246,6 +250,7 @@ pub fn extract_kwargs(_ruby: &Ruby, kw: RHash) -> Result<ExtractedKwargs, Error>
 }
 
 pub fn extract_evaluate_kwargs(_ruby: &Ruby, kw: RHash) -> Result<ExtractedKwargs, Error> {
+    let vocabularies = extract_vocabularies(&kw)?;
     let pattern_options = extract_and_delete(&kw, *KW_PATTERN_OPTIONS)?;
     let email_options = extract_and_delete(&kw, *KW_EMAIL_OPTIONS)?;
     let http_options = extract_and_delete(&kw, *KW_HTTP_OPTIONS)?;
@@ -275,6 +280,7 @@ pub fn extract_evaluate_kwargs(_ruby: &Ruby, kw: RHash) -> Result<ExtractedKwarg
             keywords,
             registry,
         ),
+        vocabularies,
         pattern_options,
         email_options,
         http_options,
@@ -282,6 +288,7 @@ pub fn extract_evaluate_kwargs(_ruby: &Ruby, kw: RHash) -> Result<ExtractedKwarg
 }
 
 pub fn extract_kwargs_no_draft(_ruby: &Ruby, kw: RHash) -> Result<ExtractedKwargs, Error> {
+    let vocabularies = extract_vocabularies(&kw)?;
     let pattern_options = extract_and_delete(&kw, *KW_PATTERN_OPTIONS)?;
     let email_options = extract_and_delete(&kw, *KW_EMAIL_OPTIONS)?;
     let http_options = extract_and_delete(&kw, *KW_HTTP_OPTIONS)?;
@@ -311,12 +318,19 @@ pub fn extract_kwargs_no_draft(_ruby: &Ruby, kw: RHash) -> Result<ExtractedKwarg
             keywords,
             registry,
         ),
+        vocabularies,
         pattern_options,
         email_options,
         http_options,
     })
 }
 
+fn extract_vocabularies(kw: &RHash) -> Result<Option<Vec<String>>, Error> {
+    extract_and_delete(kw, *KW_VOCABULARIES)?
+        .map(TryConvert::try_convert)
+        .transpose()
+}
+
 /// Extract a key from a Ruby Hash and remove it, returning None if not present or nil.
 fn extract_and_delete(hash: &RHash, key: StaticId) -> Result<Option<Value>, Error> {
     let val: Option<Value> = hash.delete(key.to_symbol())?;
@@ -482,6 +496,7 @@ pub fn make_options_from_kwargs(
     formats: Option<RHash>,
     keywords: Option<RHash>,
     registry_val: Option<Value>,
+    vocabularies: Option<Vec<String>>,
     pattern_options_val: Option<Value>,
     email_options_val: Option<Value>,
     http_options_val: Option<Value>,
@@ -506,6 +521,10 @@ pub fn make_options_from_kwargs(
         opts = opts.should_ignore_unknown_formats(ignore);
     }
 
+    for vocabulary in vocabularies.into_iter().flatten() {
+        opts = opts.with_vocabulary(vocabulary);
+    }
+
     if let Some(uri) = base_uri {
         opts = opts.with_base_uri(uri);
     }

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: jsonschema_rs
 version: !ruby/object:Gem::Version
-  version: 0.50.0
+  version: 0.51.0
 platform: ruby
 authors:
 - Dmitry Dygalo
@@ -35,14 +35,14 @@ dependencies:
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.9.124
+        version: 0.9.130
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.9.124
+        version: 0.9.130
 description: High-performance JSON Schema validator with support for Draft 4, 6, 7,
   2019-09, and 2020-12.
 email: