contracts-rb 0.1.2

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA256:
+  metadata.gz: f9993a3ee0ba0579a550417f72325feb368a093f39508ad4b2a6c3ae516bf4fe
+  data.tar.gz: 84923376eab19c456ba1a5a783f44c5aab228915f6e80db7d0b7f3adac17946c
+SHA512:
+  metadata.gz: 2d7c3695fada564090c026e1cc9e6add5e538c772e9c317ee7fdfea0486f42355193107202b27a9057b80c61c42644cd6676cd7a2a9f1bea04f4e8c00bf1fb46
+  data.tar.gz: 16be4ea8a83af309effbd863cd8efe26e5b50d2d10847caba139a49d240580ca2278371950eeb2a2e1a24da74b9481c9372134d45abca4cb2c64698de071e3c8

data/CHANGELOG.md

@@ -0,0 +1,19 @@
+# Changelog
+
+## Unreleased
+
+## 0.1.2 - 2026-07-30
+
+- Corrected package metadata links to use the repository's `master` branch.
+
+## 0.1.1 - 2026-07-30
+
+- Restored Ruby 3.1 compatibility for snapshot argument handling and `Set` support.
+- Added the Linux platform to the lockfile and constrained development dependencies for the supported Ruby matrix.
+- Prevented RuboCop from scanning Bundler-installed dependencies in CI.
+
+## 0.1.0
+
+- Added release-quality package metadata, build task, generated contract documentation, and release workflow.
+- Added the official contracts-rb logo asset.
+- Initial release: core behavioral contracts, constraints, invariants, snapshots, registry, CLI, and optional integrations.

data/CONTRIBUTING.md

@@ -0,0 +1,3 @@
+# Contributing
+
+Run `bundle exec rake spec` before submitting changes. Keep public APIs documented, preserve Ruby 3.1 compatibility, and add regression coverage for bugs.

data/LICENSE.txt

@@ -0,0 +1,9 @@
+MIT License
+
+Copyright (c) 2026 Magnexis
+
+Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

data/README.md

