zod-aot 0.20.2 → 0.20.4

package/dist/core/codegen/fast-check/string.js

@@ -0,0 +1,62 @@
+import { checkPriority, EMAIL_REGEX_SOURCE, escapeString, UUID_REGEX_SOURCE } from "../context.js";
+export function fastCheckString(ir, x, ctx) {
+    const parts = [`typeof ${x}==="string"`];
+    for (const check of [...ir.checks].sort(checkPriority)) {
+        switch (check.kind) {
+            case "min_length":
+                parts.push(`${x}.length>=${check.minimum}`);
+                break;
+            case "max_length":
+                parts.push(`${x}.length<=${check.maximum}`);
+                break;
+            case "length_equals":
+                parts.push(`${x}.length===${check.length}`);
+                break;
+            case "includes":
+                parts.push(check.position !== undefined
+                    ? `${x}.includes(${escapeString(check.includes)},${check.position})`
+                    : `${x}.includes(${escapeString(check.includes)})`);
+                break;
+            case "starts_with":
+                parts.push(`${x}.startsWith(${escapeString(check.prefix)})`);
+                break;
+            case "ends_with":
+                parts.push(`${x}.endsWith(${escapeString(check.suffix)})`);
+                break;
+            case "string_format": {
+                if (check.format === "email") {
+                    const v = `__re_email_${ctx.counter++}`;
+                    ctx.preamble.push(`var ${v}=new RegExp(${escapeString(EMAIL_REGEX_SOURCE)});`);
+                    parts.push(`${v}.test(${x})`);
+                }
+                else if (check.format === "url") {
+                    // URL validation uses try/catch — not a pure expression, ineligible
+                    return null;
+                }
+                else if (check.format === "uuid") {
+                    const v = `__re_uuid_${ctx.counter++}`;
+                    const pat = check.pattern ?? UUID_REGEX_SOURCE;
+                    ctx.preamble.push(`var ${v}=new RegExp(${escapeString(pat)});`);
+                    parts.push(`${v}.test(${x})`);
+                }
+                else if (check.format === "regex" && check.pattern) {
+                    const v = `__re_${ctx.counter++}`;
+                    ctx.preamble.push(`var ${v}=new RegExp(${escapeString(check.pattern)});`);
+                    parts.push(`${v}.test(${x})`);
+                }
+                else if (check.pattern) {
+                    const v = `__re_${ctx.counter++}`;
+                    ctx.preamble.push(`var ${v}=new RegExp(${escapeString(check.pattern)});`);
+                    parts.push(`${v}.test(${x})`);
+                }
+                else {
+                    // Unknown format without pattern — can't generate fast check
+                    return null;
+                }
+                break;
+            }
+        }
+    }
+    return parts.join("&&");
+}
+//# sourceMappingURL=string.js.map

package/dist/core/codegen/fast-check/string.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"string.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/string.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAEnG,MAAM,UAAU,eAAe,CAAC,EAAY,EAAE,CAAS,EAAE,GAAmB;IAC1E,MAAM,KAAK,GAAa,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;IAEnD,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;QACvD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,YAAY;gBACf,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC5C,MAAM;YACR,KAAK,YAAY;gBACf,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC5C,MAAM;YACR,KAAK,eAAe;gBAClB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;gBAC5C,MAAM;YACR,KAAK,UAAU;gBACb,KAAK,CAAC,IAAI,CACR,KAAK,CAAC,QAAQ,KAAK,SAAS;oBAC1B,CAAC,CAAC,GAAG,CAAC,aAAa,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,GAAG;oBACpE,CAAC,CAAC,GAAG,CAAC,aAAa,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CACrD,CAAC;gBACF,MAAM;YACR,KAAK,aAAa;gBAChB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,eAAe,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC7D,MAAM;YACR,KAAK,WAAW;gBACd,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC3D,MAAM;YACR,KAAK,eAAe,CAAC,CAAC,CAAC;gBACrB,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;oBAC7B,MAAM,CAAC,GAAG,cAAc,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;oBACxC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,YAAY,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;oBAC/E,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;gBAChC,CAAC;qBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;oBAClC,oEAAoE;oBACpE,OAAO,IAAI,CAAC;gBACd,CAAC;qBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;oBACnC,MAAM,CAAC,GAAG,aAAa,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;oBACvC,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,IAAI,iBAAiB,CAAC;oBAC/C,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBAChE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;gBAChC,CAAC;qBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;oBACrD,MAAM,CAAC,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;oBAClC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;oBAC1E,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;gBAChC,CAAC;qBAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;oBACzB,MAAM,CAAC,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;oBAClC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;oBAC1E,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;gBAChC,CAAC;qBAAM,CAAC;oBACN,6DAA6D;oBAC7D,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/core/codegen/fast-check/tuple.d.ts

