@pithos/core 2.0.0

package/dist/kanon/jit/context.d.ts

@@ -0,0 +1,204 @@
+/**
+ * @module kanon/jit/context
+ *
+ * Generator Context for JIT Compilation
+ *
+ * Provides the context needed during code generation, including:
+ * - Variable name generation
+ * - Path tracking for error messages
+ * - External function references (refinements)
+ * - Debug mode settings
+ * - Cycle detection
+ *
+ * @since 2.0.0
+ * @experimental
+ */
+import type { GenericSchema } from "../types/base";
+/**
+ * Type for external values that can be stored in the context.
+ * Can be either a refinement function or a RegExp pattern.
+ *
+ * @since 2.0.0
+ */
+export type ExternalValue = ((value: unknown) => boolean | string) | RegExp;
+/**
+ * Context used during code generation.
+ *
+ * This interface defines the state maintained while generating
+ * validation code for a schema.
+ *
+ * @since 2.0.0
+ */
+export interface GeneratorContext {
+    /** Counter for generating unique variable names */
+    readonly varCounter: number;
+    /** Current indentation level (for debug mode) */
+    readonly indent: number;
+    /** Current path in the object (for error messages) */
+    readonly path: readonly string[];
+    /** Map of external values (refinements or regex patterns) to be injected */
+    readonly externals: Map<string, ExternalValue>;
+    /** Whether debug mode is enabled (readable code with comments) */
+    readonly debug: boolean;
+    /** Set of schemas already visited (for cycle detection) */
+    readonly visited: WeakSet<GenericSchema>;
+}
+/**
+ * Options for creating a new generator context.
+ *
+ * @since 2.0.0
+ */
+export interface GeneratorContextOptions {
+    /** Enable debug mode for readable code */
+    debug?: boolean;
+}
+/**
+ * Creates a new generator context with default values.
+ *
+ * @param options - Optional configuration
+ * @returns A new GeneratorContext instance
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const ctx = createGeneratorContext({ debug: true });
+ * const varName = nextVar(ctx); // "v_0"
+ * ```
+ */
+export declare function createGeneratorContext(options?: GeneratorContextOptions): GeneratorContext;
+/**
+ * Generates the next unique variable name and returns updated context.
+ *
+ * @param ctx - The current context
+ * @returns A tuple of [variableName, updatedContext]
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const [varName, newCtx] = nextVar(ctx);
+ * // varName = "v_0", newCtx.varCounter = 1
+ * ```
+ */
+export declare function nextVar(ctx: GeneratorContext): [string, GeneratorContext];
+/**
+ * Pushes a path segment and returns updated context.
+ *
+ * Used to track the current location in nested objects for error messages.
+ *
+ * @param ctx - The current context
+ * @param segment - The path segment to add (property name or index)
+ * @returns Updated context with the new path
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const ctx1 = pushPath(ctx, "user");
+ * const ctx2 = pushPath(ctx1, "address");
+ * // ctx2.path = ["user", "address"]
+ * ```
+ */
+export declare function pushPath(ctx: GeneratorContext, segment: string): GeneratorContext;
+/**
+ * Pops the last path segment and returns updated context.
+ *
+ * @param ctx - The current context
+ * @returns Updated context with the last path segment removed
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * // ctx.path = ["user", "address"]
+ * const newCtx = popPath(ctx);
+ * // newCtx.path = ["user"]
+ * ```
+ */
+export declare function popPath(ctx: GeneratorContext): GeneratorContext;
+/**
+ * Adds an external value (refinement function or regex pattern) and returns its reference name.
+ *
+ * External values are stored in the context and injected at runtime.
+ * This is necessary because refinement functions and regex patterns cannot be inlined.
+ *
+ * @param ctx - The current context
+ * @param value - The external value to add (function or RegExp)
+ * @returns A tuple of [referenceName, updatedContext]
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * // Adding a refinement function
+ * const isValidSlug = (value: string) => /^[a-z0-9-]+$/.test(value);
+ * const [refName, newCtx] = addExternal(ctx, isValidSlug);
+ * // refName = "ref_0"
+ * // Generated code: `if (!externals.get("ref_0")(value)) return "...";`
+ *
+ * // Adding a regex pattern
+ * const [refName2, newCtx2] = addExternal(ctx, /^[a-z]+$/);
+ * // Generated code: `if (!externals.get("ref_0").test(value)) return "...";`
+ * ```
+ */
+export declare function addExternal(ctx: GeneratorContext, value: ExternalValue): [string, GeneratorContext];
+/**
+ * Marks a schema as visited for cycle detection.
+ *
+ * Note: Since WeakSet is not iterable, we cannot create a copy.
+ * Instead, we mutate the existing WeakSet. This is acceptable because
+ * the visited set is only used during a single compilation pass.
+ *
+ * @param ctx - The current context
+ * @param schema - The schema being visited
+ * @returns Updated context with the schema marked as visited
+ * @since 2.0.0
+ */
+export declare function markVisited(ctx: GeneratorContext, schema: GenericSchema): GeneratorContext;
+/**
+ * Checks if a schema has already been visited (cycle detection).
+ *
+ * @param ctx - The current context
+ * @param schema - The schema to check
+ * @returns true if the schema was already visited
+ * @since 2.0.0
+ */
+export declare function hasVisited(ctx: GeneratorContext, schema: GenericSchema): boolean;
+/**
+ * Increases the indentation level (for debug mode).
+ *
+ * @param ctx - The current context
+ * @returns Updated context with increased indentation
+ * @since 2.0.0
+ */
+export declare function increaseIndent(ctx: GeneratorContext): GeneratorContext;
+/**
+ * Decreases the indentation level (for debug mode).
+ *
+ * @param ctx - The current context
+ * @returns Updated context with decreased indentation
+ * @since 2.0.0
+ */
+export declare function decreaseIndent(ctx: GeneratorContext): GeneratorContext;
+/**
+ * Gets the current indentation string (for debug mode).
+ *
+ * @param ctx - The current context
+ * @returns Indentation string (2 spaces per level)
+ * @since 2.0.0
+ */
+export declare function getIndent(ctx: GeneratorContext): string;
+/**
+ * Formats the current path as a string for error messages.
+ *
+ * @param ctx - The current context
+ * @returns Formatted path string
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * // ctx.path = ["user", "address", "city"]
+ * formatPath(ctx); // "user.address.city"
+ *
+ * // ctx.path = ["items", "0", "name"]
+ * formatPath(ctx); // "items[0].name"
+ * ```
+ */
+export declare function formatPath(ctx: GeneratorContext): string;
+//# sourceMappingURL=context.d.ts.map

