@pithos/core 2.0.0

package/dist/kanon/index.js

@@ -0,0 +1,62 @@
+/**
+ * Kanon V3 - Point d'entrée principal
+ *
+ * @since 2.0.0
+ */
+// Core parser
+export { parse, parseBulk } from "./core/parser";
+// Primitives
+export { any } from "./schemas/primitives/any";
+export { bigint } from "./schemas/primitives/bigint";
+export { boolean } from "./schemas/primitives/boolean";
+export { date } from "./schemas/primitives/date";
+export { int } from "./schemas/primitives/int";
+export { never } from "./schemas/primitives/never";
+export { null_ } from "./schemas/primitives/null";
+export { number } from "./schemas/primitives/number";
+export { string } from "./schemas/primitives/string";
+export { symbol } from "./schemas/primitives/symbol";
+export { undefined_ } from "./schemas/primitives/undefined";
+export { unknown } from "./schemas/primitives/unknown";
+export { void_ } from "./schemas/primitives/void";
+export { literal } from "./schemas/primitives/literal";
+// Enums
+export { enum_, numberEnum, booleanEnum, mixedEnum, } from "./schemas/primitives/enum";
+export { nativeEnum } from "./schemas/primitives/nativeEnum";
+// Composites
+export { object, strictObject, looseObject } from "./schemas/composites/object";
+export { array } from "./schemas/composites/array";
+export { record } from "./schemas/composites/record";
+export { tuple, tupleOf, tupleOf3, tupleOf4, tupleWithRest, } from "./schemas/composites/tuple";
+export { map } from "./schemas/composites/map";
+export { set } from "./schemas/composites/set";
+// Operators
+export { unionOf, unionOf3, unionOf4, discriminatedUnion, } from "./schemas/operators/union";
+export { intersection, intersection3 } from "./schemas/operators/intersection";
+// Wrappers
+export { optional } from "./schemas/wrappers/optional";
+export { nullable } from "./schemas/wrappers/nullable";
+export { nullish } from "./schemas/wrappers/nullish";
+export { default_, DefaultValues } from "./schemas/wrappers/default";
+export { readonly } from "./schemas/wrappers/readonly";
+export { lazy } from "./schemas/wrappers/lazy";
+// Transforms
+export { partial } from "./schemas/transforms/partial";
+export { required } from "./schemas/transforms/required";
+export { pick } from "./schemas/transforms/pick";
+export { omit } from "./schemas/transforms/omit";
+export { keyof } from "./schemas/transforms/keyof";
+// Coercion
+export { coerceString } from "./schemas/coerce/string";
+export { coerceNumber } from "./schemas/coerce/number";
+export { coerceBoolean } from "./schemas/coerce/boolean";
+export { coerceBigInt } from "./schemas/coerce/bigint";
+export { coerceDate } from "./schemas/coerce/date";
+export { hasTupleRest } from "./types/composites";
+export { isSchemaType, schemaGuards, isStringConstraint, isNumberConstraint, isArrayConstraint, isObjectConstraint, isDateConstraint, isBigIntConstraint, isSetConstraint, isMapConstraint } from "./types/guards";
+// Helpers
+export { k } from "./helpers/k";
+export { validation } from "./validation";
+// JIT Compiler
+export { compile, isJITAvailable, clearCache } from "./jit/compiler";
+//# sourceMappingURL=index.js.map

