@pithos/core 2.0.0

package/dist/kanon/jit/builders/operators/union.js

@@ -0,0 +1,284 @@
+/**
+ * @module kanon/jit/builders/operators/union
+ *
+ * Union Code Builder
+ *
+ * Generates inline JavaScript code for union type validation including:
+ * - Sequential branch checks with early return
+ * - Optimized typeof grouping for primitive unions
+ * - Combined error messages when no branch validates
+ *
+ * @since 2.0.0
+ * @experimental
+ */
+import { formatPath, getIndent, nextVar, } from "../../context";
+import { escapeString, debugComment } from "../../utils/code";
+import { ERROR_MESSAGES_COMPOSITION } from "../../../core/consts/messages";
+// ============================================================================
+// Primitive typeof optimization
+// ============================================================================
+/**
+ * Groups union branches by their typeof check for optimization.
+ * Primitive unions like `string | number` can use a single typeof check.
+ *
+ * @param branches - Union branches to analyze
+ * @returns Map of typeof values to branch indices
+ * @since 2.0.0
+ */
+export function groupBranchesByTypeof(branches) {
+    const groups = new Map();
+    branches.forEach((branch, index) => {
+        if (branch.typeofCheck) {
+            const existing = groups.get(branch.typeofCheck) ?? [];
+            existing.push(index);
+            groups.set(branch.typeofCheck, existing);
+        }
+    });
+    return groups;
+}
+/**
+ * Checks if all branches are simple primitive types that can be optimized.
+ *
+ * @param branches - Union branches to check
+ * @returns true if all branches have typeof checks
+ * @since 2.0.0
+ */
+export function canOptimizeWithTypeof(branches) {
+    return branches.every((b) => b.typeofCheck !== undefined);
+}
+// ============================================================================
+// Union validation generators
+// ============================================================================
+/**
+ * Generates optimized union check for primitive types using typeof.
+ *
+ * @param varName - The variable name to check
+ * @param branches - Union branches (must all have typeofCheck)
+ * @param ctx - The generator context
+ * @param errorMessage - Custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * // For union([string(), number()])
+ * const result = generateOptimizedPrimitiveUnion("value", branches, ctx);
+ * // result.code = 'if (typeof value !== "string" && typeof value !== "number") return "Expected string or number";'
+ * ```
+ */
+export function generateOptimizedPrimitiveUnion(varName, branches, ctx, errorMessage) {
+    const indent = ctx.debug ? getIndent(ctx) : "";
+    const path = formatPath(ctx);
+    const errorPrefix = path ? `Property '${path}': ` : "";
+    const lines = [];
+    // Add debug comment
+    const typeNames = branches.map((b) => b.typeName).join(" | ");
+    const comment = debugComment(ctx, `Union check: ${typeNames} (optimized)`);
+    if (comment)
+        lines.push(comment);
+    // Build typeof checks
+    const typeofChecks = branches
+        .map((b) => `typeof ${varName} !== "${b.typeofCheck}"`)
+        .join(" && ");
+    // Build error message
+    const errorMsg = errorMessage ?? `${errorPrefix}${ERROR_MESSAGES_COMPOSITION.union}`;
+    // Special handling for number to exclude NaN
+    const hasNumber = branches.some((b) => b.typeofCheck === "number");
+    let nanCheck = "";
+    if (hasNumber) {
+        nanCheck = ` || Number.isNaN(${varName})`;
+    }
+    const errorLine = `${indent}if ((${typeofChecks})${nanCheck}) return "${escapeString(errorMsg)}";`;
+    const successLine = `${indent}return true;`;
+    lines.push(errorLine, successLine);
+    return { code: lines, ctx };
+}
+/**
+ * Generates a simpler sequential union using inline checks.
+ * Each branch is checked in sequence with early return on success.
+ *
+ * @param varName - The variable name to check
+ * @param branches - Union branches
+ * @param ctx - The generator context
+ * @param errorMessage - Custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ */
+export function generateSimpleSequentialUnion(varName, branches, ctx, errorMessage) {
+    const lines = [];
+    const indent = ctx.debug ? getIndent(ctx) : "";
+    const path = formatPath(ctx);
+    const errorPrefix = path ? `Property '${path}': ` : "";
+    let currentCtx = ctx;
+    // Add debug comment
+    const typeNames = branches.map((b) => b.typeName).join(" | ");
+    const comment = debugComment(ctx, `Union check: ${typeNames} (sequential)`);
+    if (comment)
+        lines.push(comment);
+    // For each branch, generate a validation block
+    for (let i = 0; i < branches.length; i++) {
+        const branch = branches[i];
+        // Generate branch validation
+        const branchResult = branch.generateCode(varName, currentCtx);
+        currentCtx = branchResult.ctx;
+        // Convert validation code to a condition check
+        // We need to invert the logic: if validation passes, return true
+        if (branch.typeofCheck) {
+            // Simple typeof check - can be inlined
+            if (branch.typeofCheck === "number") {
+                lines.push(`${indent}if (typeof ${varName} === "number" && !Number.isNaN(${varName})) return true;`);
+            }
+            else {
+                lines.push(`${indent}if (typeof ${varName} === "${branch.typeofCheck}") return true;`);
+            }
+        }
+        else {
+            // Complex validation - use the generated code
+            // Wrap in a validation function pattern
+            const [validVar, ctx2] = nextVar(currentCtx);
+            currentCtx = ctx2;
+            lines.push(`${indent}var ${validVar} = (function() {`);
+            for (const line of branchResult.code) {
+                lines.push(`${indent}  ${line.trim()}`);
+            }
+            lines.push(`${indent}  return true;`);
+            lines.push(`${indent}})();`);
+            lines.push(`${indent}if (${validVar} === true) return true;`);
+        }
+    }
+    // If no branch matched, return error
+    const errorMsg = errorMessage ?? `${errorPrefix}${ERROR_MESSAGES_COMPOSITION.union}`;
+    lines.push(`${indent}return "${escapeString(errorMsg)}";`);
+    return { code: lines, ctx: currentCtx };
+}
+// ============================================================================
+// Complete validation generator
+// ============================================================================
+/**
+ * Generates complete validation code for a union schema.
+ * Automatically chooses the best strategy based on branch types.
+ *
+ * @param varName - The variable name to validate
+ * @param ctx - The generator context
+ * @param constraints - Union constraint metadata
+ * @returns Generated code lines and updated context
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const result = generateUnionValidation("value", ctx, {
+ *   branches: [
+ *     { typeName: "string", typeofCheck: "string", generateCode: stringGenerator },
+ *     { typeName: "number", typeofCheck: "number", generateCode: numberGenerator }
+ *   ]
+ * });
+ * ```
+ */
+export function generateUnionValidation(varName, ctx, constraints) {
+    const { branches, errorMessage } = constraints;
+    // Empty union - always fails
+    if (branches.length === 0) {
+        const indent = ctx.debug ? getIndent(ctx) : "";
+        const path = formatPath(ctx);
+        const errorPrefix = path ? `Property '${path}': ` : "";
+        const errorMsg = errorMessage ?? `${errorPrefix}No valid type in union`;
+        return {
+            code: [`${indent}return "${escapeString(errorMsg)}";`],
+            ctx,
+        };
+    }
+    // Single branch - just use that branch's validation
+    if (branches.length === 1) {
+        return branches[0].generateCode(varName, ctx);
+    }
+    // Check if we can optimize with typeof
+    if (canOptimizeWithTypeof(branches)) {
+        return generateOptimizedPrimitiveUnion(varName, branches, ctx, errorMessage);
+    }
+    // Fall back to simple sequential validation
+    return generateSimpleSequentialUnion(varName, branches, ctx, errorMessage);
+}
+// ============================================================================
+// Helper functions for creating branch metadata
+// ============================================================================
+/**
+ * Creates a branch metadata for a string type.
+ *
+ * @param generateCode - Code generator function for this branch.
+ * @returns Branch metadata with type information and code generator.
+ * @since 2.0.0
+ */
+export function createStringBranch(generateCode) {
+    return {
+        typeName: "string",
+        typeofCheck: "string",
+        generateCode,
+    };
+}
+/**
+ * Creates a branch metadata for a number type.
+ *
+ * @param generateCode - Code generator function for this branch.
+ * @returns Branch metadata with type information and code generator.
+ * @since 2.0.0
+ */
+export function createNumberBranch(generateCode) {
+    return {
+        typeName: "number",
+        typeofCheck: "number",
+        generateCode,
+    };
+}
+/**
+ * Creates a branch metadata for a boolean type.
+ *
+ * @param generateCode - Code generator function for this branch.
+ * @returns Branch metadata with type information and code generator.
+ * @since 2.0.0
+ */
+export function createBooleanBranch(generateCode) {
+    return {
+        typeName: "boolean",
+        typeofCheck: "boolean",
+        generateCode,
+    };
+}
+/**
+ * Creates a branch metadata for a null type.
+ *
+ * @returns Branch metadata for null type with inline === check.
+ * @since 2.0.0
+ */
+export function createNullBranch() {
+    return {
+        typeName: "null",
+        typeofCheck: undefined, // null requires === check, not typeof
+        generateCode: (varName, ctx) => {
+            const indent = ctx.debug ? getIndent(ctx) : "";
+            return {
+                code: [`${indent}if (${varName} !== null) return "Expected null";`],
+                ctx,
+            };
+        },
+    };
+}
+/**
+ * Creates a branch metadata for an undefined type.
+ *
+ * @returns Branch metadata for undefined type with typeof check.
+ * @since 2.0.0
+ */
+export function createUndefinedBranch() {
+    return {
+        typeName: "undefined",
+        typeofCheck: "undefined",
+        generateCode: (varName, ctx) => {
+            const indent = ctx.debug ? getIndent(ctx) : "";
+            return {
+                code: [`${indent}if (${varName} !== undefined) return "Expected undefined";`],
+                ctx,
+            };
+        },
+    };
+}
+//# sourceMappingURL=union.js.map

