zod-compiler 0.1.1 → 1.0.1

package/dist/core/types.d.ts

@@ -0,0 +1,352 @@
+/**
+ * SchemaIR — Intermediate representation for Zod schemas.
+ * Extracted from Zod's `_zod.def` and `_zod.bag` at build time.
+ */
+/** Shared base: static custom error message extracted from the check's `error` param. */
+export interface CheckBase {
+    /** Static message from e.g. `.min(3, "too short")`. Dynamic error maps force fallback. */
+    message?: string;
+}
+export interface CheckMinLength extends CheckBase {
+    kind: "min_length";
+    minimum: number;
+}
+export interface CheckMaxLength extends CheckBase {
+    kind: "max_length";
+    maximum: number;
+}
+export interface CheckLengthEquals extends CheckBase {
+    kind: "length_equals";
+    length: number;
+}
+export interface CheckGreaterThan extends CheckBase {
+    kind: "greater_than";
+    value: number;
+    inclusive: boolean;
+}
+export interface CheckLessThan extends CheckBase {
+    kind: "less_than";
+    value: number;
+    inclusive: boolean;
+}
+export interface CheckMultipleOf extends CheckBase {
+    kind: "multiple_of";
+    value: number;
+}
+export interface CheckNumberFormat extends CheckBase {
+    kind: "number_format";
+    format: "safeint" | "int32" | "uint32" | "float32" | "float64";
+}
+export interface CheckStringFormat extends CheckBase {
+    kind: "string_format";
+    format: string;
+    pattern?: string;
+    /** RegExp flags of the source pattern (e.g. "u" for z.emoji()). */
+    patternFlags?: string;
+    /** url-only: hostname constraint regex source (z.httpUrl()). */
+    hostname?: string;
+    hostnameFlags?: string;
+    /** url-only: protocol constraint regex source (z.httpUrl()). */
+    protocol?: string;
+    protocolFlags?: string;
+    /** url-only: output url.href instead of the trimmed input. */
+    normalize?: boolean;
+}
+export interface CheckIncludes extends CheckBase {
+    kind: "includes";
+    includes: string;
+    position?: number;
+}
+export interface CheckStartsWith extends CheckBase {
+    kind: "starts_with";
+    prefix: string;
+}
+export interface CheckEndsWith extends CheckBase {
+    kind: "ends_with";
+    suffix: string;
+}
+export type CheckIR = CheckMinLength | CheckMaxLength | CheckLengthEquals | CheckGreaterThan | CheckLessThan | CheckMultipleOf | CheckNumberFormat | CheckStringFormat | CheckIncludes | CheckStartsWith | CheckEndsWith;
+export interface RefineEffectCheckIR {
+    kind: "refine_effect";
+    /** fn.toString() result, e.g. "v => v.includes('@')" */
+    source: string;
+    /** Custom error message from .refine(fn, "message") or .refine(fn, { message }) */
+    message?: string;
+}
+/**
+ * Value-rewriting check compiled from a $ZodCheckOverwrite (.trim(), .toLowerCase(), ...).
+ * Applied at its original position: `value = (source)(value)`. Never produces issues.
+ */
+export interface OverwriteEffectCheckIR {
+    kind: "overwrite_effect";
+    /** fn.toString() of the overwrite transform, e.g. "(input) => input.trim()" */
+    source: string;
+}
+/** A check entry that may be a compiled check or an inline effect. */
+export type CheckOrEffectIR = CheckIR | RefineEffectCheckIR | OverwriteEffectCheckIR;
+export interface CheckDateGreaterThan extends CheckBase {
+    kind: "date_greater_than";
+    value: string;
+    timestamp: number;
+    inclusive: boolean;
+}
+export interface CheckDateLessThan extends CheckBase {
+    kind: "date_less_than";
+    value: string;
+    timestamp: number;
+    inclusive: boolean;
+}
+export type DateCheckIR = CheckDateGreaterThan | CheckDateLessThan;
+export interface CheckBigIntGreaterThan extends CheckBase {
+    kind: "bigint_greater_than";
+    /** String representation of the BigInt value (e.g. "10") */
+    value: string;
+    inclusive: boolean;
+}
+export interface CheckBigIntLessThan extends CheckBase {
+    kind: "bigint_less_than";
+    /** String representation of the BigInt value (e.g. "100") */
+    value: string;
+    inclusive: boolean;
+}
+export interface CheckBigIntMultipleOf extends CheckBase {
+    kind: "bigint_multiple_of";
+    /** String representation of the BigInt value (e.g. "3") */
+    value: string;
+}
+export type BigIntCheckIR = CheckBigIntGreaterThan | CheckBigIntLessThan | CheckBigIntMultipleOf;
+export interface CheckMinSize extends CheckBase {
+    kind: "min_size";
+    minimum: number;
+}
+export interface CheckMaxSize extends CheckBase {
+    kind: "max_size";
+    maximum: number;
+}
+export interface CheckSizeEquals extends CheckBase {
+    kind: "size_equals";
+    size: number;
+}
+export type SetCheckIR = CheckMinSize | CheckMaxSize | CheckSizeEquals;
+export interface CheckMimeType extends CheckBase {
+    kind: "mime_type";
+    mime: string[];
+}
+export type FileCheckIR = CheckMinSize | CheckMaxSize | CheckMimeType;
+export interface StringIR {
+    type: "string";
+    checks: CheckOrEffectIR[];
+    coerce?: boolean;
+}
+export interface NumberIR {
+    type: "number";
+    checks: CheckOrEffectIR[];
+    coerce?: boolean;
+}
+export interface BooleanIR {
+    type: "boolean";
+    coerce?: boolean;
+}
+export interface BigIntIR {
+    type: "bigint";
+    checks: BigIntCheckIR[];
+    coerce?: boolean;
+}
+export interface DateIR {
+    type: "date";
+    checks: DateCheckIR[];
+    coerce?: boolean;
+}
+export interface SymbolIR {
+    type: "symbol";
+}
+export interface NullIR {
+    type: "null";
+}
+export interface UndefinedIR {
+    type: "undefined";
+}
+export interface VoidIR {
+    type: "void";
+}
+export interface NanIR {
+    type: "nan";
+}
+export interface NeverIR {
+    type: "never";
+}
+export interface AnyIR {
+    type: "any";
+}
+export interface UnknownIR {
+    type: "unknown";
+}
+export interface LiteralIR {
+    type: "literal";
+    values: (string | number | boolean | null | bigint | undefined)[];
+}
+export interface EnumIR {
+    type: "enum";
+    /** Accepted values — z.nativeEnum() can contribute numbers. */
+    values: (string | number)[];
+}
+export interface ObjectIR {
+    type: "object";
+    properties: Record<string, SchemaIR>;
+    /** Object-level refine effects from z.object({...}).refine(fn) */
+    checks?: RefineEffectCheckIR[];
+    /**
+     * Fallback-typed property keys whose zod schema is optional-out: when the
+     * key is ABSENT from the input, their issues are suppressed (mirrors zod's
+     * handlePropertyResult). Lets z.exactOptional() and friends fall back at
+     * the property level without rejecting missing keys.
+     */
+    suppressAbsentKeys?: string[];
+}
+export interface ArrayIR {
+    type: "array";
+    element: SchemaIR;
+    checks: CheckOrEffectIR[];
+}
+export interface TupleIR {
+    type: "tuple";
+    items: SchemaIR[];
+    rest: SchemaIR | null;
+}
+export interface RecordIR {
+    type: "record";
+    keyType: SchemaIR;
+    valueType: SchemaIR;
+}
+export interface SetIR {
+    type: "set";
+    valueType: SchemaIR;
+    checks?: SetCheckIR[];
+}
+export interface MapIR {
+    type: "map";
+    keyType: SchemaIR;
+    valueType: SchemaIR;
+}
+export interface FileIR {
+    type: "file";
+    checks?: FileCheckIR[];
+}
+export interface UnionIR {
+    type: "union";
+    options: SchemaIR[];
+}
+export interface DiscriminatedUnionIR {
+    type: "discriminatedUnion";
+    discriminator: string;
+    options: SchemaIR[];
+    /**
+     * Typed discriminator-value dispatch table, sourced from zod's
+     * `_zod.propValues` (covers literal AND enum discriminators, preserving
+     * value types so numeric/boolean discriminators switch correctly).
+     */
+    cases: {
+        value: string | number | boolean | null | bigint | undefined;
+        option: number;
+    }[];
+}
+export interface IntersectionIR {
+    type: "intersection";
+    left: SchemaIR;
+    right: SchemaIR;
+}
+export interface OptionalIR {
+    type: "optional";
+    inner: SchemaIR;
+}
+export interface NullableIR {
+    type: "nullable";
+    inner: SchemaIR;
+}
+export interface ReadonlyIR {
+    type: "readonly";
+    inner: SchemaIR;
+}
+export interface DefaultIR {
+    type: "default";
+    inner: SchemaIR;
+    refIndex: number;
+}
+export interface PipeIR {
+    type: "pipe";
+    in: SchemaIR;
+    out: SchemaIR;
+}
+export interface TransformEffectIR {
+    type: "effect";
+    effectKind: "transform";
+    /** fn.toString() result, e.g. "v => v.toLowerCase()" */
+    source: string;
+    /** The input schema to validate before applying the transform */
+    inner: SchemaIR;
+}
+export interface FallbackIR {
+    type: "fallback";
+    reason: "transform" | "refine" | "superRefine" | "custom" | "lazy" | "unsupported";
+    /** Index into the __rf[] fallback schemas array. Present when partial fallback is used. */
+    refIndex?: number;
+}
+export interface TemplateLiteralIR {
+    type: "templateLiteral";
+    pattern: string;
+}
+export interface CatchIR {
+    type: "catch";
+    inner: SchemaIR;
+    /** Index into __rf[] — the original z.catch() schema whose catchValue runs per parse. */
+    refIndex: number;
+}
+export interface RecursiveRefIR {
+    type: "recursiveRef";
+}
+export interface StringBoolIR {
+    type: "stringBool";
+    truthy: string[];
+    falsy: string[];
+    caseSensitive: boolean;
+}
+/**
+ * Optional schema-level static error message (z.string({ error: "..." })).
+ * Attached centrally by extract dispatch; consumed by issue emission as the
+ * default message for issues created by this node (zod precedence: check
+ * error > schema error > locale default). Dynamic schema-level error maps
+ * force fallback instead.
+ */
+export interface TypeMessageCarrier {
+    typeMessage?: string;
+}
+export type SchemaIR = TypeMessageCarrier & (StringIR | NumberIR | BooleanIR | BigIntIR | DateIR | SymbolIR | NullIR | UndefinedIR | VoidIR | NanIR | NeverIR | AnyIR | UnknownIR | LiteralIR | EnumIR | ObjectIR | ArrayIR | TupleIR | RecordIR | SetIR | MapIR | FileIR | UnionIR | DiscriminatedUnionIR | IntersectionIR | OptionalIR | NullableIR | ReadonlyIR | DefaultIR | PipeIR | TransformEffectIR | TemplateLiteralIR | CatchIR | FallbackIR | RecursiveRefIR | StringBoolIR);
+export interface SafeParseSuccess<T> {
+    success: true;
+    data: T;
+}
+export interface SafeParseError {
+    success: false;
+    error: ZodErrorLike;
+}
+export type SafeParseResult<T> = SafeParseSuccess<T> | SafeParseError;
+export interface ZodIssueLike {
+    code: string;
+    path: (string | number)[];
+    message: string;
+    [key: string]: unknown;
+}
+export interface ZodErrorLike {
+    issues: ZodIssueLike[];
+}
+export interface DiscoveredSchema {
+    exportName: string;
+    schema: unknown;
+}
+export interface CompiledSchema<T> {
+    parse(input: unknown): T;
+    parseAsync(input: unknown): Promise<T>;
+    safeParse(input: unknown): SafeParseResult<T>;
+    safeParseAsync(input: unknown): Promise<SafeParseResult<T>>;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/core/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/core/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,yFAAyF;AACzF,MAAM,WAAW,SAAS;IACxB,0FAA0F;IAC1F,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,cAAe,SAAQ,SAAS;IAC/C,IAAI,EAAE,YAAY,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,cAAe,SAAQ,SAAS;IAC/C,IAAI,EAAE,YAAY,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,iBAAkB,SAAQ,SAAS;IAClD,IAAI,EAAE,eAAe,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,gBAAiB,SAAQ,SAAS;IACjD,IAAI,EAAE,cAAc,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,aAAc,SAAQ,SAAS;IAC9C,IAAI,EAAE,WAAW,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,eAAgB,SAAQ,SAAS;IAChD,IAAI,EAAE,aAAa,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,iBAAkB,SAAQ,SAAS;IAClD,IAAI,EAAE,eAAe,CAAC;IACtB,MAAM,EAAE,SAAS,GAAG,OAAO,GAAG,QAAQ,GAAG,SAAS,GAAG,SAAS,CAAC;CAChE;AAED,MAAM,WAAW,iBAAkB,SAAQ,SAAS;IAClD,IAAI,EAAE,eAAe,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,mEAAmE;IACnE,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,gEAAgE;IAChE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,gEAAgE;IAChE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,8DAA8D;IAC9D,SAAS,CAAC,EAAE,OAAO,CAAC;CACrB;AAED,MAAM,WAAW,aAAc,SAAQ,SAAS;IAC9C,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,eAAgB,SAAQ,SAAS;IAChD,IAAI,EAAE,aAAa,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,aAAc,SAAQ,SAAS;IAC9C,IAAI,EAAE,WAAW,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,MAAM,OAAO,GACf,cAAc,GACd,cAAc,GACd,iBAAiB,GACjB,gBAAgB,GAChB,aAAa,GACb,eAAe,GACf,iBAAiB,GACjB,iBAAiB,GACjB,aAAa,GACb,eAAe,GACf,aAAa,CAAC;AAMlB,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,eAAe,CAAC;IACtB,wDAAwD;IACxD,MAAM,EAAE,MAAM,CAAC;IACf,mFAAmF;IACnF,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,kBAAkB,CAAC;IACzB,+EAA+E;IAC/E,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,sEAAsE;AACtE,MAAM,MAAM,eAAe,GAAG,OAAO,GAAG,mBAAmB,GAAG,sBAAsB,CAAC;AAIrF,MAAM,WAAW,oBAAqB,SAAQ,SAAS;IACrD,IAAI,EAAE,mBAAmB,CAAC;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,iBAAkB,SAAQ,SAAS;IAClD,IAAI,EAAE,gBAAgB,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,MAAM,WAAW,GAAG,oBAAoB,GAAG,iBAAiB,CAAC;AAInE,MAAM,WAAW,sBAAuB,SAAQ,SAAS;IACvD,IAAI,EAAE,qBAAqB,CAAC;IAC5B,4DAA4D;IAC5D,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,mBAAoB,SAAQ,SAAS;IACpD,IAAI,EAAE,kBAAkB,CAAC;IACzB,6DAA6D;IAC7D,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,qBAAsB,SAAQ,SAAS;IACtD,IAAI,EAAE,oBAAoB,CAAC;IAC3B,2DAA2D;IAC3D,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,MAAM,aAAa,GAAG,sBAAsB,GAAG,mBAAmB,GAAG,qBAAqB,CAAC;AAIjG,MAAM,WAAW,YAAa,SAAQ,SAAS;IAC7C,IAAI,EAAE,UAAU,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,YAAa,SAAQ,SAAS;IAC7C,IAAI,EAAE,UAAU,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,eAAgB,SAAQ,SAAS;IAChD,IAAI,EAAE,aAAa,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,MAAM,UAAU,GAAG,YAAY,GAAG,YAAY,GAAG,eAAe,CAAC;AAIvE,MAAM,WAAW,aAAc,SAAQ,SAAS;IAC9C,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,EAAE,MAAM,EAAE,CAAC;CAChB;AAED,MAAM,MAAM,WAAW,GAAG,YAAY,GAAG,YAAY,GAAG,aAAa,CAAC;AAItE,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1B,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1B,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,SAAS,CAAC;IAChB,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE,aAAa,EAAE,CAAC;IACxB,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,WAAW,EAAE,CAAC;IACtB,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,QAAQ,CAAC;CAChB;AAED,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,WAAW,CAAC;CACnB;AAED,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,KAAK;IACpB,IAAI,EAAE,KAAK,CAAC;CACb;AAED,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,OAAO,CAAC;CACf;AAED,MAAM,WAAW,KAAK;IACpB,IAAI,EAAE,KAAK,CAAC;CACb;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,SAAS,CAAC;CACjB;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,SAAS,CAAC;IAChB,MAAM,EAAE,CAAC,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;CACnE;AAED,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,+DAA+D;IAC/D,MAAM,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC;CAC7B;AAID,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,QAAQ,CAAC;IACf,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACrC,kEAAkE;IAClE,MAAM,CAAC,EAAE,mBAAmB,EAAE,CAAC;IAC/B;;;;;OAKG;IACH,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAC;CAC/B;AAED,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,OAAO,CAAC;IACd,OAAO,EAAE,QAAQ,CAAC;IAClB,MAAM,EAAE,eAAe,EAAE,CAAC;CAC3B;AAED,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,QAAQ,EAAE,CAAC;IAClB,IAAI,EAAE,QAAQ,GAAG,IAAI,CAAC;CACvB;AAED,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,QAAQ,CAAC;IACf,OAAO,EAAE,QAAQ,CAAC;IAClB,SAAS,EAAE,QAAQ,CAAC;CACrB;AAED,MAAM,WAAW,KAAK;IACpB,IAAI,EAAE,KAAK,CAAC;IACZ,SAAS,EAAE,QAAQ,CAAC;IACpB,MAAM,CAAC,EAAE,UAAU,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,KAAK;IACpB,IAAI,EAAE,KAAK,CAAC;IACZ,OAAO,EAAE,QAAQ,CAAC;IAClB,SAAS,EAAE,QAAQ,CAAC;CACrB;AAED,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,WAAW,EAAE,CAAC;CACxB;AAID,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,OAAO,CAAC;IACd,OAAO,EAAE,QAAQ,EAAE,CAAC;CACrB;AAED,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,oBAAoB,CAAC;IAC3B,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,QAAQ,EAAE,CAAC;IACpB;;;;OAIG;IACH,KAAK,EAAE;QAAE,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,MAAM,GAAG,SAAS,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CAC3F;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,QAAQ,CAAC;IACf,KAAK,EAAE,QAAQ,CAAC;CACjB;AAID,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,UAAU,CAAC;IACjB,KAAK,EAAE,QAAQ,CAAC;CACjB;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,UAAU,CAAC;IACjB,KAAK,EAAE,QAAQ,CAAC;CACjB;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,UAAU,CAAC;IACjB,KAAK,EAAE,QAAQ,CAAC;CACjB;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,QAAQ,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,QAAQ,CAAC;IACb,GAAG,EAAE,QAAQ,CAAC;CACf;AAID,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,QAAQ,CAAC;IACf,UAAU,EAAE,WAAW,CAAC;IACxB,wDAAwD;IACxD,MAAM,EAAE,MAAM,CAAC;IACf,iEAAiE;IACjE,KAAK,EAAE,QAAQ,CAAC;CACjB;AAID,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,UAAU,CAAC;IACjB,MAAM,EAAE,WAAW,GAAG,QAAQ,GAAG,aAAa,GAAG,QAAQ,GAAG,MAAM,GAAG,aAAa,CAAC;IACnF,2FAA2F;IAC3F,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,iBAAiB,CAAC;IACxB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,QAAQ,CAAC;IAChB,yFAAyF;IACzF,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,cAAc,CAAC;CACtB;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,aAAa,EAAE,OAAO,CAAC;CACxB;AAID;;;;;;GAMG;AACH,MAAM,WAAW,kBAAkB;IACjC,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,MAAM,QAAQ,GAAG,kBAAkB,GAEvC,CACI,QAAQ,GACR,QAAQ,GACR,SAAS,GACT,QAAQ,GACR,MAAM,GACN,QAAQ,GACR,MAAM,GACN,WAAW,GACX,MAAM,GACN,KAAK,GACL,OAAO,GACP,KAAK,GACL,SAAS,GACT,SAAS,GACT,MAAM,GAEN,QAAQ,GACR,OAAO,GACP,OAAO,GACP,QAAQ,GACR,KAAK,GACL,KAAK,GACL,MAAM,GAEN,OAAO,GACP,oBAAoB,GACpB,cAAc,GAEd,UAAU,GACV,UAAU,GACV,UAAU,GACV,SAAS,GACT,MAAM,GAEN,iBAAiB,GAEjB,iBAAiB,GACjB,OAAO,GACP,UAAU,GACV,cAAc,GACd,YAAY,CACf,CAAC;AAIJ,MAAM,WAAW,gBAAgB,CAAC,CAAC;IACjC,OAAO,EAAE,IAAI,CAAC;IACd,IAAI,EAAE,CAAC,CAAC;CACT;AAED,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,KAAK,CAAC;IACf,KAAK,EAAE,YAAY,CAAC;CACrB;AAED,MAAM,MAAM,eAAe,CAAC,CAAC,IAAI,gBAAgB,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC;AAEtE,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC;IAC1B,OAAO,EAAE,MAAM,CAAC;IAEhB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,YAAY,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,gBAAgB;IAC/B,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,OAAO,CAAC;CACjB;AAED,MAAM,WAAW,cAAc,CAAC,CAAC;IAC/B,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,CAAC,CAAC;IACzB,UAAU,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACvC,SAAS,CAAC,KAAK,EAAE,OAAO,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IAC9C,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;CAC7D"}

package/dist/core/types.js

@@ -0,0 +1,6 @@
+/**
+ * SchemaIR — Intermediate representation for Zod schemas.
+ * Extracted from Zod's `_zod.def` and `_zod.bag` at build time.
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/core/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/core/types.ts"],"names":[],"mappings":"AAAA;;;GAGG"}

package/dist/discovery.d.ts

@@ -0,0 +1,14 @@
+import type { DiscoveredSchema } from "#src/core/types.js";
+export interface DiscoverOptions {
+    /** Auto-detect all exported Zod schemas without requiring compile() wrappers. */
+    autoDiscover?: boolean | undefined;
+}
+/**
+ * Discover schemas in a source file by importing it and scanning exports.
+ *
+ * - Default mode: finds compile() calls via CompiledSchema marker.
+ * - autoDiscover mode: also finds plain Zod schema exports via _zod.def detection.
+ *   compile() schemas take priority (isCompiledSchema checked first).
+ */
+export declare function discoverSchemas(filePath: string, options?: DiscoverOptions): Promise<DiscoveredSchema[]>;
+//# sourceMappingURL=discovery.d.ts.map