package/dist/kanon/jit/context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../../src/kanon/jit/context.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAEnD;;;;;GAKG;AACH,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,GAAG,MAAM,CAAC,GAAG,MAAM,CAAC;AAE5E;;;;;;;GAOG;AACH,MAAM,WAAW,gBAAgB;IAC/B,mDAAmD;IACnD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAE5B,iDAAiD;IACjD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAExB,sDAAsD;IACtD,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IAEjC,4EAA4E;IAC5E,QAAQ,CAAC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAE/C,kEAAkE;IAClE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IAExB,2DAA2D;IAC3D,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;CAC1C;AAED;;;;GAIG;AACH,MAAM,WAAW,uBAAuB;IACtC,0CAA0C;IAC1C,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,sBAAsB,CACpC,OAAO,CAAC,EAAE,uBAAuB,GAChC,gBAAgB,CASlB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,OAAO,CAAC,GAAG,EAAE,gBAAgB,GAAG,CAAC,MAAM,EAAE,gBAAgB,CAAC,CASzE;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,QAAQ,CAAC,GAAG,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,GAAG,gBAAgB,CAKjF;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,OAAO,CAAC,GAAG,EAAE,gBAAgB,GAAG,gBAAgB,CAK/D;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,wBAAgB,WAAW,CACzB,GAAG,EAAE,gBAAgB,EACrB,KAAK,EAAE,aAAa,GACnB,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAY5B;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,WAAW,CACzB,GAAG,EAAE,gBAAgB,EACrB,MAAM,EAAE,aAAa,GACpB,gBAAgB,CAKlB;AAED;;;;;;;GAOG;AACH,wBAAgB,UAAU,CACxB,GAAG,EAAE,gBAAgB,EACrB,MAAM,EAAE,aAAa,GACpB,OAAO,CAET;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,gBAAgB,GAAG,gBAAgB,CAKtE;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,gBAAgB,GAAG,gBAAgB,CAKtE;AAED;;;;;;GAMG;AACH,wBAAgB,SAAS,CAAC,GAAG,EAAE,gBAAgB,GAAG,MAAM,CAEvD;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,gBAAgB,GAAG,MAAM,CAexD"}