package/dist/kanon/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/kanon/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,cAAc;AACd,OAAO,EAAE,KAAK,EAAE,SAAS,EAAyB,MAAM,eAAe,CAAC;AAExE,aAAa;AACb,OAAO,EAAE,GAAG,EAAE,MAAM,0BAA0B,CAAC;AAC/C,OAAO,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AACrD,OAAO,EAAE,OAAO,EAAE,MAAM,8BAA8B,CAAC;AACvD,OAAO,EAAE,IAAI,EAAE,MAAM,2BAA2B,CAAC;AACjD,OAAO,EAAE,GAAG,EAAE,MAAM,0BAA0B,CAAC;AAC/C,OAAO,EAAE,KAAK,EAAE,MAAM,4BAA4B,CAAC;AACnD,OAAO,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAC;AAClD,OAAO,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AACrD,OAAO,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AACrD,OAAO,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AACrD,OAAO,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAC5D,OAAO,EAAE,OAAO,EAAE,MAAM,8BAA8B,CAAC;AACvD,OAAO,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAC;AAElD,OAAO,EAAE,OAAO,EAAE,MAAM,8BAA8B,CAAC;AAEvD,QAAQ;AACR,OAAO,EACL,KAAK,EACL,UAAU,EACV,WAAW,EACX,SAAS,GACV,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAE7D,aAAa;AACb,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAChF,OAAO,EAAE,KAAK,EAAE,MAAM,4BAA4B,CAAC;AACnD,OAAO,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AACrD,OAAO,EACL,KAAK,EACL,OAAO,EACP,QAAQ,EACR,QAAQ,EACR,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,MAAM,0BAA0B,CAAC;AAC/C,OAAO,EAAE,GAAG,EAAE,MAAM,0BAA0B,CAAC;AAE/C,YAAY;AACZ,OAAO,EACL,OAAO,EACP,QAAQ,EACR,QAAQ,EACR,kBAAkB,GACnB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAC;AAE/E,WAAW;AACX,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AACrD,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAC;AAE/C,aAAa;AACb,OAAO,EAAE,OAAO,EAAE,MAAM,8BAA8B,CAAC;AACvD,OAAO,EAAE,QAAQ,EAAE,MAAM,+BAA+B,CAAC;AACzD,OAAO,EAAE,IAAI,EAAE,MAAM,2BAA2B,CAAC;AACjD,OAAO,EAAE,IAAI,EAAE,MAAM,2BAA2B,CAAC;AACjD,OAAO,EAAE,KAAK,EAAE,MAAM,4BAA4B,CAAC;AAEnD,WAAW;AACX,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AA8CnD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAoBlD,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAGnN,UAAU;AACV,OAAO,EAAE,CAAC,EAAE,MAAM,aAAa,CAAC;AAChC,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE1C,eAAe;AACf,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/kanon/jit/builders/coerce.d.ts

