jsonschema_rs 0.50.0-x86_64-linux → 0.50.1-x86_64-linux

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: aa79853143644753b7aecaf3ab2012304f5ca0698e302722fef3b544a1bbd836
-  data.tar.gz: 84bab5852e47637fe1ac0ba14320a08e48a65437c01019c95fd5a2db6b3dc22d
+  metadata.gz: 8861dd2c485eedf55d3c3b575974db005331c22f6f1e5ede8df8b21142ee2459
+  data.tar.gz: d0b281b6789291a0ef25d97616c5cbbae6b28c68ad12ffe5393cb0e3be594053
 SHA512:
-  metadata.gz: 42c47b6c69ed6742d7a23d5ef1e45df119c195ff70aa2f3ebd97ec4e448d006a88374ad66d57701bdf5ce16710de1cd5572bb603772bdfe451bc9525c9c9c8f6
-  data.tar.gz: fd9a061e686208d66ff65dd6b6c0848ef0d5499121ddc14f81730933e0dd545ac24717628e4e3af6504fe09bc309902eb4e824e9279098f8b15ceb78c9bd5dfe
+  metadata.gz: a0d67e487dd63731879bd4d3186541d782fbc79f6425e371e7af0dc757c4070c11462c46f7e4626232493e65ede4168b7749381e7974b7534a0e92db4e975501
+  data.tar.gz: 493bbe557a6981c4dbab51695c11f87052e92537f8fcd260123b4f62cd47c60633ab33d397a2b0ded34dffba1ae8072589a29f2d7d5b32522e0a6880a2c61e09

data/CHANGELOG.md

@@ -2,6 +2,26 @@
 
 ## [Unreleased]
 
+## [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 +442,8 @@
 
 - Initial public release
 
-[Unreleased]: https://github.com/Stranger6667/jsonschema/compare/ruby-v0.50.0...HEAD
+[Unreleased]: https://github.com/Stranger6667/jsonschema/compare/ruby-v0.50.1...HEAD
+[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/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`.

data/lib/jsonschema/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module JSONSchema
-  VERSION = "0.50.0"
+  VERSION = "0.50.1"
 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

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: jsonschema_rs
 version: !ruby/object:Gem::Version
-  version: 0.50.0
+  version: 0.50.1
 platform: x86_64-linux
 authors:
 - Dmitry Dygalo
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2026-08-20 00:00:00.000000000 Z
+date: 2026-08-22 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bigdecimal