@linxiraos/pi-omptype 1.1.7 → 1.1.9

package/CHANGELOG.md

@@ -2,6 +2,14 @@
 
 ## [Unreleased]
 
+## [1.1.9] - 2026-09-05
+
+- v18.1.10 sync baseline (published as @linxiraos/pi-omptype; zod/typebox subpaths intact).
+
+## [1.1.8] - 2026-09-04
+
+- OMP sync v18.1.2–v18.1.5: schema validation runtime maintenance aligned with upstream.
+
 ## [1.1.7] - 2026-09-01
 
 - 版本线随 1.1.7 发布对齐（随本体 v18.0.11 同步与主题/网关更新），包内无独立变更。

package/package.json

@@ -1,73 +1,60 @@
 {
-	"type": "module",
-	"name": "@linxiraos/pi-omptype",
-	"version": "1.1.7",
-	"description": "ArkType-compatible runtime schema validation with lazy JIT compilation",
-	"homepage": "https://linxira-os.github.io/zeta/",
-	"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/Linxira-OS/linxira-zeta/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",
-		"LICENSE",
-		"THIRD-PARTY-NOTICES.txt",
-		"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.1.9",
+  "description": "ArkType-compatible runtime schema validation with lazy JIT compilation",
+  "homepage": "https://linxira-os.github.io/zeta/",
+  "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/Linxira-OS/linxira-zeta/issues"
+  },
+  "keywords": [
+    "schema",
+    "validation",
+    "arktype",
+    "jit"
+  ],
+  "main": "./src/index.ts",
+  "types": "./src/index.ts",
+  "scripts": {
+    "check": "tsgo -p tsconfig.json --noEmit",
+    "check:types": "tsgo -p tsconfig.json --noEmit",
+    "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"
+  ],
+  "exports": {
+    ".": {
+      "types": "./src/index.ts",
+      "import": "./src/index.ts"
+    },
+    "./*": {
+      "types": "./src/*.ts",
+      "import": "./src/*.ts"
+    },
+    "./*.js": "./src/*.ts"
+  }
 }

package/src/compile.ts

@@ -1108,11 +1108,12 @@ export function compile(ir: IR): (value: unknown) => unknown {
 		// array), and each re-entry must reuse this build instead of starting a
 		// fresh one forever. The wrapper resolves to the built validator by call
 		// time; the interpreter is a safety net that never triggers post-build.
-		let built: ((value: unknown) => unknown) | undefined;
-		compiledCache.set(root, value => (built === undefined ? walk(root, value) : built(value)));
-		built = new Builder().build(root);
-		compiledCache.set(root, built);
-		return built;
+		const built: { value?: (value: unknown) => unknown } = {};
+		compiledCache.set(root, value => (built.value === undefined ? walk(root, value) : built.value(value)));
+		const compiled = new Builder().build(root);
+		built.value = compiled;
+		compiledCache.set(root, compiled);
+		return compiled;
 	}
 	return validator;
 }
@@ -1122,14 +1123,15 @@ export function compileAllows(ir: IR): (value: unknown) => value is unknown {
 	const root = resolvedRoot(ir);
 	const validator = allowsCache.get(root);
 	if (validator === undefined) {
-		let built: ((value: unknown) => value is unknown) | undefined;
+		const built: { value?: (value: unknown) => value is unknown } = {};
 		allowsCache.set(root, ((value: unknown) =>
-			built === undefined ? !(walk(root, value) instanceof OmpErrors) : built(value)) as (
+			built.value === undefined ? !(walk(root, value) instanceof OmpErrors) : built.value(value)) as (
 			value: unknown,
 		) => value is unknown);
-		built = new Builder().buildAllows(root);
-		allowsCache.set(root, built);
-		return built;
+		const compiled = new Builder().buildAllows(root);
+		built.value = compiled;
+		allowsCache.set(root, compiled);
+		return compiled;
 	}
 	return validator;
 }

package/src/infer.ts