@@ -0,0 +1,4 @@
+import type { TupleIR } from "../../types.js";
+import type { CodeGenContext, GenerateFastCheckFn } from "../context.js";
+export declare function fastCheckTuple(ir: TupleIR, x: string, ctx: CodeGenContext, generateFn: GenerateFastCheckFn): string | null;
+//# sourceMappingURL=tuple.d.ts.map

package/dist/core/codegen/fast-check/tuple.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tuple.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/tuple.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAEzE,wBAAgB,cAAc,CAC5B,EAAE,EAAE,OAAO,EACX,CAAC,EAAE,MAAM,EACT,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,mBAAmB,GAC9B,MAAM,GAAG,IAAI,CA6Bf"}

package/dist/core/codegen/fast-check/tuple.js

@@ -0,0 +1,32 @@
+export function fastCheckTuple(ir, x, ctx, generateFn) {
+    const parts = [`Array.isArray(${x})`];
+    if (ir.rest === null) {
+        parts.push(`${x}.length===${ir.items.length}`);
+    }
+    else {
+        parts.push(`${x}.length>=${ir.items.length}`);
+    }
+    // Per-index checks
+    for (let i = 0; i < ir.items.length; i++) {
+        const itemIR = ir.items[i];
+        if (!itemIR)
+            continue;
+        const itemCheck = generateFn(itemIR, `${x}[${i}]`, ctx);
+        if (itemCheck === null)
+            return null;
+        if (itemCheck !== "true")
+            parts.push(itemCheck);
+    }
+    // Rest element
+    if (ir.rest !== null) {
+        const rv = `__tr_${ctx.counter++}`;
+        const restCheck = generateFn(ir.rest, rv, ctx);
+        if (restCheck === null)
+            return null;
+        if (restCheck !== "true") {
+            parts.push(`${x}.slice(${ir.items.length}).every(${rv}=>${restCheck})`);
+        }
+    }
+    return parts.join("&&");
+}
+//# sourceMappingURL=tuple.js.map

package/dist/core/codegen/fast-check/tuple.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tuple.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/tuple.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,cAAc,CAC5B,EAAW,EACX,CAAS,EACT,GAAmB,EACnB,UAA+B;IAE/B,MAAM,KAAK,GAAa,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC;IAEhD,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACjD,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IAChD,CAAC;IAED,mBAAmB;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxD,IAAI,SAAS,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACpC,IAAI,SAAS,KAAK,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAClD,CAAC;IAED,eAAe;IACf,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACrB,MAAM,EAAE,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;QACnC,MAAM,SAAS,GAAG,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;QAC/C,IAAI,SAAS,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACpC,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,MAAM,WAAW,EAAE,KAAK,SAAS,GAAG,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/core/codegen/fast-check/union.d.ts

@@ -0,0 +1,4 @@
+import type { UnionIR } from "../../types.js";
+import type { CodeGenContext, GenerateFastCheckFn } from "../context.js";
+export declare function fastCheckUnion(ir: UnionIR, x: string, ctx: CodeGenContext, generateFn: GenerateFastCheckFn): string | null;
+//# sourceMappingURL=union.d.ts.map

package/dist/core/codegen/fast-check/union.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"union.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/union.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAEzE,wBAAgB,cAAc,CAC5B,EAAE,EAAE,OAAO,EACX,CAAC,EAAE,MAAM,EACT,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,mBAAmB,GAC9B,MAAM,GAAG,IAAI,CASf"}

package/dist/core/codegen/fast-check/union.js

@@ -0,0 +1,12 @@
+export function fastCheckUnion(ir, x, ctx, generateFn) {
+    const optionChecks = [];
+    for (const option of ir.options) {
+        const check = generateFn(option, x, ctx);
+        if (check === null)
+            return null;
+        optionChecks.push(`(${check})`);
+    }
+    // Wrap in parens — || has lower precedence than && in parent expressions
+    return `(${optionChecks.join("||")})`;
+}
+//# sourceMappingURL=union.js.map

package/dist/core/codegen/fast-check/union.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"union.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/union.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,cAAc,CAC5B,EAAW,EACX,CAAS,EACT,GAAmB,EACnB,UAA+B;IAE/B,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QACzC,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAChC,YAAY,CAAC,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;IAClC,CAAC;IACD,yEAAyE;IACzE,OAAO,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AACxC,CAAC"}

package/dist/core/codegen/fast-path/array.d.ts

