/**
 * @fileoverview IntentIR Root Schema (SPEC Section 7)
 *
 * IntentIR is the root structure representing a complete semantic intent.
 */
import { z } from "zod";
/**
 * Intent IR version identifier.
 * Wire version uses "MAJOR.MINOR" format.
 */
export declare const IntentIRVersionSchema: z.ZodLiteral<"0.2">;
export type IntentIRVersion = z.infer<typeof IntentIRVersionSchema>;
/**
 * Args schema: each role maps to at most one Term (v0.2).
 *
 * Per FDR-INT-006, single Term per Role remains in v0.2.
 * Multiple terms per role MUST use ListTerm.
 */
export declare const ArgsSchema: z.ZodObject<{
    TARGET: z.ZodOptional<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">>;
    THEME: z.ZodOptional<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">>;
    SOURCE: z.ZodOptional<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">>;
    DEST: z.ZodOptional<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">>;
    INSTRUMENT: z.ZodOptional<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">>;
    BENEFICIARY: z.ZodOptional<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>;
export type Args = z.infer<typeof ArgsSchema>;
/**
 * IntentIR root schema.
 *
 * Represents a complete semantic intent in Chomskyan LF form.
 *
 * @example
 * {
 *   v: "0.2",
 *   force: "DO",
 *   event: { lemma: "CANCEL", class: "CONTROL" },
 *   args: {
 *     TARGET: { kind: "entity", entityType: "Order", ref: { kind: "last" } }
 *   },
 *   mod: "MUST",
 *   time: { kind: "NOW" }
 * }
 */
export declare const IntentIRSchema: 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>;
    args: z.ZodObject<{
        TARGET: z.ZodOptional<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">>;
        THEME: z.ZodOptional<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">>;
        SOURCE: z.ZodOptional<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">>;
        DEST: z.ZodOptional<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">>;
        INSTRUMENT: z.ZodOptional<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">>;
        BENEFICIARY: z.ZodOptional<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>;
    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>>;
}, z.core.$strict>;
export type IntentIR = z.infer<typeof IntentIRSchema>;
/**
 * Parse and validate IntentIR.
 * @throws ZodError on validation failure
 */
export declare function parseIntentIR(data: unknown): IntentIR;
/**
 * Safe parse IntentIR without throwing.
 */
export declare function safeParseIntentIR(data: unknown): z.ZodSafeParseResult<{
    v: "0.2";
    force: "ASK" | "DO" | "VERIFY" | "CONFIRM" | "CLARIFY";
    event: {
        lemma: string;
        class: "OBSERVE" | "TRANSFORM" | "SOLVE" | "CREATE" | "DECIDE" | "CONTROL";
    };
    args: {
        TARGET?: {
            kind: "entity";
            entityType: string;
            ref?: {
                kind: "this" | "that" | "last" | "id";
                id?: string | undefined;
            } | undefined;
            quant?: {
                kind: "quantity";
                value: number;
                comparator?: "eq" | "gte" | "lte" | undefined;
                unit?: string | undefined;
                ext?: Record<string, unknown> | undefined;
            } | undefined;
            orderBy?: {
                kind: "path";
                path: string;
                ext?: Record<string, unknown> | undefined;
            } | undefined;
            orderDir?: "ASC" | "DESC" | undefined;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "path";
            path: string;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "artifact";
            artifactType: "plan" | "code" | "text" | "math" | "data" | "mixed";
            ref: {
                kind: "id" | "inline";
                id?: string | undefined;
            };
            content?: string | undefined;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "value";
            valueType: "string" | "number" | "boolean" | "date" | "enum" | "id";
            shape: Record<string, unknown>;
            raw?: unknown;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "expr";
            exprType: "code" | "latex" | "ast";
            expr: string | Record<string, unknown>;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "list";
            items: ({
                kind: "entity";
                entityType: string;
                ref?: {
                    kind: "this" | "that" | "last" | "id";
                    id?: string | undefined;
                } | undefined;
                quant?: {
                    kind: "quantity";
                    value: number;
                    comparator?: "eq" | "gte" | "lte" | undefined;
                    unit?: string | undefined;
                    ext?: Record<string, unknown> | undefined;
                } | undefined;
                orderBy?: {
                    kind: "path";
                    path: string;
                    ext?: Record<string, unknown> | undefined;
                } | undefined;
                orderDir?: "ASC" | "DESC" | undefined;
                ext?: Record<string, unknown> | undefined;
            } | {
                kind: "path";
                path: string;
                ext?: Record<string, unknown> | undefined;
            } | {
                kind: "artifact";
                artifactType: "plan" | "code" | "text" | "math" | "data" | "mixed";
                ref: {
                    kind: "id" | "inline";
                    id?: string | undefined;
                };
                content?: string | undefined;
                ext?: Record<string, unknown> | undefined;
            } | {
                kind: "value";
                valueType: "string" | "number" | "boolean" | "date" | "enum" | "id";
                shape: Record<string, unknown>;
                raw?: unknown;
                ext?: Record<string, unknown> | undefined;
            } | {
                kind: "expr";
                exprType: "code" | "latex" | "ast";
                expr: string | Record<string, unknown>;
                ext?: Record<string, unknown> | undefined;
            })[];
            ordered?: boolean | undefined;
            ext?: Record<string, unknown> | undefined;
        } | undefined;
        THEME?: {
            kind: "entity";
            entityType: string;
            ref?: {
                kind: "this" | "that" | "last" | "id";
                id?: string | undefined;
            } | undefined;
            quant?: {
                kind: "quantity";
                value: number;
                comparator?: "eq" | "gte" | "lte" | undefined;
                unit?: string | undefined;
                ext?: Record<string, unknown> | undefined;
            } | undefined;
            orderBy?: {
                kind: "path";
                path: string;
                ext?: Record<string, unknown> | undefined;
            } | undefined;
            orderDir?: "ASC" | "DESC" | undefined;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "path";
            path: string;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "artifact";
            artifactType: "plan" | "code" | "text" | "math" | "data" | "mixed";
            ref: {
                kind: "id" | "inline";
                id?: string | undefined;
            };
            content?: string | undefined;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "value";
            valueType: "string" | "number" | "boolean" | "date" | "enum" | "id";
            shape: Record<string, unknown>;
            raw?: unknown;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "expr";
            exprType: "code" | "latex" | "ast";
            expr: string | Record<string, unknown>;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "list";
            items: ({
                kind: "entity";
                entityType: string;
                ref?: {
                    kind: "this" | "that" | "last" | "id";
                    id?: string | undefined;
                } | undefined;
                quant?: {
                    kind: "quantity";
                    value: number;
                    comparator?: "eq" | "gte" | "lte" | undefined;
                    unit?: string | undefined;
                    ext?: Record<string, unknown> | undefined;
                } | undefined;
                orderBy?: {
                    kind: "path";
                    path: string;
                    ext?: Record<string, unknown> | undefined;
                } | undefined;
                orderDir?: "ASC" | "DESC" | undefined;
                ext?: Record<string, unknown> | undefined;
            } | {
                kind: "path";
                path: string;
                ext?: Record<string, unknown> | undefined;
            } | {
                kind: "artifact";
                artifactType: "plan" | "code" | "text" | "math" | "data" | "mixed";
                ref: {
                    kind: "id" | "inline";
                    id?: string | undefined;
                };
                content?: string | undefined;
                ext?: Record<string, unknown> | undefined;
            } | {
                kind: "value";
                valueType: "string" | "number" | "boolean" | "date" | "enum" | "id";
                shape: Record<string, unknown>;
                raw?: unknown;
                ext?: Record<string, unknown> | undefined;
            } | {
                kind: "expr";
                exprType: "code" | "latex" | "ast";
                expr: string | Record<string, unknown>;
                ext?: Record<string, unknown> | undefined;
            })[];
            ordered?: boolean | undefined;
            ext?: Record<string, unknown> | undefined;
        } | undefined;
        SOURCE?: {
            kind: "entity";
            entityType: string;
            ref?: {
                kind: "this" | "that" | "last" | "id";
                id?: string | undefined;
            } | undefined;
            quant?: {
                kind: "quantity";
                value: number;
                comparator?: "eq" | "gte" | "lte" | undefined;
                unit?: string | undefined;
                ext?: Record<string, unknown> | undefined;
            } | undefined;
            orderBy?: {
                kind: "path";
                path: string;
                ext?: Record<string, unknown> | undefined;
            } | undefined;
            orderDir?: "ASC" | "DESC" | undefined;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "path";
            path: string;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "artifact";
            artifactType: "plan" | "code" | "text" | "math" | "data" | "mixed";
            ref: {
                kind: "id" | "inline";
                id?: string | undefined;
            };
            content?: string | undefined;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "value";
            valueType: "string" | "number" | "boolean" | "date" | "enum" | "id";
            shape: Record<string, unknown>;
            raw?: unknown;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "expr";
            exprType: "code" | "latex" | "ast";
            expr: string | Record<string, unknown>;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "list";
            items: ({
                kind: "entity";
                entityType: string;
                ref?: {
                    kind: "this" | "that" | "last" | "id";
                    id?: string | undefined;
                } | undefined;
                quant?: {
                    kind: "quantity";
                    value: number;
                    comparator?: "eq" | "gte" | "lte" | undefined;
                    unit?: string | undefined;
                    ext?: Record<string, unknown> | undefined;
                } | undefined;
                orderBy?: {
                    kind: "path";
                    path: string;
                    ext?: Record<string, unknown> | undefined;
                } | undefined;
                orderDir?: "ASC" | "DESC" | undefined;
                ext?: Record<string, unknown> | undefined;
            } | {
                kind: "path";
                path: string;
                ext?: Record<string, unknown> | undefined;
            } | {
                kind: "artifact";
                artifactType: "plan" | "code" | "text" | "math" | "data" | "mixed";
                ref: {
                    kind: "id" | "inline";
                    id?: string | undefined;
                };
                content?: string | undefined;
                ext?: Record<string, unknown> | undefined;
            } | {
                kind: "value";
                valueType: "string" | "number" | "boolean" | "date" | "enum" | "id";
                shape: Record<string, unknown>;
                raw?: unknown;
                ext?: Record<string, unknown> | undefined;
            } | {
                kind: "expr";
                exprType: "code" | "latex" | "ast";
                expr: string | Record<string, unknown>;
                ext?: Record<string, unknown> | undefined;
            })[];
            ordered?: boolean | undefined;
            ext?: Record<string, unknown> | undefined;
        } | undefined;
        DEST?: {
            kind: "entity";
            entityType: string;
            ref?: {
                kind: "this" | "that" | "last" | "id";
                id?: string | undefined;
            } | undefined;
            quant?: {
                kind: "quantity";
                value: number;
                comparator?: "eq" | "gte" | "lte" | undefined;
                unit?: string | undefined;
                ext?: Record<string, unknown> | undefined;
            } | undefined;
            orderBy?: {
                kind: "path";
                path: string;
                ext?: Record<string, unknown> | undefined;
            } | undefined;
            orderDir?: "ASC" | "DESC" | undefined;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "path";
            path: string;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "artifact";
            artifactType: "plan" | "code" | "text" | "math" | "data" | "mixed";
            ref: {
                kind: "id" | "inline";
                id?: string | undefined;
            };
            content?: string | undefined;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "value";
            valueType: "string" | "number" | "boolean" | "date" | "enum" | "id";
            shape: Record<string, unknown>;
            raw?: unknown;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "expr";
            exprType: "code" | "latex" | "ast";
            expr: string | Record<string, unknown>;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "list";
            items: ({
                kind: "entity";
                entityType: string;
                ref?: {
                    kind: "this" | "that" | "last" | "id";
                    id?: string | undefined;
                } | undefined;
                quant?: {
                    kind: "quantity";
                    value: number;
                    comparator?: "eq" | "gte" | "lte" | undefined;
                    unit?: string | undefined;
                    ext?: Record<string, unknown> | undefined;
                } | undefined;
                orderBy?: {
                    kind: "path";
                    path: string;
                    ext?: Record<string, unknown> | undefined;
                } | undefined;
                orderDir?: "ASC" | "DESC" | undefined;
                ext?: Record<string, unknown> | undefined;
            } | {
                kind: "path";
                path: string;
                ext?: Record<string, unknown> | undefined;
            } | {
                kind: "artifact";
                artifactType: "plan" | "code" | "text" | "math" | "data" | "mixed";
                ref: {
                    kind: "id" | "inline";
                    id?: string | undefined;
                };
                content?: string | undefined;
                ext?: Record<string, unknown> | undefined;
            } | {
                kind: "value";
                valueType: "string" | "number" | "boolean" | "date" | "enum" | "id";
                shape: Record<string, unknown>;
                raw?: unknown;
                ext?: Record<string, unknown> | undefined;
            } | {
                kind: "expr";
                exprType: "code" | "latex" | "ast";
                expr: string | Record<string, unknown>;
                ext?: Record<string, unknown> | undefined;
            })[];
            ordered?: boolean | undefined;
            ext?: Record<string, unknown> | undefined;
        } | undefined;
        INSTRUMENT?: {
            kind: "entity";
            entityType: string;
            ref?: {
                kind: "this" | "that" | "last" | "id";
                id?: string | undefined;
            } | undefined;
            quant?: {
                kind: "quantity";
                value: number;
                comparator?: "eq" | "gte" | "lte" | undefined;
                unit?: string | undefined;
                ext?: Record<string, unknown> | undefined;
            } | undefined;
            orderBy?: {
                kind: "path";
                path: string;
                ext?: Record<string, unknown> | undefined;
            } | undefined;
            orderDir?: "ASC" | "DESC" | undefined;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "path";
            path: string;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "artifact";
            artifactType: "plan" | "code" | "text" | "math" | "data" | "mixed";
            ref: {
                kind: "id" | "inline";
                id?: string | undefined;
            };
            content?: string | undefined;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "value";
            valueType: "string" | "number" | "boolean" | "date" | "enum" | "id";
            shape: Record<string, unknown>;
            raw?: unknown;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "expr";
            exprType: "code" | "latex" | "ast";
            expr: string | Record<string, unknown>;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "list";
            items: ({
                kind: "entity";
                entityType: string;
                ref?: {
                    kind: "this" | "that" | "last" | "id";
                    id?: string | undefined;
                } | undefined;
                quant?: {
                    kind: "quantity";
                    value: number;
                    comparator?: "eq" | "gte" | "lte" | undefined;
                    unit?: string | undefined;
                    ext?: Record<string, unknown> | undefined;
                } | undefined;
                orderBy?: {
                    kind: "path";
                    path: string;
                    ext?: Record<string, unknown> | undefined;
                } | undefined;
                orderDir?: "ASC" | "DESC" | undefined;
                ext?: Record<string, unknown> | undefined;
            } | {
                kind: "path";
                path: string;
                ext?: Record<string, unknown> | undefined;
            } | {
                kind: "artifact";
                artifactType: "plan" | "code" | "text" | "math" | "data" | "mixed";
                ref: {
                    kind: "id" | "inline";
                    id?: string | undefined;
                };
                content?: string | undefined;
                ext?: Record<string, unknown> | undefined;
            } | {
                kind: "value";
                valueType: "string" | "number" | "boolean" | "date" | "enum" | "id";
                shape: Record<string, unknown>;
                raw?: unknown;
                ext?: Record<string, unknown> | undefined;
            } | {
                kind: "expr";
                exprType: "code" | "latex" | "ast";
                expr: string | Record<string, unknown>;
                ext?: Record<string, unknown> | undefined;
            })[];
            ordered?: boolean | undefined;
            ext?: Record<string, unknown> | undefined;
        } | undefined;
        BENEFICIARY?: {
            kind: "entity";
            entityType: string;
            ref?: {
                kind: "this" | "that" | "last" | "id";
                id?: string | undefined;
            } | undefined;
            quant?: {
                kind: "quantity";
                value: number;
                comparator?: "eq" | "gte" | "lte" | undefined;
                unit?: string | undefined;
                ext?: Record<string, unknown> | undefined;
            } | undefined;
            orderBy?: {
                kind: "path";
                path: string;
                ext?: Record<string, unknown> | undefined;
            } | undefined;
            orderDir?: "ASC" | "DESC" | undefined;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "path";
            path: string;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "artifact";
            artifactType: "plan" | "code" | "text" | "math" | "data" | "mixed";
            ref: {
                kind: "id" | "inline";
                id?: string | undefined;
            };
            content?: string | undefined;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "value";
            valueType: "string" | "number" | "boolean" | "date" | "enum" | "id";
            shape: Record<string, unknown>;
            raw?: unknown;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "expr";
            exprType: "code" | "latex" | "ast";
            expr: string | Record<string, unknown>;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "list";
            items: ({
                kind: "entity";
                entityType: string;
                ref?: {
                    kind: "this" | "that" | "last" | "id";
                    id?: string | undefined;
                } | undefined;
                quant?: {
                    kind: "quantity";
                    value: number;
                    comparator?: "eq" | "gte" | "lte" | undefined;
                    unit?: string | undefined;
                    ext?: Record<string, unknown> | undefined;
                } | undefined;
                orderBy?: {
                    kind: "path";
                    path: string;
                    ext?: Record<string, unknown> | undefined;
                } | undefined;
                orderDir?: "ASC" | "DESC" | undefined;
                ext?: Record<string, unknown> | undefined;
            } | {
                kind: "path";
                path: string;
                ext?: Record<string, unknown> | undefined;
            } | {
                kind: "artifact";
                artifactType: "plan" | "code" | "text" | "math" | "data" | "mixed";
                ref: {
                    kind: "id" | "inline";
                    id?: string | undefined;
                };
                content?: string | undefined;
                ext?: Record<string, unknown> | undefined;
            } | {
                kind: "value";
                valueType: "string" | "number" | "boolean" | "date" | "enum" | "id";
                shape: Record<string, unknown>;
                raw?: unknown;
                ext?: Record<string, unknown> | undefined;
            } | {
                kind: "expr";
                exprType: "code" | "latex" | "ast";
                expr: string | Record<string, unknown>;
                ext?: Record<string, unknown> | undefined;
            })[];
            ordered?: boolean | undefined;
            ext?: Record<string, unknown> | undefined;
        } | undefined;
    };
    cond?: {
        lhs: string;
        op: "in" | "=" | "!=" | "<" | ">" | "<=" | ">=" | "contains" | "startsWith" | "matches";
        rhs: {
            kind: "entity";
            entityType: string;
            ref?: {
                kind: "this" | "that" | "last" | "id";
                id?: string | undefined;
            } | undefined;
            quant?: {
                kind: "quantity";
                value: number;
                comparator?: "eq" | "gte" | "lte" | undefined;
                unit?: string | undefined;
                ext?: Record<string, unknown> | undefined;
            } | undefined;
            orderBy?: {
                kind: "path";
                path: string;
                ext?: Record<string, unknown> | undefined;
            } | undefined;
            orderDir?: "ASC" | "DESC" | undefined;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "path";
            path: string;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "artifact";
            artifactType: "plan" | "code" | "text" | "math" | "data" | "mixed";
            ref: {
                kind: "id" | "inline";
                id?: string | undefined;
            };
            content?: string | undefined;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "value";
            valueType: "string" | "number" | "boolean" | "date" | "enum" | "id";
            shape: Record<string, unknown>;
            raw?: unknown;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "expr";
            exprType: "code" | "latex" | "ast";
            expr: string | Record<string, unknown>;
            ext?: Record<string, unknown> | undefined;
        } | {
            kind: "list";
            items: ({
                kind: "entity";
                entityType: string;
                ref?: {
                    kind: "this" | "that" | "last" | "id";
                    id?: string | undefined;
                } | undefined;
                quant?: {
                    kind: "quantity";
                    value: number;
                    comparator?: "eq" | "gte" | "lte" | undefined;
                    unit?: string | undefined;
                    ext?: Record<string, unknown> | undefined;
                } | undefined;
                orderBy?: {
                    kind: "path";
                    path: string;
                    ext?: Record<string, unknown> | undefined;
                } | undefined;
                orderDir?: "ASC" | "DESC" | undefined;
                ext?: Record<string, unknown> | undefined;
            } | {
                kind: "path";
                path: string;
                ext?: Record<string, unknown> | undefined;
            } | {
                kind: "artifact";
                artifactType: "plan" | "code" | "text" | "math" | "data" | "mixed";
                ref: {
                    kind: "id" | "inline";
                    id?: string | undefined;
                };
                content?: string | undefined;
                ext?: Record<string, unknown> | undefined;
            } | {
                kind: "value";
                valueType: "string" | "number" | "boolean" | "date" | "enum" | "id";
                shape: Record<string, unknown>;
                raw?: unknown;
                ext?: Record<string, unknown> | undefined;
            } | {
                kind: "expr";
                exprType: "code" | "latex" | "ast";
                expr: string | Record<string, unknown>;
                ext?: Record<string, unknown> | undefined;
            })[];
            ordered?: boolean | undefined;
            ext?: Record<string, unknown> | undefined;
        };
    }[] | undefined;
    mod?: "MUST" | "SHOULD" | "MAY" | "FORBID" | undefined;
    time?: {
        kind: "NOW" | "AT" | "BEFORE" | "AFTER" | "WITHIN";
        value?: unknown;
    } | undefined;
    verify?: {
        mode: "NONE" | "TEST" | "PROOF" | "CITATION" | "RUBRIC" | "POLICY";
        spec?: Record<string, unknown> | undefined;
    } | undefined;
    out?: {
        type: "number" | "expression" | "proof" | "explanation" | "summary" | "plan" | "code" | "text" | "artifactRef";
        format?: "text" | "markdown" | "json" | "latex" | undefined;
        constraints?: Record<string, unknown> | undefined;
    } | undefined;
    ext?: Record<string, unknown> | undefined;
}>;
/**
 * Validation result type.
 */
export type ValidationResult = {
    valid: true;
    data: IntentIR;
    errors: [];
} | {
    valid: false;
    data: null;
    errors: ValidationError[];
};
export type ValidationError = {
    path: string;
    message: string;
    code: string;
};
/**
 * Validate IntentIR and return diagnostics.
 */
export declare function validateIntentIR(data: unknown): ValidationResult;
//# sourceMappingURL=intent-ir.d.ts.map