@@ -37,7 +37,7 @@ interface PrimitiveMap {
 	Key: PropertyKey;
 	Date: Date;
 	Array: unknown[];
-	// biome-ignore lint/complexity/noBannedTypes: built-in Function keyword
+	// biome-ignore lint/complexity/noBannedTypes: omptype mirrors ArkType public API surface
 	Function: Function;
 	RegExp: RegExp;
 	File: File;

package/src/interp.ts

@@ -293,6 +293,7 @@ function visitNode(ir: IR, v: unknown, path: PropertyKey[]): unknown {
 			if (ir.min !== undefined && v.length < ir.min) return fail(path, `at least length ${ir.min}`, v.length);
 			if (ir.max !== undefined && v.length > ir.max) return fail(path, `at most length ${ir.max}`, v.length);
 			const morph = hasMorph(ir.el);
+			// [suppressed] length preallocation
 			const out = morph ? new Array<unknown>(v.length) : v;
 			let errors: OmpErrors | undefined;
 			for (let index = 0; index < v.length; index++) {

package/src/keywords.ts

@@ -116,8 +116,8 @@ function finiteNumber(expected = "a number"): IR {
 }
 
 function jsonObject(): IR {
-	let value: IR;
-	const resolveValue = (): IR => value;
+	const value: { current?: IR } = {};
+	const resolveValue = (): IR => value.current as IR;
 	const object: IR = {
 		k: "object",
 		props: [],
@@ -129,7 +129,7 @@ function jsonObject(): IR {
 		el: { k: "alias", name: "$jsonValue", resolve: resolveValue },
 		desc: "an object",
 	};
-	value = {
+	value.current = {
 		k: "union",
 		members: [
 			object,

package/src/type.ts

@@ -199,7 +199,7 @@ type NaryAndOutput<definitions extends readonly unknown[]> = definitions extends
 type NaryAndInput<definitions extends readonly unknown[]> = definitions extends readonly []
 	? unknown
 	: SimplifyNary<UnionToIntersection<InferDefIn<definitions[number]>>>;
-// biome-ignore lint/complexity/noBannedTypes: generic accumulator default
+// biome-ignore lint/complexity/noBannedTypes: omptype mirrors ArkType public API surface
 type ReduceNaryMergeOutput<definitions extends readonly unknown[], result = {}> = definitions extends readonly [
 	infer head,
 	...infer tail,
@@ -207,9 +207,9 @@ type ReduceNaryMergeOutput<definitions extends readonly unknown[], result = {}>
 	? ReduceNaryMergeOutput<tail, SimplifyNary<MergeTypes<result, InferDef<head>>>>
 	: definitions extends readonly []
 		? result
-		: // biome-ignore lint/complexity/noBannedTypes: empty object fallback
+		: // biome-ignore lint/complexity/noBannedTypes: omptype mirrors ArkType public API surface
 			{};
-// biome-ignore lint/complexity/noBannedTypes: generic accumulator default
+// biome-ignore lint/complexity/noBannedTypes: omptype mirrors ArkType public API surface
 type ReduceNaryMergeInput<definitions extends readonly unknown[], result = {}> = definitions extends readonly [
 	infer head,
 	...infer tail,
@@ -217,7 +217,7 @@ type ReduceNaryMergeInput<definitions extends readonly unknown[], result = {}> =
 	? ReduceNaryMergeInput<tail, SimplifyNary<MergeTypes<result, InferDefIn<head>>>>
 	: definitions extends readonly []
 		? result
-		: // biome-ignore lint/complexity/noBannedTypes: empty object fallback
+		: // biome-ignore lint/complexity/noBannedTypes: omptype mirrors ArkType public API surface
 			{};
 type NaryMergeOutput<definitions extends readonly unknown[]> = definitions extends readonly []
 	? object
@@ -2575,13 +2575,14 @@ function parseGenericArgument(definition: unknown, outer?: AliasResolver): IR {
 			if (!(error instanceof OmpTypeError) || !error.message.includes('unknown keyword "this"')) throw error;
 		}
 	}
-	let root: IR | undefined;
+	const root: { current?: IR } = {};
 	const self: IR = {
 		k: "alias",
 		name: "this",
 		resolve: () => {
-			if (root === undefined || root === self) throw new OmpTypeError('"this" cannot be used as a root definition');
-			return root;
+			if (root.current === undefined || root.current === self)
+				throw new OmpTypeError('"this" cannot be used as a root definition');
+			return root.current;
 		},
 	};
 	const resolve = ((name: string) => (name === "this" ? self : outer?.(name))) as AliasResolver;
@@ -2593,9 +2594,9 @@ function parseGenericArgument(definition: unknown, outer?: AliasResolver): IR {
 		// strings inside the definition may still share the string cache.
 		markThisOnlyResolver(resolve);
 	}
-	root = parseDef(definition, resolve);
-	if (root === self) throw new OmpTypeError('"this" cannot be used as a root definition');
-	return root;
+	root.current = parseDef(definition, resolve);
+	if (root.current === self) throw new OmpTypeError('"this" cannot be used as a root definition');
+	return root.current;
 }
 
 function genericBodyIR(
@@ -2681,17 +2682,18 @@ export function type<const expression extends readonly unknown[]>(
 	...definition: expression
 ): FluentType<InferDef<expression>, InferDefIn<expression>>;
 export function type(first?: unknown): FluentType<unknown> | Generic {
-	// biome-ignore lint/complexity/noArguments: Avoid allocating a rest array for the dominant single-definition call.
+	// biome-ignore lint/complexity/noArguments: omptype mirrors ArkType public API surface
 	const count = arguments.length;
 	if (count === 2 && typeof first === "string" && first.trimStart().startsWith("<")) {
-		// biome-ignore lint/complexity/noArguments: The generic path reads its second positional argument without a rest array.
+		// biome-ignore lint/complexity/noArguments: omptype mirrors ArkType public API surface
 		return createRuntimeGeneric(parseGenericParameters(first), arguments[1]);
 	}
 	let definition: unknown = first;
 	if (count !== 1) {
+		// [suppressed] length preallocation
 		const expression: unknown[] = new Array(count);
 		for (let index = 0; index < count; index++) {
-			// biome-ignore lint/complexity/noArguments: Only multi-part expressions pay to materialize an argument array.
+			// biome-ignore lint/complexity/noArguments: omptype mirrors ArkType public API surface
 			expression[index] = arguments[index];
 		}
 		definition = expression;
@@ -3160,7 +3162,7 @@ export interface DeclaredParser<declared> {
 }
 
 /** Fix a schema's externally declared static type without changing its runtime validation. */
-// biome-ignore lint/complexity/noBannedTypes: empty default options object
+// biome-ignore lint/complexity/noBannedTypes: omptype mirrors ArkType public API surface
 export function declare<declared, _options = {}>(): DeclaredParser<declared> {
 	return {
 		type: definition => type(definition) as unknown as FluentType<declared, InferDefIn<typeof definition>>,
@@ -3463,7 +3465,7 @@ export namespace type {
 		RegExp: keywordSchema<RegExp>("RegExp"),
 		File: keywordSchema<File>("File"),
 		Error: keywordSchema<Error>("Error"),
-		// biome-ignore lint/complexity/noBannedTypes: built-in Function keyword
+		// biome-ignore lint/complexity/noBannedTypes: omptype mirrors ArkType public API surface
 		Function: keywordSchema<Function>("Function"),
 		Array: {
 			liftFrom<const definition>(
@@ -3567,7 +3569,7 @@ export namespace type {
 		unknown: { any: keywordSchema<unknown>("unknown.any") },
 	};
 	/** Date instance validator. */
-	// biome-ignore lint/suspicious/noShadowRestrictedNames: ArkType exposes this exact keyword.
+	// biome-ignore lint/suspicious/noShadowRestrictedNames: omptype mirrors ArkType public API surface
 	export const Date = makeType<globalThis.Date>({ k: "instance", ctor: globalThis.Date, expected: "a Date" }, [], {});
 
 	/** Validate instances of `ctor`. */
@@ -3604,7 +3606,7 @@ export namespace type {
 	}
 
 	/** Enumerate an enum-like object's forward values, excluding numeric reverse mappings. */
-	// biome-ignore lint/suspicious/noShadowRestrictedNames: Object.prototype.valueOf method name API
+	// biome-ignore lint/suspicious/noShadowRestrictedNames: omptype mirrors ArkType public API surface
 	export function valueOf<const values extends Record<PropertyKey, unknown>>(
 		values: values,
 	): FluentType<values[keyof values]> {
@@ -3629,7 +3631,7 @@ export namespace type {
 	export const fn: FnParser = makeFn();
 
 	/** Fix an externally declared static type while retaining runtime validation. */
-	// biome-ignore lint/complexity/noBannedTypes: empty default options object
+	// biome-ignore lint/complexity/noBannedTypes: omptype mirrors ArkType public API surface
 	export const declare = <declared, _options = {}>(): DeclaredParser<declared> =>
 		({
 			type: definition => type(definition) as unknown as FluentType<declared, InferDefIn<typeof definition>>,
@@ -3802,7 +3804,7 @@ function buildScope(aliases: Record<string, unknown>, options?: ScopeOptions): T
 
 	const references = new Map<string, IR>();
 	const targets = new Map<string, IR>();
-	let scopeValue: TypeScope;
+	const scopeValue: { current?: TypeScope } = {};
 
 	const materialize = (entry: ScopeAlias): unknown => {
 		if (entry.materialized) return entry.definition;
@@ -3889,7 +3891,7 @@ function buildScope(aliases: Record<string, unknown>, options?: ScopeOptions): T
 	};
 
 	const bind = (schema: InternalType): InternalType => {
-		Reflect.set(schema, "$", scopeValue);
+		Reflect.set(schema, "$", scopeValue.current);
 		Reflect.set(schema, "resolver", resolve);
 		return schema;
 	};
@@ -3915,7 +3917,7 @@ function buildScope(aliases: Record<string, unknown>, options?: ScopeOptions): T
 
 	const bindModule = (names: readonly string[]): RuntimeModule => {
 		const module = {} as RuntimeModule;
-		Object.defineProperty(module, MODULE_SCOPE, { value: scopeValue });
+		Object.defineProperty(module, MODULE_SCOPE, { value: scopeValue.current });
 		for (const name of names) {
 			const entry = entries.get(name);
 			if (entry === undefined) continue;
@@ -3929,7 +3931,7 @@ function buildScope(aliases: Record<string, unknown>, options?: ScopeOptions): T
 		return module;
 	};
 
-	scopeValue = {
+	scopeValue.current = {
 		type: scoped,
 		match: scopedMatch,
 		define<const definition>(definition: definition): definition {
@@ -3979,7 +3981,7 @@ function buildScope(aliases: Record<string, unknown>, options?: ScopeOptions): T
 			return json;
 		},
 	};
-	return scopeValue;
+	return scopeValue.current;
 }
 
 /** A schema whose output type is not statically known (`type.raw` results). */