@@ -0,0 +1,4 @@
+import type { ArrayIR } from "../../types.js";
+import type { FastGen } from "../context.js";
+export declare function fastCheckArray(ir: ArrayIR, g: FastGen): string | null;
+//# sourceMappingURL=array.d.ts.map

package/dist/core/codegen/fast-path/array.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"array.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-path/array.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAW,MAAM,gBAAgB,CAAC;AACvD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAG7C,wBAAgB,cAAc,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CA+BrE"}

package/dist/core/codegen/fast-path/array.js

@@ -0,0 +1,32 @@
+import { checkPriority } from "../context.js";
+export function fastCheckArray(ir, g) {
+    if (ir.checks.some((c) => c.kind === "refine_effect"))
+        return null;
+    const x = g.input;
+    const parts = [`Array.isArray(${x})`];
+    const checks = ir.checks.filter((c) => c.kind !== "refine_effect");
+    // Size checks
+    for (const check of checks.sort(checkPriority)) {
+        switch (check.kind) {
+            case "min_length":
+                parts.push(`${x}.length>=${check.minimum}`);
+                break;
+            case "max_length":
+                parts.push(`${x}.length<=${check.maximum}`);
+                break;
+            case "length_equals":
+                parts.push(`${x}.length===${check.length}`);
+                break;
+        }
+    }
+    // Element validation via .every()
+    const elemVar = g.temp("fe");
+    const elemCheck = g.visit(ir.element, { input: elemVar });
+    if (elemCheck === null)
+        return null;
+    if (elemCheck !== "true") {
+        parts.push(`${x}.every(${elemVar}=>${elemCheck})`);
+    }
+    return parts.join("&&");
+}
+//# sourceMappingURL=array.js.map

package/dist/core/codegen/fast-path/array.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"array.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-path/array.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C,MAAM,UAAU,cAAc,CAAC,EAAW,EAAE,CAAU;IACpD,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC;QAAE,OAAO,IAAI,CAAC;IAEnE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;IAClB,MAAM,KAAK,GAAa,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAgB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;IAEjF,cAAc;IACd,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;QAC/C,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,YAAY;gBACf,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC5C,MAAM;YACR,KAAK,YAAY;gBACf,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC5C,MAAM;YACR,KAAK,eAAe;gBAClB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;gBAC5C,MAAM;QACV,CAAC;IACH,CAAC;IAED,kCAAkC;IAClC,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;IAC1D,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACpC,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,OAAO,KAAK,SAAS,GAAG,CAAC,CAAC;IACrD,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/core/codegen/fast-path/bigint.d.ts

@@ -0,0 +1,4 @@
+import type { BigIntIR } from "../../types.js";
+import type { FastGen } from "../context.js";
+export declare function fastCheckBigInt(ir: BigIntIR, g: FastGen): string | null;
+//# sourceMappingURL=bigint.d.ts.map

package/dist/core/codegen/fast-path/bigint.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bigint.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-path/bigint.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAG7C,wBAAgB,eAAe,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAqBvE"}

package/dist/core/codegen/fast-path/bigint.js

@@ -0,0 +1,22 @@
+import { checkPriority } from "../context.js";
+export function fastCheckBigInt(ir, g) {
+    if (ir.coerce)
+        return null;
+    const x = g.input;
+    const parts = [`typeof ${x}==="bigint"`];
+    for (const check of [...ir.checks].sort(checkPriority)) {
+        switch (check.kind) {
+            case "bigint_greater_than":
+                parts.push(check.inclusive ? `${x}>=${check.value}n` : `${x}>${check.value}n`);
+                break;
+            case "bigint_less_than":
+                parts.push(check.inclusive ? `${x}<=${check.value}n` : `${x}<${check.value}n`);
+                break;
+            case "bigint_multiple_of":
+                parts.push(`${x}%${check.value}n===0n`);
+                break;
+        }
+    }
+    return parts.join("&&");
+}
+//# sourceMappingURL=bigint.js.map

package/dist/core/codegen/fast-path/bigint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bigint.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-path/bigint.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C,MAAM,UAAU,eAAe,CAAC,EAAY,EAAE,CAAU;IACtD,IAAI,EAAE,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAE3B,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;IAClB,MAAM,KAAK,GAAa,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;IAEnD,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;QACvD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,qBAAqB;gBACxB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;gBAC/E,MAAM;YACR,KAAK,kBAAkB;gBACrB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;gBAC/E,MAAM;YACR,KAAK,oBAAoB;gBACvB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,QAAQ,CAAC,CAAC;gBACxC,MAAM;QACV,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/core/codegen/fast-path/discriminated-union.d.ts