package/dist/kanon/jit/context.js

@@ -0,0 +1,238 @@
+/**
+ * @module kanon/jit/context
+ *
+ * Generator Context for JIT Compilation
+ *
+ * Provides the context needed during code generation, including:
+ * - Variable name generation
+ * - Path tracking for error messages
+ * - External function references (refinements)
+ * - Debug mode settings
+ * - Cycle detection
+ *
+ * @since 2.0.0
+ * @experimental
+ */
+/**
+ * Creates a new generator context with default values.
+ *
+ * @param options - Optional configuration
+ * @returns A new GeneratorContext instance
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const ctx = createGeneratorContext({ debug: true });
+ * const varName = nextVar(ctx); // "v_0"
+ * ```
+ */
+export function createGeneratorContext(options) {
+    return {
+        varCounter: 0,
+        indent: 0,
+        path: [],
+        externals: new Map(),
+        debug: options?.debug ?? false,
+        visited: new WeakSet(),
+    };
+}
+/**
+ * Generates the next unique variable name and returns updated context.
+ *
+ * @param ctx - The current context
+ * @returns A tuple of [variableName, updatedContext]
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const [varName, newCtx] = nextVar(ctx);
+ * // varName = "v_0", newCtx.varCounter = 1
+ * ```
+ */
+export function nextVar(ctx) {
+    const varName = `v_${ctx.varCounter}`;
+    return [
+        varName,
+        {
+            ...ctx,
+            varCounter: ctx.varCounter + 1,
+        },
+    ];
+}
+/**
+ * Pushes a path segment and returns updated context.
+ *
+ * Used to track the current location in nested objects for error messages.
+ *
+ * @param ctx - The current context
+ * @param segment - The path segment to add (property name or index)
+ * @returns Updated context with the new path
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * const ctx1 = pushPath(ctx, "user");
+ * const ctx2 = pushPath(ctx1, "address");
+ * // ctx2.path = ["user", "address"]
+ * ```
+ */
+export function pushPath(ctx, segment) {
+    return {
+        ...ctx,
+        path: [...ctx.path, segment],
+    };
+}
+/**
+ * Pops the last path segment and returns updated context.
+ *
+ * @param ctx - The current context
+ * @returns Updated context with the last path segment removed
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * // ctx.path = ["user", "address"]
+ * const newCtx = popPath(ctx);
+ * // newCtx.path = ["user"]
+ * ```
+ */
+export function popPath(ctx) {
+    return {
+        ...ctx,
+        path: ctx.path.slice(0, -1),
+    };
+}
+/**
+ * Adds an external value (refinement function or regex pattern) and returns its reference name.
+ *
+ * External values are stored in the context and injected at runtime.
+ * This is necessary because refinement functions and regex patterns cannot be inlined.
+ *
+ * @param ctx - The current context
+ * @param value - The external value to add (function or RegExp)
+ * @returns A tuple of [referenceName, updatedContext]
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * // Adding a refinement function
+ * const isValidSlug = (value: string) => /^[a-z0-9-]+$/.test(value);
+ * const [refName, newCtx] = addExternal(ctx, isValidSlug);
+ * // refName = "ref_0"
+ * // Generated code: `if (!externals.get("ref_0")(value)) return "...";`
+ *
+ * // Adding a regex pattern
+ * const [refName2, newCtx2] = addExternal(ctx, /^[a-z]+$/);
+ * // Generated code: `if (!externals.get("ref_0").test(value)) return "...";`
+ * ```
+ */
+export function addExternal(ctx, value) {
+    const refName = `ref_${ctx.externals.size}`;
+    const newExternals = new Map(ctx.externals);
+    newExternals.set(refName, value);
+    return [
+        refName,
+        {
+            ...ctx,
+            externals: newExternals,
+        },
+    ];
+}
+/**
+ * Marks a schema as visited for cycle detection.
+ *
+ * Note: Since WeakSet is not iterable, we cannot create a copy.
+ * Instead, we mutate the existing WeakSet. This is acceptable because
+ * the visited set is only used during a single compilation pass.
+ *
+ * @param ctx - The current context
+ * @param schema - The schema being visited
+ * @returns Updated context with the schema marked as visited
+ * @since 2.0.0
+ */
+export function markVisited(ctx, schema) {
+    // WeakSet is not iterable, so we add to the existing set
+    // This is a controlled mutation during compilation
+    ctx.visited.add(schema);
+    return ctx;
+}
+/**
+ * Checks if a schema has already been visited (cycle detection).
+ *
+ * @param ctx - The current context
+ * @param schema - The schema to check
+ * @returns true if the schema was already visited
+ * @since 2.0.0
+ */
+export function hasVisited(ctx, schema) {
+    return ctx.visited.has(schema);
+}
+/**
+ * Increases the indentation level (for debug mode).
+ *
+ * @param ctx - The current context
+ * @returns Updated context with increased indentation
+ * @since 2.0.0
+ */
+export function increaseIndent(ctx) {
+    return {
+        ...ctx,
+        indent: ctx.indent + 1,
+    };
+}
+/**
+ * Decreases the indentation level (for debug mode).
+ *
+ * @param ctx - The current context
+ * @returns Updated context with decreased indentation
+ * @since 2.0.0
+ */
+export function decreaseIndent(ctx) {
+    return {
+        ...ctx,
+        indent: Math.max(0, ctx.indent - 1),
+    };
+}
+/**
+ * Gets the current indentation string (for debug mode).
+ *
+ * @param ctx - The current context
+ * @returns Indentation string (2 spaces per level)
+ * @since 2.0.0
+ */
+export function getIndent(ctx) {
+    return "  ".repeat(ctx.indent);
+}
+/**
+ * Formats the current path as a string for error messages.
+ *
+ * @param ctx - The current context
+ * @returns Formatted path string
+ * @since 2.0.0
+ *
+ * @example
+ * ```typescript
+ * // ctx.path = ["user", "address", "city"]
+ * formatPath(ctx); // "user.address.city"
+ *
+ * // ctx.path = ["items", "0", "name"]
+ * formatPath(ctx); // "items[0].name"
+ * ```
+ */
+export function formatPath(ctx) {
+    // Stryker disable next-line ConditionalExpression: Early return optimization — reduce with "" initial produces "" for empty array identically
+    if (ctx.path.length === 0)
+        return "";
+    return ctx.path.reduce((acc, segment, index) => {
+        // Check if segment is a numeric index
+        if (/^\d+$/.test(segment)) {
+            return `${acc}[${segment}]`;
+        }
+        // First segment or after an index
+        if (index === 0) {
+            return segment;
+        }
+        return `${acc}.${segment}`;
+    }, "");
+}
+//# sourceMappingURL=context.js.map

