/**
 * @fileoverview Resolved IntentIR Types (SPEC Section 12.3)
 *
 * ResolvedIntentIR is the form after discourse reference resolution.
 * Used for strictKey computation.
 */
import { z } from "zod";
/**
 * Resolved entity reference.
 * After resolution, only "id" kind is allowed.
 */
export declare const ResolvedEntityRefSchema: z.ZodObject<{
    kind: z.ZodLiteral<"id">;
    id: z.ZodString;
}, z.core.$strict>;
export type ResolvedEntityRef = z.infer<typeof ResolvedEntityRefSchema>;
/**
 * Resolved entity reference term.
 *
 * - ref is OPTIONAL (collection scope preserved)
 * - If ref exists, it MUST be { kind: "id", id: string }
 */
export declare const ResolvedEntityRefTermSchema: z.ZodObject<{
    kind: z.ZodLiteral<"entity">;
    entityType: z.ZodString;
    ref: z.ZodOptional<z.ZodObject<{
        kind: z.ZodLiteral<"id">;
        id: z.ZodString;
    }, z.core.$strict>>;
    quant: z.ZodOptional<z.ZodObject<{
        kind: z.ZodLiteral<"quantity">;
        value: z.ZodNumber;
        comparator: z.ZodOptional<z.ZodEnum<{
            eq: "eq";
            gte: "gte";
            lte: "lte";
        }>>;
        unit: z.ZodOptional<z.ZodString>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>>;
    orderBy: z.ZodOptional<z.ZodObject<{
        kind: z.ZodLiteral<"path">;
        path: z.ZodString;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>>;
    orderDir: z.ZodOptional<z.ZodEnum<{
        ASC: "ASC";
        DESC: "DESC";
    }>>;
    ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
}, z.core.$strict>;
export type ResolvedEntityRefTerm = z.infer<typeof ResolvedEntityRefTermSchema>;
export declare const ResolvedNonListTermSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
    kind: z.ZodLiteral<"entity">;
    entityType: z.ZodString;
    ref: z.ZodOptional<z.ZodObject<{
        kind: z.ZodLiteral<"id">;
        id: z.ZodString;
    }, z.core.$strict>>;
    quant: z.ZodOptional<z.ZodObject<{
        kind: z.ZodLiteral<"quantity">;
        value: z.ZodNumber;
        comparator: z.ZodOptional<z.ZodEnum<{
            eq: "eq";
            gte: "gte";
            lte: "lte";
        }>>;
        unit: z.ZodOptional<z.ZodString>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>>;
    orderBy: z.ZodOptional<z.ZodObject<{
        kind: z.ZodLiteral<"path">;
        path: z.ZodString;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>>;
    orderDir: z.ZodOptional<z.ZodEnum<{
        ASC: "ASC";
        DESC: "DESC";
    }>>;
    ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
}, z.core.$strict>, z.ZodObject<{
    kind: z.ZodLiteral<"path">;
    path: z.ZodString;
    ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
}, z.core.$strict>, z.ZodObject<{
    kind: z.ZodLiteral<"artifact">;
    artifactType: z.ZodEnum<{
        plan: "plan";
        code: "code";
        text: "text";
        math: "math";
        data: "data";
        mixed: "mixed";
    }>;
    ref: z.ZodObject<{
        kind: z.ZodEnum<{
            id: "id";
            inline: "inline";
        }>;
        id: z.ZodOptional<z.ZodString>;
    }, z.core.$strict>;
    content: z.ZodOptional<z.ZodString>;
    ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
}, z.core.$strict>, z.ZodObject<{
    kind: z.ZodLiteral<"value">;
    valueType: z.ZodEnum<{
        string: "string";
        number: "number";
        boolean: "boolean";
        date: "date";
        enum: "enum";
        id: "id";
    }>;
    shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
    raw: z.ZodOptional<z.ZodUnknown>;
    ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
}, z.core.$strict>, z.ZodObject<{
    kind: z.ZodLiteral<"expr">;
    exprType: z.ZodEnum<{
        code: "code";
        latex: "latex";
        ast: "ast";
    }>;
    expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
    ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
}, z.core.$strict>], "kind">;
export declare const ResolvedListTermSchema: z.ZodObject<{
    kind: z.ZodLiteral<"list">;
    items: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
        kind: z.ZodLiteral<"entity">;
        entityType: z.ZodString;
        ref: z.ZodOptional<z.ZodObject<{
            kind: z.ZodLiteral<"id">;
            id: z.ZodString;
        }, z.core.$strict>>;
        quant: z.ZodOptional<z.ZodObject<{
            kind: z.ZodLiteral<"quantity">;
            value: z.ZodNumber;
            comparator: z.ZodOptional<z.ZodEnum<{
                eq: "eq";
                gte: "gte";
                lte: "lte";
            }>>;
            unit: z.ZodOptional<z.ZodString>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>>;
        orderBy: z.ZodOptional<z.ZodObject<{
            kind: z.ZodLiteral<"path">;
            path: z.ZodString;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>>;
        orderDir: z.ZodOptional<z.ZodEnum<{
            ASC: "ASC";
            DESC: "DESC";
        }>>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"path">;
        path: z.ZodString;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"artifact">;
        artifactType: z.ZodEnum<{
            plan: "plan";
            code: "code";
            text: "text";
            math: "math";
            data: "data";
            mixed: "mixed";
        }>;
        ref: z.ZodObject<{
            kind: z.ZodEnum<{
                id: "id";
                inline: "inline";
            }>;
            id: z.ZodOptional<z.ZodString>;
        }, z.core.$strict>;
        content: z.ZodOptional<z.ZodString>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"value">;
        valueType: z.ZodEnum<{
            string: "string";
            number: "number";
            boolean: "boolean";
            date: "date";
            enum: "enum";
            id: "id";
        }>;
        shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
        raw: z.ZodOptional<z.ZodUnknown>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"expr">;
        exprType: z.ZodEnum<{
            code: "code";
            latex: "latex";
            ast: "ast";
        }>;
        expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>], "kind">>;
    ordered: z.ZodOptional<z.ZodBoolean>;
    ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
}, z.core.$strict>;
export type ResolvedNonListTerm = z.infer<typeof ResolvedNonListTermSchema>;
export type ResolvedListTerm = z.infer<typeof ResolvedListTermSchema>;
/**
 * ResolvedTerm: EntityRefTerm is replaced with ResolvedEntityRefTerm.
 * All other term types remain unchanged.
 */
export declare const ResolvedTermSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
    kind: z.ZodLiteral<"entity">;
    entityType: z.ZodString;
    ref: z.ZodOptional<z.ZodObject<{
        kind: z.ZodLiteral<"id">;
        id: z.ZodString;
    }, z.core.$strict>>;
    quant: z.ZodOptional<z.ZodObject<{
        kind: z.ZodLiteral<"quantity">;
        value: z.ZodNumber;
        comparator: z.ZodOptional<z.ZodEnum<{
            eq: "eq";
            gte: "gte";
            lte: "lte";
        }>>;
        unit: z.ZodOptional<z.ZodString>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>>;
    orderBy: z.ZodOptional<z.ZodObject<{
        kind: z.ZodLiteral<"path">;
        path: z.ZodString;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>>;
    orderDir: z.ZodOptional<z.ZodEnum<{
        ASC: "ASC";
        DESC: "DESC";
    }>>;
    ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
}, z.core.$strict>, z.ZodObject<{
    kind: z.ZodLiteral<"path">;
    path: z.ZodString;
    ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
}, z.core.$strict>, z.ZodObject<{
    kind: z.ZodLiteral<"artifact">;
    artifactType: z.ZodEnum<{
        plan: "plan";
        code: "code";
        text: "text";
        math: "math";
        data: "data";
        mixed: "mixed";
    }>;
    ref: z.ZodObject<{
        kind: z.ZodEnum<{
            id: "id";
            inline: "inline";
        }>;
        id: z.ZodOptional<z.ZodString>;
    }, z.core.$strict>;
    content: z.ZodOptional<z.ZodString>;
    ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
}, z.core.$strict>, z.ZodObject<{
    kind: z.ZodLiteral<"value">;
    valueType: z.ZodEnum<{
        string: "string";
        number: "number";
        boolean: "boolean";
        date: "date";
        enum: "enum";
        id: "id";
    }>;
    shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
    raw: z.ZodOptional<z.ZodUnknown>;
    ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
}, z.core.$strict>, z.ZodObject<{
    kind: z.ZodLiteral<"expr">;
    exprType: z.ZodEnum<{
        code: "code";
        latex: "latex";
        ast: "ast";
    }>;
    expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
    ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
}, z.core.$strict>, z.ZodObject<{
    kind: z.ZodLiteral<"list">;
    items: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
        kind: z.ZodLiteral<"entity">;
        entityType: z.ZodString;
        ref: z.ZodOptional<z.ZodObject<{
            kind: z.ZodLiteral<"id">;
            id: z.ZodString;
        }, z.core.$strict>>;
        quant: z.ZodOptional<z.ZodObject<{
            kind: z.ZodLiteral<"quantity">;
            value: z.ZodNumber;
            comparator: z.ZodOptional<z.ZodEnum<{
                eq: "eq";
                gte: "gte";
                lte: "lte";
            }>>;
            unit: z.ZodOptional<z.ZodString>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>>;
        orderBy: z.ZodOptional<z.ZodObject<{
            kind: z.ZodLiteral<"path">;
            path: z.ZodString;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>>;
        orderDir: z.ZodOptional<z.ZodEnum<{
            ASC: "ASC";
            DESC: "DESC";
        }>>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"path">;
        path: z.ZodString;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"artifact">;
        artifactType: z.ZodEnum<{
            plan: "plan";
            code: "code";
            text: "text";
            math: "math";
            data: "data";
            mixed: "mixed";
        }>;
        ref: z.ZodObject<{
            kind: z.ZodEnum<{
                id: "id";
                inline: "inline";
            }>;
            id: z.ZodOptional<z.ZodString>;
        }, z.core.$strict>;
        content: z.ZodOptional<z.ZodString>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"value">;
        valueType: z.ZodEnum<{
            string: "string";
            number: "number";
            boolean: "boolean";
            date: "date";
            enum: "enum";
            id: "id";
        }>;
        shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
        raw: z.ZodOptional<z.ZodUnknown>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"expr">;
        exprType: z.ZodEnum<{
            code: "code";
            latex: "latex";
            ast: "ast";
        }>;
        expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>], "kind">>;
    ordered: z.ZodOptional<z.ZodBoolean>;
    ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
}, z.core.$strict>], "kind">;
export type ResolvedTerm = z.infer<typeof ResolvedTermSchema>;
/**
 * Resolved args with ResolvedTerm instead of Term.
 */
export declare const ResolvedArgsSchema: z.ZodObject<{
    TARGET: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
        kind: z.ZodLiteral<"entity">;
        entityType: z.ZodString;
        ref: z.ZodOptional<z.ZodObject<{
            kind: z.ZodLiteral<"id">;
            id: z.ZodString;
        }, z.core.$strict>>;
        quant: z.ZodOptional<z.ZodObject<{
            kind: z.ZodLiteral<"quantity">;
            value: z.ZodNumber;
            comparator: z.ZodOptional<z.ZodEnum<{
                eq: "eq";
                gte: "gte";
                lte: "lte";
            }>>;
            unit: z.ZodOptional<z.ZodString>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>>;
        orderBy: z.ZodOptional<z.ZodObject<{
            kind: z.ZodLiteral<"path">;
            path: z.ZodString;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>>;
        orderDir: z.ZodOptional<z.ZodEnum<{
            ASC: "ASC";
            DESC: "DESC";
        }>>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"path">;
        path: z.ZodString;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"artifact">;
        artifactType: z.ZodEnum<{
            plan: "plan";
            code: "code";
            text: "text";
            math: "math";
            data: "data";
            mixed: "mixed";
        }>;
        ref: z.ZodObject<{
            kind: z.ZodEnum<{
                id: "id";
                inline: "inline";
            }>;
            id: z.ZodOptional<z.ZodString>;
        }, z.core.$strict>;
        content: z.ZodOptional<z.ZodString>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"value">;
        valueType: z.ZodEnum<{
            string: "string";
            number: "number";
            boolean: "boolean";
            date: "date";
            enum: "enum";
            id: "id";
        }>;
        shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
        raw: z.ZodOptional<z.ZodUnknown>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"expr">;
        exprType: z.ZodEnum<{
            code: "code";
            latex: "latex";
            ast: "ast";
        }>;
        expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"list">;
        items: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
            kind: z.ZodLiteral<"entity">;
            entityType: z.ZodString;
            ref: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"id">;
                id: z.ZodString;
            }, z.core.$strict>>;
            quant: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"quantity">;
                value: z.ZodNumber;
                comparator: z.ZodOptional<z.ZodEnum<{
                    eq: "eq";
                    gte: "gte";
                    lte: "lte";
                }>>;
                unit: z.ZodOptional<z.ZodString>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>>;
            orderBy: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"path">;
                path: z.ZodString;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>>;
            orderDir: z.ZodOptional<z.ZodEnum<{
                ASC: "ASC";
                DESC: "DESC";
            }>>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"path">;
            path: z.ZodString;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"artifact">;
            artifactType: z.ZodEnum<{
                plan: "plan";
                code: "code";
                text: "text";
                math: "math";
                data: "data";
                mixed: "mixed";
            }>;
            ref: z.ZodObject<{
                kind: z.ZodEnum<{
                    id: "id";
                    inline: "inline";
                }>;
                id: z.ZodOptional<z.ZodString>;
            }, z.core.$strict>;
            content: z.ZodOptional<z.ZodString>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"value">;
            valueType: z.ZodEnum<{
                string: "string";
                number: "number";
                boolean: "boolean";
                date: "date";
                enum: "enum";
                id: "id";
            }>;
            shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
            raw: z.ZodOptional<z.ZodUnknown>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"expr">;
            exprType: z.ZodEnum<{
                code: "code";
                latex: "latex";
                ast: "ast";
            }>;
            expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>], "kind">>;
        ordered: z.ZodOptional<z.ZodBoolean>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>], "kind">>;
    THEME: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
        kind: z.ZodLiteral<"entity">;
        entityType: z.ZodString;
        ref: z.ZodOptional<z.ZodObject<{
            kind: z.ZodLiteral<"id">;
            id: z.ZodString;
        }, z.core.$strict>>;
        quant: z.ZodOptional<z.ZodObject<{
            kind: z.ZodLiteral<"quantity">;
            value: z.ZodNumber;
            comparator: z.ZodOptional<z.ZodEnum<{
                eq: "eq";
                gte: "gte";
                lte: "lte";
            }>>;
            unit: z.ZodOptional<z.ZodString>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>>;
        orderBy: z.ZodOptional<z.ZodObject<{
            kind: z.ZodLiteral<"path">;
            path: z.ZodString;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>>;
        orderDir: z.ZodOptional<z.ZodEnum<{
            ASC: "ASC";
            DESC: "DESC";
        }>>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"path">;
        path: z.ZodString;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"artifact">;
        artifactType: z.ZodEnum<{
            plan: "plan";
            code: "code";
            text: "text";
            math: "math";
            data: "data";
            mixed: "mixed";
        }>;
        ref: z.ZodObject<{
            kind: z.ZodEnum<{
                id: "id";
                inline: "inline";
            }>;
            id: z.ZodOptional<z.ZodString>;
        }, z.core.$strict>;
        content: z.ZodOptional<z.ZodString>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"value">;
        valueType: z.ZodEnum<{
            string: "string";
            number: "number";
            boolean: "boolean";
            date: "date";
            enum: "enum";
            id: "id";
        }>;
        shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
        raw: z.ZodOptional<z.ZodUnknown>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"expr">;
        exprType: z.ZodEnum<{
            code: "code";
            latex: "latex";
            ast: "ast";
        }>;
        expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"list">;
        items: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
            kind: z.ZodLiteral<"entity">;
            entityType: z.ZodString;
            ref: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"id">;
                id: z.ZodString;
            }, z.core.$strict>>;
            quant: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"quantity">;
                value: z.ZodNumber;
                comparator: z.ZodOptional<z.ZodEnum<{
                    eq: "eq";
                    gte: "gte";
                    lte: "lte";
                }>>;
                unit: z.ZodOptional<z.ZodString>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>>;
            orderBy: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"path">;
                path: z.ZodString;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>>;
            orderDir: z.ZodOptional<z.ZodEnum<{
                ASC: "ASC";
                DESC: "DESC";
            }>>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"path">;
            path: z.ZodString;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"artifact">;
            artifactType: z.ZodEnum<{
                plan: "plan";
                code: "code";
                text: "text";
                math: "math";
                data: "data";
                mixed: "mixed";
            }>;
            ref: z.ZodObject<{
                kind: z.ZodEnum<{
                    id: "id";
                    inline: "inline";
                }>;
                id: z.ZodOptional<z.ZodString>;
            }, z.core.$strict>;
            content: z.ZodOptional<z.ZodString>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"value">;
            valueType: z.ZodEnum<{
                string: "string";
                number: "number";
                boolean: "boolean";
                date: "date";
                enum: "enum";
                id: "id";
            }>;
            shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
            raw: z.ZodOptional<z.ZodUnknown>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"expr">;
            exprType: z.ZodEnum<{
                code: "code";
                latex: "latex";
                ast: "ast";
            }>;
            expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>], "kind">>;
        ordered: z.ZodOptional<z.ZodBoolean>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>], "kind">>;
    SOURCE: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
        kind: z.ZodLiteral<"entity">;
        entityType: z.ZodString;
        ref: z.ZodOptional<z.ZodObject<{
            kind: z.ZodLiteral<"id">;
            id: z.ZodString;
        }, z.core.$strict>>;
        quant: z.ZodOptional<z.ZodObject<{
            kind: z.ZodLiteral<"quantity">;
            value: z.ZodNumber;
            comparator: z.ZodOptional<z.ZodEnum<{
                eq: "eq";
                gte: "gte";
                lte: "lte";
            }>>;
            unit: z.ZodOptional<z.ZodString>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>>;
        orderBy: z.ZodOptional<z.ZodObject<{
            kind: z.ZodLiteral<"path">;
            path: z.ZodString;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>>;
        orderDir: z.ZodOptional<z.ZodEnum<{
            ASC: "ASC";
            DESC: "DESC";
        }>>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"path">;
        path: z.ZodString;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"artifact">;
        artifactType: z.ZodEnum<{
            plan: "plan";
            code: "code";
            text: "text";
            math: "math";
            data: "data";
            mixed: "mixed";
        }>;
        ref: z.ZodObject<{
            kind: z.ZodEnum<{
                id: "id";
                inline: "inline";
            }>;
            id: z.ZodOptional<z.ZodString>;
        }, z.core.$strict>;
        content: z.ZodOptional<z.ZodString>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"value">;
        valueType: z.ZodEnum<{
            string: "string";
            number: "number";
            boolean: "boolean";
            date: "date";
            enum: "enum";
            id: "id";
        }>;
        shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
        raw: z.ZodOptional<z.ZodUnknown>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"expr">;
        exprType: z.ZodEnum<{
            code: "code";
            latex: "latex";
            ast: "ast";
        }>;
        expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"list">;
        items: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
            kind: z.ZodLiteral<"entity">;
            entityType: z.ZodString;
            ref: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"id">;
                id: z.ZodString;
            }, z.core.$strict>>;
            quant: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"quantity">;
                value: z.ZodNumber;
                comparator: z.ZodOptional<z.ZodEnum<{
                    eq: "eq";
                    gte: "gte";
                    lte: "lte";
                }>>;
                unit: z.ZodOptional<z.ZodString>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>>;
            orderBy: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"path">;
                path: z.ZodString;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>>;
            orderDir: z.ZodOptional<z.ZodEnum<{
                ASC: "ASC";
                DESC: "DESC";
            }>>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"path">;
            path: z.ZodString;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"artifact">;
            artifactType: z.ZodEnum<{
                plan: "plan";
                code: "code";
                text: "text";
                math: "math";
                data: "data";
                mixed: "mixed";
            }>;
            ref: z.ZodObject<{
                kind: z.ZodEnum<{
                    id: "id";
                    inline: "inline";
                }>;
                id: z.ZodOptional<z.ZodString>;
            }, z.core.$strict>;
            content: z.ZodOptional<z.ZodString>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"value">;
            valueType: z.ZodEnum<{
                string: "string";
                number: "number";
                boolean: "boolean";
                date: "date";
                enum: "enum";
                id: "id";
            }>;
            shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
            raw: z.ZodOptional<z.ZodUnknown>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"expr">;
            exprType: z.ZodEnum<{
                code: "code";
                latex: "latex";
                ast: "ast";
            }>;
            expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>], "kind">>;
        ordered: z.ZodOptional<z.ZodBoolean>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>], "kind">>;
    DEST: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
        kind: z.ZodLiteral<"entity">;
        entityType: z.ZodString;
        ref: z.ZodOptional<z.ZodObject<{
            kind: z.ZodLiteral<"id">;
            id: z.ZodString;
        }, z.core.$strict>>;
        quant: z.ZodOptional<z.ZodObject<{
            kind: z.ZodLiteral<"quantity">;
            value: z.ZodNumber;
            comparator: z.ZodOptional<z.ZodEnum<{
                eq: "eq";
                gte: "gte";
                lte: "lte";
            }>>;
            unit: z.ZodOptional<z.ZodString>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>>;
        orderBy: z.ZodOptional<z.ZodObject<{
            kind: z.ZodLiteral<"path">;
            path: z.ZodString;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>>;
        orderDir: z.ZodOptional<z.ZodEnum<{
            ASC: "ASC";
            DESC: "DESC";
        }>>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"path">;
        path: z.ZodString;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"artifact">;
        artifactType: z.ZodEnum<{
            plan: "plan";
            code: "code";
            text: "text";
            math: "math";
            data: "data";
            mixed: "mixed";
        }>;
        ref: z.ZodObject<{
            kind: z.ZodEnum<{
                id: "id";
                inline: "inline";
            }>;
            id: z.ZodOptional<z.ZodString>;
        }, z.core.$strict>;
        content: z.ZodOptional<z.ZodString>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"value">;
        valueType: z.ZodEnum<{
            string: "string";
            number: "number";
            boolean: "boolean";
            date: "date";
            enum: "enum";
            id: "id";
        }>;
        shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
        raw: z.ZodOptional<z.ZodUnknown>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"expr">;
        exprType: z.ZodEnum<{
            code: "code";
            latex: "latex";
            ast: "ast";
        }>;
        expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"list">;
        items: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
            kind: z.ZodLiteral<"entity">;
            entityType: z.ZodString;
            ref: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"id">;
                id: z.ZodString;
            }, z.core.$strict>>;
            quant: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"quantity">;
                value: z.ZodNumber;
                comparator: z.ZodOptional<z.ZodEnum<{
                    eq: "eq";
                    gte: "gte";
                    lte: "lte";
                }>>;
                unit: z.ZodOptional<z.ZodString>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>>;
            orderBy: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"path">;
                path: z.ZodString;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>>;
            orderDir: z.ZodOptional<z.ZodEnum<{
                ASC: "ASC";
                DESC: "DESC";
            }>>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"path">;
            path: z.ZodString;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"artifact">;
            artifactType: z.ZodEnum<{
                plan: "plan";
                code: "code";
                text: "text";
                math: "math";
                data: "data";
                mixed: "mixed";
            }>;
            ref: z.ZodObject<{
                kind: z.ZodEnum<{
                    id: "id";
                    inline: "inline";
                }>;
                id: z.ZodOptional<z.ZodString>;
            }, z.core.$strict>;
            content: z.ZodOptional<z.ZodString>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"value">;
            valueType: z.ZodEnum<{
                string: "string";
                number: "number";
                boolean: "boolean";
                date: "date";
                enum: "enum";
                id: "id";
            }>;
            shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
            raw: z.ZodOptional<z.ZodUnknown>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"expr">;
            exprType: z.ZodEnum<{
                code: "code";
                latex: "latex";
                ast: "ast";
            }>;
            expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>], "kind">>;
        ordered: z.ZodOptional<z.ZodBoolean>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>], "kind">>;
    INSTRUMENT: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
        kind: z.ZodLiteral<"entity">;
        entityType: z.ZodString;
        ref: z.ZodOptional<z.ZodObject<{
            kind: z.ZodLiteral<"id">;
            id: z.ZodString;
        }, z.core.$strict>>;
        quant: z.ZodOptional<z.ZodObject<{
            kind: z.ZodLiteral<"quantity">;
            value: z.ZodNumber;
            comparator: z.ZodOptional<z.ZodEnum<{
                eq: "eq";
                gte: "gte";
                lte: "lte";
            }>>;
            unit: z.ZodOptional<z.ZodString>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>>;
        orderBy: z.ZodOptional<z.ZodObject<{
            kind: z.ZodLiteral<"path">;
            path: z.ZodString;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>>;
        orderDir: z.ZodOptional<z.ZodEnum<{
            ASC: "ASC";
            DESC: "DESC";
        }>>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"path">;
        path: z.ZodString;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"artifact">;
        artifactType: z.ZodEnum<{
            plan: "plan";
            code: "code";
            text: "text";
            math: "math";
            data: "data";
            mixed: "mixed";
        }>;
        ref: z.ZodObject<{
            kind: z.ZodEnum<{
                id: "id";
                inline: "inline";
            }>;
            id: z.ZodOptional<z.ZodString>;
        }, z.core.$strict>;
        content: z.ZodOptional<z.ZodString>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"value">;
        valueType: z.ZodEnum<{
            string: "string";
            number: "number";
            boolean: "boolean";
            date: "date";
            enum: "enum";
            id: "id";
        }>;
        shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
        raw: z.ZodOptional<z.ZodUnknown>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"expr">;
        exprType: z.ZodEnum<{
            code: "code";
            latex: "latex";
            ast: "ast";
        }>;
        expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"list">;
        items: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
            kind: z.ZodLiteral<"entity">;
            entityType: z.ZodString;
            ref: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"id">;
                id: z.ZodString;
            }, z.core.$strict>>;
            quant: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"quantity">;
                value: z.ZodNumber;
                comparator: z.ZodOptional<z.ZodEnum<{
                    eq: "eq";
                    gte: "gte";
                    lte: "lte";
                }>>;
                unit: z.ZodOptional<z.ZodString>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>>;
            orderBy: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"path">;
                path: z.ZodString;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>>;
            orderDir: z.ZodOptional<z.ZodEnum<{
                ASC: "ASC";
                DESC: "DESC";
            }>>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"path">;
            path: z.ZodString;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"artifact">;
            artifactType: z.ZodEnum<{
                plan: "plan";
                code: "code";
                text: "text";
                math: "math";
                data: "data";
                mixed: "mixed";
            }>;
            ref: z.ZodObject<{
                kind: z.ZodEnum<{
                    id: "id";
                    inline: "inline";
                }>;
                id: z.ZodOptional<z.ZodString>;
            }, z.core.$strict>;
            content: z.ZodOptional<z.ZodString>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"value">;
            valueType: z.ZodEnum<{
                string: "string";
                number: "number";
                boolean: "boolean";
                date: "date";
                enum: "enum";
                id: "id";
            }>;
            shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
            raw: z.ZodOptional<z.ZodUnknown>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"expr">;
            exprType: z.ZodEnum<{
                code: "code";
                latex: "latex";
                ast: "ast";
            }>;
            expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>], "kind">>;
        ordered: z.ZodOptional<z.ZodBoolean>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>], "kind">>;
    BENEFICIARY: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
        kind: z.ZodLiteral<"entity">;
        entityType: z.ZodString;
        ref: z.ZodOptional<z.ZodObject<{
            kind: z.ZodLiteral<"id">;
            id: z.ZodString;
        }, z.core.$strict>>;
        quant: z.ZodOptional<z.ZodObject<{
            kind: z.ZodLiteral<"quantity">;
            value: z.ZodNumber;
            comparator: z.ZodOptional<z.ZodEnum<{
                eq: "eq";
                gte: "gte";
                lte: "lte";
            }>>;
            unit: z.ZodOptional<z.ZodString>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>>;
        orderBy: z.ZodOptional<z.ZodObject<{
            kind: z.ZodLiteral<"path">;
            path: z.ZodString;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>>;
        orderDir: z.ZodOptional<z.ZodEnum<{
            ASC: "ASC";
            DESC: "DESC";
        }>>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"path">;
        path: z.ZodString;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"artifact">;
        artifactType: z.ZodEnum<{
            plan: "plan";
            code: "code";
            text: "text";
            math: "math";
            data: "data";
            mixed: "mixed";
        }>;
        ref: z.ZodObject<{
            kind: z.ZodEnum<{
                id: "id";
                inline: "inline";
            }>;
            id: z.ZodOptional<z.ZodString>;
        }, z.core.$strict>;
        content: z.ZodOptional<z.ZodString>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"value">;
        valueType: z.ZodEnum<{
            string: "string";
            number: "number";
            boolean: "boolean";
            date: "date";
            enum: "enum";
            id: "id";
        }>;
        shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
        raw: z.ZodOptional<z.ZodUnknown>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"expr">;
        exprType: z.ZodEnum<{
            code: "code";
            latex: "latex";
            ast: "ast";
        }>;
        expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>, z.ZodObject<{
        kind: z.ZodLiteral<"list">;
        items: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
            kind: z.ZodLiteral<"entity">;
            entityType: z.ZodString;
            ref: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"id">;
                id: z.ZodString;
            }, z.core.$strict>>;
            quant: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"quantity">;
                value: z.ZodNumber;
                comparator: z.ZodOptional<z.ZodEnum<{
                    eq: "eq";
                    gte: "gte";
                    lte: "lte";
                }>>;
                unit: z.ZodOptional<z.ZodString>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>>;
            orderBy: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"path">;
                path: z.ZodString;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>>;
            orderDir: z.ZodOptional<z.ZodEnum<{
                ASC: "ASC";
                DESC: "DESC";
            }>>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"path">;
            path: z.ZodString;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"artifact">;
            artifactType: z.ZodEnum<{
                plan: "plan";
                code: "code";
                text: "text";
                math: "math";
                data: "data";
                mixed: "mixed";
            }>;
            ref: z.ZodObject<{
                kind: z.ZodEnum<{
                    id: "id";
                    inline: "inline";
                }>;
                id: z.ZodOptional<z.ZodString>;
            }, z.core.$strict>;
            content: z.ZodOptional<z.ZodString>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"value">;
            valueType: z.ZodEnum<{
                string: "string";
                number: "number";
                boolean: "boolean";
                date: "date";
                enum: "enum";
                id: "id";
            }>;
            shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
            raw: z.ZodOptional<z.ZodUnknown>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"expr">;
            exprType: z.ZodEnum<{
                code: "code";
                latex: "latex";
                ast: "ast";
            }>;
            expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>], "kind">>;
        ordered: z.ZodOptional<z.ZodBoolean>;
        ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>], "kind">>;
}, z.core.$strict>;
export type ResolvedArgs = z.infer<typeof ResolvedArgsSchema>;
/**
 * ResolvedIntentIR: Symbolic refs (this/that/last) resolved to "id".
 * Collection scope (ref absent) is preserved as-is.
 *
 * CRITICAL: strictKey MUST be computed from ResolvedIntentIR, not IntentIR.
 */
