@linxiraos/pi-omptype 1.0.0 → 1.0.2

package/CHANGELOG.md

@@ -2,11 +2,25 @@
 
 ## [Unreleased]
 
+## [1.0.2] - 2026-08-15
+
+## [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`.
+- Reimplemented the Zod compatibility facade (`@linxiraos/pi-omptype/zod`) to run purely on internal mechanics, removing the dependency on `zod`.
 
 ## [17.2.9] - 2026-08-05
 
@@ -43,7 +57,7 @@
 
 - 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 TypeBox-style (@linxiraos/pi-omptype/typebox) and Zod-style (@linxiraos/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.
 
@@ -56,3 +70,4 @@
 - 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/README.md

@@ -1,4 +1,4 @@
-# @oh-my-pi/omptype
+# @linxiraos/pi-omptype
 
 Fast, ArkType-compatible schema validation for JavaScript and TypeScript.
 Schemas start with a small interpreter and lazily compile after repeated use,
@@ -7,9 +7,9 @@ keeping construction cheap without giving up hot-path validation speed.
 ## Installation
 
 ```sh
-npm install @oh-my-pi/omptype
+npm install @linxiraos/pi-omptype
 # or
-bun add @oh-my-pi/omptype
+bun add @linxiraos/pi-omptype
 ```
 
 Runs on Node 20+ (published as compiled ESM with bundled type declarations)
@@ -19,7 +19,7 @@ export condition). No runtime dependencies.
 ## Usage
 
 ```ts
-import { type } from "@oh-my-pi/omptype";
+import { type } from "@linxiraos/pi-omptype";
 
 const Config = type({
   name: "string",
@@ -74,8 +74,8 @@ options.
 TypeBox-style and Zod-style builders produce native omptype schemas:
 
 ```ts
-import { Type, type Static } from "@oh-my-pi/omptype/typebox";
-import { z } from "@oh-my-pi/omptype/zod";
+import { Type, type Static } from "@linxiraos/pi-omptype/typebox";
+import { z } from "@linxiraos/pi-omptype/zod";
 
 const TypeBoxUser = Type.Object({ name: Type.String() });
 type TypeBoxUser = Static<typeof TypeBoxUser>;
