dry-validation-rust 0.1.0.pre6-x64-mingw-ucrt

data/compatibility.yml

@@ -0,0 +1,453 @@
+---
+title: Compatibility target and matrix
+blocks:
+- heading: Target
+- markdown: |-
+    The public target for the `0.1.x` line is the common `dry-validation` contract
+    surface. The authoritative machine-readable pin is `dry-validation` 1.11.1 in
+    the root `Gemfile`; its locked `dry-schema` dependency is 1.16.0. This is not a
+    claim of full behavioral compatibility. `bundle exec rake compatibility:differential`
+    executes the initial corpus against both engines in separate Ruby processes.
+
+    Version, platform, and release-line support are documented in
+    [SUPPORT_MATRIX.md](SUPPORT_MATRIX.md).
+- heading: Runtime build dependencies
+- markdown: "The source gem supports `bigdecimal` 3.1.x through 4.x. CI compiles and
+    runs\nthe test suite with 3.1.0, 3.2.0, and 4.0.0. The lower bound keeps support
+    for\nthe earliest version used by the supported Ruby line; the `< 5.0` bound makes
+    a\nnew major release an explicit compatibility decision.\n\nThe source extension
+    supports `rb_sys` 0.9.100 through the latest 0.9.x. CI\ntests 0.9.100, 0.9.128,
+    and the latest resolvable 0.9.x. Its native `rb-sys`\ncrate enables only `stable-api-compiled-fallback`:
+    the fallback supplies a\ncompiled stable Ruby C API implementation when `rb-sys`
+    has no generated stable\nAPI candidate for the running Ruby. No default or unrelated
+    `rb-sys` features\nare enabled.\n\nFor `0.1.x`, the side-by-side API rooted at\n`Dry::Validation::Rust::Contract`
+    is stable: a breaking change to its documented\npublic surface, including its
+    nested `Result` and `Values` types and the `Schema`,\n`MessageSet`, and `Evaluator`
+    types, requires a minor release. Exact-compatibility\nentrypoints are deprecated,
+    remain temporarily available, and are excluded from\nthis compatibility promise.
+    Migrate to the side-by-side namespace using\n[MIGRATION_FROM_EXACT_MODE.md](MIGRATION_FROM_EXACT_MODE.md).\n\nLegend:\n\n-
+    ✅ implemented and covered by this prototype's tests;\n- \U0001F7E1 partial or
+    intentionally narrower;\n- ⚠️ deprecated; available temporarily only for migration;\n-
+    ❌ not implemented;\n- N/A intentionally left to Ruby rather than translated."
+- heading: Loading and factories
+- table:
+    columns:
+    - Surface
+    - Status
+    - Notes
+    rows:
+    - - '`require "dry/validation/rust"`'
+      - "✅"
+      - Side-by-side namespace
+    - - "`Dry::Validation::Rust::Contract`"
+      - "✅"
+      - Safe migration superclass
+    - - '`require "dry/validation"`'
+      - "⚠️"
+      - Deprecated; migrate to side-by-side
+    - - "`Dry::Validation::Contract`"
+      - "⚠️"
+      - Deprecated alias; migrate
+    - - "`Dry::Validation.Contract { ... }`"
+      - "⚠️"
+      - Deprecated factory; migrate
+    - - "`Dry::Validation::Rust.Contract { ... }`"
+      - "✅"
+      - Safe factory
+    - - "`Dry::Schema.Params` / `JSON` / `define`"
+      - "⚠️"
+      - Deprecated exact-mode factories
+    - - Co-install exact mode with upstream gems
+      - "❌"
+      - Require path and constant collision
+- heading: Schema definition
+- table:
+    columns:
+    - Surface
+    - Status
+    - Notes
+    rows:
+    - - "`params do ... end`"
+      - "✅"
+      - HTTP-like key/scalar coercion
+    - - "`json do ... end`"
+      - "✅"
+      - Key normalization, no scalar coercion
+    - - "`schema do ... end`"
+      - "✅"
+      - Symbol keys, no coercion
+    - - "`required(:key)`"
+      - "✅"
+      - ''
+    - - "`optional(:key)`"
+      - "✅"
+      - ''
+    - - "`value(:type)`"
+      - "✅"
+      - ''
+    - - "`filled(:type)` / `filled`"
+      - "✅"
+      - Nil and empty String/Array/Hash
+    - - "`maybe(:type)`"
+      - "✅"
+      - Params empty string becomes nil
+    - - "`hash do ... end`"
+      - "✅"
+      - Recursive
+    - - "`array(:type)`"
+      - "✅"
+      - Coerced primitive members
+    - - "`array(:hash) { ... }`"
+      - "✅"
+      - Nested member schema
+    - - External schema arguments
+      - "✅"
+      - Rust schemas only
+    - - Contract schema inheritance
+      - "✅"
+      - Child schema extends parent
+    - - Multiple schema declaration guard
+      - "✅"
+      - Raises `DuplicateSchemaError`
+    - - Key validation when declaring rules
+      - "✅"
+      - Common nested paths
+    - - Predicate-composition blocks
+      - "✅"
+      - Supported predicates only; boolean AST composition is unsupported. See [migration
+        recipe](MIGRATION_RECIPES.md#boolean-predicate-composition).
+    - - Schema `before` / `after` processor hooks
+      - "✅"
+      - "`:value_coercer` only; callbacks run outside the native engine. Before hooks
+        receive an isolated deep copy of the input."
+    - - Schema merge operators / AST access
+      - "❌"
+      - ''
+    - - "`config.validate_keys = true`"
+      - "✅"
+      - Rejects unknown keys in `params` and `json` schemas
+    - - Filtering DSL
+      - "❌"
+      - Will not implement for 0.1.x; filter `result.to_h` explicitly. See [migration
+        recipe](MIGRATION_RECIPES.md#schema-filtering-dsl).
+- heading: Types and coercions
+- table:
+    columns:
+    - Type
+    - Params
+    - JSON/schema checks
+    - Notes
+    rows:
+    - - "`:any`"
+      - "✅"
+      - "✅"
+      - ''
+    - - "`:nil`"
+      - N/A
+      - "✅"
+      - ''
+    - - "`:bool` / `:true` / `:false`"
+      - "✅"
+      - "✅"
+      - "`true/false`, `t/f`, `1/0`, `on/off`, `yes/no`, and `y/n` strings"
+    - - "`:integer`"
+      - "✅"
+      - "✅"
+      - Native signed-64-bit decimal, underscore, and `0x`/`0b`/`0o` paths; Ruby fallback
+        preserves Bignums and unusual syntax
+    - - "`:float`"
+      - "✅"
+      - "✅"
+      - Native finite decimal/scientific literals; Ruby fallback preserves overflow
+        and other syntax; literal `Infinity` and `NaN` rejected
+    - - "`:decimal`"
+      - "✅"
+      - "✅"
+      - Native finite `bigdecimal` parse followed by BigDecimal construction; Ruby
+        fallback preserves arbitrary precision; infinities and NaN rejected
+    - - "`:string`"
+      - "✅"
+      - "✅"
+      - No non-string-to-string coercion
+    - - "`:symbol`"
+      - "✅"
+      - "✅"
+      - ''
+    - - "`:array` / `:hash`"
+      - "✅"
+      - "✅"
+      - ''
+    - - "`:date`"
+      - "✅"
+      - "✅"
+      - Native `YYYY-MM-DD`; Ruby ISO 8601 fallback for broader date syntax
+    - - "`:date_time` / `:datetime`"
+      - "✅"
+      - "✅"
+      - Native whole-second RFC 3339 and timezone-free `YYYY-MM-DDTHH:MM:SS`; Ruby
+        fallback otherwise
+    - - "`:time`"
+      - "✅"
+      - "✅"
+      - Native RFC 3339; Ruby `Time.parse` fallback for time-only and broader syntax
+    - - dry-types objects/constructors
+      - "✅"
+      - "✅"
+      - Ruby-owned fields call `#try`; conversion failures use the generic `is invalid`
+        message
+    - - Sum types
+      - "✅"
+      - "✅"
+      - Ruby-owned direct `value(type)` fields only
+    - - Enums/maps/intersections
+      - "❌"
+      - "❌"
+      - ''
+    - - Params hash-to-array coercion
+      - "❌"
+      - N/A
+      - ''
+- markdown: |-
+    The supported scalar corpus is differentially checked against the pinned
+    upstream version for numeric boundaries, boolean spellings, temporal parsing,
+    and symbols. This is a focused compatibility slice, not a claim of complete
+    `dry-types` coercion parity. Custom type objects are intentionally processed
+    by Ruby after native traversal; their conversion output is preserved, but
+    dry-schema's type-specific failure-message compilation and custom array-member
+    types remain unsupported.
+- heading: Schema predicates
+- table:
+    columns:
+    - Predicate
+    - Status
+    - Owner
+    rows:
+    - - "`gt?`, `gteq?`, `lt?`, `lteq?`"
+      - "✅"
+      - Rust
+    - - "`size?`, `min_size?`, `max_size?`"
+      - "✅"
+      - Rust
+    - - "`odd?`, `even?`"
+      - "✅"
+      - Rust
+    - - "`format?`"
+      - "✅"
+      - Ruby Regexp
+    - - "`included_in?`, `excluded_from?`"
+      - "✅"
+      - Ruby
+    - - "`eql?`, `not_eql?`"
+      - "✅"
+      - Ruby
+    - - Arbitrary/custom predicate name
+      - "❌"
+      - Explicit error at execution
+    - - Boolean predicate AST composition
+      - "❌"
+      - Will not implement for 0.1.x; predicate blocks support sequential calls only.
+        See [migration recipe](MIGRATION_RECIPES.md#boolean-predicate-composition).
+    - - UUID and other dry-logic predicates
+      - "❌"
+      - Will not implement for 0.1.x; use `format?` or a contract rule. See [migration
+        recipe](MIGRATION_RECIPES.md#uuid-and-other-dry-logic-predicates).
+- markdown: |-
+    Ruby-owned predicates execute after structural processing and are skipped when
+    the same field already has a type/structural error.
+- heading: Contract rules
+- table:
+    columns:
+    - Surface
+    - Status
+    - Notes
+    rows:
+    - - "`rule(:key) { ... }`"
+      - "✅"
+      - Ordered
+    - - Multi-key rules
+      - "✅"
+      - ''
+    - - Dot-string nested paths
+      - "✅"
+      - ''
+    - - Array path form
+      - "✅"
+      - ''
+    - - Simple/multi hash path form
+      - "✅"
+      - ''
+    - - Skip when schema dependency fails
+      - "✅"
+      - Prefix-aware
+    - - "`value` / `values`"
+      - "✅"
+      - ''
+    - - "`key?`"
+      - "✅"
+      - Nested and indexed paths
+    - - "`key.failure` / `key(path).failure`"
+      - "✅"
+      - ''
+    - - "`base.failure`"
+      - "✅"
+      - Base key is nil in `to_h`
+    - - Explicit String failures
+      - "✅"
+      - ''
+    - - Hash failure metadata
+      - "✅"
+      - ''
+    - - Symbol/localized failure identifiers
+      - "\U0001F7E1"
+      - Small built-in fallback, no locale backend
+    - - "`schema_error?`"
+      - "✅"
+      - ''
+    - - "`rule_error?` / `base_rule_error?`"
+      - "✅"
+      - ''
+    - - "`rule(:array).each`"
+      - "✅"
+      - Provides `index:`
+    - - Rule context
+      - "✅"
+      - Hash rather than Concurrent::Map
+    - - Delegate to contract methods
+      - "✅"
+      - Includes private methods
+    - - Rule block exceptions
+      - "✅"
+      - Propagate as Ruby exceptions
+- heading: Options and macros
+- table:
+    columns:
+    - Surface
+    - Status
+    - Notes
+    rows:
+    - - Required `option :name`
+      - "✅"
+      - ''
+    - - Optional option
+      - "✅"
+      - ''
+    - - Static/callable default
+      - "✅"
+      - Callable receives no instance
+    - - dry-auto_inject integration
+      - "\U0001F7E1"
+      - Likely works through keywords; not certified
+    - - Global macros
+      - "✅"
+      - ''
+    - - Per-contract macros and inheritance
+      - "✅"
+      - ''
+    - - Macro arguments and `macro:`
+      - "✅"
+      - ''
+    - - "`rule.validate`"
+      - "✅"
+      - ''
+    - - Predicate-as-macro extension
+      - "\U0001F7E1"
+      - Common numeric/size/format cases only
+    - - Full localized macro templates
+      - "❌"
+      - ''
+- heading: Results and messages
+- table:
+    columns:
+    - Surface
+    - Status
+    - Notes
+    rows:
+    - - "`success?` / `failure?`"
+      - "✅"
+      - ''
+    - - "`to_h` / `[]` / `key?` / `values`"
+      - "✅"
+      - ''
+    - - "`errors.to_h`"
+      - "✅"
+      - Nested hashes and integer indexes
+    - - Enumerable errors
+      - "✅"
+      - ''
+    - - Mutable `errors.messages` collection
+      - "\U0001F7E1"
+      - Read-only view; mutate a set through `#add`
+    - - "`errors[:path]`"
+      - "✅"
+      - Prefix filter
+    - - "`errors.filter(:base?)`"
+      - "✅"
+      - Also `schema?` and `rule?`
+    - - "`errors(full: true)`"
+      - "\U0001F7E1"
+      - Simple humanized paths
+    - - Error `text`, `path`, `meta`, `code`
+      - "✅"
+      - ''
+    - - Hash pattern matching
+      - "✅"
+      - ''
+    - - Tuple values/context pattern matching
+      - "✅"
+      - ''
+    - - YAML messages/configured load paths
+      - "✅"
+      - Supports localized schema templates and `%{token}` interpolation
+    - - I18n backend/locales
+      - "✅"
+      - Delegates to the optional `i18n` gem; add it to the application bundle
+    - - Exact upstream message wording
+      - "\U0001F7E1"
+      - Common English messages only
+    - - Hints/info message extensions
+      - "❌"
+      - ''
+    - - Monads extension
+      - "❌"
+      - "`load_extensions` raises explicitly"
+- heading: Runtime and platform
+- table:
+    columns:
+    - Property
+    - Status
+    rows:
+    - - CRuby 3.3
+      - "✅ compiled/tested"
+    - - Ruby 3.4/current
+      - "\U0001F7E1 expected, not verified here"
+    - - Linux x86-64
+      - "✅"
+    - - Linux arm64/musl
+      - "\U0001F7E1 source design supports it; not tested"
+    - - macOS
+      - "\U0001F7E1 source design supports it; not tested"
+    - - Windows
+      - "\U0001F7E1 RubyInstaller UCRT CI runs, allowed to fail"
+    - - JRuby
+      - "❌"
+    - - TruffleRuby
+      - "❌"
+    - - Ruby threads
+      - "✅ call isolation tested"
+    - - Ractors
+      - "❌ no compatibility promise"
+    - - GVL release
+      - "❌ native Ruby-object path holds GVL"
+- heading: Migration guidance
+- markdown: |-
+    1. Start with side-by-side mode and a small contract.
+    2. Build a fixture corpus from production-shaped valid and invalid payloads.
+    3. Run upstream and Rust contracts in separate processes.
+    4. Compare output values, classes, errors, paths, metadata, and exceptions.
+    5. Do not add new exact-mode entrypoints; migrate existing ones to the
+       side-by-side namespace with [MIGRATION_FROM_EXACT_MODE.md](MIGRATION_FROM_EXACT_MODE.md).
+    6. Benchmark only after semantic parity.
+
+    Any unsupported feature should fail loudly. A silent approximation is treated
+    as a bug in this prototype.
+

data/deny.toml

@@ -0,0 +1,7 @@
+[advisories]
+version = 2
+yanked = "warn"
+
+[licenses]
+version = 2
+allow = ["MIT", "Apache-2.0", "BSD-3-Clause", "ISC", "Unicode-3.0"]

data/dry-validation-rust.gemspec

@@ -0,0 +1,56 @@
+# frozen_string_literal: true
+
+require_relative 'lib/dry/validation/rust/version'
+
+Gem::Specification.new do |spec|
+  spec.name = 'dry-validation-rust'
+  spec.version = Dry::Validation::Rust::VERSION
+  spec.authors = ['Alexey Tomilov']
+
+  spec.summary = 'Experimental Rust-backed validation contracts with a dry-validation-like API'
+  spec.description = <<~DESCRIPTION
+    A hybrid Ruby/Rust validation gem that compiles a documented subset of
+    dry-validation's declarative schema DSL into a native Rust execution plan
+    while retaining Ruby rule blocks and Ruby-owned dynamic behavior.
+  DESCRIPTION
+  spec.license = 'MIT'
+  spec.required_ruby_version = '>= 3.3'
+  spec.homepage = 'https://github.com/alex-tomilov/dry-validation-rust'
+
+  excluded_package_paths = %w[
+    .agents/
+    .github/
+    benchmark/
+    compat/
+    docs/
+    examples/
+    features/
+    script/
+    spec/
+    test/
+  ].freeze
+
+  spec.files = Dir.chdir(__dir__) do
+    `git ls-files -z`.split("\x0").reject do |path|
+      path == 'expected_gem_contents.txt' || path.start_with?(*excluded_package_paths)
+    end.sort
+  end
+  spec.require_paths = ['lib']
+  spec.extensions = ['ext/dry_validation_rust/extconf.rb']
+  spec.add_dependency 'bigdecimal', '>= 3.1', '< 5.0'
+  spec.add_dependency 'rb_sys', '>= 0.9.100', '< 0.10'
+  spec.add_development_dependency 'benchmark', '>= 0.3', '< 1.0'
+  spec.add_development_dependency 'benchmark-ips', '~> 2.14'
+  spec.add_development_dependency 'memory_profiler', '~> 1.1'
+  spec.add_development_dependency 'minitest', '~> 6.0'
+  spec.add_development_dependency 'rake', '~> 13.1'
+  spec.add_development_dependency 'rake-compiler', '~> 1.3'
+  spec.add_development_dependency 'rake-compiler-dock', '~> 1.12'
+  spec.add_development_dependency 'yard', '~> 0.9'
+
+  spec.metadata['rubygems_mfa_required'] = 'true'
+  spec.metadata['source_code_uri'] = 'https://github.com/alex-tomilov/dry-validation-rust'
+  spec.metadata['changelog_uri'] = 'https://github.com/alex-tomilov/dry-validation-rust/blob/main/CHANGELOG.md'
+  spec.metadata['documentation_uri'] = 'https://github.com/alex-tomilov/dry-validation-rust/blob/main/README.md'
+  spec.metadata['bug_tracker_uri'] = 'https://github.com/alex-tomilov/dry-validation-rust/issues'
+end

data/ext/dry_validation_rust/fuzz/.gitignore

@@ -0,0 +1,5 @@
+/artifacts/
+/target/
+/Cargo.lock
+/corpus/parse_plan/*
+!/corpus/parse_plan/basic_params.json

data/ext/dry_validation_rust/fuzz/corpus/parse_plan/basic_params.json

@@ -0,0 +1 @@
+{"engine_version":1,"mode":"params","fields":[{"name":"age","required":true,"nullable":false,"filled":true,"type":"integer","member":null,"children":[],"predicates":[{"name":"gteq","argument":18}]}]}

data/lib/dry/schema.rb

@@ -0,0 +1,6 @@
+# frozen_string_literal: true
+
+# The experimental replacement ships only the minimal schema factories needed
+# by its contract DSL. Loading this entrypoint also loads exact compatibility
+# mode; it is not the full upstream dry-schema gem.
+require 'dry/validation'

data/lib/dry/validation/rust/block_keyword_parameters.rb

@@ -0,0 +1,20 @@
+# frozen_string_literal: true
+
+module Dry
+  module Validation
+    module Rust
+      # @api private
+      module BlockKeywordParameters
+        EMPTY = [].freeze
+
+        module_function
+
+        def extract(block)
+          block.parameters.filter_map do |kind, name|
+            name if %i[key keyreq].include?(kind)
+          end.freeze
+        end
+      end
+    end
+  end
+end

data/lib/dry/validation/rust/config.rb

@@ -0,0 +1,74 @@
+# frozen_string_literal: true
+
+module Dry
+  module Validation
+    module Rust
+      # Configures the message backend used by compiled schemas.
+      class MessageConfig
+        BACKENDS = { yaml: YamlBackend, i18n: I18nBackend }.freeze
+
+        # @return [:yaml, :i18n, Class] the selected built-in identifier or custom backend class.
+        attr_reader :backend
+        attr_accessor :default_locale, :top_namespace, :load_paths
+
+        def initialize
+          @backend = :yaml
+          @default_locale = :en
+          @top_namespace = :dry_validation
+          @load_paths = []
+        end
+
+        # Selects a built-in backend or a custom {MessageBackend} subclass.
+        #
+        # @param backend [:yaml, :i18n, Class] backend identifier or adapter class.
+        # @raise [ArgumentError] if the backend is unsupported.
+        def backend=(backend)
+          @backend = BACKENDS.key?(backend) ? backend : validate_backend_class(backend)
+        end
+
+        def dup
+          copy = super
+          copy.load_paths = load_paths.dup
+          copy
+        end
+
+        # @api private
+        def backend_class
+          BACKENDS.fetch(backend, backend)
+        end
+
+        private
+
+        def validate_backend_class(backend)
+          return backend if backend.is_a?(Class) && backend < MessageBackend
+
+          raise ArgumentError, backend_error(backend)
+        end
+
+        def backend_error(backend)
+          "messages.backend must be :yaml, :i18n, or a MessageBackend subclass; got #{backend.inspect}"
+        end
+      end
+
+      class Config
+        attr_reader :validate_keys
+        attr_accessor :messages
+
+        def initialize
+          @validate_keys = false
+          @messages = MessageConfig.new
+        end
+
+        def validate_keys=(value)
+          @validate_keys = !!value
+        end
+
+        def dup
+          copy = super
+          copy.messages = messages.dup
+          copy
+        end
+      end
+    end
+  end
+end