export declare const ResolvedIntentIRSchema: z.ZodObject<{
    v: z.ZodLiteral<"0.2">;
    force: z.ZodEnum<{
        ASK: "ASK";
        DO: "DO";
        VERIFY: "VERIFY";
        CONFIRM: "CONFIRM";
        CLARIFY: "CLARIFY";
    }>;
    event: z.ZodObject<{
        lemma: z.ZodString;
        class: z.ZodEnum<{
            OBSERVE: "OBSERVE";
            TRANSFORM: "TRANSFORM";
            SOLVE: "SOLVE";
            CREATE: "CREATE";
            DECIDE: "DECIDE";
            CONTROL: "CONTROL";
        }>;
    }, z.core.$strict>;
    cond: z.ZodOptional<z.ZodArray<z.ZodObject<{
        lhs: z.ZodString;
        op: z.ZodEnum<{
            in: "in";
            "=": "=";
            "!=": "!=";
            "<": "<";
            ">": ">";
            "<=": "<=";
            ">=": ">=";
            contains: "contains";
            startsWith: "startsWith";
            matches: "matches";
        }>;
        rhs: z.ZodDiscriminatedUnion<[z.ZodObject<{
            kind: z.ZodLiteral<"entity">;
            entityType: z.ZodString;
            ref: z.ZodOptional<z.ZodObject<{
                kind: z.ZodEnum<{
                    this: "this";
                    that: "that";
                    last: "last";
                    id: "id";
                }>;
                id: z.ZodOptional<z.ZodString>;
            }, z.core.$strict>>;
            quant: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"quantity">;
                value: z.ZodNumber;
                comparator: z.ZodOptional<z.ZodEnum<{
                    eq: "eq";
                    gte: "gte";
                    lte: "lte";
                }>>;
                unit: z.ZodOptional<z.ZodString>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>>;
            orderBy: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"path">;
                path: z.ZodString;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strip>>;
            orderDir: z.ZodOptional<z.ZodEnum<{
                ASC: "ASC";
                DESC: "DESC";
            }>>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"path">;
            path: z.ZodString;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"artifact">;
            artifactType: z.ZodEnum<{
                plan: "plan";
                code: "code";
                text: "text";
                math: "math";
                data: "data";
                mixed: "mixed";
            }>;
            ref: z.ZodObject<{
                kind: z.ZodEnum<{
                    id: "id";
                    inline: "inline";
                }>;
                id: z.ZodOptional<z.ZodString>;
            }, z.core.$strict>;
            content: z.ZodOptional<z.ZodString>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"value">;
            valueType: z.ZodEnum<{
                string: "string";
                number: "number";
                boolean: "boolean";
                date: "date";
                enum: "enum";
                id: "id";
            }>;
            shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
            raw: z.ZodOptional<z.ZodUnknown>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"expr">;
            exprType: z.ZodEnum<{
                code: "code";
                latex: "latex";
                ast: "ast";
            }>;
            expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"list">;
            items: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
                kind: z.ZodLiteral<"entity">;
                entityType: z.ZodString;
                ref: z.ZodOptional<z.ZodObject<{
                    kind: z.ZodEnum<{
                        this: "this";
                        that: "that";
                        last: "last";
                        id: "id";
                    }>;
                    id: z.ZodOptional<z.ZodString>;
                }, z.core.$strict>>;
                quant: z.ZodOptional<z.ZodObject<{
                    kind: z.ZodLiteral<"quantity">;
                    value: z.ZodNumber;
                    comparator: z.ZodOptional<z.ZodEnum<{
                        eq: "eq";
                        gte: "gte";
                        lte: "lte";
                    }>>;
                    unit: z.ZodOptional<z.ZodString>;
                    ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
                }, z.core.$strict>>;
                orderBy: z.ZodOptional<z.ZodObject<{
                    kind: z.ZodLiteral<"path">;
                    path: z.ZodString;
                    ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
                }, z.core.$strip>>;
                orderDir: z.ZodOptional<z.ZodEnum<{
                    ASC: "ASC";
                    DESC: "DESC";
                }>>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>, z.ZodObject<{
                kind: z.ZodLiteral<"path">;
                path: z.ZodString;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>, z.ZodObject<{
                kind: z.ZodLiteral<"artifact">;
                artifactType: z.ZodEnum<{
                    plan: "plan";
                    code: "code";
                    text: "text";
                    math: "math";
                    data: "data";
                    mixed: "mixed";
                }>;
                ref: z.ZodObject<{
                    kind: z.ZodEnum<{
                        id: "id";
                        inline: "inline";
                    }>;
                    id: z.ZodOptional<z.ZodString>;
                }, z.core.$strict>;
                content: z.ZodOptional<z.ZodString>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>, z.ZodObject<{
                kind: z.ZodLiteral<"value">;
                valueType: z.ZodEnum<{
                    string: "string";
                    number: "number";
                    boolean: "boolean";
                    date: "date";
                    enum: "enum";
                    id: "id";
                }>;
                shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
                raw: z.ZodOptional<z.ZodUnknown>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>, z.ZodObject<{
                kind: z.ZodLiteral<"expr">;
                exprType: z.ZodEnum<{
                    code: "code";
                    latex: "latex";
                    ast: "ast";
                }>;
                expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>], "kind">>;
            ordered: z.ZodOptional<z.ZodBoolean>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>], "kind">;
    }, z.core.$strict>>>;
    mod: z.ZodOptional<z.ZodEnum<{
        MUST: "MUST";
        SHOULD: "SHOULD";
        MAY: "MAY";
        FORBID: "FORBID";
    }>>;
    time: z.ZodOptional<z.ZodObject<{
        kind: z.ZodEnum<{
            NOW: "NOW";
            AT: "AT";
            BEFORE: "BEFORE";
            AFTER: "AFTER";
            WITHIN: "WITHIN";
        }>;
        value: z.ZodOptional<z.ZodUnknown>;
    }, z.core.$strict>>;
    verify: z.ZodOptional<z.ZodObject<{
        mode: z.ZodEnum<{
            NONE: "NONE";
            TEST: "TEST";
            PROOF: "PROOF";
            CITATION: "CITATION";
            RUBRIC: "RUBRIC";
            POLICY: "POLICY";
        }>;
        spec: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>>;
    out: z.ZodOptional<z.ZodObject<{
        type: z.ZodEnum<{
            number: "number";
            expression: "expression";
            proof: "proof";
            explanation: "explanation";
            summary: "summary";
            plan: "plan";
            code: "code";
            text: "text";
            artifactRef: "artifactRef";
        }>;
        format: z.ZodOptional<z.ZodEnum<{
            text: "text";
            markdown: "markdown";
            json: "json";
            latex: "latex";
        }>>;
        constraints: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    }, z.core.$strict>>;
    ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
    args: z.ZodObject<{
        TARGET: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
            kind: z.ZodLiteral<"entity">;
            entityType: z.ZodString;
            ref: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"id">;
                id: z.ZodString;
            }, z.core.$strict>>;
            quant: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"quantity">;
                value: z.ZodNumber;
                comparator: z.ZodOptional<z.ZodEnum<{
                    eq: "eq";
                    gte: "gte";
                    lte: "lte";
                }>>;
                unit: z.ZodOptional<z.ZodString>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>>;
            orderBy: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"path">;
                path: z.ZodString;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>>;
            orderDir: z.ZodOptional<z.ZodEnum<{
                ASC: "ASC";
                DESC: "DESC";
            }>>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"path">;
            path: z.ZodString;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"artifact">;
            artifactType: z.ZodEnum<{
                plan: "plan";
                code: "code";
                text: "text";
                math: "math";
                data: "data";
                mixed: "mixed";
            }>;
            ref: z.ZodObject<{
                kind: z.ZodEnum<{
                    id: "id";
                    inline: "inline";
                }>;
                id: z.ZodOptional<z.ZodString>;
            }, z.core.$strict>;
            content: z.ZodOptional<z.ZodString>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"value">;
            valueType: z.ZodEnum<{
                string: "string";
                number: "number";
                boolean: "boolean";
                date: "date";
                enum: "enum";
                id: "id";
            }>;
            shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
            raw: z.ZodOptional<z.ZodUnknown>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"expr">;
            exprType: z.ZodEnum<{
                code: "code";
                latex: "latex";
                ast: "ast";
            }>;
            expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"list">;
            items: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
                kind: z.ZodLiteral<"entity">;
                entityType: z.ZodString;
                ref: z.ZodOptional<z.ZodObject<{
                    kind: z.ZodLiteral<"id">;
                    id: z.ZodString;
                }, z.core.$strict>>;
                quant: z.ZodOptional<z.ZodObject<{
                    kind: z.ZodLiteral<"quantity">;
                    value: z.ZodNumber;
                    comparator: z.ZodOptional<z.ZodEnum<{
                        eq: "eq";
                        gte: "gte";
                        lte: "lte";
                    }>>;
                    unit: z.ZodOptional<z.ZodString>;
                    ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
                }, z.core.$strict>>;
                orderBy: z.ZodOptional<z.ZodObject<{
                    kind: z.ZodLiteral<"path">;
                    path: z.ZodString;
                    ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
                }, z.core.$strict>>;
                orderDir: z.ZodOptional<z.ZodEnum<{
                    ASC: "ASC";
                    DESC: "DESC";
                }>>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>, z.ZodObject<{
                kind: z.ZodLiteral<"path">;
                path: z.ZodString;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>, z.ZodObject<{
                kind: z.ZodLiteral<"artifact">;
                artifactType: z.ZodEnum<{
                    plan: "plan";
                    code: "code";
                    text: "text";
                    math: "math";
                    data: "data";
                    mixed: "mixed";
                }>;
                ref: z.ZodObject<{
                    kind: z.ZodEnum<{
                        id: "id";
                        inline: "inline";
                    }>;
                    id: z.ZodOptional<z.ZodString>;
                }, z.core.$strict>;
                content: z.ZodOptional<z.ZodString>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>, z.ZodObject<{
                kind: z.ZodLiteral<"value">;
                valueType: z.ZodEnum<{
                    string: "string";
                    number: "number";
                    boolean: "boolean";
                    date: "date";
                    enum: "enum";
                    id: "id";
                }>;
                shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
                raw: z.ZodOptional<z.ZodUnknown>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>, z.ZodObject<{
                kind: z.ZodLiteral<"expr">;
                exprType: z.ZodEnum<{
                    code: "code";
                    latex: "latex";
                    ast: "ast";
                }>;
                expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>], "kind">>;
            ordered: z.ZodOptional<z.ZodBoolean>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>], "kind">>;
        THEME: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
            kind: z.ZodLiteral<"entity">;
            entityType: z.ZodString;
            ref: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"id">;
                id: z.ZodString;
            }, z.core.$strict>>;
            quant: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"quantity">;
                value: z.ZodNumber;
                comparator: z.ZodOptional<z.ZodEnum<{
                    eq: "eq";
                    gte: "gte";
                    lte: "lte";
                }>>;
                unit: z.ZodOptional<z.ZodString>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>>;
            orderBy: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"path">;
                path: z.ZodString;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>>;
            orderDir: z.ZodOptional<z.ZodEnum<{
                ASC: "ASC";
                DESC: "DESC";
            }>>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"path">;
            path: z.ZodString;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"artifact">;
            artifactType: z.ZodEnum<{
                plan: "plan";
                code: "code";
                text: "text";
                math: "math";
                data: "data";
                mixed: "mixed";
            }>;
            ref: z.ZodObject<{
                kind: z.ZodEnum<{
                    id: "id";
                    inline: "inline";
                }>;
                id: z.ZodOptional<z.ZodString>;
            }, z.core.$strict>;
            content: z.ZodOptional<z.ZodString>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"value">;
            valueType: z.ZodEnum<{
                string: "string";
                number: "number";
                boolean: "boolean";
                date: "date";
                enum: "enum";
                id: "id";
            }>;
            shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
            raw: z.ZodOptional<z.ZodUnknown>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"expr">;
            exprType: z.ZodEnum<{
                code: "code";
                latex: "latex";
                ast: "ast";
            }>;
            expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"list">;
            items: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
                kind: z.ZodLiteral<"entity">;
                entityType: z.ZodString;
                ref: z.ZodOptional<z.ZodObject<{
                    kind: z.ZodLiteral<"id">;
                    id: z.ZodString;
                }, z.core.$strict>>;
                quant: z.ZodOptional<z.ZodObject<{
                    kind: z.ZodLiteral<"quantity">;
                    value: z.ZodNumber;
                    comparator: z.ZodOptional<z.ZodEnum<{
                        eq: "eq";
                        gte: "gte";
                        lte: "lte";
                    }>>;
                    unit: z.ZodOptional<z.ZodString>;
                    ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
                }, z.core.$strict>>;
                orderBy: z.ZodOptional<z.ZodObject<{
                    kind: z.ZodLiteral<"path">;
                    path: z.ZodString;
                    ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
                }, z.core.$strict>>;
                orderDir: z.ZodOptional<z.ZodEnum<{
                    ASC: "ASC";
                    DESC: "DESC";
                }>>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>, z.ZodObject<{
                kind: z.ZodLiteral<"path">;
                path: z.ZodString;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>, z.ZodObject<{
                kind: z.ZodLiteral<"artifact">;
                artifactType: z.ZodEnum<{
                    plan: "plan";
                    code: "code";
                    text: "text";
                    math: "math";
                    data: "data";
                    mixed: "mixed";
                }>;
                ref: z.ZodObject<{
                    kind: z.ZodEnum<{
                        id: "id";
                        inline: "inline";
                    }>;
                    id: z.ZodOptional<z.ZodString>;
                }, z.core.$strict>;
                content: z.ZodOptional<z.ZodString>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>, z.ZodObject<{
                kind: z.ZodLiteral<"value">;
                valueType: z.ZodEnum<{
                    string: "string";
                    number: "number";
                    boolean: "boolean";
                    date: "date";
                    enum: "enum";
                    id: "id";
                }>;
                shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
                raw: z.ZodOptional<z.ZodUnknown>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>, z.ZodObject<{
                kind: z.ZodLiteral<"expr">;
                exprType: z.ZodEnum<{
                    code: "code";
                    latex: "latex";
                    ast: "ast";
                }>;
                expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>], "kind">>;
            ordered: z.ZodOptional<z.ZodBoolean>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>], "kind">>;
        SOURCE: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
            kind: z.ZodLiteral<"entity">;
            entityType: z.ZodString;
            ref: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"id">;
                id: z.ZodString;
            }, z.core.$strict>>;
            quant: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"quantity">;
                value: z.ZodNumber;
                comparator: z.ZodOptional<z.ZodEnum<{
                    eq: "eq";
                    gte: "gte";
                    lte: "lte";
                }>>;
                unit: z.ZodOptional<z.ZodString>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>>;
            orderBy: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"path">;
                path: z.ZodString;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>>;
            orderDir: z.ZodOptional<z.ZodEnum<{
                ASC: "ASC";
                DESC: "DESC";
            }>>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"path">;
            path: z.ZodString;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"artifact">;
            artifactType: z.ZodEnum<{
                plan: "plan";
                code: "code";
                text: "text";
                math: "math";
                data: "data";
                mixed: "mixed";
            }>;
            ref: z.ZodObject<{
                kind: z.ZodEnum<{
                    id: "id";
                    inline: "inline";
                }>;
                id: z.ZodOptional<z.ZodString>;
            }, z.core.$strict>;
            content: z.ZodOptional<z.ZodString>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"value">;
            valueType: z.ZodEnum<{
                string: "string";
                number: "number";
                boolean: "boolean";
                date: "date";
                enum: "enum";
                id: "id";
            }>;
            shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
            raw: z.ZodOptional<z.ZodUnknown>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"expr">;
            exprType: z.ZodEnum<{
                code: "code";
                latex: "latex";
                ast: "ast";
            }>;
            expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"list">;
            items: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
                kind: z.ZodLiteral<"entity">;
                entityType: z.ZodString;
                ref: z.ZodOptional<z.ZodObject<{
                    kind: z.ZodLiteral<"id">;
                    id: z.ZodString;
                }, z.core.$strict>>;
                quant: z.ZodOptional<z.ZodObject<{
                    kind: z.ZodLiteral<"quantity">;
                    value: z.ZodNumber;
                    comparator: z.ZodOptional<z.ZodEnum<{
                        eq: "eq";
                        gte: "gte";
                        lte: "lte";
                    }>>;
                    unit: z.ZodOptional<z.ZodString>;
                    ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
                }, z.core.$strict>>;
                orderBy: z.ZodOptional<z.ZodObject<{
                    kind: z.ZodLiteral<"path">;
                    path: z.ZodString;
                    ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
                }, z.core.$strict>>;
                orderDir: z.ZodOptional<z.ZodEnum<{
                    ASC: "ASC";
                    DESC: "DESC";
                }>>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>, z.ZodObject<{
                kind: z.ZodLiteral<"path">;
                path: z.ZodString;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>, z.ZodObject<{
                kind: z.ZodLiteral<"artifact">;
                artifactType: z.ZodEnum<{
                    plan: "plan";
                    code: "code";
                    text: "text";
                    math: "math";
                    data: "data";
                    mixed: "mixed";
                }>;
                ref: z.ZodObject<{
                    kind: z.ZodEnum<{
                        id: "id";
                        inline: "inline";
                    }>;
                    id: z.ZodOptional<z.ZodString>;
                }, z.core.$strict>;
                content: z.ZodOptional<z.ZodString>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>, z.ZodObject<{
                kind: z.ZodLiteral<"value">;
                valueType: z.ZodEnum<{
                    string: "string";
                    number: "number";
                    boolean: "boolean";
                    date: "date";
                    enum: "enum";
                    id: "id";
                }>;
                shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
                raw: z.ZodOptional<z.ZodUnknown>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>, z.ZodObject<{
                kind: z.ZodLiteral<"expr">;
                exprType: z.ZodEnum<{
                    code: "code";
                    latex: "latex";
                    ast: "ast";
                }>;
                expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>], "kind">>;
            ordered: z.ZodOptional<z.ZodBoolean>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>], "kind">>;
        DEST: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
            kind: z.ZodLiteral<"entity">;
            entityType: z.ZodString;
            ref: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"id">;
                id: z.ZodString;
            }, z.core.$strict>>;
            quant: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"quantity">;
                value: z.ZodNumber;
                comparator: z.ZodOptional<z.ZodEnum<{
                    eq: "eq";
                    gte: "gte";
                    lte: "lte";
                }>>;
                unit: z.ZodOptional<z.ZodString>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>>;
            orderBy: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"path">;
                path: z.ZodString;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>>;
            orderDir: z.ZodOptional<z.ZodEnum<{
                ASC: "ASC";
                DESC: "DESC";
            }>>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"path">;
            path: z.ZodString;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"artifact">;
            artifactType: z.ZodEnum<{
                plan: "plan";
                code: "code";
                text: "text";
                math: "math";
                data: "data";
                mixed: "mixed";
            }>;
            ref: z.ZodObject<{
                kind: z.ZodEnum<{
                    id: "id";
                    inline: "inline";
                }>;
                id: z.ZodOptional<z.ZodString>;
            }, z.core.$strict>;
            content: z.ZodOptional<z.ZodString>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"value">;
            valueType: z.ZodEnum<{
                string: "string";
                number: "number";
                boolean: "boolean";
                date: "date";
                enum: "enum";
                id: "id";
            }>;
            shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
            raw: z.ZodOptional<z.ZodUnknown>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"expr">;
            exprType: z.ZodEnum<{
                code: "code";
                latex: "latex";
                ast: "ast";
            }>;
            expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"list">;
            items: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
                kind: z.ZodLiteral<"entity">;
                entityType: z.ZodString;
                ref: z.ZodOptional<z.ZodObject<{
                    kind: z.ZodLiteral<"id">;
                    id: z.ZodString;
                }, z.core.$strict>>;
                quant: z.ZodOptional<z.ZodObject<{
                    kind: z.ZodLiteral<"quantity">;
                    value: z.ZodNumber;
                    comparator: z.ZodOptional<z.ZodEnum<{
                        eq: "eq";
                        gte: "gte";
                        lte: "lte";
                    }>>;
                    unit: z.ZodOptional<z.ZodString>;
                    ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
                }, z.core.$strict>>;
                orderBy: z.ZodOptional<z.ZodObject<{
                    kind: z.ZodLiteral<"path">;
                    path: z.ZodString;
                    ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
                }, z.core.$strict>>;
                orderDir: z.ZodOptional<z.ZodEnum<{
                    ASC: "ASC";
                    DESC: "DESC";
                }>>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>, z.ZodObject<{
                kind: z.ZodLiteral<"path">;
                path: z.ZodString;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>, z.ZodObject<{
                kind: z.ZodLiteral<"artifact">;
                artifactType: z.ZodEnum<{
                    plan: "plan";
                    code: "code";
                    text: "text";
                    math: "math";
                    data: "data";
                    mixed: "mixed";
                }>;
                ref: z.ZodObject<{
                    kind: z.ZodEnum<{
                        id: "id";
                        inline: "inline";
                    }>;
                    id: z.ZodOptional<z.ZodString>;
                }, z.core.$strict>;
                content: z.ZodOptional<z.ZodString>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>, z.ZodObject<{
                kind: z.ZodLiteral<"value">;
                valueType: z.ZodEnum<{
                    string: "string";
                    number: "number";
                    boolean: "boolean";
                    date: "date";
                    enum: "enum";
                    id: "id";
                }>;
                shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
                raw: z.ZodOptional<z.ZodUnknown>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>, z.ZodObject<{
                kind: z.ZodLiteral<"expr">;
                exprType: z.ZodEnum<{
                    code: "code";
                    latex: "latex";
                    ast: "ast";
                }>;
                expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>], "kind">>;
            ordered: z.ZodOptional<z.ZodBoolean>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>], "kind">>;
        INSTRUMENT: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
            kind: z.ZodLiteral<"entity">;
            entityType: z.ZodString;
            ref: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"id">;
                id: z.ZodString;
            }, z.core.$strict>>;
            quant: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"quantity">;
                value: z.ZodNumber;
                comparator: z.ZodOptional<z.ZodEnum<{
                    eq: "eq";
                    gte: "gte";
                    lte: "lte";
                }>>;
                unit: z.ZodOptional<z.ZodString>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>>;
            orderBy: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"path">;
                path: z.ZodString;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>>;
            orderDir: z.ZodOptional<z.ZodEnum<{
                ASC: "ASC";
                DESC: "DESC";
            }>>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"path">;
            path: z.ZodString;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"artifact">;
            artifactType: z.ZodEnum<{
                plan: "plan";
                code: "code";
                text: "text";
                math: "math";
                data: "data";
                mixed: "mixed";
            }>;
            ref: z.ZodObject<{
                kind: z.ZodEnum<{
                    id: "id";
                    inline: "inline";
                }>;
                id: z.ZodOptional<z.ZodString>;
            }, z.core.$strict>;
            content: z.ZodOptional<z.ZodString>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"value">;
            valueType: z.ZodEnum<{
                string: "string";
                number: "number";
                boolean: "boolean";
                date: "date";
                enum: "enum";
                id: "id";
            }>;
            shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
            raw: z.ZodOptional<z.ZodUnknown>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"expr">;
            exprType: z.ZodEnum<{
                code: "code";
                latex: "latex";
                ast: "ast";
            }>;
            expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"list">;
            items: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
                kind: z.ZodLiteral<"entity">;
                entityType: z.ZodString;
                ref: z.ZodOptional<z.ZodObject<{
                    kind: z.ZodLiteral<"id">;
                    id: z.ZodString;
                }, z.core.$strict>>;
                quant: z.ZodOptional<z.ZodObject<{
                    kind: z.ZodLiteral<"quantity">;
                    value: z.ZodNumber;
                    comparator: z.ZodOptional<z.ZodEnum<{
                        eq: "eq";
                        gte: "gte";
                        lte: "lte";
                    }>>;
                    unit: z.ZodOptional<z.ZodString>;
                    ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
                }, z.core.$strict>>;
                orderBy: z.ZodOptional<z.ZodObject<{
                    kind: z.ZodLiteral<"path">;
                    path: z.ZodString;
                    ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
                }, z.core.$strict>>;
                orderDir: z.ZodOptional<z.ZodEnum<{
                    ASC: "ASC";
                    DESC: "DESC";
                }>>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>, z.ZodObject<{
                kind: z.ZodLiteral<"path">;
                path: z.ZodString;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>, z.ZodObject<{
                kind: z.ZodLiteral<"artifact">;
                artifactType: z.ZodEnum<{
                    plan: "plan";
                    code: "code";
                    text: "text";
                    math: "math";
                    data: "data";
                    mixed: "mixed";
                }>;
                ref: z.ZodObject<{
                    kind: z.ZodEnum<{
                        id: "id";
                        inline: "inline";
                    }>;
                    id: z.ZodOptional<z.ZodString>;
                }, z.core.$strict>;
                content: z.ZodOptional<z.ZodString>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>, z.ZodObject<{
                kind: z.ZodLiteral<"value">;
                valueType: z.ZodEnum<{
                    string: "string";
                    number: "number";
                    boolean: "boolean";
                    date: "date";
                    enum: "enum";
                    id: "id";
                }>;
                shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
                raw: z.ZodOptional<z.ZodUnknown>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>, z.ZodObject<{
                kind: z.ZodLiteral<"expr">;
                exprType: z.ZodEnum<{
                    code: "code";
                    latex: "latex";
                    ast: "ast";
                }>;
                expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>], "kind">>;
            ordered: z.ZodOptional<z.ZodBoolean>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>], "kind">>;
        BENEFICIARY: z.ZodOptional<z.ZodDiscriminatedUnion<[z.ZodObject<{
            kind: z.ZodLiteral<"entity">;
            entityType: z.ZodString;
            ref: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"id">;
                id: z.ZodString;
            }, z.core.$strict>>;
            quant: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"quantity">;
                value: z.ZodNumber;
                comparator: z.ZodOptional<z.ZodEnum<{
                    eq: "eq";
                    gte: "gte";
                    lte: "lte";
                }>>;
                unit: z.ZodOptional<z.ZodString>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>>;
            orderBy: z.ZodOptional<z.ZodObject<{
                kind: z.ZodLiteral<"path">;
                path: z.ZodString;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>>;
            orderDir: z.ZodOptional<z.ZodEnum<{
                ASC: "ASC";
                DESC: "DESC";
            }>>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"path">;
            path: z.ZodString;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"artifact">;
            artifactType: z.ZodEnum<{
                plan: "plan";
                code: "code";
                text: "text";
                math: "math";
                data: "data";
                mixed: "mixed";
            }>;
            ref: z.ZodObject<{
                kind: z.ZodEnum<{
                    id: "id";
                    inline: "inline";
                }>;
                id: z.ZodOptional<z.ZodString>;
            }, z.core.$strict>;
            content: z.ZodOptional<z.ZodString>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"value">;
            valueType: z.ZodEnum<{
                string: "string";
                number: "number";
                boolean: "boolean";
                date: "date";
                enum: "enum";
                id: "id";
            }>;
            shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
            raw: z.ZodOptional<z.ZodUnknown>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"expr">;
            exprType: z.ZodEnum<{
                code: "code";
                latex: "latex";
                ast: "ast";
            }>;
            expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>, z.ZodObject<{
            kind: z.ZodLiteral<"list">;
            items: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
                kind: z.ZodLiteral<"entity">;
                entityType: z.ZodString;
                ref: z.ZodOptional<z.ZodObject<{
                    kind: z.ZodLiteral<"id">;
                    id: z.ZodString;
                }, z.core.$strict>>;
                quant: z.ZodOptional<z.ZodObject<{
                    kind: z.ZodLiteral<"quantity">;
                    value: z.ZodNumber;
                    comparator: z.ZodOptional<z.ZodEnum<{
                        eq: "eq";
                        gte: "gte";
                        lte: "lte";
                    }>>;
                    unit: z.ZodOptional<z.ZodString>;
                    ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
                }, z.core.$strict>>;
                orderBy: z.ZodOptional<z.ZodObject<{
                    kind: z.ZodLiteral<"path">;
                    path: z.ZodString;
                    ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
                }, z.core.$strict>>;
                orderDir: z.ZodOptional<z.ZodEnum<{
                    ASC: "ASC";
                    DESC: "DESC";
                }>>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>, z.ZodObject<{
                kind: z.ZodLiteral<"path">;
                path: z.ZodString;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>, z.ZodObject<{
                kind: z.ZodLiteral<"artifact">;
                artifactType: z.ZodEnum<{
                    plan: "plan";
                    code: "code";
                    text: "text";
                    math: "math";
                    data: "data";
                    mixed: "mixed";
                }>;
                ref: z.ZodObject<{
                    kind: z.ZodEnum<{
                        id: "id";
                        inline: "inline";
                    }>;
                    id: z.ZodOptional<z.ZodString>;
                }, z.core.$strict>;
                content: z.ZodOptional<z.ZodString>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>, z.ZodObject<{
                kind: z.ZodLiteral<"value">;
                valueType: z.ZodEnum<{
                    string: "string";
                    number: "number";
                    boolean: "boolean";
                    date: "date";
                    enum: "enum";
                    id: "id";
                }>;
                shape: z.ZodRecord<z.ZodString, z.ZodUnknown>;
                raw: z.ZodOptional<z.ZodUnknown>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>, z.ZodObject<{
                kind: z.ZodLiteral<"expr">;
                exprType: z.ZodEnum<{
                    code: "code";
                    latex: "latex";
                    ast: "ast";
                }>;
                expr: z.ZodUnion<readonly [z.ZodString, z.ZodRecord<z.ZodString, z.ZodUnknown>]>;
                ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
            }, z.core.$strict>], "kind">>;
            ordered: z.ZodOptional<z.ZodBoolean>;
            ext: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
        }, z.core.$strict>], "kind">>;
    }, z.core.$strict>;
}, z.core.$strict>;
export type ResolvedIntentIR = z.infer<typeof ResolvedIntentIRSchema>;
//# sourceMappingURL=resolved.d.ts.map