package/dist/kanon/jit/context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../../../src/kanon/jit/context.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAkDH;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,sBAAsB,CACpC,OAAiC;IAEjC,OAAO;QACL,UAAU,EAAE,CAAC;QACb,MAAM,EAAE,CAAC;QACT,IAAI,EAAE,EAAE;QACR,SAAS,EAAE,IAAI,GAAG,EAAE;QACpB,KAAK,EAAE,OAAO,EAAE,KAAK,IAAI,KAAK;QAC9B,OAAO,EAAE,IAAI,OAAO,EAAE;KACvB,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,OAAO,CAAC,GAAqB;IAC3C,MAAM,OAAO,GAAG,KAAK,GAAG,CAAC,UAAU,EAAE,CAAC;IACtC,OAAO;QACL,OAAO;QACP;YACE,GAAG,GAAG;YACN,UAAU,EAAE,GAAG,CAAC,UAAU,GAAG,CAAC;SAC/B;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,QAAQ,CAAC,GAAqB,EAAE,OAAe;IAC7D,OAAO;QACL,GAAG,GAAG;QACN,IAAI,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC;KAC7B,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,OAAO,CAAC,GAAqB;IAC3C,OAAO;QACL,GAAG,GAAG;QACN,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;KAC5B,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,UAAU,WAAW,CACzB,GAAqB,EACrB,KAAoB;IAEpB,MAAM,OAAO,GAAG,OAAO,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;IAC5C,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC5C,YAAY,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAEjC,OAAO;QACL,OAAO;QACP;YACE,GAAG,GAAG;YACN,SAAS,EAAE,YAAY;SACxB;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,WAAW,CACzB,GAAqB,EACrB,MAAqB;IAErB,yDAAyD;IACzD,mDAAmD;IACnD,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxB,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,UAAU,CACxB,GAAqB,EACrB,MAAqB;IAErB,OAAO,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,GAAqB;IAClD,OAAO;QACL,GAAG,GAAG;QACN,MAAM,EAAE,GAAG,CAAC,MAAM,GAAG,CAAC;KACvB,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,GAAqB;IAClD,OAAO;QACL,GAAG,GAAG;QACN,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;KACpC,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CAAC,GAAqB;IAC7C,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,UAAU,CAAC,GAAqB;IAC9C,8IAA8I;IAC9I,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAErC,OAAO,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE;QAC7C,sCAAsC;QACtC,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1B,OAAO,GAAG,GAAG,IAAI,OAAO,GAAG,CAAC;QAC9B,CAAC;QACD,kCAAkC;QAClC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAChB,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,OAAO,GAAG,GAAG,IAAI,OAAO,EAAE,CAAC;IAC7B,CAAC,EAAE,EAAE,CAAC,CAAC;AACT,CAAC"}