@@ -0,0 +1,175 @@
+/**
+ * @module kanon/jit/builders/coerce
+ *
+ * Coerce Code Builder
+ *
+ * Generates inline JavaScript code for coercion type validation.
+ * Supports coerce.string, coerce.number, coerce.boolean, and coerce.date.
+ *
+ * Coercion schemas transform input values to the target type and return
+ * `{ coerced: value }` for successful coercions.
+ *
+ * @since 2.0.0
+ * @experimental
+ */
+import type { GeneratorContext } from "../context";
+import { type CodeGenResult } from "../utils/code";
+/**
+ * Generates inline code for coerce.string().
+ *
+ * If the value is already a string, returns true.
+ * Otherwise, converts to string using String(value) and returns `{ coerced: result }`.
+ *
+ * @param varName - The variable name to coerce
+ * @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 = generateCoerceStringCheck("value", ctx);
+ * // Generated code:
+ * // if (typeof value === "string") return true;
+ * // try { return { coerced: String(value) }; } catch { return "Cannot coerce to string"; }
+ * ```
+ */
+export declare function generateCoerceStringCheck(varName: string, ctx: GeneratorContext, customMessage?: string): CodeGenResult;
+/**
+ * Generates inline code for coerce.number().
+ *
+ * If the value is already a valid number (not NaN), returns true.
+ * Otherwise, converts to number using Number(value) with NaN check.
+ * Returns `{ coerced: result }` for successful coercions.
+ *
+ * @param varName - The variable name to coerce
+ * @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 = generateCoerceNumberCheck("value", ctx);
+ * // Generated code handles:
+ * // - Already a number: return true
+ * // - Boolean: coerce to 0/1
+ * // - Empty string: coerce to 0
+ * // - Other: try Number(value) with NaN check
+ * ```
+ */
+export declare function generateCoerceNumberCheck(varName: string, ctx: GeneratorContext, customMessage?: string): CodeGenResult;
+/**
+ * Generates inline code for coerce.boolean().
+ *
+ * If the value is already a boolean, returns true.
+ * Otherwise, converts to boolean using Boolean(value) and returns `{ coerced: result }`.
+ * Boolean coercion never fails - any value can be coerced to boolean.
+ *
+ * @param varName - The variable name to coerce
+ * @param ctx - The generator context
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const result = generateCoerceBooleanCheck("value", ctx);
+ * // Generated code:
+ * // if (typeof value === "boolean") return true;
+ * // return { coerced: Boolean(value) };
+ * ```
+ */
+export declare function generateCoerceBooleanCheck(varName: string, ctx: GeneratorContext): CodeGenResult;
+/**
+ * Generates inline code for coerce.date().
+ *
+ * If the value is already a valid Date, returns true.
+ * Otherwise, attempts to convert to Date with special handling for:
+ * - null: returns error (cannot convert null to Date)
+ * - undefined: returns error (cannot convert undefined to Date)
+ * - number: new Date(value)
+ * - string: new Date(value)
+ * - boolean: new Date(value ? 1 : 0)
+ * - other: new Date(String(value))
+ *
+ * Returns `{ coerced: result }` for successful coercions, error string otherwise.
+ *
+ * @param varName - The variable name to coerce
+ * @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 = generateCoerceDateCheck("value", ctx);
+ * // Generated code handles various input types and validates the resulting Date
+ * ```
+ */
+export declare function generateCoerceDateCheck(varName: string, ctx: GeneratorContext, customMessage?: string): CodeGenResult;
+/**
+ * Generates complete validation code for a coerce.string schema.
+ *
+ * @param varName - The variable name to validate
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code lines and updated context
+ * @since 2.0.0
+ */
+export declare function generateCoerceStringValidation(varName: string, ctx: GeneratorContext, customMessage?: string): {
+    code: string[];
+    ctx: GeneratorContext;
+};
+/**
+ * Generates complete validation code for a coerce.number schema.
+ *
+ * @param varName - The variable name to validate
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code lines and updated context
+ * @since 2.0.0
+ */
+export declare function generateCoerceNumberValidation(varName: string, ctx: GeneratorContext, customMessage?: string): {
+    code: string[];
+    ctx: GeneratorContext;
+};
+/**
+ * Generates complete validation code for a coerce.boolean schema.
+ *
+ * @param varName - The variable name to validate
+ * @param ctx - The generator context
+ * @returns Generated code lines and updated context
+ * @since 2.0.0
+ */
+export declare function generateCoerceBooleanValidation(varName: string, ctx: GeneratorContext): {
+    code: string[];
+    ctx: GeneratorContext;
+};
+/**
+ * Generates complete validation code for a coerce.date schema.
+ *
+ * @param varName - The variable name to validate
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code lines and updated context
+ * @since 2.0.0
+ */
+export declare function generateCoerceDateValidation(varName: string, ctx: GeneratorContext, customMessage?: string): {
+    code: string[];
+    ctx: GeneratorContext;
+};
+/**
+ * Coercion type for schema detection.
+ *
+ * @since 2.0.0
+ */
+export type CoerceType = "coerce_string" | "coerce_number" | "coerce_boolean" | "coerce_date";
+/**
+ * Checks if a schema type is a coercion type.
+ *
+ * @param type - The schema type to check
+ * @returns True if the type is a coercion type
+ * @since 2.0.0
+ */
+export declare function isCoerceType(type: string): type is CoerceType;
+//# sourceMappingURL=coerce.d.ts.map

package/dist/kanon/jit/builders/coerce.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coerce.d.ts","sourceRoot":"","sources":["../../../../src/kanon/jit/builders/coerce.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAEnD,OAAO,EAAgB,KAAK,aAAa,EAAE,MAAM,eAAe,CAAC;AAmBjE;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,gBAAgB,EACrB,aAAa,CAAC,EAAE,MAAM,GACrB,aAAa,CAcf;AAMD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,gBAAgB,EACrB,aAAa,CAAC,EAAE,MAAM,GACrB,aAAa,CAsBf;AAMD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,0BAA0B,CACxC,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,gBAAgB,GACpB,aAAa,CAUf;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,gBAAgB,EACrB,aAAa,CAAC,EAAE,MAAM,GACrB,aAAa,CA4Bf;AAMD;;;;;;;;GAQG;AACH,wBAAgB,8BAA8B,CAC5C,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,gBAAgB,EACrB,aAAa,CAAC,EAAE,MAAM,GACrB;IAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,GAAG,EAAE,gBAAgB,CAAA;CAAE,CAG3C;AAED;;;;;;;;GAQG;AACH,wBAAgB,8BAA8B,CAC5C,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,gBAAgB,EACrB,aAAa,CAAC,EAAE,MAAM,GACrB;IAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,GAAG,EAAE,gBAAgB,CAAA;CAAE,CAG3C;AAED;;;;;;;GAOG;AACH,wBAAgB,+BAA+B,CAC7C,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,gBAAgB,GACpB;IAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,GAAG,EAAE,gBAAgB,CAAA;CAAE,CAG3C;AAED;;;;;;;;GAQG;AACH,wBAAgB,4BAA4B,CAC1C,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,gBAAgB,EACrB,aAAa,CAAC,EAAE,MAAM,GACrB;IAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,GAAG,EAAE,gBAAgB,CAAA;CAAE,CAG3C;AAED;;;;GAIG;AACH,MAAM,MAAM,UAAU,GAAG,eAAe,GAAG,eAAe,GAAG,gBAAgB,GAAG,aAAa,CAAC;AAE9F;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,IAAI,UAAU,CAO7D"}

