philiprehberger-assert 0.5.0 → 0.6.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 806a389a510c91f4c13f8b09ed2b4defbeea816d0d6d9d5f3a1a452add6f12de
-  data.tar.gz: 915ce84054018103c7c27618f54d99e0e9ecd3f257056a6e60653f54433b55d7
+  metadata.gz: 5ea0634dc2cf5bdb5eeb61e2c7924c082fa9b0528be940055e2fda35d296b061
+  data.tar.gz: 72facd36929574b07e387b14939abab408ebd473d9fe01fae380b8df98f76ce7
 SHA512:
-  metadata.gz: d54316256352d71f704fe3988caf7f228661a1e86977f4acf3e9486bd2c9b57daf2c9bc70e9a23a927d4e7b206f6e814c16dbbb4798d71a103963c8fed229299
-  data.tar.gz: 6ee3a9ba4b4a5b78d2d39f72acf310cc2019391521978fd958d6006c76afa234db0efc203387bec98dc6574913daf92f4445db333a34cc570df8913574cf2fe0
+  metadata.gz: 6c3a46cc415a9b64224aadf69bad12e15133f9144f268505c2995d149eac440a734e89b89237dc94cb77b67e4443e95d12a9d5aa1621c751a2c99d14cbe552a7
+  data.tar.gz: 873d5cef9568cac111fb347346c64af94ef685049ad3a893693d475a5615a06d279817519dac054344195eeb4c139048e507cd732733d842eaa602d0dd1ba873

data/CHANGELOG.md

@@ -7,6 +7,11 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.6.0] - 2026-05-02
+
+### Added
+- `Assert.invariant(condition, message)` for Design by Contract class-invariant checks, completing the pre/post/invariant trio
+
 ## [0.5.0] - 2026-04-29
 
 ### Added

data/README.md

@@ -103,6 +103,16 @@ def withdraw(amount)
 end
 ```
 
+### Invariant (Design by Contract)
+
+```ruby
+def transfer(from, to, amount)
+  before = from.balance + to.balance
+  perform_transfer(from, to, amount)
+  Philiprehberger::Assert.invariant(from.balance + to.balance == before, 'total balance must be conserved')
+end
+```
+
 ## API
 
 | Method | Description |
@@ -111,6 +121,7 @@ end
 | `Assert.soft { \|a\| ... }` | Collect failures, raise at end |
 | `Assert.precondition(condition, message)` | Design by Contract precondition check |
 | `Assert.postcondition(condition, message)` | Design by Contract postcondition check |
+| `Assert.invariant(condition, message)` | Design by Contract class-invariant check |
 | `Assertion#is_a(type)` | Assert value is an instance of type |
 | `Assertion#gte(num)` | Assert value >= num |
 | `Assertion#lte(num)` | Assert value <= num |

data/lib/philiprehberger/assert/version.rb

@@ -2,6 +2,6 @@
 
 module Philiprehberger
   module Assert
-    VERSION = '0.5.0'
+    VERSION = '0.6.0'
   end
 end

data/lib/philiprehberger/assert.rb

@@ -42,5 +42,14 @@ module Philiprehberger
     def self.postcondition(condition, message)
       raise AssertionError, message unless condition
     end
+
+    # Design by Contract invariant check.
+    #
+    # @param condition [Boolean] the condition to verify
+    # @param message [String] failure message
+    # @raise [AssertionError] if condition is false
+    def self.invariant(condition, message)
+      raise AssertionError, message unless condition
+    end
   end
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: philiprehberger-assert
 version: !ruby/object:Gem::Version
-  version: 0.5.0
+  version: 0.6.0
 platform: ruby
 authors:
 - Philip Rehberger
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2026-04-29 00:00:00.000000000 Z
+date: 2026-05-03 00:00:00.000000000 Z
 dependencies: []
 description: A lightweight runtime assertion library for Ruby with chainable matchers,
   soft assertions, and Design by Contract preconditions.