@buckeyestudio/omptype 18.4.13

package/CHANGELOG.md

@@ -0,0 +1,76 @@
+# Changelog
+
+## [Unreleased]
+
+## [18.2.1] - 2026-09-15
+
+### Added
+
+- Added `trim()`, `superRefine()`, and one-argument `record()` support to the Zod compatibility facade ([#12011](https://github.com/can1357/oh-my-pi/pull/12011) by [@bnivanov](https://github.com/bnivanov)).
+
+## [17.3.1] - 2026-08-13
+
+### Fixed
+
+- Fixed TypeBox adapter omitting pattern, non-URL format, and multipleOf constraints from the emitted JSON Schema.
+
+## [17.3.0] - 2026-08-13
+
+### Added
+
+- Added `type.withJsonSchema(schema, json)` to wrap a validation-only schema, ensuring JSON Schema emission yields the provided `json` verbatim even when nested inside objects, arrays, or unions. Schemas with defaults or output-changing morphs are rejected to prevent transformed outputs from being discarded.
+
+## [17.2.10] - 2026-08-06
+
+### Changed
+
+- Reimplemented the Zod compatibility facade (`@oh-my-pi/omptype/zod`) to run purely on internal mechanics, removing the dependency on `zod`.
+
+## [17.2.9] - 2026-08-05
+
+### Fixed
+
+- Fixed the TypeBox adapter emitting an invalid left-bound-only DSL for min-only numeric schemas (e.g. `Type.Integer({ minimum: 1 })`), which threw `left bound requires a corresponding right bound` and broke extension tool loading ([#7648](https://github.com/can1357/oh-my-pi/issues/7648)).
+
+## [17.2.8] - 2026-08-04
+
+### Added
+
+- Added `io: 'input'` and `io: 'output'` options to `toJsonSchema()`, supporting input validation shapes and piped `.to()` target types
+- Added Standard Schema V1 interop: every schema exposes `~standard` with synchronous validation, enabling direct use with `@t3-oss/env`, tRPC, and other Standard Schema consumers.
+- Added `fromJsonSchema()`, rebuilding callable schemas from JSON Schema documents (draft-07 / draft-2020-12 structural keywords, string formats, `$defs` recursion, enums, and `anyOf`/`oneOf`/`allOf` composition) — the inverse of `Type.toJsonSchema()`.
+- Added `$defs`/`$ref` emission for recursive alias schemas in `toJsonSchema()` (draft-07 converts to `definitions`), preventing unbounded recursion on cyclic scopes.
+- Added `AnyType`, a minimal structural constraint for generic functions accepting any schema without descending the recursive fluent surface.
+- Root `.default()` values now materialize for `undefined` input in direct calls and at the Standard Schema boundary (factories run per call).
+- `.narrow()`/`.filter()` boolean overloads accept `OmpErrors` returns, so `cond || ctx.reject(...)` recipes typecheck.
+
+### Changed
+
+- Restored low-overhead schema construction by lazily activating advanced normalization and compatibility machinery.
+- `.default()` is typed input-side (`i | (() => i)`) and marks the schema's input as optional (`i | undefined`).
+- Parse keywords (`string.integer.parse`, `parse.number`, ...) now infer their morph output inside union strings, and input-side inference is union-aware.
+- Object-literal inference for `.merge()`/`.or()`/`.and()` unwraps embedded schema values (output and input sides).
+
+### Fixed
+
+- Alias intersections defer through memoized lazy nodes, so cyclic scope schemas no longer overflow the stack in `.and()` or morph-union determinism checks.
+
+## [17.2.7] - 2026-08-03
+
+### Added
+
+- Introduced omptype, an ArkType-compatible schema validation library featuring a lazy JIT runtime that compiles specialized validators on the third call for ultra-fast hot-path validation and low construction overhead.
+- Added support for a rich string definition DSL (primitives, literals, unions, arrays, bounds, inline defaults, and optional keys), object definitions (including index signatures and strict key rejection/deletion), and comprehensive composition methods (.or, .and, .array, .pipe, .narrow, .describe, .default, .allows, .assert).
+- Added TypeBox-style (@oh-my-pi/omptype/typebox) and Zod-style (@oh-my-pi/omptype/zod) authoring adapters that produce native omptype schemas.
+- Added support for recursive named scopes, modules, runtime generics, fixed/optional/variadic tuples, Date literals/bounds, disjointness-aware intersections, separate input/output inference, and draft-2020-12 JSON Schema emission.
+- Shipped transpiled ESM and TypeScript declarations in the npm package to support plain Node.js environments, while preserving TS source resolution for Bun consumers.
+
+### Changed
+
+- Optimized the lazy JIT compiler to support tuples, refinements, morphs, intersections, instances, and recursive aliases, while reducing schema construction overhead.
+
+### Fixed
+
+- Fixed a TypeScript compiler error (TS2589: "type instantiation is excessively deep") when using generic fluent composition methods on nested schemas.
+- Fixed type.raw() results (BaseType) to correctly expose fluent composition methods like .array(), .or(), and .pipe().
+- Fixed an issue in the TypeBox adapter where keyword-carrying schemas (e.g., uniqueItems arrays) would throw an error during JSON Schema emission.

package/LICENSE

@@ -0,0 +1,22 @@
+MIT License
+
+Copyright (c) 2025-2026 Can Bölük
+Copyright (c) 2026 Stencil Labs, Inc.
+
+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.

package/README.md

@@ -0,0 +1,129 @@
+# @buckeyestudio/omptype
+
+Fast, ArkType-compatible schema validation for JavaScript and TypeScript.
+Schemas start with a small interpreter and lazily compile after repeated use,
+keeping construction cheap without giving up hot-path validation speed.
+
+## Installation
+
+```sh
+npm install @buckeyestudio/omptype
+# or
+bun add @buckeyestudio/omptype
+```
+
+Runs on Node 20+ (published as compiled ESM with bundled type declarations)
+and Bun 1.3.14+ (which resolves the TypeScript source directly via the `bun`
+export condition). No runtime dependencies.
+
+## Usage
+
+```ts
+import { type } from "@buckeyestudio/omptype";
+
+const Config = type({
+  name: "string",
+  "retries?": "number.integer >= 0",
+  enabled: "boolean = true",
+});
+
+const config = Config.assert({ name: "worker" });
+// { name: "worker", enabled: true }
+
+const result = Config({ name: 42 });
+if (result instanceof type.errors) {
+  console.error(result.summary);
+}
+```
+
+Schemas are callable and expose composition (`.or()`, `.and()`, `.array()`,
+`.pipe()`, `.narrow()`), object transforms (`.pick()`, `.omit()`, `.partial()`,
+`.required()`, `.merge()`, `.map()`), refinements, semantic comparison, error
+configuration, and JSON Schema emission.
+
+Built-in keyword modules include `type.string.email`, `type.string.uuid.v4`,
+`type.string.date.iso.parse`, `type.string.normalize.NFKC`,
+`type.number.integer`, and the parsers under `type.parse`.
+
+## Named and recursive schemas
+
+```ts
+const models = type
+  .scope({
+    User: { name: "string", "manager?": "User" },
+    Users: "User[]",
+    PublicUser: "Pick<User, 'name'>",
+  })
+  .export();
+
+models.User.assert({ name: "Ada", manager: { name: "Grace" } });
+```
+
+Scopes resolve aliases lazily, including cycles. `type.module()` exports a
+scope directly, `type.define()` preserves literal definitions, and
+`type.generic("<value>", definition)` builds parameterized runtime schemas.
+
+Failed validation returns `OmpErrors`; each entry exposes `code`, `path`,
+`expected`, `actual`, `problem`, and `message`, while the aggregate exposes
+`summary` and `byPath`. `.configure()` accepts string or callback overrides for
+error text. `.toJsonSchema()` accepts `target`, `dialect`, and `fallback`
+options.
+
+## Compatibility adapters
+
+TypeBox-style and Zod-style builders produce native omptype schemas:
+
+```ts
+import { Type, type Static } from "@buckeyestudio/omptype/typebox";
+import { z } from "@buckeyestudio/omptype/zod";
+
+const TypeBoxUser = Type.Object({ name: Type.String() });
+type TypeBoxUser = Static<typeof TypeBoxUser>;
+
+const ZodUser = z.object({ name: z.string() });
+const user = ZodUser.parse({ name: "Ada" });
+```
+
+`@buckeyestudio/omptype/ark` provides the repository's ArkType compatibility facade
+and re-exports the same `type` and `scope` implementations.
+
+## Performance
+
+Run the benchmark from the repository root:
+
+```sh
+bun packages/omptype/bench/bench.ts
+```
+
+The harness first requires every candidate to accept, reject, and transform the
+same fixtures correctly. Compile and cold-start results use 400 unique object
+schemas and report the fastest of five repetitions. Hot validation mixes valid
+and invalid inputs after 2,000 warmup calls. The valid-only row uses each
+library's public boolean path after 20,000 warmup calls.
+
+Representative result on an Apple M4 Max with Darwin 25.6.0 and Bun 1.3.14:
+
+| Phase                   |    omptype |           ArkType |         TypeBox |
+| ----------------------- | ---------: | ----------------: | --------------: |
+| Compile `type()`        |  **509ns** | 271.08µs (532.3×) | 27.36µs (53.7×) |
+| Compile + 2 validations | **2.18µs** | 526.46µs (241.5×) | 46.90µs (21.5×) |
+
+| Hot workload               |  omptype |         ArkType |         TypeBox |
+| -------------------------- | -------: | --------------: | --------------: |
+| `flat-small`               | **25ns** | 5.10µs (203.7×) |  1.23µs (49.2×) |
+| `enum-union`               | **27ns** | 4.92µs (185.0×) |  2.20µs (83.0×) |
+| `nested-arrays`            | **29ns** | 4.80µs (163.0×) | 3.01µs (102.2×) |
+| `strict-defaults`          | **40ns** | 4.85µs (122.1×) | 4.92µs (123.9×) |
+| `delete-extras`            | **22ns** | 4.12µs (191.6×) |  2.07µs (96.0×) |
+| `record-mixed`             | **43ns** | 4.32µs (100.4×) |  3.35µs (77.9×) |
+| `deep-message`             | **31ns** | 6.32µs (202.5×) | 5.13µs (164.5×) |
+| `nested-arrays` valid-only | **15ns** |     28ns (1.8×) |     45ns (2.9×) |
+
+Lower times are better. Parenthetical values show how many times slower each
+candidate was than omptype in this run. Results vary with hardware, runtime,
+thermal state, and dependency versions; use the command above for local
+measurements.
+
+## License
+
+MIT

package/package.json

@@ -0,0 +1,63 @@
+{
+  "type": "module",
+  "name": "@buckeyestudio/omptype",
+  "version": "18.4.13",
+  "description": "ArkType-compatible runtime schema validation with lazy JIT compilation",
+  "homepage": "https://omp.sh",
+  "author": { "name": "Stencil Labs, Inc.", "url": "https://stencil.so" },
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/can1357/oh-my-pi.git",
+    "directory": "packages/omptype"
+  },
+  "bugs": {
+    "url": "https://github.com/can1357/oh-my-pi/issues"
+  },
+  "keywords": [
+    "schema",
+    "validation",
+    "arktype",
+    "jit"
+  ],
+  "main": "./src/index.ts",
+  "types": "./src/index.ts",
+  "scripts": {
+    "check": "oxlint . && oxfmt --check --no-error-on-unmatched-pattern 'src/**/*.{ts,tsx}' '{test,bench,examples,scripts}/**/*.ts' '*.ts' && bun run check:types",
+    "check:types": "tsgo -p tsconfig.json --noEmit",
+    "lint": "oxlint .",
+    "fix": "oxlint --fix --fix-suggestions . && bun run fmt",
+    "fmt": "oxfmt --no-error-on-unmatched-pattern 'src/**/*.{ts,tsx}' '{test,bench,examples,scripts}/**/*.ts' '*.ts'",
+    "test": "bun test --parallel",
+    "bench": "bun bench/bench.ts"
+  },
+  "devDependencies": {
+    "@ark/attest": "0.56.3",
+    "@ark/schema": "0.56.2",
+    "@ark/util": "0.56.2",
+    "@sinclair/typebox": "^0.34.0",
+    "@types/bun": "catalog:",
+    "arkregex": "0.0.8",
+    "arktype": "2.2.3"
+  },
+  "engines": {
+    "node": ">=20",
+    "bun": ">=1.3.14"
+  },
+  "files": [
+    "src",
+    "README.md",
+    "CHANGELOG.md"
+  ],
+  "exports": {
+    ".": {
+      "types": "./src/index.ts",
+      "import": "./src/index.ts"
+    },
+    "./*": {
+      "types": "./src/*.ts",
+      "import": "./src/*.ts"
+    },
+    "./*.js": "./src/*.ts"
+  }
+}

package/src/ark.ts

@@ -0,0 +1,20 @@
+/**
+ * ArkType compatibility facade — `@buckeyestudio/omptype/ark`.
+ *
+ * Lets code written against arktype keep its imports and names while running
+ * on the omptype lazy-JIT runtime: swap `from "arktype"` for
+ * `from "@buckeyestudio/omptype/ark"` and nothing else changes. New code should
+ * import `@buckeyestudio/omptype` directly.
+ *
+ * Compatibility affordance: `ArkError` / `ArkErrors` alias `OmpError` /
+ * `OmpErrors`. All schema builders, including recursive `scope()`, are
+ * re-exported unchanged.
+ */
+import { OmpError, OmpErrors } from "./errors";
+
+export * from "./index";
+
+export const ArkError = OmpError;
+export type ArkError = OmpError;
+export const ArkErrors = OmpErrors;
+export type ArkErrors = OmpErrors;