package/dist/kanon/jit/builders/coerce.js

@@ -0,0 +1,266 @@
+/**
+ * @module kanon/jit/builders/coerce
+ *
+ * Coerce Code Builder
+ *
+ * Generates inline JavaScript code for coercion type validation.
+ * Supports coerce.string, coerce.number, coerce.boolean, and coerce.date.
+ *
+ * Coercion schemas transform input values to the target type and return
+ * `{ coerced: value }` for successful coercions.
+ *
+ * @since 2.0.0
+ * @experimental
+ */
+import { formatPath, getIndent } from "../context";
+import { escapeString } from "../utils/code";
+// ============================================================================
+// Error messages (matching core/consts/messages.ts)
+// ============================================================================
+const COERCE_ERRORS = {
+    string: "Cannot coerce to string",
+    number: "Cannot coerce to number",
+    date: "Cannot coerce to date",
+    invalidDate: "Invalid date",
+    nullToDate: "Cannot convert null to Date",
+    undefinedToDate: "Cannot convert undefined to Date",
+};
+// ============================================================================
+// Coerce String
+// ============================================================================
+/**
+ * Generates inline code for coerce.string().
+ *
+ * If the value is already a string, returns true.
+ * Otherwise, converts to string using String(value) and returns `{ coerced: result }`.
+ *
+ * @param varName - The variable name to coerce
+ * @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 = generateCoerceStringCheck("value", ctx);
+ * // Generated code:
+ * // if (typeof value === "string") return true;
+ * // try { return { coerced: String(value) }; } catch { return "Cannot coerce to string"; }
+ * ```
+ */
+export function generateCoerceStringCheck(varName, ctx, customMessage) {
+    const indent = ctx.debug ? getIndent(ctx) : "";
+    const path = formatPath(ctx);
+    const errorPrefix = path ? `Property '${path}': ` : "";
+    const errorMsg = customMessage ?? `${errorPrefix}${COERCE_ERRORS.string}`;
+    // If already a string, return true (no coercion needed)
+    // Otherwise, try to coerce with String() and return { coerced: result }
+    const code = [
+        `${indent}if (typeof ${varName} === "string") return true;`,
+        `${indent}try { return { coerced: String(${varName}) }; } catch { return "${escapeString(errorMsg)}"; }`,
+    ].join("\n");
+    return { code, ctx };
+}
+// ============================================================================
+// Coerce Number
+// ============================================================================
+/**
+ * Generates inline code for coerce.number().
+ *
+ * If the value is already a valid number (not NaN), returns true.
+ * Otherwise, converts to number using Number(value) with NaN check.
+ * Returns `{ coerced: result }` for successful coercions.
+ *
+ * @param varName - The variable name to coerce
+ * @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 = generateCoerceNumberCheck("value", ctx);
+ * // Generated code handles:
+ * // - Already a number: return true
+ * // - Boolean: coerce to 0/1
+ * // - Empty string: coerce to 0
+ * // - Other: try Number(value) with NaN check
+ * ```
+ */
+export function generateCoerceNumberCheck(varName, ctx, customMessage) {
+    const indent = ctx.debug ? getIndent(ctx) : "";
+    const path = formatPath(ctx);
+    const errorPrefix = path ? `Property '${path}': ` : "";
+    const errorMsg = customMessage ?? `${errorPrefix}${COERCE_ERRORS.number}`;
+    // Generate code that matches the coerceNumber implementation:
+    // 1. If already a valid number, return true
+    // 2. If boolean, coerce to 0/1
+    // 3. If empty string, coerce to 0
+    // 4. Otherwise, try Number() with NaN check
+    const code = [
+        `${indent}if (typeof ${varName} === "number" && !Number.isNaN(${varName})) return true;`,
+        `${indent}var coerced_num;`,
+        `${indent}if (typeof ${varName} === "boolean") { coerced_num = ${varName} ? 1 : 0; }`,
+        `${indent}else if (${varName} === "") { coerced_num = 0; }`,
+        `${indent}else { try { coerced_num = Number(${varName}); } catch { return "${escapeString(errorMsg)}"; } }`,
+        `${indent}if (Number.isNaN(coerced_num)) return "${escapeString(errorMsg)}";`,
+        `${indent}return { coerced: coerced_num };`,
+    ].join("\n");
+    return { code, ctx };
+}
+// ============================================================================
+// Coerce Boolean
+// ============================================================================
+/**
+ * Generates inline code for coerce.boolean().
+ *
+ * If the value is already a boolean, returns true.
+ * Otherwise, converts to boolean using Boolean(value) and returns `{ coerced: result }`.
+ * Boolean coercion never fails - any value can be coerced to boolean.
+ *
+ * @param varName - The variable name to coerce
+ * @param ctx - The generator context
+ * @returns Generated code and updated context
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const result = generateCoerceBooleanCheck("value", ctx);
+ * // Generated code:
+ * // if (typeof value === "boolean") return true;
+ * // return { coerced: Boolean(value) };
+ * ```
+ */
+export function generateCoerceBooleanCheck(varName, ctx) {
+    const indent = ctx.debug ? getIndent(ctx) : "";
+    // Boolean coercion never fails - any value can be coerced to boolean
+    const code = [
+        `${indent}if (typeof ${varName} === "boolean") return true;`,
+        `${indent}return { coerced: Boolean(${varName}) };`,
+    ].join("\n");
+    return { code, ctx };
+}
+// ============================================================================
+// Coerce Date
+// ============================================================================
+/**
+ * Generates inline code for coerce.date().
+ *
+ * If the value is already a valid Date, returns true.
+ * Otherwise, attempts to convert to Date with special handling for:
+ * - null: returns error (cannot convert null to Date)
+ * - undefined: returns error (cannot convert undefined to Date)
+ * - number: new Date(value)
+ * - string: new Date(value)
+ * - boolean: new Date(value ? 1 : 0)
+ * - other: new Date(String(value))
+ *
+ * Returns `{ coerced: result }` for successful coercions, error string otherwise.
+ *
+ * @param varName - The variable name to coerce
+ * @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 = generateCoerceDateCheck("value", ctx);
+ * // Generated code handles various input types and validates the resulting Date
+ * ```
+ */
+export function generateCoerceDateCheck(varName, ctx, customMessage) {
+    const indent = ctx.debug ? getIndent(ctx) : "";
+    const path = formatPath(ctx);
+    const errorPrefix = path ? `Property '${path}': ` : "";
+    const invalidDateMsg = customMessage ?? `${errorPrefix}${COERCE_ERRORS.invalidDate}`;
+    const nullMsg = `${errorPrefix}${COERCE_ERRORS.nullToDate}`;
+    const undefinedMsg = `${errorPrefix}${COERCE_ERRORS.undefinedToDate}`;
+    // Generate code that matches the coerceDate implementation:
+    // 1. If already a valid Date, return true
+    // 2. Handle null and undefined specially (return error)
+    // 3. Handle number, string, boolean
+    // 4. For other types, try String() conversion
+    // 5. Validate the resulting Date (check for Invalid Date)
+    const code = [
+        `${indent}if (${varName} instanceof Date && !Number.isNaN(${varName}.getTime())) return true;`,
+        `${indent}var coerced_date;`,
+        `${indent}if (${varName} === null) return "${escapeString(nullMsg)}";`,
+        `${indent}if (${varName} === undefined) return "${escapeString(undefinedMsg)}";`,
+        `${indent}if (typeof ${varName} === "number") { coerced_date = new Date(${varName}); }`,
+        `${indent}else if (typeof ${varName} === "string") { coerced_date = new Date(${varName}); }`,
+        `${indent}else if (typeof ${varName} === "boolean") { coerced_date = new Date(${varName} ? 1 : 0); }`,
+        `${indent}else { try { coerced_date = new Date(String(${varName})); } catch { return "${escapeString(invalidDateMsg)}"; } }`,
+        `${indent}if (Number.isNaN(coerced_date.getTime())) return "${escapeString(invalidDateMsg)}";`,
+        `${indent}return { coerced: coerced_date };`,
+    ].join("\n");
+    return { code, ctx };
+}
+// ============================================================================
+// Complete validation generators
+// ============================================================================
+/**
+ * Generates complete validation code for a coerce.string schema.
+ *
+ * @param varName - The variable name to validate
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code lines and updated context
+ * @since 2.0.0
+ */
+export function generateCoerceStringValidation(varName, ctx, customMessage) {
+    const result = generateCoerceStringCheck(varName, ctx, customMessage);
+    return { code: [result.code], ctx: result.ctx };
+}
+/**
+ * Generates complete validation code for a coerce.number schema.
+ *
+ * @param varName - The variable name to validate
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code lines and updated context
+ * @since 2.0.0
+ */
+export function generateCoerceNumberValidation(varName, ctx, customMessage) {
+    const result = generateCoerceNumberCheck(varName, ctx, customMessage);
+    return { code: [result.code], ctx: result.ctx };
+}
+/**
+ * Generates complete validation code for a coerce.boolean schema.
+ *
+ * @param varName - The variable name to validate
+ * @param ctx - The generator context
+ * @returns Generated code lines and updated context
+ * @since 2.0.0
+ */
+export function generateCoerceBooleanValidation(varName, ctx) {
+    const result = generateCoerceBooleanCheck(varName, ctx);
+    return { code: [result.code], ctx: result.ctx };
+}
+/**
+ * Generates complete validation code for a coerce.date schema.
+ *
+ * @param varName - The variable name to validate
+ * @param ctx - The generator context
+ * @param customMessage - Optional custom error message
+ * @returns Generated code lines and updated context
+ * @since 2.0.0
+ */
+export function generateCoerceDateValidation(varName, ctx, customMessage) {
+    const result = generateCoerceDateCheck(varName, ctx, customMessage);
+    return { code: [result.code], ctx: result.ctx };
+}
+/**
+ * Checks if a schema type is a coercion type.
+ *
+ * @param type - The schema type to check
+ * @returns True if the type is a coercion type
+ * @since 2.0.0
+ */
+export function isCoerceType(type) {
+    return (type === "coerce_string" ||
+        type === "coerce_number" ||
+        type === "coerce_boolean" ||
+        type === "coerce_date");
+}
+//# sourceMappingURL=coerce.js.map