@@ -0,0 +1,4 @@
+import type { DiscriminatedUnionIR } from "../../types.js";
+import type { FastGen } from "../context.js";
+export declare function fastCheckDiscriminatedUnion(ir: DiscriminatedUnionIR, g: FastGen): string | null;
+//# sourceMappingURL=discriminated-union.d.ts.map

package/dist/core/codegen/fast-path/discriminated-union.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"discriminated-union.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-path/discriminated-union.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAC3D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAE7C,wBAAgB,2BAA2B,CAAC,EAAE,EAAE,oBAAoB,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAU/F"}

package/dist/core/codegen/fast-path/discriminated-union.js

@@ -0,0 +1,13 @@
+export function fastCheckDiscriminatedUnion(ir, g) {
+    // Generate checks for each branch, keyed by discriminator value
+    const branchChecks = [];
+    for (const option of ir.options) {
+        const check = g.visit(option);
+        if (check === null)
+            return null;
+        branchChecks.push(`(${check})`);
+    }
+    // Combine as || chain, wrapped for precedence safety
+    return `(${branchChecks.join("||")})`;
+}
+//# sourceMappingURL=discriminated-union.js.map

package/dist/core/codegen/fast-path/discriminated-union.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"discriminated-union.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-path/discriminated-union.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,2BAA2B,CAAC,EAAwB,EAAE,CAAU;IAC9E,gEAAgE;IAChE,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC9B,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAChC,YAAY,CAAC,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;IAClC,CAAC;IACD,qDAAqD;IACrD,OAAO,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AACxC,CAAC"}

package/dist/core/codegen/fast-path/enum.d.ts

@@ -0,0 +1,4 @@
+import type { EnumIR } from "../../types.js";
+import type { FastGen } from "../context.js";
+export declare function fastCheckEnum(ir: EnumIR, g: FastGen): string;
+//# sourceMappingURL=enum.d.ts.map

package/dist/core/codegen/fast-path/enum.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"enum.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-path/enum.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAG7C,wBAAgB,aAAa,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,CAU5D"}

package/dist/core/codegen/fast-path/enum.js

@@ -0,0 +1,13 @@
+import { ENUM_INLINE_THRESHOLD, escapeString } from "../context.js";
+export function fastCheckEnum(ir, g) {
+    const x = g.input;
+    if (ir.values.length <= ENUM_INLINE_THRESHOLD) {
+        // Inline equality checks for small enums, wrapped in parens for precedence safety
+        return `(${ir.values.map((v) => `${x}===${escapeString(v)}`).join("||")})`;
+    }
+    // Use Set for larger enums
+    const setVar = g.temp("enumSet");
+    g.ctx.preamble.push(`var ${setVar}=new Set(${JSON.stringify(ir.values)});`);
+    return `${setVar}.has(${x})`;
+}
+//# sourceMappingURL=enum.js.map

package/dist/core/codegen/fast-path/enum.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"enum.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-path/enum.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,qBAAqB,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAEpE,MAAM,UAAU,aAAa,CAAC,EAAU,EAAE,CAAU;IAClD,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;IAClB,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,IAAI,qBAAqB,EAAE,CAAC;QAC9C,kFAAkF;QAClF,OAAO,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAC7E,CAAC;IACD,2BAA2B;IAC3B,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACjC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,MAAM,YAAY,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC5E,OAAO,GAAG,MAAM,QAAQ,CAAC,GAAG,CAAC;AAC/B,CAAC"}

package/dist/core/codegen/fast-path/index.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Fast Path generator: produces a boolean expression string for eligible schemas.
+ * When the expression evaluates to `true` at runtime, the input is valid and
+ * safeParse can return success immediately without allocating an issues array.
+ *
+ * Returns `null` if the schema is not eligible for Fast Path (contains coerce,
+ * default, catch, date, set/map, transform, refine, or other non-pure constructs).
+ */
+import type { SchemaIR } from "../../types.js";
+import type { CodeGenContext, FastGen } from "../context.js";
+export declare function createFastGen(inputExpr: string, ctx: CodeGenContext): FastGen;
+/**
+ * Generate a boolean expression string that validates input against the schema.
+ * Returns `null` if the schema (or any nested part) is not eligible for fast checking.
+ */
+export declare function generateFastCheck(ir: SchemaIR, g: FastGen): string | null;
+//# sourceMappingURL=index.d.ts.map

package/dist/core/codegen/fast-path/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-path/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,OAAO,EAAiB,MAAM,eAAe,CAAC;AAsF5E,wBAAgB,aAAa,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,EAAE,cAAc,GAAG,OAAO,CAgB7E;AAID;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAKzE"}

package/dist/core/codegen/fast-path/index.js