package/dist/kanon/jit/utils/arbitraries.d.ts

@@ -0,0 +1,145 @@
+/**
+ * @module kanon/jit/utils/arbitraries
+ *
+ * Arbitrary Generators for Property-Based Testing
+ *
+ * Provides fast-check arbitraries for generating random Kanon V3 schemas
+ * and corresponding values for property-based testing of the JIT compiler.
+ *
+ * @since 2.0.0
+ * @experimental
+ */
+import * as fc from "fast-check";
+import type { GenericSchema } from "../../types/base";
+/**
+ * Schema with metadata for value generation.
+ *
+ * @since 2.0.0
+ */
+export interface SchemaWithMeta {
+    /** The Kanon schema */
+    schema: GenericSchema;
+    /** Generator for valid values */
+    validValueArb: fc.Arbitrary<unknown>;
+    /** Generator for invalid values */
+    invalidValueArb: fc.Arbitrary<unknown>;
+    /** Human-readable description */
+    description: string;
+}
+/**
+ * Generates arbitrary string schemas with random constraints.
+ *
+ * Constraints include:
+ * - minLength (0-50)
+ * - maxLength (50-200)
+ * - No constraints (base string)
+ *
+ * @since 2.0.0
+ */
+export declare function arbitraryStringSchema(): fc.Arbitrary<SchemaWithMeta>;
+/**
+ * Generates arbitrary number schemas with random constraints.
+ *
+ * Constraints include:
+ * - min (range constraints)
+ * - max (range constraints)
+ * - int (integer only)
+ * - positive
+ * - No constraints (base number)
+ *
+ * @since 2.0.0
+ */
+export declare function arbitraryNumberSchema(): fc.Arbitrary<SchemaWithMeta>;
+/**
+ * Generates arbitrary boolean schemas.
+ *
+ * @since 2.0.0
+ */
+export declare function arbitraryBooleanSchema(): fc.Arbitrary<SchemaWithMeta>;
+/**
+ * Generates arbitrary object schemas with random properties.
+ *
+ * Properties are randomly selected from primitive types.
+ * Number of properties: 1-5
+ *
+ * @since 2.0.0
+ */
+export declare function arbitraryObjectSchema(): fc.Arbitrary<SchemaWithMeta>;
+/**
+ * Generates arbitrary array schemas with random item types.
+ *
+ * Item types are primitives (string, number, boolean).
+ *
+ * @since 2.0.0
+ */
+export declare function arbitraryArraySchema(): fc.Arbitrary<SchemaWithMeta>;
+/**
+ * Generates arbitrary union schemas with random branches.
+ *
+ * Branches are primitives (string, number, boolean).
+ * Number of branches: 2-4
+ *
+ * @since 2.0.0
+ */
+export declare function arbitraryUnionSchema(): fc.Arbitrary<SchemaWithMeta>;
+/**
+ * Generates arbitrary schemas of any supported type.
+ *
+ * Includes:
+ * - Primitive schemas (string, number, boolean)
+ * - Composite schemas (object, array)
+ * - Operator schemas (union)
+ *
+ * @since 2.0.0
+ */
+export declare function arbitrarySchema(): fc.Arbitrary<SchemaWithMeta>;
+/**
+ * Generates arbitrary values for a given schema.
+ *
+ * @param schemaWithMeta - Schema with metadata including value generators
+ * @param validOnly - If true, only generate valid values
+ * @returns Arbitrary that generates values for the schema
+ * @since 2.0.0
+ */
+export declare function arbitraryValueForSchema(schemaWithMeta: SchemaWithMeta, validOnly?: boolean): fc.Arbitrary<{
+    value: unknown;
+    shouldBeValid: boolean;
+}>;
+/**
+ * Generates a schema and a corresponding value (valid or invalid).
+ *
+ * This is useful for round-trip testing where you need both
+ * a schema and a value to test against.
+ *
+ * @since 2.0.0
+ */
+export declare function arbitrarySchemaWithValue(): fc.Arbitrary<{
+    schemaWithMeta: SchemaWithMeta;
+    value: unknown;
+    shouldBeValid: boolean;
+}>;
+/**
+ * Generates a schema and only valid values for it.
+ *
+ * This is useful for testing that valid values pass validation
+ * in both JIT and non-JIT validators.
+ *
+ * @since 2.0.0
+ */
+export declare function arbitrarySchemaWithValidValue(): fc.Arbitrary<{
+    schemaWithMeta: SchemaWithMeta;
+    value: unknown;
+}>;
+/**
+ * Generates a schema and only invalid values for it.
+ *
+ * This is useful for testing that invalid values fail validation
+ * in both JIT and non-JIT validators.
+ *
+ * @since 2.0.0
+ */
+export declare function arbitrarySchemaWithInvalidValue(): fc.Arbitrary<{
+    schemaWithMeta: SchemaWithMeta;
+    value: unknown;
+}>;
+//# sourceMappingURL=arbitraries.d.ts.map