package/dist/discovery.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"discovery.d.ts","sourceRoot":"","sources":["../src/discovery.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAG3D,MAAM,WAAW,eAAe;IAC9B,iFAAiF;IACjF,YAAY,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;CACpC;AAYD;;;;;;GAMG;AACH,wBAAsB,eAAe,CACnC,QAAQ,EAAE,MAAM,EAChB,OAAO,CAAC,EAAE,eAAe,GACxB,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAsB7B"}

package/dist/discovery.js

@@ -0,0 +1,40 @@
+import { isCompiledSchema } from "#src/core/compile.js";
+import { loadSourceFile } from "./loader.js";
+/**
+ * Check if a value is a Zod schema by detecting the _zod.def structure.
+ * Used by autoDiscover to find plain Zod exports.
+ */
+function isZodSchema(value) {
+    if (typeof value !== "object" || value === null || !("_zod" in value))
+        return false;
+    const zod = value["_zod"];
+    return typeof zod === "object" && zod !== null && "def" in zod;
+}
+/**
+ * Discover schemas in a source file by importing it and scanning exports.
+ *
+ * - Default mode: finds compile() calls via CompiledSchema marker.
+ * - autoDiscover mode: also finds plain Zod schema exports via _zod.def detection.
+ *   compile() schemas take priority (isCompiledSchema checked first).
+ */
+export async function discoverSchemas(filePath, options) {
+    const mod = await loadSourceFile(filePath);
+    const schemas = [];
+    const targets = { ...mod };
+    const defaultExport = mod["default"];
+    if (defaultExport != null &&
+        typeof defaultExport === "object" &&
+        !isCompiledSchema(defaultExport)) {
+        Object.assign(targets, defaultExport);
+    }
+    for (const [exportName, value] of Object.entries(targets)) {
+        if (isCompiledSchema(value)) {
+            schemas.push({ exportName, schema: value["schema"] });
+        }
+        else if (options?.autoDiscover && isZodSchema(value)) {
+            schemas.push({ exportName, schema: value });
+        }
+    }
+    return schemas;
+}
+//# sourceMappingURL=discovery.js.map