@@ -0,0 +1,108 @@
+/**
+ * Fast Path generator: produces a boolean expression string for eligible schemas.
+ * When the expression evaluates to `true` at runtime, the input is valid and
+ * safeParse can return success immediately without allocating an issues array.
+ *
+ * Returns `null` if the schema is not eligible for Fast Path (contains coerce,
+ * default, catch, date, set/map, transform, refine, or other non-pure constructs).
+ */
+import { escapeString } from "../context.js";
+import { fastCheckArray } from "./array.js";
+import { fastCheckBigInt } from "./bigint.js";
+import { fastCheckDiscriminatedUnion } from "./discriminated-union.js";
+import { fastCheckEnum } from "./enum.js";
+import { fastCheckIntersection } from "./intersection.js";
+import { fastCheckLiteral } from "./literal.js";
+import { fastCheckNullable } from "./nullable.js";
+import { fastCheckNumber } from "./number.js";
+import { fastCheckObject } from "./object.js";
+import { fastCheckOptional } from "./optional.js";
+import { fastCheckPipe } from "./pipe.js";
+import { fastCheckReadonly } from "./readonly.js";
+import { fastCheckRecord } from "./record.js";
+import { fastCheckString } from "./string.js";
+import { fastCheckTuple } from "./tuple.js";
+import { fastCheckUnion } from "./union.js";
+// ─── Typed registry ─────────────────────────────────────────────────────────
+// `null` = statically ineligible (the type NEVER has a fast path).
+// Non-null function = may return null at runtime (dynamically ineligible, e.g. when coerce is present).
+const fastRegistry = {
+    // Trivially eligible
+    any: (_ir, _g) => "true",
+    unknown: (_ir, _g) => "true",
+    // Simple type checks
+    null: (_ir, g) => `${g.input}===null`,
+    undefined: (_ir, g) => `${g.input}===undefined`,
+    symbol: (_ir, g) => `typeof ${g.input}==="symbol"`,
+    void: (_ir, g) => `${g.input}===undefined`,
+    nan: (_ir, g) => `typeof ${g.input}==="number"&&Number.isNaN(${g.input})`,
+    never: (_ir, _g) => "false",
+    boolean: (ir, g) => (ir.coerce ? null : `typeof ${g.input}==="boolean"`),
+    // Primitives with checks
+    string: fastCheckString,
+    number: fastCheckNumber,
+    bigint: fastCheckBigInt,
+    // Literal & enum
+    literal: fastCheckLiteral,
+    enum: fastCheckEnum,
+    // Template literal
+    templateLiteral: (ir, g) => {
+        const regexVar = g.regex("tl", ir.pattern);
+        return `typeof ${g.input}==="string"&&${regexVar}.test(${g.input})`;
+    },
+    // Containers
+    object: fastCheckObject,
+    array: fastCheckArray,
+    tuple: fastCheckTuple,
+    record: fastCheckRecord,
+    // Modifiers
+    optional: fastCheckOptional,
+    nullable: fastCheckNullable,
+    readonly: fastCheckReadonly,
+    pipe: fastCheckPipe,
+    // Unions & intersections
+    union: fastCheckUnion,
+    discriminatedUnion: fastCheckDiscriminatedUnion,
+    intersection: fastCheckIntersection,
+    // recursiveRef needs auxiliary function generation — ineligible for now
+    recursiveRef: () => null,
+    // Statically ineligible
+    effect: null,
+    fallback: null,
+    default: null,
+    catch: null,
+    date: null,
+    set: null,
+    map: null,
+};
+// ─── Factory ─────────────────────────────────────────────────────────────────
+export function createFastGen(inputExpr, ctx) {
+    return {
+        input: inputExpr,
+        ctx,
+        visit(ir, overrides) {
+            return generateFastCheck(ir, createFastGen(overrides?.input ?? inputExpr, ctx));
+        },
+        temp(prefix) {
+            return `__${prefix}_${ctx.counter++}`;
+        },
+        regex(prefix, pattern) {
+            const name = `__re_${prefix}_${ctx.counter++}`;
+            ctx.preamble.push(`var ${name}=new RegExp(${escapeString(pattern)});`);
+            return name;
+        },
+    };
+}
+// ─── Dispatch ────────────────────────────────────────────────────────────────
+/**
+ * Generate a boolean expression string that validates input against the schema.
+ * Returns `null` if the schema (or any nested part) is not eligible for fast checking.
+ */
+export function generateFastCheck(ir, g) {
+    const gen = fastRegistry[ir.type];
+    if (gen === null)
+        return null;
+    // biome-ignore lint/suspicious/noExplicitAny: registry dispatch requires type erasure at call site
+    return gen(ir, g);
+}
+//# sourceMappingURL=index.js.map

package/dist/core/codegen/fast-path/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-path/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,2BAA2B,EAAE,MAAM,0BAA0B,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAE5C,+EAA+E;AAC/E,mEAAmE;AACnE,wGAAwG;AAExG,MAAM,YAAY,GAAG;IACnB,qBAAqB;IACrB,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,MAAM;IACxB,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,MAAM;IAE5B,qBAAqB;IACrB,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,SAAS;IACrC,SAAS,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,cAAc;IAC/C,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,KAAK,aAAa;IAClD,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,cAAc;IAC1C,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,KAAK,6BAA6B,CAAC,CAAC,KAAK,GAAG;IACzE,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,OAAO;IAC3B,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,KAAK,cAAc,CAAC;IAExE,yBAAyB;IACzB,MAAM,EAAE,eAAe;IACvB,MAAM,EAAE,eAAe;IACvB,MAAM,EAAE,eAAe;IAEvB,iBAAiB;IACjB,OAAO,EAAE,gBAAgB;IACzB,IAAI,EAAE,aAAa;IAEnB,mBAAmB;IACnB,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE;QACzB,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;QAC3C,OAAO,UAAU,CAAC,CAAC,KAAK,gBAAgB,QAAQ,SAAS,CAAC,CAAC,KAAK,GAAG,CAAC;IACtE,CAAC;IAED,aAAa;IACb,MAAM,EAAE,eAAe;IACvB,KAAK,EAAE,cAAc;IACrB,KAAK,EAAE,cAAc;IACrB,MAAM,EAAE,eAAe;IAEvB,YAAY;IACZ,QAAQ,EAAE,iBAAiB;IAC3B,QAAQ,EAAE,iBAAiB;IAC3B,QAAQ,EAAE,iBAAiB;IAC3B,IAAI,EAAE,aAAa;IAEnB,yBAAyB;IACzB,KAAK,EAAE,cAAc;IACrB,kBAAkB,EAAE,2BAA2B;IAC/C,YAAY,EAAE,qBAAqB;IAEnC,wEAAwE;IACxE,YAAY,EAAE,GAAG,EAAE,CAAC,IAAI;IAExB,wBAAwB;IACxB,MAAM,EAAE,IAAI;IACZ,QAAQ,EAAE,IAAI;IACd,OAAO,EAAE,IAAI;IACb,KAAK,EAAE,IAAI;IACX,IAAI,EAAE,IAAI;IACV,GAAG,EAAE,IAAI;IACT,GAAG,EAAE,IAAI;CAGV,CAAC;AAEF,gFAAgF;AAEhF,MAAM,UAAU,aAAa,CAAC,SAAiB,EAAE,GAAmB;IAClE,OAAO;QACL,KAAK,EAAE,SAAS;QAChB,GAAG;QACH,KAAK,CAAC,EAAE,EAAE,SAAS;YACjB,OAAO,iBAAiB,CAAC,EAAE,EAAE,aAAa,CAAC,SAAS,EAAE,KAAK,IAAI,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC;QAClF,CAAC;QACD,IAAI,CAAC,MAAM;YACT,OAAO,KAAK,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;QACxC,CAAC;QACD,KAAK,CAAC,MAAM,EAAE,OAAO;YACnB,MAAM,IAAI,GAAG,QAAQ,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;YAC/C,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,IAAI,eAAe,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACvE,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC;AACJ,CAAC;AAED,gFAAgF;AAEhF;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,EAAY,EAAE,CAAU;IACxD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,mGAAmG;IACnG,OAAQ,GAAW,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;AAC7B,CAAC"}

package/dist/core/codegen/fast-path/intersection.d.ts

@@ -0,0 +1,4 @@
+import type { IntersectionIR } from "../../types.js";
+import type { FastGen } from "../context.js";
+export declare function fastCheckIntersection(ir: IntersectionIR, g: FastGen): string | null;
+//# sourceMappingURL=intersection.d.ts.map

package/dist/core/codegen/fast-path/intersection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"intersection.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-path/intersection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAE7C,wBAAgB,qBAAqB,CAAC,EAAE,EAAE,cAAc,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAMnF"}

package/dist/core/codegen/fast-path/intersection.js

@@ -0,0 +1,10 @@
+export function fastCheckIntersection(ir, g) {
+    const left = g.visit(ir.left);
+    if (left === null)
+        return null;
+    const right = g.visit(ir.right);
+    if (right === null)
+        return null;
+    return left === "true" ? right : right === "true" ? left : `${left}&&${right}`;
+}
+//# sourceMappingURL=intersection.js.map

package/dist/core/codegen/fast-path/intersection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"intersection.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-path/intersection.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,qBAAqB,CAAC,EAAkB,EAAE,CAAU;IAClE,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IAChC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,OAAO,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,KAAK,EAAE,CAAC;AACjF,CAAC"}

package/dist/core/codegen/fast-path/literal.d.ts

@@ -0,0 +1,4 @@
+import type { LiteralIR } from "../../types.js";
+import type { FastGen } from "../context.js";
+export declare function fastCheckLiteral(ir: LiteralIR, g: FastGen): string;
+//# sourceMappingURL=literal.d.ts.map

package/dist/core/codegen/fast-path/literal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"literal.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-path/literal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAE7C,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,CAOlE"}

package/dist/core/codegen/fast-path/literal.js

@@ -0,0 +1,9 @@
+export function fastCheckLiteral(ir, g) {
+    const x = g.input;
+    if (ir.values.length === 1) {
+        return `${x}===${JSON.stringify(ir.values[0])}`;
+    }
+    // Wrap in parens — || has lower precedence than && in parent expressions
+    return `(${ir.values.map((v) => `${x}===${JSON.stringify(v)}`).join("||")})`;
+}
+//# sourceMappingURL=literal.js.map

package/dist/core/codegen/fast-path/literal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"literal.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-path/literal.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,gBAAgB,CAAC,EAAa,EAAE,CAAU;IACxD,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;IAClB,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,GAAG,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAClD,CAAC;IACD,yEAAyE;IACzE,OAAO,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AAC/E,CAAC"}

package/dist/core/codegen/fast-path/nullable.d.ts

@@ -0,0 +1,4 @@
+import type { NullableIR } from "../../types.js";
+import type { FastGen } from "../context.js";
+export declare function fastCheckNullable(ir: NullableIR, g: FastGen): string | null;
+//# sourceMappingURL=nullable.d.ts.map

package/dist/core/codegen/fast-path/nullable.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nullable.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-path/nullable.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAE7C,wBAAgB,iBAAiB,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAI3E"}

package/dist/core/codegen/fast-path/nullable.js

@@ -0,0 +1,7 @@
+export function fastCheckNullable(ir, g) {
+    const inner = g.visit(ir.inner);
+    if (inner === null)
+        return null;
+    return `(${g.input}===null||(${inner}))`;
+}
+//# sourceMappingURL=nullable.js.map

package/dist/core/codegen/fast-path/nullable.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nullable.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-path/nullable.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,iBAAiB,CAAC,EAAc,EAAE,CAAU;IAC1D,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IAChC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,OAAO,IAAI,CAAC,CAAC,KAAK,aAAa,KAAK,IAAI,CAAC;AAC3C,CAAC"}

package/dist/core/codegen/fast-path/number.d.ts

@@ -0,0 +1,4 @@
+import type { NumberIR } from "../../types.js";
+import type { FastGen } from "../context.js";
+export declare function fastCheckNumber(ir: NumberIR, g: FastGen): string | null;
+//# sourceMappingURL=number.d.ts.map

package/dist/core/codegen/fast-path/number.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"number.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-path/number.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAW,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AACxD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAG7C,wBAAgB,eAAe,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAuDvE"}

package/dist/core/codegen/fast-path/number.js

@@ -0,0 +1,57 @@
+import { checkPriority } from "../context.js";
+export function fastCheckNumber(ir, g) {
+    if (ir.coerce)
+        return null;
+    if (ir.checks.some((c) => c.kind === "refine_effect"))
+        return null;
+    const x = g.input;
+    const parts = [
+        `typeof ${x}==="number"`,
+        `!Number.isNaN(${x})`,
+        `Number.isFinite(${x})`,
+    ];
+    const checks = ir.checks.filter((c) => c.kind !== "refine_effect");
+    for (const check of checks.sort(checkPriority)) {
+        switch (check.kind) {
+            case "number_format":
+                switch (check.format) {
+                    case "safeint":
+                        parts.push(`Number.isSafeInteger(${x})`);
+                        break;
+                    case "int32":
+                        parts.push(`(${x}|0)===${x}`);
+                        break;
+                    case "uint32":
+                        parts.push(`${x}>=0`, `${x}<=4294967295`, `(${x}>>>0)===${x}`);
+                        break;
+                    case "float32":
+                        parts.push(`Math.fround(${x})===${x}`);
+                        break;
+                    case "float64":
+                        // All finite numbers are valid float64
+                        break;
+                }
+                break;
+            case "greater_than":
+                parts.push(check.inclusive ? `${x}>=${check.value}` : `${x}>${check.value}`);
+                break;
+            case "less_than":
+                parts.push(check.inclusive ? `${x}<=${check.value}` : `${x}<${check.value}`);
+                break;
+            case "multiple_of":
+                parts.push(`${x}%${check.value}===0`);
+                break;
+            case "min_length":
+            case "max_length":
+            case "length_equals":
+            case "string_format":
+            case "includes":
+            case "starts_with":
+            case "ends_with":
+                // String-only checks on a number schema — shouldn't happen, skip
+                break;
+        }
+    }
+    return parts.join("&&");
+}
+//# sourceMappingURL=number.js.map

package/dist/core/codegen/fast-path/number.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"number.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-path/number.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C,MAAM,UAAU,eAAe,CAAC,EAAY,EAAE,CAAU;IACtD,IAAI,EAAE,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAC3B,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC;QAAE,OAAO,IAAI,CAAC;IAEnE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;IAClB,MAAM,KAAK,GAAa;QACtB,UAAU,CAAC,aAAa;QACxB,iBAAiB,CAAC,GAAG;QACrB,mBAAmB,CAAC,GAAG;KACxB,CAAC;IACF,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAgB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;IAEjF,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;QAC/C,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,eAAe;gBAClB,QAAQ,KAAK,CAAC,MAAM,EAAE,CAAC;oBACrB,KAAK,SAAS;wBACZ,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC;wBACzC,MAAM;oBACR,KAAK,OAAO;wBACV,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;wBAC9B,MAAM;oBACR,KAAK,QAAQ;wBACX,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,cAAc,EAAE,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;wBAC/D,MAAM;oBACR,KAAK,SAAS;wBACZ,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;wBACvC,MAAM;oBACR,KAAK,SAAS;wBACZ,uCAAuC;wBACvC,MAAM;gBACV,CAAC;gBACD,MAAM;YACR,KAAK,cAAc;gBACjB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;gBAC7E,MAAM;YACR,KAAK,WAAW;gBACd,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;gBAC7E,MAAM;YACR,KAAK,aAAa;gBAChB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,MAAM,CAAC,CAAC;gBACtC,MAAM;YACR,KAAK,YAAY,CAAC;YAClB,KAAK,YAAY,CAAC;YAClB,KAAK,eAAe,CAAC;YACrB,KAAK,eAAe,CAAC;YACrB,KAAK,UAAU,CAAC;YAChB,KAAK,aAAa,CAAC;YACnB,KAAK,WAAW;gBACd,iEAAiE;gBACjE,MAAM;QACV,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/core/codegen/fast-path/object.d.ts

@@ -0,0 +1,4 @@
+import type { ObjectIR } from "../../types.js";
+import type { FastGen } from "../context.js";
+export declare function fastCheckObject(ir: ObjectIR, g: FastGen): string | null;
+//# sourceMappingURL=object.d.ts.map

package/dist/core/codegen/fast-path/object.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"object.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-path/object.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAG7C,wBAAgB,eAAe,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAevE"}

package/dist/core/codegen/fast-path/object.js

@@ -0,0 +1,17 @@
+import { escapeString } from "../context.js";
+export function fastCheckObject(ir, g) {
+    // Object with refine effects is not eligible for Fast Path
+    if (ir.checks && ir.checks.length > 0)
+        return null;
+    const x = g.input;
+    const parts = [`typeof ${x}==="object"`, `${x}!==null`, `!Array.isArray(${x})`];
+    for (const [key, propIR] of Object.entries(ir.properties)) {
+        const propExpr = `${x}[${escapeString(key)}]`;
+        const propCheck = g.visit(propIR, { input: propExpr });
+        if (propCheck === null)
+            return null; // All-or-nothing
+        parts.push(propCheck);
+    }
+    return parts.join("&&");
+}
+//# sourceMappingURL=object.js.map

package/dist/core/codegen/fast-path/object.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"object.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-path/object.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE7C,MAAM,UAAU,eAAe,CAAC,EAAY,EAAE,CAAU;IACtD,2DAA2D;IAC3D,IAAI,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAEnD,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;IAClB,MAAM,KAAK,GAAa,CAAC,UAAU,CAAC,aAAa,EAAE,GAAG,CAAC,SAAS,EAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC;IAE1F,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1D,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC;QAC9C,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;QACvD,IAAI,SAAS,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC,CAAC,iBAAiB;QACtD,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/core/codegen/fast-path/optional.d.ts

@@ -0,0 +1,4 @@
+import type { OptionalIR } from "../../types.js";
+import type { FastGen } from "../context.js";
+export declare function fastCheckOptional(ir: OptionalIR, g: FastGen): string | null;
+//# sourceMappingURL=optional.d.ts.map