package/dist/kanon/jit/builders/operators/union.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"union.js","sourceRoot":"","sources":["../../../../../src/kanon/jit/builders/operators/union.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EACL,UAAU,EACV,SAAS,EACT,OAAO,GACR,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,EAAE,0BAA0B,EAAE,MAAM,+BAA+B,CAAC;AA4B3E,+EAA+E;AAC/E,gCAAgC;AAChC,+EAA+E;AAE/E;;;;;;;GAOG;AACH,MAAM,UAAU,qBAAqB,CACnC,QAA2B;IAE3B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,CAAC;IAE3C,QAAQ,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;QACjC,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;YACvB,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;YACtD,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACrB,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,QAA2B;IAC/D,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC;AAC5D,CAAC;AAED,+EAA+E;AAC/E,8BAA8B;AAC9B,+EAA+E;AAE/E;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,+BAA+B,CAC7C,OAAe,EACf,QAA2B,EAC3B,GAAqB,EACrB,YAAqB;IAErB,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/C,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,CAAC,CAAC,aAAa,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAEvD,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,oBAAoB;IACpB,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9D,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,EAAE,gBAAgB,SAAS,cAAc,CAAC,CAAC;IAC3E,IAAI,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEjC,sBAAsB;IACtB,MAAM,YAAY,GAAG,QAAQ;SAC1B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,OAAO,SAAS,CAAC,CAAC,WAAW,GAAG,CAAC;SACtD,IAAI,CAAC,MAAM,CAAC,CAAC;IAEhB,sBAAsB;IACtB,MAAM,QAAQ,GAAG,YAAY,IAAI,GAAG,WAAW,GAAG,0BAA0B,CAAC,KAAK,EAAE,CAAC;IAErF,6CAA6C;IAC7C,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,QAAQ,CAAC,CAAC;IACnE,IAAI,QAAQ,GAAG,EAAE,CAAC;IAClB,IAAI,SAAS,EAAE,CAAC;QACd,QAAQ,GAAG,oBAAoB,OAAO,GAAG,CAAC;IAC5C,CAAC;IAED,MAAM,SAAS,GAAG,GAAG,MAAM,QAAQ,YAAY,IAAI,QAAQ,aAAa,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC;IACnG,MAAM,WAAW,GAAG,GAAG,MAAM,cAAc,CAAC;IAE5C,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAEnC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;AAC9B,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,6BAA6B,CAC3C,OAAe,EACf,QAA2B,EAC3B,GAAqB,EACrB,YAAqB;IAErB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/C,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,CAAC,CAAC,aAAa,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAEvD,IAAI,UAAU,GAAG,GAAG,CAAC;IAErB,oBAAoB;IACpB,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9D,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,EAAE,gBAAgB,SAAS,eAAe,CAAC,CAAC;IAC5E,IAAI,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEjC,+CAA+C;IAC/C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAE3B,6BAA6B;QAC7B,MAAM,YAAY,GAAG,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QAC9D,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC;QAE9B,+CAA+C;QAC/C,iEAAiE;QACjE,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;YACvB,uCAAuC;YACvC,IAAI,MAAM,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;gBACpC,KAAK,CAAC,IAAI,CACR,GAAG,MAAM,cAAc,OAAO,kCAAkC,OAAO,iBAAiB,CACzF,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,cAAc,OAAO,SAAS,MAAM,CAAC,WAAW,iBAAiB,CAAC,CAAC;YACzF,CAAC;QACH,CAAC;aAAM,CAAC;YACN,8CAA8C;YAC9C,wCAAwC;YACxC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;YAC7C,UAAU,GAAG,IAAI,CAAC;YAElB,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,OAAO,QAAQ,kBAAkB,CAAC,CAAC;YACvD,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,IAAI,EAAE,CAAC;gBACrC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,KAAK,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC1C,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,gBAAgB,CAAC,CAAC;YACtC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,CAAC;YAC7B,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,OAAO,QAAQ,yBAAyB,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IAED,qCAAqC;IACrC,MAAM,QAAQ,GAAG,YAAY,IAAI,GAAG,WAAW,GAAG,0BAA0B,CAAC,KAAK,EAAE,CAAC;IACrF,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,WAAW,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAE3D,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC;AAC1C,CAAC;AAED,+EAA+E;AAC/E,gCAAgC;AAChC,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,uBAAuB,CACrC,OAAe,EACf,GAAqB,EACrB,WAAgC;IAEhC,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,GAAG,WAAW,CAAC;IAE/C,6BAA6B;IAC7B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,CAAC,CAAC,aAAa,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACvD,MAAM,QAAQ,GAAG,YAAY,IAAI,GAAG,WAAW,wBAAwB,CAAC;QACxE,OAAO;YACL,IAAI,EAAE,CAAC,GAAG,MAAM,WAAW,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC;YACtD,GAAG;SACJ,CAAC;IACJ,CAAC;IAED,oDAAoD;IACpD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAChD,CAAC;IAED,uCAAuC;IACvC,IAAI,qBAAqB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpC,OAAO,+BAA+B,CAAC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;IAC/E,CAAC;IAED,4CAA4C;IAC5C,OAAO,6BAA6B,CAAC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;AAC7E,CAAC;AAED,+EAA+E;AAC/E,gDAAgD;AAChD,+EAA+E;AAE/E;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAChC,YAAmG;IAEnG,OAAO;QACL,QAAQ,EAAE,QAAQ;QAClB,WAAW,EAAE,QAAQ;QACrB,YAAY;KACb,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAChC,YAAmG;IAEnG,OAAO;QACL,QAAQ,EAAE,QAAQ;QAClB,WAAW,EAAE,QAAQ;QACrB,YAAY;KACb,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CACjC,YAAmG;IAEnG,OAAO;QACL,QAAQ,EAAE,SAAS;QACnB,WAAW,EAAE,SAAS;QACtB,YAAY;KACb,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB;IAC9B,OAAO;QACL,QAAQ,EAAE,MAAM;QAChB,WAAW,EAAE,SAAS,EAAE,sCAAsC;QAC9D,YAAY,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE;YAC7B,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/C,OAAO;gBACL,IAAI,EAAE,CAAC,GAAG,MAAM,OAAO,OAAO,oCAAoC,CAAC;gBACnE,GAAG;aACJ,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB;IACnC,OAAO;QACL,QAAQ,EAAE,WAAW;QACrB,WAAW,EAAE,WAAW;QACxB,YAAY,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE;YAC7B,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/C,OAAO;gBACL,IAAI,EAAE,CAAC,GAAG,MAAM,OAAO,OAAO,8CAA8C,CAAC;gBAC7E,GAAG;aACJ,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/kanon/jit/builders/primitives/boolean.d.ts

@@ -0,0 +1,50 @@
+/**
+ * @module kanon/jit/builders/primitives/boolean
+ *
+ * Boolean Code Builder
+ *
+ * Generates inline JavaScript code for boolean type validation.
+ * Boolean schemas have no additional constraints beyond type checking.
+ *
+ * @since 2.0.0
+ * @experimental
+ */
+import type { GeneratorContext } from "../../context";
+import { type CodeGenResult } from "../../utils/code";
+/**
+ * Generates the type check code for a boolean value.
+ *
+ * @param varName - The variable name to check
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const result = generateBooleanTypeCheck("value", ctx);
+ * // result.code = 'if (typeof value !== "boolean") return "Expected boolean";'
+ * ```
+ */
+export declare function generateBooleanTypeCheck(varName: string, ctx: GeneratorContext, customMessage?: string): CodeGenResult;
+/**
+ * Generates complete validation code for a boolean schema.
+ * Boolean schemas only have type checking, no additional constraints.
+ *
+ * @param varName - The variable name to validate
+ * @param ctx - The generator context
+ * @param customTypeMessage - Optional custom type error message
+ * @returns Generated code lines and updated context
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const result = generateBooleanValidation("value", ctx);
+ * // result.code = ['if (typeof value !== "boolean") return "Expected boolean";']
+ * ```
+ */
+export declare function generateBooleanValidation(varName: string, ctx: GeneratorContext, customTypeMessage?: string): {
+    code: string[];
+    ctx: GeneratorContext;
+};
+//# sourceMappingURL=boolean.d.ts.map

package/dist/kanon/jit/builders/primitives/boolean.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"boolean.d.ts","sourceRoot":"","sources":["../../../../../src/kanon/jit/builders/primitives/boolean.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAEtD,OAAO,EAA8B,KAAK,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAGlF;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,gBAAgB,EACrB,aAAa,CAAC,EAAE,MAAM,GACrB,aAAa,CAef;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,gBAAgB,EACrB,iBAAiB,CAAC,EAAE,MAAM,GACzB;IAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,GAAG,EAAE,gBAAgB,CAAA;CAAE,CAG3C"}

package/dist/kanon/jit/builders/primitives/boolean.js

@@ -0,0 +1,63 @@
+/**
+ * @module kanon/jit/builders/primitives/boolean
+ *
+ * Boolean Code Builder
+ *
+ * Generates inline JavaScript code for boolean type validation.
+ * Boolean schemas have no additional constraints beyond type checking.
+ *
+ * @since 2.0.0
+ * @experimental
+ */
+import { formatPath, getIndent } from "../../context";
+import { escapeString, debugComment } from "../../utils/code";
+import { ERROR_MESSAGES_COMPOSITION } from "../../../core/consts/messages";
+/**
+ * Generates the type check code for a boolean value.
+ *
+ * @param varName - The variable name to check
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const result = generateBooleanTypeCheck("value", ctx);
+ * // result.code = 'if (typeof value !== "boolean") return "Expected boolean";'
+ * ```
+ */
+export function generateBooleanTypeCheck(varName, ctx, customMessage) {
+    const indent = ctx.debug ? getIndent(ctx) : "";
+    const path = formatPath(ctx);
+    const errorPrefix = path ? `Property '${path}': ` : "";
+    const errorMsg = customMessage ?? `${errorPrefix}${ERROR_MESSAGES_COMPOSITION.boolean}`;
+    const lines = [];
+    // Add debug comment
+    const comment = debugComment(ctx, "Type check: boolean");
+    if (comment)
+        lines.push(comment);
+    lines.push(`${indent}if (typeof ${varName} !== "boolean") return "${escapeString(errorMsg)}";`);
+    return { code: lines.join("\n"), ctx };
+}
+/**
+ * Generates complete validation code for a boolean schema.
+ * Boolean schemas only have type checking, no additional constraints.
+ *
+ * @param varName - The variable name to validate
+ * @param ctx - The generator context
+ * @param customTypeMessage - Optional custom type error message
+ * @returns Generated code lines and updated context
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const result = generateBooleanValidation("value", ctx);
+ * // result.code = ['if (typeof value !== "boolean") return "Expected boolean";']
+ * ```
+ */
+export function generateBooleanValidation(varName, ctx, customTypeMessage) {
+    const typeCheck = generateBooleanTypeCheck(varName, ctx, customTypeMessage);
+    return { code: [typeCheck.code], ctx: typeCheck.ctx };
+}
+//# sourceMappingURL=boolean.js.map

package/dist/kanon/jit/builders/primitives/boolean.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"boolean.js","sourceRoot":"","sources":["../../../../../src/kanon/jit/builders/primitives/boolean.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,EAAE,YAAY,EAAE,YAAY,EAAsB,MAAM,kBAAkB,CAAC;AAClF,OAAO,EAAE,0BAA0B,EAAE,MAAM,+BAA+B,CAAC;AAE3E;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,wBAAwB,CACtC,OAAe,EACf,GAAqB,EACrB,aAAsB;IAEtB,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/C,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,CAAC,CAAC,aAAa,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACvD,MAAM,QAAQ,GAAG,aAAa,IAAI,GAAG,WAAW,GAAG,0BAA0B,CAAC,OAAO,EAAE,CAAC;IAExF,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,oBAAoB;IACpB,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,EAAE,qBAAqB,CAAC,CAAC;IACzD,IAAI,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAEjC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,cAAc,OAAO,2BAA2B,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAEhG,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;AACzC,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,yBAAyB,CACvC,OAAe,EACf,GAAqB,EACrB,iBAA0B;IAE1B,MAAM,SAAS,GAAG,wBAAwB,CAAC,OAAO,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;IAC5E,OAAO,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC;AACxD,CAAC"}

package/dist/kanon/jit/builders/primitives/number.d.ts

@@ -0,0 +1,246 @@
+/**
+ * @module kanon/jit/builders/primitives/number
+ *
+ * Number Code Builder - Complete Implementation
+ *
+ * Generates inline JavaScript code for number type validation
+ * including all constraints: min, max, lt, lte, gt, gte, positive, negative,
+ * int, multipleOf.
+ *
+ * This file merges and extends number-base.ts with advanced constraints.
+ *
+ * @since 2.0.0
+ * @experimental
+ */
+import type { GeneratorContext } from "../../context";
+import { type CodeGenResult } from "../../utils/code";
+/**
+ * Number constraint metadata for JIT compilation.
+ * These are extracted from the schema's refinements for inline code generation.
+ *
+ * @since 2.0.0
+ */
+export interface NumberConstraintMeta {
+    /** Minimum value constraint (inclusive) */
+    min?: {
+        value: number;
+        message?: string;
+    };
+    /** Maximum value constraint (inclusive) */
+    max?: {
+        value: number;
+        message?: string;
+    };
+    /** Less than constraint (exclusive) */
+    lt?: {
+        value: number;
+        message?: string;
+    };
+    /** Less than or equal constraint (inclusive) */
+    lte?: {
+        value: number;
+        message?: string;
+    };
+    /** Greater than constraint (exclusive) */
+    gt?: {
+        value: number;
+        message?: string;
+    };
+    /** Greater than or equal constraint (inclusive) */
+    gte?: {
+        value: number;
+        message?: string;
+    };
+    /** Positive number constraint (> 0) */
+    positive?: {
+        message?: string;
+    };
+    /** Negative number constraint (< 0) */
+    negative?: {
+        message?: string;
+    };
+    /** Integer constraint */
+    int?: {
+        message?: string;
+    };
+    /** Multiple of constraint */
+    multipleOf?: {
+        value: number;
+        message?: string;
+    };
+}
+/**
+ * Generates the type check code for a number value.
+ * Includes NaN check as NaN is technically a number but invalid for validation.
+ *
+ * @param varName - The variable name to check
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ */
+export declare function generateNumberTypeCheck(varName: string, ctx: GeneratorContext, customMessage?: string): CodeGenResult;
+/**
+ * Generates inline code for the min constraint (inclusive).
+ *
+ * @param varName - The variable name to check
+ * @param min - Minimum value (inclusive)
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ */
+export declare function generateMinCheck(varName: string, min: number, ctx: GeneratorContext, customMessage?: string): CodeGenResult;
+/**
+ * Generates inline code for the max constraint (inclusive).
+ *
+ * @param varName - The variable name to check
+ * @param max - Maximum value (inclusive)
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ */
+export declare function generateMaxCheck(varName: string, max: number, ctx: GeneratorContext, customMessage?: string): CodeGenResult;
+/**
+ * Generates inline code for the lt constraint (exclusive less than).
+ *
+ * @param varName - The variable name to check
+ * @param lessThan - Upper bound (exclusive)
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ */
+export declare function generateLtCheck(varName: string, lessThan: number, ctx: GeneratorContext, customMessage?: string): CodeGenResult;
+/**
+ * Generates inline code for the lte constraint (inclusive less than or equal).
+ *
+ * @param varName - The variable name to check
+ * @param lessThanOrEqual - Upper bound (inclusive)
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ */
+export declare function generateLteCheck(varName: string, lessThanOrEqual: number, ctx: GeneratorContext, customMessage?: string): CodeGenResult;
+/**
+ * Generates inline code for the gt constraint (exclusive greater than).
+ *
+ * @param varName - The variable name to check
+ * @param greaterThan - Lower bound (exclusive)
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ */
+export declare function generateGtCheck(varName: string, greaterThan: number, ctx: GeneratorContext, customMessage?: string): CodeGenResult;
+/**
+ * Generates inline code for the gte constraint (inclusive greater than or equal).
+ *
+ * @param varName - The variable name to check
+ * @param greaterThanOrEqual - Lower bound (inclusive)
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ */
+export declare function generateGteCheck(varName: string, greaterThanOrEqual: number, ctx: GeneratorContext, customMessage?: string): CodeGenResult;
+/**
+ * Generates inline code for the positive constraint (value > 0).
+ *
+ * @param varName - The variable name to check
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const result = generatePositiveCheck("value", ctx);
+ * // result.code = 'if (value <= 0) return "Number must be positive";'
+ * ```
+ */
+export declare function generatePositiveCheck(varName: string, ctx: GeneratorContext, customMessage?: string): CodeGenResult;
+/**
+ * Generates inline code for the negative constraint (value < 0).
+ *
+ * @param varName - The variable name to check
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const result = generateNegativeCheck("value", ctx);
+ * // result.code = 'if (value >= 0) return "Number must be negative";'
+ * ```
+ */
+export declare function generateNegativeCheck(varName: string, ctx: GeneratorContext, customMessage?: string): CodeGenResult;
+/**
+ * Generates inline code for the integer constraint.
+ *
+ * @param varName - The variable name to check
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const result = generateIntCheck("value", ctx);
+ * // result.code = 'if (!Number.isInteger(value)) return "Number must be an integer";'
+ * ```
+ */
+export declare function generateIntCheck(varName: string, ctx: GeneratorContext, customMessage?: string): CodeGenResult;
+/**
+ * Generates inline code for the multipleOf constraint.
+ *
+ * Uses modulo operation to check if value is a multiple of the given divisor.
+ * Handles floating point precision issues by using a small epsilon for comparison.
+ *
+ * @param varName - The variable name to check
+ * @param divisor - The value that the number must be a multiple of
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const result = generateMultipleOfCheck("value", 5, ctx);
+ * // result.code = 'if (value % 5 !== 0) return "Number must be a multiple of 5";'
+ * ```
+ */
+export declare function generateMultipleOfCheck(varName: string, divisor: number, ctx: GeneratorContext, customMessage?: string): CodeGenResult;
+/**
+ * Generates complete validation code for a number schema with all constraints.
+ *
+ * @param varName - The variable name to validate
+ * @param ctx - The generator context
+ * @param constraints - Optional constraint metadata
+ * @param customTypeMessage - Optional custom type error message
+ * @returns Generated code lines and updated context
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const result = generateNumberValidation("value", ctx, {
+ *   min: { value: 0 },
+ *   max: { value: 100 },
+ *   int: {}
+ * });
+ * // result.code = [
+ * //   'if (typeof value !== "number" || Number.isNaN(value)) return "Expected number";',
+ * //   'if (value < 0) return "Number must be at least 0";',
+ * //   'if (value > 100) return "Number must be at most 100";',
+ * //   'if (!Number.isInteger(value)) return "Number must be an integer";'
+ * // ]
+ * ```
+ */
+export declare function generateNumberValidation(varName: string, ctx: GeneratorContext, constraints?: NumberConstraintMeta, customTypeMessage?: string): {
+    code: string[];
+    ctx: GeneratorContext;
+};
+//# sourceMappingURL=number.d.ts.map

package/dist/kanon/jit/builders/primitives/number.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"number.d.ts","sourceRoot":"","sources":["../../../../../src/kanon/jit/builders/primitives/number.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAEtD,OAAO,EAA8B,KAAK,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAGlF;;;;;GAKG;AACH,MAAM,WAAW,oBAAoB;IACnC,2CAA2C;IAC3C,GAAG,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1C,2CAA2C;IAC3C,GAAG,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1C,uCAAuC;IACvC,EAAE,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACzC,gDAAgD;IAChD,GAAG,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1C,0CAA0C;IAC1C,EAAE,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACzC,mDAAmD;IACnD,GAAG,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1C,uCAAuC;IACvC,QAAQ,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAChC,uCAAuC;IACvC,QAAQ,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAChC,yBAAyB;IACzB,GAAG,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAC3B,6BAA6B;IAC7B,UAAU,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CAClD;AAMD;;;;;;;;;GASG;AACH,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,gBAAgB,EACrB,aAAa,CAAC,EAAE,MAAM,GACrB,aAAa,CAef;AAED;;;;;;;;;GASG;AACH,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,MAAM,EACX,GAAG,EAAE,gBAAgB,EACrB,aAAa,CAAC,EAAE,MAAM,GACrB,aAAa,CAef;AAED;;;;;;;;;GASG;AACH,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,MAAM,EACX,GAAG,EAAE,gBAAgB,EACrB,aAAa,CAAC,EAAE,MAAM,GACrB,aAAa,CAef;AAED;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAC7B,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,EAChB,GAAG,EAAE,gBAAgB,EACrB,aAAa,CAAC,EAAE,MAAM,GACrB,aAAa,CAef;AAED;;;;;;;;;GASG;AACH,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,MAAM,EACf,eAAe,EAAE,MAAM,EACvB,GAAG,EAAE,gBAAgB,EACrB,aAAa,CAAC,EAAE,MAAM,GACrB,aAAa,CAgBf;AAED;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAC7B,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,MAAM,EACnB,GAAG,EAAE,gBAAgB,EACrB,aAAa,CAAC,EAAE,MAAM,GACrB,aAAa,CAef;AAED;;;;;;;;;GASG;AACH,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,MAAM,EACf,kBAAkB,EAAE,MAAM,EAC1B,GAAG,EAAE,gBAAgB,EACrB,aAAa,CAAC,EAAE,MAAM,GACrB,aAAa,CAgBf;AAMD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,gBAAgB,EACrB,aAAa,CAAC,EAAE,MAAM,GACrB,aAAa,CAef;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,gBAAgB,EACrB,aAAa,CAAC,EAAE,MAAM,GACrB,aAAa,CAef;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,gBAAgB,EACrB,aAAa,CAAC,EAAE,MAAM,GACrB,aAAa,CAef;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,gBAAgB,EACrB,aAAa,CAAC,EAAE,MAAM,GACrB,aAAa,CA2Bf;AAMD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,gBAAgB,EACrB,WAAW,CAAC,EAAE,oBAAoB,EAClC,iBAAiB,CAAC,EAAE,MAAM,GACzB;IAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,GAAG,EAAE,gBAAgB,CAAA;CAAE,CA+G3C"}