@@ -0,0 +1,140 @@
+# contracts-rb
+
+[![Gem Version](https://badge.fury.io/rb/contracts-rb.svg)](https://rubygems.org/gems/contracts-rb)
+[![CI](https://github.com/magnexis/contracts-rb/actions/workflows/ci.yml/badge.svg)](https://github.com/magnexis/contracts-rb/actions/workflows/ci.yml)
+[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](LICENSE.txt)
+[![Ruby 3.1+](https://img.shields.io/badge/Ruby-3.1%2B-CC342D.svg)](https://www.ruby-lang.org/)
+
+<p align="center">
+  <a href="https://github.com/magnexis/contracts-rb">
+    <img src="assets/contracts-rb-logo.png" alt="contracts-rb" width="760">
+  </a>
+</p>
+
+`contracts-rb` adds small, explicit behavioral contracts to Ruby without imposing a type system. It supports parameter and return constraints, preconditions, postconditions, object invariants, state snapshots, mutation policies, exception declarations, introspection, and a dependency-free CLI.
+
+**Official repository:** [github.com/magnexis/contracts-rb](https://github.com/magnexis/contracts-rb)
+
+**RubyGems:** [rubygems.org/gems/contracts-rb](https://rubygems.org/gems/contracts-rb)
+
+## Why contracts-rb?
+
+Ruby tests describe expected examples; contracts keep critical method promises executable at runtime. Use them for domain boundaries, money movement, state transitions, service objects, and public library APIs. They are not a replacement for ordinary tests, schema validation, or authorization.
+
+## Install
+
+```ruby
+gem "contracts-rb", "~> 0.1"
+require "contracts"
+```
+
+## Five-minute example
+
+```ruby
+class Account
+  include Contracts
+  attr_reader :balance
+  invariant("balance is non-negative") { balance >= 0 }
+
+  contract :withdraw do
+    params amount: Numeric
+    requires("amount is positive") { |amount:| amount.positive? }
+    requires("enough funds") { |amount:| amount <= balance }
+    changes :balance
+    returns Numeric
+    ensures { |result, before:| balance == before.balance - result }
+  end
+
+  def initialize(balance:) = @balance = balance
+  def withdraw(amount:) = (@balance -= amount)
+end
+```
+
+Constraints include `Contracts.nilable`, `any`, `matching`, `range`, `one_of`, `array_of`, `hash_of`, `respond_to`, `duck_type`, `anything`, `nothing`, and `predicate`.
+
+## Stateful contracts
+
+Use `observe` to capture relevant receiver fields; `changes` permits a subset, `must_change` requires a transition, and `pure`/`changes_nothing` permits none. Snapshots are immutable (`before.balance`, `before[:balance]`, `before.metadata`) and `deep: true` protects nested arrays and hashes. Invariants run after initialization and around contracted methods by default. `Contracts.check_invariants!(object)` is available for explicit checks.
+
+## Constraint reference
+
+| Factory | Example | Meaning |
+|---|---|---|
+| `nilable` | `Contracts.nilable(String)` | `String` or `nil` |
+| `any` | `Contracts.any(String, Symbol)` | any supplied constraint |
+| `matching` | `Contracts.matching(/\A[a-z]+\z/i)` | string matching a regex |
+| `range` | `Contracts.range(18..120)` | value inside a range |
+| `one_of` | `Contracts.one_of(:draft, :published)` | one literal value |
+| `array_of` | `Contracts.array_of(String)` | array whose elements match |
+| `hash_of` | `Contracts.hash_of(Symbol, Numeric)` | hash with matching keys/values |
+| `predicate` | `Contracts.predicate("valid ID") { ... }` | custom runtime rule |
+
+## Runtime configuration
+
+```ruby
+Contracts.configure do |config|
+  config.enabled = true
+  config.failure_mode = :raise       # :raise, :warn, :log, :collect
+  config.sample_rate = 1.0
+  config.invariant_checking = :contracted_methods
+  config.snapshot_strategy = :declared
+  config.undeclared_exceptions = :ignore
+end
+```
+
+For production, use sampling and a `:log` or `:collect` failure mode where an exception would be too disruptive. Sensitive parameter names are redacted from errors by default.
+
+## Exceptions and inheritance
+
+Declare exceptions with `raises PaymentError`; use `on_raise(PaymentError) { |error, before:| ... }` for rollback guarantees. Set `undeclared_exceptions` to `:warn` or `:violate` to enforce exception declarations. Inheritance mode defaults to `:merge`, applying parent parameter, precondition, postcondition, return, and observation rules to overriding child contracts. `:strict` rejects structural parameter constraint changes.
+
+## Configuration and production use
+
+```ruby
+Contracts.configure do |config|
+  config.enabled = true
+  config.failure_mode = :log # :raise, :warn, :log, :collect
+  config.sample_rate = 0.05
+  config.undeclared_exceptions = :violate # :ignore, :warn, :violate
+end
+```
+
+Errors avoid parameter values by default. Set `include_values_in_errors` only in trusted environments. Contracts complement tests and domain validation; use them for durable API promises and high-value invariants, not every local assertion.
+
+## Tooling
+
+`bundle exec contracts version`, `inspect`, `validate`, `doctor`, and `docs --format markdown|json --output PATH` are available. Load application code with `--require ./lib/my_app`.
+
+```sh
+bundle exec contracts inspect BankAccount#withdraw --require ./examples/banking/bank_account
+bundle exec contracts docs --require ./examples/banking/bank_account --format markdown --output docs/contracts
+bundle exec contracts doctor --require ./lib/my_app
+```
+
+`require "contracts/rspec"` provides basic RSpec matchers when RSpec is installed. `require "contracts/rails"` installs a lightweight optional Railtie.
+
+## Compatibility
+
+Ruby 3.1+. Rails is optional. The core is plain Ruby and has no runtime dependencies.
+
+## Limitations
+
+0.1.0 wraps declared instance methods directly; its explicit singleton API is experimental. Deep snapshots, static implication proofs for inheritance, and Rails instrumentation are intentionally deferred.
+
+## Development
+
+```sh
+bundle install
+bundle exec rake spec
+gem build contracts-rb.gemspec
+```
+
+MIT licensed. See [CONTRIBUTING.md](CONTRIBUTING.md) and [SECURITY.md](SECURITY.md).
+
+## Release process
+
+Maintainers validate with `bundle exec rubocop .`, `bundle exec rspec`, and `bundle exec rake build`. The resulting `contracts-rb-<version>.gem` is attached to the matching GitHub release and published through an authenticated RubyGems session.
+
+## Benchmark methodology
+
+Run `bundle exec ruby benchmark/runtime_overhead.rb` on the deployment Ruby and hardware. Compare the included uncontracted and parameter/return-contracted methods; do not extrapolate those measurements to contracts that capture state or execute expensive predicates.

data/SECURITY.md

@@ -0,0 +1,3 @@
+# Security Policy
+
+Please report vulnerabilities privately to the repository maintainers. Do not include secrets in reports. Contract values are redacted by default.

data/docs/_config.yml

@@ -0,0 +1,3 @@
+title: contracts-rb
+description: Behavioral contracts for Ruby methods and objects.
+theme: null

data/docs/contracts/contracts.md

@@ -0,0 +1,59 @@
+## `BankAccount#__invariant__`
+
+### Parameters
+
+
+### Preconditions
+
+
+### Returns
+`unspecified`
+
+### Observed State
+| Field | Deep | Comparator |
+|---|---:|---|
+
+
+### Permitted Changes
+
+
+### Required Changes
+None.
+
+### Invariants
+- balance cannot be negative
+- status is valid
+
+### Allowed Exceptions
+
+## `BankAccount#withdraw`
+
+### Parameters
+- `amount`: `Numeric`
+
+### Preconditions
+- positive amount
+- active account
+
+### Returns
+`unspecified`
+
+### Observed State
+| Field | Deep | Comparator |
+|---|---:|---|
+| `balance` | No | `eql?` |
+| `audit_log` | Yes | `eql?` |
+
+### Permitted Changes
+- `balance`
+- `audit_log`
+
+### Required Changes
+None.
+
+### Invariants
+- balance cannot be negative
+- status is valid
+
+### Allowed Exceptions
+

data/docs/index.html

@@ -0,0 +1,79 @@
+<!doctype html>
+<html lang="en">
+  <head>
+    <meta charset="utf-8">
+    <meta name="viewport" content="width=device-width, initial-scale=1">
+    <meta name="description" content="Behavioral contracts for Ruby methods and objects.">
+    <title>contracts-rb · Behavioral contracts for Ruby</title>
+    <style>
+      :root { color-scheme: dark; font-family: Inter, ui-sans-serif, system-ui, sans-serif; background: #14171d; color: #f3f5f7; }
+      * { box-sizing: border-box; } body { margin: 0; line-height: 1.55; }
+      a { color: #ff5362; text-decoration: none; } a:hover { text-decoration: underline; }
+      .wrap { width: min(1100px, calc(100% - 48px)); margin: 0 auto; }
+      header { padding: 28px 0; display: flex; align-items: center; justify-content: space-between; }
+      .wordmark { font-weight: 750; letter-spacing: -.04em; font-size: 1.15rem; color: #fff; }
+      nav { display: flex; gap: 22px; font-size: .95rem; }
+      .hero { padding: 52px 0 70px; display: grid; grid-template-columns: 1.12fr .88fr; align-items: center; gap: 34px; }
+      h1 { font-size: clamp(2.9rem, 8vw, 5.7rem); line-height: .95; letter-spacing: -.07em; margin: 0 0 24px; }
+      h2 { font-size: 1.7rem; letter-spacing: -.04em; margin: 0 0 12px; }
+      .lede { color: #b8c0ca; font-size: 1.22rem; max-width: 620px; }
+      .actions { display: flex; gap: 12px; flex-wrap: wrap; margin-top: 28px; }
+      .button { padding: 11px 16px; border-radius: 8px; background: #eb2538; color: #fff; font-weight: 700; }
+      .button.secondary { background: #252b35; color: #fff; }
+      .button:hover { text-decoration: none; filter: brightness(1.08); }
+      .logo { width: 100%; border-radius: 20px; box-shadow: 0 24px 80px rgba(0,0,0,.48); }
+      .bar { border-top: 1px solid #303744; border-bottom: 1px solid #303744; padding: 18px 0; color: #aab3c0; }
+      .bar strong { color: #fff; margin-right: 30px; }
+      section { padding: 70px 0; }
+      .grid { display: grid; grid-template-columns: repeat(3, 1fr); gap: 18px; margin-top: 28px; }
+      .card { background: #1b2028; border: 1px solid #303744; padding: 22px; border-radius: 12px; }
+      .card h3 { margin: 0 0 8px; font-size: 1.05rem; } .card p { margin: 0; color: #b8c0ca; }
+      pre { overflow: auto; padding: 24px; background: #0f1217; border: 1px solid #303744; border-radius: 12px; color: #d9e1ec; }
+      footer { border-top: 1px solid #303744; padding: 30px 0 48px; color: #aab3c0; font-size: .93rem; }
+      @media (max-width: 760px) { .hero, .grid { grid-template-columns: 1fr; } header { align-items: flex-start; gap: 18px; flex-direction: column; } nav { gap: 14px; flex-wrap: wrap; } }
+    </style>
+  </head>
+  <body>
+    <div class="wrap">
+      <header>
+        <a class="wordmark" href="./">contracts-rb</a>
+        <nav><a href="#features">Features</a><a href="#start">Get started</a><a href="contracts/contracts.md">Contract docs</a><a href="https://github.com/magnexis/contracts-rb">GitHub</a></nav>
+      </header>
+
+      <main>
+        <section class="hero">
+          <div>
+            <h1>Make Ruby promises executable.</h1>
+            <p class="lede">contracts-rb adds lightweight behavioral contracts to Ruby methods and objects—without turning Ruby into a static type system.</p>
+            <div class="actions"><a class="button" href="https://rubygems.org/gems/contracts-rb">Install from RubyGems</a><a class="button secondary" href="https://github.com/magnexis/contracts-rb">View source</a></div>
+          </div>
+          <img class="logo" src="assets/contracts-rb-logo.png" alt="contracts-rb ruby gem logo">
+        </section>
+      </main>
+    </div>
+    <div class="bar"><div class="wrap"><strong>Ruby 3.1+</strong> Runtime contracts for methods, services, and stateful domain objects.</div></div>
+    <div class="wrap">
+      <section id="features"><h2>Behavior you can state, inspect, and enforce.</h2>
+        <div class="grid"><article class="card"><h3>Method contracts</h3><p>Validate parameters, preconditions, return values, and postconditions with idiomatic Ruby blocks.</p></article><article class="card"><h3>State safety</h3><p>Capture immutable before-state snapshots, preserve invariants, and declare permitted changes.</p></article><article class="card"><h3>Production control</h3><p>Sample enforcement, redact sensitive values, configure failure modes, and inspect contracts through the CLI.</p></article></div>
+      </section>
+      <section id="start"><h2>Five-minute start</h2><pre><code>gem "contracts-rb"
+
+class Account
+  include Contracts
+  attr_reader :balance
+
+  invariant { balance >= 0 }
+
+  contract :withdraw do
+    params amount: Numeric
+    requires { |amount:| amount.positive? }
+    observe :balance
+    changes :balance
+    returns Numeric
+  end
+end</code></pre>
+      <p>Read the <a href="https://github.com/magnexis/contracts-rb#readme">README</a> for snapshots, exceptions, inheritance, RSpec, Rails, and CLI usage.</p></section>
+    </div>
+    <footer><div class="wrap">contracts-rb is an MIT-licensed Magnexis project. <a href="https://github.com/magnexis/contracts-rb">Source and issues</a>.</div></footer>
+  </body>
+</html>

data/examples/banking/README.md

@@ -0,0 +1,3 @@
+# Banking example
+
+Run `ruby -Ilib examples/banking/demo.rb`. It demonstrates initialization invariants, immutable before snapshots, deep observed audit state, permitted mutations, and nested contract calls.

data/examples/banking/bank_account.rb

@@ -0,0 +1,21 @@
+# frozen_string_literal: true
+require "contracts"
+
+class BankAccount
+  include Contracts
+  attr_reader :balance, :status, :audit_log
+  invariant("balance cannot be negative") { balance >= 0 }
+  invariant("status is valid") { %i[active frozen closed].include?(status) }
+
+  contract :withdraw do
+    params amount: Numeric
+    observe :balance
+    observe :audit_log, deep: true
+    changes :balance, :audit_log
+    requires("positive amount") { |amount:| amount.positive? }
+    requires("active account") { status == :active }
+    ensures { |result, amount:, before:| result == amount && balance == before.balance - amount }
+  end
+  def initialize(balance:, status: :active) = (@balance = balance; @status = status; @audit_log = [])
+  def withdraw(amount:) = (@balance -= amount; @audit_log << { action: :withdraw, amount: amount }; amount)
+end

data/examples/banking/demo.rb

@@ -0,0 +1,6 @@
+# frozen_string_literal: true
+require_relative "transfer_service"
+source = BankAccount.new(balance: 100)
+destination = BankAccount.new(balance: 25)
+puts TransferService.new.call(source: source, destination: destination, amount: 10)
+puts Contracts.contract_for(BankAccount, :withdraw).to_json

data/examples/banking/transfer_service.rb

@@ -0,0 +1,15 @@
+# frozen_string_literal: true
+require_relative "bank_account"
+class TransferService
+  include Contracts
+  contract :call do
+    params source: BankAccount, destination: BankAccount, amount: Numeric
+    requires { |source:, destination:, amount:| source != destination && amount.positive? }
+    returns TrueClass
+  end
+  def call(source:, destination:, amount:)
+    source.withdraw(amount: amount)
+    destination.instance_variable_set(:@balance, destination.balance + amount)
+    true
+  end
+end

data/exe/contracts

@@ -0,0 +1,105 @@
+#!/usr/bin/env ruby
+# frozen_string_literal: true
+
+require "cgi"
+require "fileutils"
+require "json"
+require "optparse"
+require "contracts"
+
+command = ARGV.shift || "help"
+options = { requires: [], format: "text", output: nil }
+OptionParser.new do |parser|
+  parser.on("--require PATH") { |path| options[:requires] << path }
+  parser.on("--format FORMAT") { |format| options[:format] = format }
+  parser.on("--output PATH") { |path| options[:output] = path }
+end.parse!
+options[:requires].each { |path| require File.expand_path(path) }
+
+def contracts_for(target)
+  return Contracts.registry.all unless target
+
+  owner_name, method_name = target.split("#", 2)
+  owner = owner_name.split("::").reject(&:empty?).inject(Object) { |scope, name| scope.const_get(name) }
+  method_name ? [Contracts.contract_for(owner, method_name)].compact : Contracts.registry.for_class(owner)
+end
+
+def markdown(contracts)
+  contracts.map do |contract|
+    item = contract.to_h
+    observed = item[:observed].map do |field|
+      "| `#{field[:name]}` | #{field[:deep] ? 'Yes' : 'No'} | `#{field[:comparator] || 'eql?'}` |"
+    end.join("\n")
+    <<~DOC
+      ## `#{item[:owner]}##{item[:method_name]}`
+
+      ### Parameters
+      #{item[:parameters].map { |name, rule| "- `#{name}`: `#{rule}`" }.join("\n")}
+
+      ### Preconditions
+      #{item[:preconditions].map { |rule| "- #{rule}" }.join("\n")}
+
+      ### Returns
+      `#{item[:return_constraint] || 'unspecified'}`
+
+      ### Observed State
+      | Field | Deep | Comparator |
+      |---|---:|---|
+      #{observed}
+
+      ### Permitted Changes
+      #{item[:permitted_changes].map { |field| "- `#{field}`" }.join("\n")}
+
+      ### Required Changes
+      #{item[:required_changes].empty? ? 'None.' : item[:required_changes].map { |field| "- `#{field}`" }.join("\n")}
+
+      ### Invariants
+      #{item[:invariants].map { |rule| "- #{rule}" }.join("\n")}
+
+      ### Allowed Exceptions
+      #{item[:allowed_exceptions].map { |rule| "- `#{rule}`" }.join("\n")}
+    DOC
+  end.join("\n")
+end
+
+case command
+when "version" then puts Contracts::VERSION
+when "inspect"
+  list = contracts_for(ARGV.shift)
+  puts(options[:format] == "json" ? JSON.pretty_generate(list.map(&:to_h)) : markdown(list))
+when "docs"
+  list = Contracts.registry.all
+  body = case options[:format]
+         when "json" then JSON.pretty_generate(list.map(&:to_h))
+         when "html" then "<html><body><pre>#{CGI.escapeHTML(markdown(list))}</pre></body></html>"
+         else markdown(list)
+         end
+  if options[:output]
+    path = options[:output]
+    if File.extname(path).empty?
+      FileUtils.mkdir_p(path)
+      path = File.join(path,
+                       "contracts.#{if options[:format] == 'json'
+                                      'json'
+                                    else
+                                      options[:format] == 'html' ? 'html' : 'md'
+                                    end}")
+    end
+    FileUtils.mkdir_p(File.dirname(path))
+    File.write(path, body)
+    puts path
+  else
+    puts body
+  end
+when "validate", "doctor"
+  failures = Contracts.registry.all.filter_map do |contract|
+    next if contract.method_name == :__invariant__
+
+    owner = contract.owner
+    "#{contract.id}: method missing" unless owner.method_defined?(contract.method_name) || owner.private_method_defined?(contract.method_name) || owner.protected_method_defined?(contract.method_name)
+  end
+  abort("Contract diagnostics failed:\n#{failures.join("\n")}") unless failures.empty?
+  puts(command == "doctor" ? "No contract wrapper or registry problems detected." : "Contracts are valid.")
+else
+  puts "Usage: contracts <version|inspect|validate|doctor|docs> [--require PATH] [--format FORMAT] [--output PATH]"
+end

data/lib/contracts/rails.rb

@@ -0,0 +1,20 @@
+# frozen_string_literal: true
+
+require "contracts"
+begin
+  require "rails/railtie"
+  module Contracts
+    class Railtie < Rails::Railtie
+      initializer "contracts.logger" do
+        Contracts.configuration.logger ||= Rails.logger
+      end
+
+      config.to_prepare do
+        # Contract wrapping is idempotent, making reloads safe for existing contracts.
+        Contracts.configuration.enabled = true if Contracts.configuration.enabled.nil?
+      end
+    end
+  end
+rescue LoadError
+  # Rails remains an optional dependency.
+end

data/lib/contracts/rspec/verifier.rb

@@ -0,0 +1,25 @@
+# frozen_string_literal: true
+
+require "contracts"
+
+module Contracts
+  module RSpec
+    module_function
+
+    def verify_all!
+      failures = Contracts.registry.all.filter_map do |contract|
+        next if contract.method_name == :__invariant__
+
+        owner = contract.owner
+        next if owner.method_defined?(contract.method_name) ||
+                owner.private_method_defined?(contract.method_name) ||
+                owner.protected_method_defined?(contract.method_name)
+
+        "#{contract.id} references a missing method"
+      end
+      raise Contracts::DefinitionError, failures.join("\n") unless failures.empty?
+
+      true
+    end
+  end
+end

data/lib/contracts/rspec.rb

@@ -0,0 +1,42 @@
+# frozen_string_literal: true
+
+require "contracts"
+require_relative "rspec/verifier"
+begin
+  require "rspec/expectations"
+  RSpec::Matchers.define :have_contract do |method_name|
+    match { |owner| !Contracts.contract_for(owner, method_name).nil? }
+  end
+  RSpec::Matchers.define :have_precondition do |method_name|
+    match { |owner| (contract = Contracts.contract_for(owner, method_name)) && !contract.preconditions.empty? }
+  end
+  RSpec::Matchers.define :return_contract do |method_name, constraint|
+    match do |owner|
+      (contract = Contracts.contract_for(owner,
+                                         method_name)) && contract.return_constraint.description == Contracts::Constraints.coerce(constraint).description
+    end
+  end
+  RSpec::Matchers.define :have_invariant do |description|
+    match { |owner| Contracts.invariants_for(owner).any? { |invariant| invariant.description == description } }
+  end
+  RSpec::Matchers.define :observe_state do |field, on:|
+    match { |owner| (contract = Contracts.contract_for(owner, on)) && contract.observed_fields.include?(field.to_sym) }
+  end
+  RSpec::Matchers.define :permit_change do |field, on:|
+    match do |owner|
+      (contract = Contracts.contract_for(owner, on)) && contract.permitted_changes.include?(field.to_sym)
+    end
+  end
+  RSpec::Matchers.define :require_change do |field, on:|
+    match { |owner| (contract = Contracts.contract_for(owner, on)) && contract.required_changes.include?(field.to_sym) }
+  end
+  RSpec::Matchers.define :have_pure_contract do |method_name|
+    match { |owner| (contract = Contracts.contract_for(owner, method_name)) && contract.pure? }
+  end
+
+  RSpec::Core::ExampleGroup.define_singleton_method(:describe_contract) do |owner, method_name, &block|
+    describe("#{owner}##{method_name}", &block)
+  end
+rescue LoadError
+  # RSpec is optional at runtime.
+end

data/lib/contracts/version.rb

@@ -0,0 +1,5 @@
+# frozen_string_literal: true
+
+module Contracts
+  VERSION = "0.1.2"
+end