package/dist/discovery.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"discovery.js","sourceRoot":"","sources":["../src/discovery.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAExD,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAO7C;;;GAGG;AACH,SAAS,WAAW,CAAC,KAAc;IACjC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACpF,MAAM,GAAG,GAAI,KAAiC,CAAC,MAAM,CAAC,CAAC;IACvD,OAAO,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,KAAK,IAAI,GAAG,CAAC;AACjE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,QAAgB,EAChB,OAAyB;IAEzB,MAAM,GAAG,GAAG,MAAM,cAAc,CAAC,QAAQ,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAuB,EAAE,CAAC;IACvC,MAAM,OAAO,GAA4B,EAAE,GAAG,GAAG,EAAE,CAAC;IACpD,MAAM,aAAa,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC;IACrC,IACE,aAAa,IAAI,IAAI;QACrB,OAAO,aAAa,KAAK,QAAQ;QACjC,CAAC,gBAAgB,CAAC,aAAa,CAAC,EAChC,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,aAAwC,CAAC,CAAC;IACnE,CAAC;IAED,KAAK,MAAM,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1D,IAAI,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5B,OAAO,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,MAAM,EAAG,KAA4C,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAChG,CAAC;aAAM,IAAI,OAAO,EAAE,YAAY,IAAI,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;YACvD,OAAO,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC"}