anyvali 0.0.1 → 0.1.6

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 7c53ac42dbac09b5549467769f54d5597699feb351c0f77975cced4cb11bd569
-  data.tar.gz: c73e7af5ae8c388e30fe3e9040a93bbd212d0d1ad16a05761d8db2bb4fe0348f
+  metadata.gz: c865ca84583452f4064bf2789277cd979c33e32f718aa3ed3653e58de25e0158
+  data.tar.gz: 25de1308d962585be84d11b97830acbb5d399d2e401411e98fdd54ea7375a28d
 SHA512:
-  metadata.gz: e3f43ec3aa8ff4310fd866208fadb24997c0304fb0cfda21ed8967d614b5695abd345ed63fc47dbedb39acfa5b97b183f61357c042ef723007d96ab43fb8a2e4
-  data.tar.gz: dbf001ffb2e24ac3d881fe4066b2f675f44f66f47123b684ab8828b8adf441f76c7d5b8665e91fce3939493e06b62e58f2a99902fda0a33869904b3daf640b59
+  metadata.gz: b89bc74437da5378dc0d7417a3a50165796f179d3aeb501ed3b73db55e39fb13146fcc3a7f6d7efb0041cffda6818009c5ba0b552768a930d9b9ed5ea7be0ccf
+  data.tar.gz: ada9ceee7bcb4c9782378168814b14f1e7767e387d54247a24877ef73e107cb55072b411097d7841afd0e9cda5154cd11eaedc92c3730e4b68d45e296598fcb1

data/README.md

@@ -10,8 +10,9 @@
 
 <p align="center">
   <a href="https://github.com/BetterCorp/AnyVali/actions/workflows/ci.yml"><img src="https://github.com/BetterCorp/AnyVali/actions/workflows/ci.yml/badge.svg" alt="CI" /></a>
+  <a href="https://codecov.io/gh/BetterCorp/AnyVali"><img src="https://codecov.io/gh/BetterCorp/AnyVali/graph/badge.svg?token=3H068H51QN" alt="codecov" /></a>
   <a href="https://opensource.org/licenses/MIT"><img src="https://img.shields.io/badge/license-MIT-blue.svg" alt="License: MIT" /></a>
-  <a href="https://www.npmjs.com/package/@anyvali/js"><img src="https://img.shields.io/npm/v/%40anyvali%2Fjs.svg?label=npm" alt="npm" /></a>
+  <a href="https://www.npmjs.com/package/anyvali"><img src="https://img.shields.io/npm/v/anyvali.svg?label=npm" alt="npm" /></a>
   <a href="https://pypi.org/project/anyvali/"><img src="https://img.shields.io/pypi/v/anyvali.svg?label=pypi" alt="PyPI" /></a>
   <a href="https://crates.io/crates/anyvali"><img src="https://img.shields.io/crates/v/anyvali.svg?label=crates.io" alt="crates.io" /></a>
   <a href="https://pkg.go.dev/github.com/BetterCorp/AnyVali/sdk/go"><img src="https://img.shields.io/badge/go-pkg.go.dev-blue.svg" alt="Go" /></a>
@@ -41,7 +42,7 @@ AnyVali lets you write validation schemas in your language, then share them acro
 ## Install
 
 ```bash
-npm install @anyvali/js      # JavaScript / TypeScript
+npm install anyvali          # JavaScript / TypeScript
 pip install anyvali           # Python
 go get github.com/BetterCorp/AnyVali/sdk/go  # Go
 cargo add anyvali             # Rust
@@ -85,7 +86,7 @@ Define a schema, parse input, get structured errors or clean data.
 <td>
 
 ```typescript