package/dist/kanon/jit/builders/coerce.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coerce.js","sourceRoot":"","sources":["../../../../src/kanon/jit/builders/coerce.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACnD,OAAO,EAAE,YAAY,EAAsB,MAAM,eAAe,CAAC;AAEjE,+EAA+E;AAC/E,oDAAoD;AACpD,+EAA+E;AAE/E,MAAM,aAAa,GAAG;IACpB,MAAM,EAAE,yBAAyB;IACjC,MAAM,EAAE,yBAAyB;IACjC,IAAI,EAAE,uBAAuB;IAC7B,WAAW,EAAE,cAAc;IAC3B,UAAU,EAAE,6BAA6B;IACzC,eAAe,EAAE,kCAAkC;CAC3C,CAAC;AAEX,+EAA+E;AAC/E,gBAAgB;AAChB,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,yBAAyB,CACvC,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,aAAa,CAAC,MAAM,EAAE,CAAC;IAE1E,wDAAwD;IACxD,wEAAwE;IACxE,MAAM,IAAI,GAAG;QACX,GAAG,MAAM,cAAc,OAAO,6BAA6B;QAC3D,GAAG,MAAM,kCAAkC,OAAO,0BAA0B,YAAY,CAAC,QAAQ,CAAC,MAAM;KACzG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACvB,CAAC;AAED,+EAA+E;AAC/E,gBAAgB;AAChB,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,yBAAyB,CACvC,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,aAAa,CAAC,MAAM,EAAE,CAAC;IAE1E,8DAA8D;IAC9D,4CAA4C;IAC5C,+BAA+B;IAC/B,kCAAkC;IAClC,4CAA4C;IAC5C,MAAM,IAAI,GAAG;QACX,GAAG,MAAM,cAAc,OAAO,kCAAkC,OAAO,iBAAiB;QACxF,GAAG,MAAM,kBAAkB;QAC3B,GAAG,MAAM,cAAc,OAAO,mCAAmC,OAAO,aAAa;QACrF,GAAG,MAAM,YAAY,OAAO,+BAA+B;QAC3D,GAAG,MAAM,qCAAqC,OAAO,wBAAwB,YAAY,CAAC,QAAQ,CAAC,QAAQ;QAC3G,GAAG,MAAM,0CAA0C,YAAY,CAAC,QAAQ,CAAC,IAAI;QAC7E,GAAG,MAAM,kCAAkC;KAC5C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACvB,CAAC;AAED,+EAA+E;AAC/E,iBAAiB;AACjB,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,0BAA0B,CACxC,OAAe,EACf,GAAqB;IAErB,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAE/C,qEAAqE;IACrE,MAAM,IAAI,GAAG;QACX,GAAG,MAAM,cAAc,OAAO,8BAA8B;QAC5D,GAAG,MAAM,6BAA6B,OAAO,MAAM;KACpD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACvB,CAAC;AAED,+EAA+E;AAC/E,cAAc;AACd,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,UAAU,uBAAuB,CACrC,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,cAAc,GAAG,aAAa,IAAI,GAAG,WAAW,GAAG,aAAa,CAAC,WAAW,EAAE,CAAC;IACrF,MAAM,OAAO,GAAG,GAAG,WAAW,GAAG,aAAa,CAAC,UAAU,EAAE,CAAC;IAC5D,MAAM,YAAY,GAAG,GAAG,WAAW,GAAG,aAAa,CAAC,eAAe,EAAE,CAAC;IAEtE,4DAA4D;IAC5D,0CAA0C;IAC1C,wDAAwD;IACxD,oCAAoC;IACpC,8CAA8C;IAC9C,0DAA0D;IAC1D,MAAM,IAAI,GAAG;QACX,GAAG,MAAM,OAAO,OAAO,qCAAqC,OAAO,2BAA2B;QAC9F,GAAG,MAAM,mBAAmB;QAC5B,GAAG,MAAM,OAAO,OAAO,sBAAsB,YAAY,CAAC,OAAO,CAAC,IAAI;QACtE,GAAG,MAAM,OAAO,OAAO,2BAA2B,YAAY,CAAC,YAAY,CAAC,IAAI;QAChF,GAAG,MAAM,cAAc,OAAO,4CAA4C,OAAO,MAAM;QACvF,GAAG,MAAM,mBAAmB,OAAO,4CAA4C,OAAO,MAAM;QAC5F,GAAG,MAAM,mBAAmB,OAAO,6CAA6C,OAAO,cAAc;QACrG,GAAG,MAAM,+CAA+C,OAAO,yBAAyB,YAAY,CAAC,cAAc,CAAC,QAAQ;QAC5H,GAAG,MAAM,qDAAqD,YAAY,CAAC,cAAc,CAAC,IAAI;QAC9F,GAAG,MAAM,mCAAmC;KAC7C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACvB,CAAC;AAED,+EAA+E;AAC/E,iCAAiC;AACjC,+EAA+E;AAE/E;;;;;;;;GAQG;AACH,MAAM,UAAU,8BAA8B,CAC5C,OAAe,EACf,GAAqB,EACrB,aAAsB;IAEtB,MAAM,MAAM,GAAG,yBAAyB,CAAC,OAAO,EAAE,GAAG,EAAE,aAAa,CAAC,CAAC;IACtE,OAAO,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC;AAClD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,8BAA8B,CAC5C,OAAe,EACf,GAAqB,EACrB,aAAsB;IAEtB,MAAM,MAAM,GAAG,yBAAyB,CAAC,OAAO,EAAE,GAAG,EAAE,aAAa,CAAC,CAAC;IACtE,OAAO,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC;AAClD,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,+BAA+B,CAC7C,OAAe,EACf,GAAqB;IAErB,MAAM,MAAM,GAAG,0BAA0B,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACxD,OAAO,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC;AAClD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,4BAA4B,CAC1C,OAAe,EACf,GAAqB,EACrB,aAAsB;IAEtB,MAAM,MAAM,GAAG,uBAAuB,CAAC,OAAO,EAAE,GAAG,EAAE,aAAa,CAAC,CAAC;IACpE,OAAO,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC;AAClD,CAAC;AASD;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,OAAO,CACL,IAAI,KAAK,eAAe;QACxB,IAAI,KAAK,eAAe;QACxB,IAAI,KAAK,gBAAgB;QACzB,IAAI,KAAK,aAAa,CACvB,CAAC;AACJ,CAAC"}