package/dist/kanon/jit/utils/arbitraries.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"arbitraries.d.ts","sourceRoot":"","sources":["../../../../src/kanon/jit/utils/arbitraries.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAYtD;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,uBAAuB;IACvB,MAAM,EAAE,aAAa,CAAC;IACtB,iCAAiC;IACjC,aAAa,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACrC,mCAAmC;IACnC,eAAe,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACvC,iCAAiC;IACjC,WAAW,EAAE,MAAM,CAAC;CACrB;AAMD;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,IAAI,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC,CAuDpE;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,qBAAqB,IAAI,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC,CAgFpE;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,IAAI,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC,CAarE;AAMD;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,IAAI,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC,CAiFpE;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,IAAI,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC,CA2CnE;AAED;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,IAAI,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC,CAmDnE;AAMD;;;;;;;;;GASG;AACH,wBAAgB,eAAe,IAAI,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC,CAe9D;AAMD;;;;;;;GAOG;AACH,wBAAgB,uBAAuB,CACrC,cAAc,EAAE,cAAc,EAC9B,SAAS,GAAE,OAAe,GACzB,EAAE,CAAC,SAAS,CAAC;IAAE,KAAK,EAAE,OAAO,CAAC;IAAC,aAAa,EAAE,OAAO,CAAA;CAAE,CAAC,CAkB1D;AAED;;;;;;;GAOG;AACH,wBAAgB,wBAAwB,IAAI,EAAE,CAAC,SAAS,CAAC;IACvD,cAAc,EAAE,cAAc,CAAC;IAC/B,KAAK,EAAE,OAAO,CAAC;IACf,aAAa,EAAE,OAAO,CAAC;CACxB,CAAC,CAQD;AAED;;;;;;;GAOG;AACH,wBAAgB,6BAA6B,IAAI,EAAE,CAAC,SAAS,CAAC;IAC5D,cAAc,EAAE,cAAc,CAAC;IAC/B,KAAK,EAAE,OAAO,CAAC;CAChB,CAAC,CAOD;AAED;;;;;;;GAOG;AACH,wBAAgB,+BAA+B,IAAI,EAAE,CAAC,SAAS,CAAC;IAC9D,cAAc,EAAE,cAAc,CAAC;IAC/B,KAAK,EAAE,OAAO,CAAC;CAChB,CAAC,CAOD"}