@@ -84,7 +84,7 @@ const ZodUser = z.object({ name: z.string() });
 const user = ZodUser.parse({ name: "Ada" });
 ```
 
-`@oh-my-pi/omptype/ark` provides the repository's ArkType compatibility facade
+`@linxiraos/pi-omptype/ark` provides the repository's ArkType compatibility facade
 and re-exports the same `type` and `scope` implementations.
 
 ## Performance

package/package.json

@@ -1,71 +1,63 @@
 {
-	"type": "module",
-	"name": "@linxiraos/pi-omptype",
-	"version": "1.0.0",
-	"description": "ArkType-compatible runtime schema validation with lazy JIT compilation",
-	"homepage": "https://omp.sh",
-	"author": "Can Boluk",
-	"license": "MIT",
-	"repository": {
-		"type": "git",
-		"url": "git+https://github.com/Linxira-OS/linxira-zeta.git",
-		"directory": "packages/omptype"
-	},
-	"bugs": {
-		"url": "https://github.com/can1357/oh-my-pi/issues"
-	},
-	"keywords": [
-		"schema",
-		"validation",
-		"arktype",
-		"jit"
-	],
-	"main": "./dist/js/index.js",
-	"types": "./dist/types/index.d.ts",
-	"scripts": {
-		"check": "biome check . && bun run check:types",
-		"check:types": "tsgo -p tsconfig.json --noEmit",
-		"lint": "biome lint .",
-		"fix": "biome check --write --unsafe .",
-		"fmt": "biome format --write .",
-		"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": "^1.3.14",
-		"arkregex": "0.0.8",
-		"arktype": "2.2.3"
-	},
-	"engines": {
-		"node": ">=20",
-		"bun": ">=1.3.14"
-	},
-	"files": [
-		"src",
-		"README.md",
-		"CHANGELOG.md",
-		"dist/types",
-		"dist/js"
-	],
-	"exports": {
-		".": {
-			"types": "./dist/types/index.d.ts",
-			"bun": "./src/index.ts",
-			"default": "./dist/js/index.js"
-		},
-		"./*": {
-			"types": "./dist/types/*.d.ts",
-			"bun": "./src/*.ts",
-			"default": "./dist/js/*.js"
-		},
-		"./*.js": {
-			"types": "./dist/types/*.d.ts",
-			"bun": "./src/*.ts",
-			"default": "./dist/js/*.js"
-		}
-	}
+  "type": "module",
+  "name": "@linxiraos/pi-omptype",
+  "version": "1.0.2",
+  "description": "ArkType-compatible runtime schema validation with lazy JIT compilation",
+  "homepage": "https://omp.sh",
+  "author": "Can Boluk",
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/Linxira-OS/linxira-zeta.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": "biome check . && bun run check:types",
+    "check:types": "tsgo -p tsconfig.json --noEmit",
+    "lint": "biome lint .",
+    "fix": "biome check --write --unsafe .",
+    "fmt": "biome format --write .",
+    "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/type.ts

@@ -3675,6 +3675,42 @@ export namespace type {
 	export function raw(def: unknown): BaseType {
 		return makeType(parseDef(def), [], {}) as unknown as BaseType;
 	}
+
+	/**
+	 * Return a validation-only schema that emits `json` verbatim — even when
+	 * embedded in an object, array, or union.
+	 *
+	 * A `.toJsonSchema()` method override cannot survive nesting: a parent schema
+	 * emits each child's IR directly and never calls the child's method, so the
+	 * override silently disappears from the wire schema. This stores the override
+	 * on the IR instead.
+	 *
+	 * # Errors
+	 *
+	 * Throws when `schema` has a default or output-changing morph/pipe. A refine
+	 * can preserve validation and the input value, but silently discarding a
+	 * transformed output would violate the returned {@link Type}.
+	 */
+	export function withJsonSchema<t, i = t>(schema: Type<t, i>, json: Record<string, unknown>): Type<t, i> {
+		const internal = schema as unknown as InternalType;
+		if (internal.hasDefault || hasMorph(internal.ir) || internal[kSteps].some(step => step.kind === "pipe")) {
+			throw new OmpTypeError("type.withJsonSchema cannot wrap schemas with defaults or output-changing morphs");
+		}
+		return makeType<t, i>(
+			{
+				k: "refine",
+				base: { k: "unknown" },
+				pred: value => {
+					const result = schema(value);
+					return result instanceof OmpErrors ? result : true;
+				},
+				expected: schema.expression,
+				json: { ...json },
+			},
+			[],
+			{},
+		);
+	}
 }
 
 // Reserved words cannot be declared as namespace bindings, but ArkType exposes

package/src/typebox.ts

@@ -220,7 +220,11 @@ function tString(opts?: StringOpts): TString {
 		const valid = formatPredicate(format);
 		schema = schema.narrow((value, ctx) => valid(value) || ctx.mustBe(`a string in ${format} format`));
 	}
-	return applyMeta(schema, opts);
+	const result = applyMeta(schema, opts);
+	const keywords: Record<string, unknown> = {};
+	if (opts?.pattern !== undefined) keywords.pattern = opts.pattern;
+	if (opts?.format !== undefined) keywords.format = opts.format === "url" ? "uri" : opts.format;
+	return opts?.pattern !== undefined || opts?.format !== undefined ? withJsonSchemaKeywords(result, keywords) : result;
 }
 
 function formatPredicate(format: string): (value: string) => boolean {
@@ -290,7 +294,8 @@ function tNumber(opts?: NumberOpts, integer = false): TNumber {
 			);
 		});
 	}
-	return applyMeta(schema, opts);
+	const result = applyMeta(schema, opts);
+	return opts?.multipleOf !== undefined ? withJsonSchemaKeywords(result, { multipleOf: opts.multipleOf }) : result;
 }
 
 function tLiteral<const V extends string | number | boolean | null>(value: V, opts?: Meta): TLiteral<V> {

package/dist/js/ark.js

@@ -1,16 +0,0 @@
-/**
- * ArkType compatibility facade — `@linxiraos/pi-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 "@linxiraos/pi-omptype/ark"` and nothing else changes. New code should
- * import `@linxiraos/pi-omptype` directly.
- *
- * Compatibility affordance: `ArkError` / `ArkErrors` alias `OmpError` /
- * `OmpErrors`. All schema builders, including recursive `scope()`, are
- * re-exported unchanged.
- */
-import { OmpError, OmpErrors } from "./errors.js";
-export * from "./index.js";
-export const ArkError = OmpError;
-export const ArkErrors = OmpErrors;