@linxiraos/pi-omptype 1.1.11 → 1.1.13

package/CHANGELOG.md

@@ -2,6 +2,14 @@
 
 ## [Unreleased]
 
+## [1.1.13] - 2026-09-10
+
+- 上游 v18.1.16 同步,内部修复。
+
+## [1.1.12] - 2026-09-10
+
+- 品牌与合并工具链维护版本;无本包用户可见变更。
+
 ## [1.1.11] - 2026-09-08
 
 - OMP v18.1.13 + v18.1.14 dual-tag sync baseline; no package-specific user-visible changes.

package/package.json

@@ -1,7 +1,7 @@
 {
 	"type": "module",
 	"name": "@linxiraos/pi-omptype",
-	"version": "1.1.11",
+	"version": "1.1.13",
 	"description": "ArkType-compatible runtime schema validation with lazy JIT compilation",
 	"homepage": "https://linxira-os.github.io/zeta/",
 	"author": "Can Boluk",
@@ -23,8 +23,11 @@
 	"main": "./dist/js/index.js",
 	"types": "./dist/types/index.d.ts",
 	"scripts": {
-		"check": "tsgo -p tsconfig.json --noEmit",
+		"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"
 	},

package/src/infer.ts

@@ -214,35 +214,43 @@ type UnwrapProperty<def> = def extends readonly [infer value, "?" | "=", ...unkn
 type Simplify<t> = { [key in keyof t]: t[key] };
 
 type OutputRequired<def extends object> = {
-	-readonly [key in DefinitionKeys<def> as IsOptionalProp<key, def[key]> extends true
-		? HasDefault<def[key]> extends true
-			? PropName<key>
-			: never
-		: PropName<key>]-?: InferDef<UnwrapProperty<def[key]>>;
+	-readonly [
+		key in DefinitionKeys<def> as IsOptionalProp<key, def[key]> extends true
+			? HasDefault<def[key]> extends true
+				? PropName<key>
+				: never
+			: PropName<key>
+	]-?: InferDef<UnwrapProperty<def[key]>>;
 };
 
 type OutputOptional<def extends object> = {
-	-readonly [key in DefinitionKeys<def> as IsOptionalProp<key, def[key]> extends true
-		? HasDefault<def[key]> extends true
-			? never
-			: PropName<key>
-		: never]?: InferDef<UnwrapProperty<def[key]>>;
+	-readonly [
+		key in DefinitionKeys<def> as IsOptionalProp<key, def[key]> extends true
+			? HasDefault<def[key]> extends true
+				? never
+				: PropName<key>
+			: never
+	]?: InferDef<UnwrapProperty<def[key]>>;
 };
 
 type InputRequired<def extends object> = {
-	-readonly [key in DefinitionKeys<def> as IsOptionalProp<key, def[key]> extends true
-		? never
-		: HasDefault<def[key]> extends true
+	-readonly [
+		key in DefinitionKeys<def> as IsOptionalProp<key, def[key]> extends true
 			? never
-			: PropName<key>]-?: InferDefIn<UnwrapProperty<def[key]>>;
+			: HasDefault<def[key]> extends true
+				? never
+				: PropName<key>
+	]-?: InferDefIn<UnwrapProperty<def[key]>>;
 };
 
 type InputOptional<def extends object> = {
-	-readonly [key in DefinitionKeys<def> as IsOptionalProp<key, def[key]> extends true
-		? PropName<key>
-		: HasDefault<def[key]> extends true
+	-readonly [
+		key in DefinitionKeys<def> as IsOptionalProp<key, def[key]> extends true
 			? PropName<key>
-			: never]?: InferDefIn<UnwrapProperty<def[key]>>;
+			: HasDefault<def[key]> extends true
+				? PropName<key>
+				: never
+	]?: InferDefIn<UnwrapProperty<def[key]>>;
 };
 
 /**
@@ -302,35 +310,43 @@ type InferLiteralDefIn<def> = def extends { readonly inferIn: infer input }
 			: unknown;
 
 type LiteralRequired<def extends object> = {
-	-readonly [key in DefinitionKeys<def> as IsOptionalProp<key, def[key]> extends true
-		? HasDefault<def[key]> extends true
-			? PropName<key>
-			: never
-		: PropName<key>]-?: InferLiteralDef<UnwrapProperty<def[key]>>;
+	-readonly [
+		key in DefinitionKeys<def> as IsOptionalProp<key, def[key]> extends true
+			? HasDefault<def[key]> extends true
+				? PropName<key>
+				: never
+			: PropName<key>
+	]-?: InferLiteralDef<UnwrapProperty<def[key]>>;
 };
 
 type LiteralOptional<def extends object> = {
-	-readonly [key in DefinitionKeys<def> as IsOptionalProp<key, def[key]> extends true
-		? HasDefault<def[key]> extends true
-			? never
-			: PropName<key>
-		: never]?: InferLiteralDef<UnwrapProperty<def[key]>>;
+	-readonly [
+		key in DefinitionKeys<def> as IsOptionalProp<key, def[key]> extends true
+			? HasDefault<def[key]> extends true
+				? never
+				: PropName<key>
+			: never
+	]?: InferLiteralDef<UnwrapProperty<def[key]>>;
 };
 
 type LiteralRequiredIn<def extends object> = {
-	-readonly [key in DefinitionKeys<def> as IsOptionalProp<key, def[key]> extends true
-		? never
-		: HasDefault<def[key]> extends true
+	-readonly [
+		key in DefinitionKeys<def> as IsOptionalProp<key, def[key]> extends true
 			? never
-			: PropName<key>]-?: InferLiteralDefIn<UnwrapProperty<def[key]>>;
+			: HasDefault<def[key]> extends true
+				? never
+				: PropName<key>
+	]-?: InferLiteralDefIn<UnwrapProperty<def[key]>>;
 };
 
 type LiteralOptionalIn<def extends object> = {
-	-readonly [key in DefinitionKeys<def> as IsOptionalProp<key, def[key]> extends true
-		? PropName<key>
-		: HasDefault<def[key]> extends true
+	-readonly [
+		key in DefinitionKeys<def> as IsOptionalProp<key, def[key]> extends true
 			? PropName<key>
-			: never]?: InferLiteralDefIn<UnwrapProperty<def[key]>>;
+			: HasDefault<def[key]> extends true
+				? PropName<key>
+				: never
+	]?: InferLiteralDefIn<UnwrapProperty<def[key]>>;
 };
 
 /** Object-literal inference that unwraps embedded schema values one level deep. */

package/src/type.ts

@@ -560,7 +560,8 @@ const EMPTY_META: TypeMeta = {};
 const ARK_COMPAT_SCOPE = Object.freeze({ internal: Object.freeze({ name: "ark" as const }) });
 
 interface InternalType
-	extends Type<unknown, unknown>,
+	extends
+		Type<unknown, unknown>,
 		FluentMethods<unknown, unknown>,
 		ObjectMethods<Record<PropertyKey, unknown>, unknown> {
 	(data: unknown): unknown;