-import { string, int, object, array } from "@anyvali/js";
+import { string, int, object, array } from "anyvali";
 
 const User = object({
   name:  string().minLength(1),
@@ -152,6 +153,36 @@ if !result.Success {
 ```
 </details>
 
+## Type Inference
+
+All 10 SDKs now provide static type inference, so parsed values carry the correct type without manual casts. The TypeScript SDK offers full Zod-style `Infer<T>`:
+
+```typescript
+import { object, string, int, type Infer } from "anyvali";
+
+const User = object({
+  name: string().minLength(1),
+  email: string().format('email'),
+  age: int().min(0).optional(),
+});
+
+type User = Infer<typeof User>;
+// => { name: string; email: string; age?: number | undefined }
+
+const user = User.parse(input); // fully typed, no cast needed
+```
+
+Other SDKs use the type inference mechanism native to each language:
+
+- **Python** -- `BaseSchema(Generic[T])`, `ParseResult(Generic[T])`; `parse()` returns `T`
+- **C# / Kotlin** -- `Schema<T>` generic base class, `ParseResult<T>`
+- **Java** -- `Schema<T>` generic base, `ParseResult<T>` record
+- **Go** -- `TypedParse[T]()` and `TypedSafeParse[T]()` generic helper functions
+- **Rust** -- `TypedSchema` trait with associated `Output` type, `parse_as<T>()` free function
+- **C++** -- Template `parse_as<T>()` and `safe_parse_as<T>()` helpers
+- **PHP** -- `@template` phpDoc annotations for PHPStan/Psalm
+- **Ruby** -- RBS type signature file for Steep/Sorbet
+
 ## Cross-Language Schema Sharing
 
 AnyVali's core feature: export a schema from one language, import it in another.
@@ -176,8 +207,8 @@ result = schema.safe_parse(request_body)  # Same validation rules!
 The JS SDK also ships a small forms layer for browser-native fields, HTML5 attributes, and AnyVali validation.
 
 ```typescript
-import { object, string, int } from "@anyvali/js";
-import { initForm } from "@anyvali/js/forms";
+import { object, string, int } from "anyvali";
+import { initForm } from "anyvali/forms";
 
 const Signup = object({
   email: string().format("email"),
@@ -198,8 +229,8 @@ initForm("#signup", { schema: Signup });
 For JSX-style attribute binding:
 
 ```tsx
-import { object, string } from "@anyvali/js";
-import { createFormBindings } from "@anyvali/js/forms";
+import { object, string } from "anyvali";
+import { createFormBindings } from "anyvali/forms";
 
 const Signup = object({
   email: string().format("email"),
@@ -223,7 +254,7 @@ The portable JSON format:
       "email": { "kind": "string", "format": "email" }
     },
     "required": ["name", "email"],
-    "unknownKeys": "reject"
+    "unknownKeys": "strip"
   },
   "definitions": {},
   "extensions": {}
@@ -234,7 +265,7 @@ The portable JSON format:
 
 | Language | Package | Status |
 |----------|---------|--------|
-| JavaScript / TypeScript | [`@anyvali/js`](https://www.npmjs.com/package/@anyvali/js) | v0.0.1 |
+| JavaScript / TypeScript | [`anyvali`](https://www.npmjs.com/package/anyvali) | v0.0.1 |
 | Python | [`anyvali`](https://pypi.org/project/anyvali/) | v0.0.1 |
 | Go | [`github.com/BetterCorp/AnyVali/sdk/go`](https://pkg.go.dev/github.com/BetterCorp/AnyVali/sdk/go) | v0.0.1 |
 | Java | `com.anyvali:anyvali` | v0.0.1 |

data/lib/anyvali/interchange/importer.rb

@@ -144,7 +144,9 @@ module AnyVali
       end
 
       def build_array(node)
-        items = node_to_schema(node["items"])
+        # Accept "items", "item", and "array.items" keys for compatibility
+        items_node = node["items"] || node["item"] || node["array.items"]
+        items = node_to_schema(items_node)
         constraints = {}
         %w[minItems maxItems].each do |k|
           constraints[k] = node[k] if node.key?(k)
@@ -163,11 +165,12 @@ module AnyVali
           props[k] = node_to_schema(v)
         end
         required = node["required"] || []
-        unknown_keys = node["unknownKeys"] || "reject"
+        unknown_keys = node["unknownKeys"] || "strip"
         ObjectSchema.new(
           properties: props,
           required: required,
-          unknown_keys: unknown_keys
+          unknown_keys: unknown_keys,
+          unknown_keys_explicit: true
         )
       end
 
@@ -177,7 +180,9 @@ module AnyVali
       end
 
       def build_union(node)
-        variants = node["variants"].map { |v| node_to_schema(v) }
+        # Accept "variants", "schemas", and "union.variants" keys for compatibility
+        variants_data = node["variants"] || node["schemas"] || node["union.variants"] || []
+        variants = variants_data.map { |v| node_to_schema(v) }
         UnionSchema.new(variants: variants)
       end
 

data/lib/anyvali/parse/coercion.rb

@@ -53,6 +53,11 @@ module AnyVali
       return { success: false, value: value } unless value.is_a?(String)
 
       stripped = value.strip
+      # Spec 5.1: parse DECIMAL floating-point only. Ruby's Float() also accepts
+      # digit-group underscores ("1_000.5") and hex floats ("0x1.8p3"), which
+      # diverge from the JS reference and let non-decimal strings slip through.
+      return { success: false, value: value } unless stripped.match?(/\A[+-]?(\d+\.?\d*|\.\d+)([eE][+-]?\d+)?\z/)
+
       begin
         f = Float(stripped)
         { success: true, value: f }

data/lib/anyvali/schema.rb

@@ -3,15 +3,18 @@
 module AnyVali
   class Schema
     attr_reader :kind, :constraints, :coerce_config, :default_value, :has_default,
-                :custom_validators
+                :custom_validators, :metadata
 
-    def initialize(kind:, constraints: {}, coerce_config: nil, default_value: nil, has_default: false, custom_validators: [])
+    RESERVED_METADATA_KEYS = %w[title description deprecated deprecatedMessage notStable since sensitive readonly writeonly examples].freeze
+
+    def initialize(kind:, constraints: {}, coerce_config: nil, default_value: nil, has_default: false, custom_validators: [], metadata: {})
       @kind = kind
       @constraints = constraints.freeze
       @coerce_config = coerce_config
       @default_value = default_value
       @has_default = has_default
       @custom_validators = custom_validators.freeze
+      @metadata = metadata.freeze
     end
 
     def parse(input)
@@ -67,6 +70,70 @@ module AnyVali
       dup_with(coerce_config: config)
     end
 
+    def describe(description, **opts)
+      raise ArgumentError, "describe(): description must be a string" unless description.is_a?(String)
+
+      meta = { "description" => description }
+
+      if opts.key?(:title)
+        raise ArgumentError, "describe(): title must be a string" unless opts[:title].is_a?(String)
+        meta["title"] = opts[:title]
+      end
+      if opts.key?(:deprecated)
+        raise ArgumentError, "describe(): deprecated must be a boolean" unless [true, false].include?(opts[:deprecated])
+        meta["deprecated"] = opts[:deprecated]
+      end
+      if opts.key?(:deprecated_message)
+        raise ArgumentError, "describe(): deprecatedMessage must be a string" unless opts[:deprecated_message].is_a?(String)
+        raise ArgumentError, "describe(): deprecatedMessage requires deprecated: true" unless opts[:deprecated]
+        meta["deprecatedMessage"] = opts[:deprecated_message]
+      end
+      if opts.key?(:not_stable)
+        raise ArgumentError, "describe(): notStable must be a boolean" unless [true, false].include?(opts[:not_stable])
+        meta["notStable"] = opts[:not_stable]
+      end
+      if opts.key?(:since)
+        raise ArgumentError, "describe(): since must be a string" unless opts[:since].is_a?(String)
+        meta["since"] = opts[:since]
+      end
+      if opts.key?(:sensitive)
+        raise ArgumentError, "describe(): sensitive must be a boolean" unless [true, false].include?(opts[:sensitive])
+        meta["sensitive"] = opts[:sensitive]
+      end
+      if opts.key?(:readonly)
+        raise ArgumentError, "describe(): readonly must be a boolean" unless [true, false].include?(opts[:readonly])
+        meta["readonly"] = opts[:readonly]
+      end
+      if opts.key?(:writeonly)
+        raise ArgumentError, "describe(): writeonly must be a boolean" unless [true, false].include?(opts[:writeonly])
+        meta["writeonly"] = opts[:writeonly]
+      end
+      if opts[:readonly] && opts[:writeonly]
+        raise ArgumentError, "describe(): readonly and writeonly cannot both be true"
+      end
+      if opts.key?(:examples)
+        raise ArgumentError, "describe(): examples must be an array" unless opts[:examples].is_a?(Array)
+        meta["examples"] = opts[:examples]
+      end
+
+      dup_with(metadata: @metadata.merge(meta))
+    end
+
+    def with_metadata(meta, replace: false)
+      meta.each_key do |key|
+        if RESERVED_METADATA_KEYS.include?(key)
+          raise ArgumentError, "with_metadata(): \"#{key}\" is a reserved key. Use describe() instead."
+        end
+      end
+
+      if replace
+        preserved = @metadata.select { |k, _| RESERVED_METADATA_KEYS.include?(k) }
+        dup_with(metadata: preserved.merge(meta))
+      else
+        dup_with(metadata: @metadata.merge(meta))
+      end
+    end
+
     def refine(&block)
       dup_with(custom_validators: @custom_validators + [block])
     end
@@ -94,6 +161,7 @@ module AnyVali
       @constraints.each { |k, v| node[k] = v }
       node["coerce"] = @coerce_config if @coerce_config
       node["default"] = @default_value if @has_default
+      node["metadata"] = @metadata.dup unless @metadata.empty?
       node
     end
 
@@ -110,7 +178,8 @@ module AnyVali
         coerce_config: @coerce_config,
         default_value: @default_value,
         has_default: @has_default,
-        custom_validators: @custom_validators
+        custom_validators: @custom_validators,
+        metadata: @metadata
       }.merge(overrides)
       self.class.new(**attrs)
     end

data/lib/anyvali/schemas/number_schema.rb

@@ -70,6 +70,16 @@ module AnyVali
         return
       end
 
+      if value.is_a?(Float) && (value.nan? || value.infinite?)
+        issues << ValidationIssue.new(
+          code: IssueCodes::INVALID_NUMBER,
+          path: path,
+          expected: @kind,
+          received: value.to_s
+        )
+        return
+      end
+
       # Must be a whole number
       if value.is_a?(Float) && value != value.floor
         issues << ValidationIssue.new(
@@ -120,6 +130,16 @@ module AnyVali
         return
       end
 
+      if value.is_a?(Float) && (value.nan? || value.infinite?)
+        issues << ValidationIssue.new(
+          code: IssueCodes::INVALID_NUMBER,
+          path: path,
+          expected: @kind,
+          received: value.to_s
+        )
+        return
+      end
+
       # For booleans (true/false are not Numeric in Ruby, so this is fine)
       if value == true || value == false
         issues << ValidationIssue.new(

data/lib/anyvali/schemas/object_schema.rb

@@ -4,23 +4,24 @@ module AnyVali
   class ObjectSchema < Schema
     attr_reader :properties, :required_keys, :unknown_keys
 
-    def initialize(properties:, required: [], unknown_keys: "reject", **kwargs)
+    def initialize(properties:, required: [], unknown_keys: "strip", unknown_keys_explicit: false, **kwargs)
       @properties = properties.freeze
       @required_keys = required.freeze
       @unknown_keys = unknown_keys
+      @unknown_keys_explicit = unknown_keys_explicit
       super(kind: "object", **kwargs)
     end
 
     def strict
-      dup_with(unknown_keys: "reject")
+      dup_with(unknown_keys: "reject", unknown_keys_explicit: true)
     end
 
     def strip_unknown
-      dup_with(unknown_keys: "strip")
+      dup_with(unknown_keys: "strip", unknown_keys_explicit: true)
     end
 
     def allow_unknown
-      dup_with(unknown_keys: "allow")
+      dup_with(unknown_keys: "allow", unknown_keys_explicit: true)
     end
 
     def to_node
@@ -31,7 +32,7 @@ module AnyVali
       end
       node["properties"] = props
       node["required"] = @required_keys
-      node["unknownKeys"] = @unknown_keys
+      node["unknownKeys"] = export_unknown_keys
       node
     end
 
@@ -103,7 +104,7 @@ module AnyVali
 
       # Handle unknown keys
       unknown = input.keys - @properties.keys
-      case @unknown_keys
+      case effective_unknown_keys
       when "reject"
         unknown.each do |key|
           issues << ValidationIssue.new(
@@ -137,6 +138,7 @@ module AnyVali
         properties: @properties,
         required: @required_keys,
         unknown_keys: @unknown_keys,
+        unknown_keys_explicit: @unknown_keys_explicit,
         kind: @kind,
         constraints: @constraints,
         coerce_config: @coerce_config,
@@ -146,5 +148,15 @@ module AnyVali
       }.merge(overrides)
       self.class.new(**attrs)
     end
+
+    private
+
+    def effective_unknown_keys
+      @unknown_keys_explicit ? @unknown_keys : "strip"
+    end
+
+    def export_unknown_keys
+      @unknown_keys_explicit ? @unknown_keys : "strip"
+    end
   end
 end

data/lib/anyvali/schemas/ref_schema.rb

@@ -25,7 +25,25 @@ module AnyVali
         )]
         return ParseResult.new(value: nil, issues: issues)
       end
-      resolved.safe_parse(input, path: path, context: context)
+      context.instance_variable_set(:@active_refs, {}) unless context.instance_variable_defined?(:@active_refs)
+      active_refs = context.instance_variable_get(:@active_refs)
+      key = "#{@ref}:#{input.object_id}"
+      if active_refs[key]
+        return ParseResult.new(value: nil, issues: [
+          ValidationIssue.new(
+            code: IssueCodes::INVALID_TYPE,
+            path: path,
+            expected: @ref,
+            received: "recursive ref"
+          )
+        ])
+      end
+      active_refs[key] = true
+      begin
+        resolved.safe_parse(input, path: path, context: context)
+      ensure
+        active_refs.delete(key)
+      end
     end
 
     protected

data/lib/anyvali/schemas/string_schema.rb

@@ -67,8 +67,18 @@ module AnyVali
       end
 
       if @constraints["pattern"]
-        re = Regexp.new(@constraints["pattern"])
-        unless re.match?(value)
+        begin
+          re = Regexp.new(ecma_anchors(@constraints["pattern"]))
+          unless re.match?(value)
+            issues << ValidationIssue.new(
+              code: IssueCodes::INVALID_STRING,
+              path: path,
+              expected: @constraints["pattern"],
+              received: value
+            )
+          end
+        rescue RegexpError
+          # Invalid regex pattern - treat as validation failure
           issues << ValidationIssue.new(
             code: IssueCodes::INVALID_STRING,
             path: path,
@@ -109,5 +119,42 @@ module AnyVali
         Format::Validators.validate(value, @constraints["format"], path, issues)
       end
     end
+
+    private
+
+    # Rewrite ECMA-262 anchors to Ruby's absolute anchors. The spec (3.1) makes
+    # ECMA-262 the portable regex baseline, where "^"/"$" without the multiline
+    # flag match only the start/end of the whole string. In Ruby "^"/"$" are
+    # ALWAYS line anchors, so /^admin$/ matches "x\nadmin\ny" -- a line/newline
+    # injection bypass that diverges from the JS reference. Translate unescaped,
+    # top-level "^" -> "\A" and "$" -> "\z" (absolute start/end). Anchors inside
+    # character classes and escaped "\^"/"\$" are left untouched.
+    def ecma_anchors(pattern)
+      out = +""
+      escaped = false
+      in_class = false
+      pattern.each_char do |ch|
+        if escaped
+          out << ch
+          escaped = false
+        elsif ch == "\\"
+          out << ch
+          escaped = true
+        elsif ch == "["
+          in_class = true
+          out << ch
+        elsif ch == "]" && in_class
+          in_class = false
+          out << ch
+        elsif ch == "^" && !in_class
+          out << "\\A"
+        elsif ch == "$" && !in_class
+          out << "\\z"
+        else
+          out << ch
+        end
+      end
+      out
+    end
   end
 end

data/lib/anyvali.rb

@@ -132,8 +132,13 @@ module AnyVali
     TupleSchema.new(elements: elements.flatten)
   end
 
-  def object(properties:, required: [], unknown_keys: "reject")
-    ObjectSchema.new(properties: properties, required: required, unknown_keys: unknown_keys)
+  def object(properties:, required: [], unknown_keys: nil)
+    ObjectSchema.new(
+      properties: properties,
+      required: required,
+      unknown_keys: unknown_keys || "strip",
+      unknown_keys_explicit: !unknown_keys.nil?
+    )
   end
 
   def record(values)

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: anyvali
 version: !ruby/object:Gem::Version
-  version: 0.0.1
+  version: 0.1.6
 platform: ruby
 authors:
 - AnyVali Contributors
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2026-03-30 00:00:00.000000000 Z
+date: 2026-06-15 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: minitest
@@ -38,6 +38,34 @@ dependencies:
     - - "~>"
       - !ruby/object:Gem::Version
         version: '13.0'
+- !ruby/object:Gem::Dependency
+  name: simplecov
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.22'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '0.22'
+- !ruby/object:Gem::Dependency
+  name: simplecov-cobertura
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.1'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.1'
 description: AnyVali Ruby SDK - native validation with portable schema interchange
   across 10 languages
 email: