zod-aot 0.20.2 → 0.20.3

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

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

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

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

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

@@ -0,0 +1,28 @@
+import { checkPriority } from "../context.js";
+export function fastCheckArray(ir, x, ctx, generateFn) {
+    const parts = [`Array.isArray(${x})`];
+    // Size checks
+    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;
+        }
+    }
+    // Element validation via .every()
+    const elemVar = `__fe_${ctx.counter++}`;
+    const elemCheck = generateFn(ir.element, elemVar, ctx);
+    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-check/array.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"array.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/array.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C,MAAM,UAAU,cAAc,CAC5B,EAAW,EACX,CAAS,EACT,GAAmB,EACnB,UAA+B;IAE/B,MAAM,KAAK,GAAa,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC;IAEhD,cAAc;IACd,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;QACV,CAAC;IACH,CAAC;IAED,kCAAkC;IAClC,MAAM,OAAO,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IACxC,MAAM,SAAS,GAAG,UAAU,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IACvD,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-check/bigint.d.ts

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

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

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

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

@@ -0,0 +1,19 @@
+import { checkPriority } from "../context.js";
+export function fastCheckBigInt(ir, x) {
+    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-check/bigint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bigint.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/bigint.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C,MAAM,UAAU,eAAe,CAAC,EAAY,EAAE,CAAS;IACrD,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-check/discriminated-union.d.ts

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

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

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

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

@@ -0,0 +1,13 @@
+export function fastCheckDiscriminatedUnion(ir, x, ctx, generateFn) {
+    // Generate checks for each branch, keyed by discriminator value
+    const branchChecks = [];
+    for (const option of ir.options) {
+        const check = generateFn(option, x, ctx);
+        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-check/discriminated-union.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"discriminated-union.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/discriminated-union.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,2BAA2B,CACzC,EAAwB,EACxB,CAAS,EACT,GAAmB,EACnB,UAA+B;IAE/B,gEAAgE;IAChE,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,qDAAqD;IACrD,OAAO,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AACxC,CAAC"}

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

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

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

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

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

@@ -0,0 +1,12 @@
+import { ENUM_INLINE_THRESHOLD, escapeString } from "../context.js";
+export function fastCheckEnum(ir, x, ctx) {
+    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 = `__enumSet_${ctx.counter++}`;
+    ctx.preamble.push(`var ${setVar}=new Set(${JSON.stringify(ir.values)});`);
+    return `${setVar}.has(${x})`;
+}
+//# sourceMappingURL=enum.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"enum.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/enum.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,qBAAqB,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAEpE,MAAM,UAAU,aAAa,CAAC,EAAU,EAAE,CAAS,EAAE,GAAmB;IACtE,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,aAAa,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IAC5C,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,MAAM,YAAY,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1E,OAAO,GAAG,MAAM,QAAQ,CAAC,GAAG,CAAC;AAC/B,CAAC"}

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

@@ -0,0 +1,16 @@
+/**
+ * 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 } from "../context.js";
+/**
+ * Generate a boolean expression string that validates `inputExpr` against the schema.
+ * Returns `null` if the schema (or any nested part) is not eligible for fast checking.
+ */
+export declare function generateFastCheck(ir: SchemaIR, inputExpr: string, ctx: CodeGenContext): string | null;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAmBpD;;;GAGG;AACH,wBAAgB,iBAAiB,CAC/B,EAAE,EAAE,QAAQ,EACZ,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,cAAc,GAClB,MAAM,GAAG,IAAI,CA6Ff"}

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

@@ -0,0 +1,118 @@
+/**
+ * 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";
+/**
+ * Generate a boolean expression string that validates `inputExpr` against the schema.
+ * Returns `null` if the schema (or any nested part) is not eligible for fast checking.
+ */
+export function generateFastCheck(ir, inputExpr, ctx) {
+    switch (ir.type) {
+        // ── Trivially eligible ──────────────────────────────────────────────
+        case "any":
+        case "unknown":
+            return "true";
+        // ── NOT ELIGIBLE ────────────────────────────────────────────────────
+        case "fallback":
+        case "default":
+        case "catch":
+        case "date":
+        case "set":
+        case "map":
+            return null;
+        // ── Primitives with coerce check ────────────────────────────────────
+        case "string":
+            if (ir.coerce)
+                return null;
+            return fastCheckString(ir, inputExpr, ctx);
+        case "number":
+            if (ir.coerce)
+                return null;
+            return fastCheckNumber(ir, inputExpr);
+        case "boolean":
+            if (ir.coerce)
+                return null;
+            return `typeof ${inputExpr}==="boolean"`;
+        case "bigint":
+            if (ir.coerce)
+                return null;
+            return fastCheckBigInt(ir, inputExpr);
+        // ── Simple type checks ──────────────────────────────────────────────
+        case "null":
+            return `${inputExpr}===null`;
+        case "undefined":
+            return `${inputExpr}===undefined`;
+        case "symbol":
+            return `typeof ${inputExpr}==="symbol"`;
+        case "void":
+            return `${inputExpr}===undefined`;
+        case "nan":
+            return `typeof ${inputExpr}==="number"&&Number.isNaN(${inputExpr})`;
+        case "never":
+            return "false";
+        // ── Literal ─────────────────────────────────────────────────────────
+        case "literal":
+            return fastCheckLiteral(ir, inputExpr);
+        // ── Enum ────────────────────────────────────────────────────────────
+        case "enum":
+            return fastCheckEnum(ir, inputExpr, ctx);
+        // ── Template literal ────────────────────────────────────────────────
+        case "templateLiteral": {
+            const regexVar = `__re_tl_${ctx.counter++}`;
+            ctx.preamble.push(`var ${regexVar}=new RegExp(${escapeString(ir.pattern)});`);
+            return `typeof ${inputExpr}==="string"&&${regexVar}.test(${inputExpr})`;
+        }
+        // ── Containers ──────────────────────────────────────────────────────
+        case "object":
+            return fastCheckObject(ir, inputExpr, ctx, generateFastCheck);
+        case "array":
+            return fastCheckArray(ir, inputExpr, ctx, generateFastCheck);
+        case "tuple":
+            return fastCheckTuple(ir, inputExpr, ctx, generateFastCheck);
+        case "record":
+            return fastCheckRecord(ir, inputExpr, ctx, generateFastCheck);
+        // ── Modifiers ───────────────────────────────────────────────────────
+        case "optional":
+            return fastCheckOptional(ir, inputExpr, ctx, generateFastCheck);
+        case "nullable":
+            return fastCheckNullable(ir, inputExpr, ctx, generateFastCheck);
+        case "readonly":
+            return fastCheckReadonly(ir, inputExpr, ctx, generateFastCheck);
+        case "pipe":
+            return fastCheckPipe(ir, inputExpr, ctx, generateFastCheck);
+        // ── Unions & Intersections ──────────────────────────────────────────
+        case "union":
+            return fastCheckUnion(ir, inputExpr, ctx, generateFastCheck);
+        case "discriminatedUnion":
+            return fastCheckDiscriminatedUnion(ir, inputExpr, ctx, generateFastCheck);
+        case "intersection":
+            return fastCheckIntersection(ir, inputExpr, ctx, generateFastCheck);
+        // ── recursiveRef ────────────────────────────────────────────────────
+        case "recursiveRef":
+            // recursiveRef needs auxiliary function generation, handled separately
+            // For now, mark as ineligible; Step 2 will add support
+            return null;
+    }
+}
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/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;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAC/B,EAAY,EACZ,SAAiB,EACjB,GAAmB;IAEnB,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,uEAAuE;QACvE,KAAK,KAAK,CAAC;QACX,KAAK,SAAS;YACZ,OAAO,MAAM,CAAC;QAEhB,uEAAuE;QACvE,KAAK,UAAU,CAAC;QAChB,KAAK,SAAS,CAAC;QACf,KAAK,OAAO,CAAC;QACb,KAAK,MAAM,CAAC;QACZ,KAAK,KAAK,CAAC;QACX,KAAK,KAAK;YACR,OAAO,IAAI,CAAC;QAEd,uEAAuE;QACvE,KAAK,QAAQ;YACX,IAAI,EAAE,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YAC3B,OAAO,eAAe,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAC7C,KAAK,QAAQ;YACX,IAAI,EAAE,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YAC3B,OAAO,eAAe,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QACxC,KAAK,SAAS;YACZ,IAAI,EAAE,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YAC3B,OAAO,UAAU,SAAS,cAAc,CAAC;QAC3C,KAAK,QAAQ;YACX,IAAI,EAAE,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC;YAC3B,OAAO,eAAe,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QAExC,uEAAuE;QACvE,KAAK,MAAM;YACT,OAAO,GAAG,SAAS,SAAS,CAAC;QAC/B,KAAK,WAAW;YACd,OAAO,GAAG,SAAS,cAAc,CAAC;QACpC,KAAK,QAAQ;YACX,OAAO,UAAU,SAAS,aAAa,CAAC;QAC1C,KAAK,MAAM;YACT,OAAO,GAAG,SAAS,cAAc,CAAC;QACpC,KAAK,KAAK;YACR,OAAO,UAAU,SAAS,6BAA6B,SAAS,GAAG,CAAC;QACtE,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;QAEjB,uEAAuE;QACvE,KAAK,SAAS;YACZ,OAAO,gBAAgB,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QAEzC,uEAAuE;QACvE,KAAK,MAAM;YACT,OAAO,aAAa,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAE3C,uEAAuE;QACvE,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,QAAQ,GAAG,WAAW,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;YAC5C,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,QAAQ,eAAe,YAAY,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC9E,OAAO,UAAU,SAAS,gBAAgB,QAAQ,SAAS,SAAS,GAAG,CAAC;QAC1E,CAAC;QAED,uEAAuE;QACvE,KAAK,QAAQ;YACX,OAAO,eAAe,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAChE,KAAK,OAAO;YACV,OAAO,cAAc,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAC/D,KAAK,OAAO;YACV,OAAO,cAAc,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAC/D,KAAK,QAAQ;YACX,OAAO,eAAe,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAEhE,uEAAuE;QACvE,KAAK,UAAU;YACb,OAAO,iBAAiB,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAClE,KAAK,UAAU;YACb,OAAO,iBAAiB,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAClE,KAAK,UAAU;YACb,OAAO,iBAAiB,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAClE,KAAK,MAAM;YACT,OAAO,aAAa,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAE9D,uEAAuE;QACvE,KAAK,OAAO;YACV,OAAO,cAAc,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAC/D,KAAK,oBAAoB;YACvB,OAAO,2BAA2B,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAC5E,KAAK,cAAc;YACjB,OAAO,qBAAqB,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QAEtE,uEAAuE;QACvE,KAAK,cAAc;YACjB,uEAAuE;YACvE,uDAAuD;YACvD,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC"}

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

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

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

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

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"intersection.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/intersection.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,qBAAqB,CACnC,EAAkB,EAClB,CAAS,EACT,GAAmB,EACnB,UAA+B;IAE/B,MAAM,IAAI,GAAG,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IACzC,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IAC3C,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-check/literal.d.ts

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

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

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

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

@@ -0,0 +1,8 @@
+export function fastCheckLiteral(ir, x) {
+    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-check/literal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"literal.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/literal.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,gBAAgB,CAAC,EAAa,EAAE,CAAS;IACvD,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-check/nullable.d.ts

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"nullable.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/nullable.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAEzE,wBAAgB,iBAAiB,CAC/B,EAAE,EAAE,UAAU,EACd,CAAC,EAAE,MAAM,EACT,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,mBAAmB,GAC9B,MAAM,GAAG,IAAI,CAIf"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"nullable.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/nullable.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,iBAAiB,CAC/B,EAAc,EACd,CAAS,EACT,GAAmB,EACnB,UAA+B;IAE/B,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IAC3C,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,OAAO,IAAI,CAAC,aAAa,KAAK,IAAI,CAAC;AACrC,CAAC"}

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

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

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

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

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

@@ -0,0 +1,51 @@
+import { checkPriority } from "../context.js";
+export function fastCheckNumber(ir, x) {
+    const parts = [
+        `typeof ${x}==="number"`,
+        `!Number.isNaN(${x})`,
+        `Number.isFinite(${x})`,
+    ];
+    for (const check of [...ir.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-check/number.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"number.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/number.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C,MAAM,UAAU,eAAe,CAAC,EAAY,EAAE,CAAS;IACrD,MAAM,KAAK,GAAa;QACtB,UAAU,CAAC,aAAa;QACxB,iBAAiB,CAAC,GAAG;QACrB,mBAAmB,CAAC,GAAG;KACxB,CAAC;IAEF,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,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-check/object.d.ts

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"object.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/object.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAGzE,wBAAgB,eAAe,CAC7B,EAAE,EAAE,QAAQ,EACZ,CAAC,EAAE,MAAM,EACT,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,mBAAmB,GAC9B,MAAM,GAAG,IAAI,CAWf"}

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

@@ -0,0 +1,13 @@
+import { escapeString } from "../context.js";
+export function fastCheckObject(ir, x, ctx, generateFn) {
+    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 = generateFn(propIR, propExpr, ctx);
+        if (propCheck === null)
+            return null; // All-or-nothing
+        parts.push(propCheck);
+    }
+    return parts.join("&&");
+}
+//# sourceMappingURL=object.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"object.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/object.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE7C,MAAM,UAAU,eAAe,CAC7B,EAAY,EACZ,CAAS,EACT,GAAmB,EACnB,UAA+B;IAE/B,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,UAAU,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;QACpD,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-check/optional.d.ts

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"optional.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/optional.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAEzE,wBAAgB,iBAAiB,CAC/B,EAAE,EAAE,UAAU,EACd,CAAC,EAAE,MAAM,EACT,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,mBAAmB,GAC9B,MAAM,GAAG,IAAI,CAIf"}

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

@@ -0,0 +1,7 @@
+export function fastCheckOptional(ir, x, ctx, generateFn) {
+    const inner = generateFn(ir.inner, x, ctx);
+    if (inner === null)
+        return null;
+    return `(${x}===undefined||(${inner}))`;
+}
+//# sourceMappingURL=optional.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"optional.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/optional.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,iBAAiB,CAC/B,EAAc,EACd,CAAS,EACT,GAAmB,EACnB,UAA+B;IAE/B,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IAC3C,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,OAAO,IAAI,CAAC,kBAAkB,KAAK,IAAI,CAAC;AAC1C,CAAC"}

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

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

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

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

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

@@ -0,0 +1,14 @@
+export function fastCheckPipe(ir, x, ctx, generateFn) {
+    // Only eligible if `out` is the same as `in` (non-transform pipe)
+    // We check `in` only — if the pipe has a transform, `out` would be a fallback
+    const inCheck = generateFn(ir.in, x, ctx);
+    if (inCheck === null)
+        return null;
+    // Check if out schema is eligible (non-fallback)
+    const outCheck = generateFn(ir.out, x, ctx);
+    if (outCheck === null)
+        return null;
+    // Both in and out must pass
+    return inCheck === "true" ? outCheck : outCheck === "true" ? inCheck : `${inCheck}&&${outCheck}`;
+}
+//# sourceMappingURL=pipe.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"pipe.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/pipe.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,aAAa,CAC3B,EAAU,EACV,CAAS,EACT,GAAmB,EACnB,UAA+B;IAE/B,kEAAkE;IAClE,8EAA8E;IAC9E,MAAM,OAAO,GAAG,UAAU,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IAC1C,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAClC,iDAAiD;IACjD,MAAM,QAAQ,GAAG,UAAU,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IAC5C,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACnC,4BAA4B;IAC5B,OAAO,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,KAAK,QAAQ,EAAE,CAAC;AACnG,CAAC"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"readonly.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/readonly.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAEzE,wBAAgB,iBAAiB,CAC/B,EAAE,EAAE,UAAU,EACd,CAAC,EAAE,MAAM,EACT,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,mBAAmB,GAC9B,MAAM,GAAG,IAAI,CAEf"}

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

@@ -0,0 +1,4 @@
+export function fastCheckReadonly(ir, x, ctx, generateFn) {
+    return generateFn(ir.inner, x, ctx);
+}
+//# sourceMappingURL=readonly.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"readonly.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/readonly.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,iBAAiB,CAC/B,EAAc,EACd,CAAS,EACT,GAAmB,EACnB,UAA+B;IAE/B,OAAO,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;AACtC,CAAC"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"record.d.ts","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/record.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAEzE,wBAAgB,eAAe,CAC7B,EAAE,EAAE,QAAQ,EACZ,CAAC,EAAE,MAAM,EACT,GAAG,EAAE,cAAc,EACnB,UAAU,EAAE,mBAAmB,GAC9B,MAAM,GAAG,IAAI,CAiBf"}

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

@@ -0,0 +1,18 @@
+export function fastCheckRecord(ir, x, ctx, generateFn) {
+    const parts = [`typeof ${x}==="object"`, `${x}!==null`, `!Array.isArray(${x})`];
+    const kv = `__rk_${ctx.counter++}`;
+    const keyCheck = generateFn(ir.keyType, kv, ctx);
+    const valCheck = generateFn(ir.valueType, `${x}[${kv}]`, ctx);
+    if (keyCheck === null || valCheck === null)
+        return null;
+    const conditions = [];
+    if (keyCheck !== "true")
+        conditions.push(keyCheck);
+    if (valCheck !== "true")
+        conditions.push(valCheck);
+    if (conditions.length > 0) {
+        parts.push(`Object.keys(${x}).every(${kv}=>${conditions.join("&&")})`);
+    }
+    return parts.join("&&");
+}
+//# sourceMappingURL=record.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"record.js","sourceRoot":"","sources":["../../../../src/core/codegen/fast-check/record.ts"],"names":[],"mappings":"AAGA,MAAM,UAAU,eAAe,CAC7B,EAAY,EACZ,CAAS,EACT,GAAmB,EACnB,UAA+B;IAE/B,MAAM,KAAK,GAAa,CAAC,UAAU,CAAC,aAAa,EAAE,GAAG,CAAC,SAAS,EAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC;IAE1F,MAAM,EAAE,GAAG,QAAQ,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;IACnC,MAAM,QAAQ,GAAG,UAAU,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAG,UAAU,CAAC,EAAE,CAAC,SAAS,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC9D,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAExD,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,IAAI,QAAQ,KAAK,MAAM;QAAE,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACnD,IAAI,QAAQ,KAAK,MAAM;QAAE,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAEnD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,WAAW,EAAE,KAAK,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzE,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

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

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

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

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