@sequenceholdings/orm 0.1.0 → 0.1.2

package/dist/ir.d.ts

@@ -0,0 +1,1179 @@
+import { z } from 'zod';
+
+/**
+ * Compiled-operation IR — THE frozen contract between the GraphQL compiler
+ * (push time, CLI preview + canonical server compile) and the data-plane
+ * executor (runtime). The artifact is inert, validated JSON: no generated
+ * code ever crosses the registry (plan §4).
+ *
+ * Design invariants:
+ *  - Policies are BAKED IN at compile time: every table-touching node carries
+ *    its read policy AND-ed into `where` (or `writePolicy`/`insertCheck` for
+ *    mutation targets). Execution needs only (IR, claims, variables).
+ *  - §4f dynamic slots: a variable typed with a generated input type
+ *    (BoolExp/OrderBy/SelectColumn/InsertInput/SetInput/AppendInput/OnConflict)
+ *    marks a dynamic slot. The executor validates the runtime value against
+ *    the artifact's per-table whitelist metadata, lowers it to Drizzle, and
+ *    ANDs it with the baked policy — the policy is non-negotiable regardless
+ *    of what the client sends.
+ *  - `capability`/`role` predicate leaves resolve to booleans against the
+ *    caller's claims BEFORE execution, pruning dead branches per caller.
+ *  - Versioned via `irVersion` + `normalizeIr` (the normalizeSnapshot
+ *    pattern): executor upgrades decouple from artifact re-pushes.
+ */
+
+declare const IR_VERSION: 1;
+/** The exact claim keys the platform stamps — mirrors claims.ts. */
+declare const CLAIMS_CONTRACT: {
+    readonly sub: "string";
+    readonly org: "string?";
+    readonly roles: "string[]";
+    readonly capabilities: "string[]";
+};
+type ClaimKey = 'sub' | 'org';
+declare const valueIrSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    kind: z.ZodLiteral<"literal">;
+    value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"variable">;
+    name: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"claim">;
+    key: z.ZodEnum<{
+        sub: "sub";
+        org: "org";
+    }>;
+}, z.core.$strip>], "kind">;
+type ValueIr = z.infer<typeof valueIrSchema>;
+declare const CMP_OPS: readonly ["eq", "neq", "gt", "gte", "lt", "lte", "in", "nin", "like", "ilike", "isNull", "contains", "hasKey"];
+type CmpOp = (typeof CMP_OPS)[number];
+type PredIr = {
+    kind: 'and';
+    operands: PredIr[];
+} | {
+    kind: 'or';
+    operands: PredIr[];
+} | {
+    kind: 'not';
+    operand: PredIr;
+} | {
+    kind: 'cmp';
+    op: CmpOp;
+    column: string;
+    value: ValueIr;
+}
+/** EXISTS through a declared link; `where` runs against the target table. */
+ | {
+    kind: 'exists';
+    link: string;
+    where: PredIr;
+}
+/** Aggregation predicate (Hasura `rel_aggregate: { count: { predicate } }`). */
+ | {
+    kind: 'aggPredicate';
+    link: string;
+    fn: 'count';
+    op: Exclude<CmpOp, 'in' | 'nin' | 'like' | 'ilike' | 'isNull' | 'contains' | 'hasKey'>;
+    value: number;
+    where?: PredIr;
+}
+/** Boolean claims leaves — pre-resolved against claims before execution. */
+ | {
+    kind: 'capability';
+    key: string;
+} | {
+    kind: 'role';
+    key: string;
+}
+/** §4f: a client-supplied BoolExp variable lands here, validated + lowered at runtime. */
+ | {
+    kind: 'dynamicFilter';
+    slot: string;
+} | {
+    kind: 'const';
+    value: boolean;
+};
+declare const predIrSchema: z.ZodType<PredIr>;
+declare const orderIrSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    kind: z.ZodLiteral<"column">;
+    column: z.ZodString;
+    link: z.ZodOptional<z.ZodString>;
+    direction: z.ZodEnum<{
+        asc: "asc";
+        desc: "desc";
+    }>;
+    nulls: z.ZodOptional<z.ZodEnum<{
+        first: "first";
+        last: "last";
+    }>>;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"dynamic">;
+    slot: z.ZodString;
+}, z.core.$strip>], "kind">;
+type OrderIr = z.infer<typeof orderIrSchema>;
+declare const limitIrSchema: z.ZodObject<{
+    variable: z.ZodOptional<z.ZodString>;
+    value: z.ZodOptional<z.ZodNumber>;
+    default: z.ZodNumber;
+    max: z.ZodNumber;
+}, z.core.$strip>;
+type LimitIr = z.infer<typeof limitIrSchema>;
+interface SelectionIr {
+    /** GraphQL type name for __typename synthesis + Apollo normalization. */
+    typename: string;
+    columns: Array<{
+        alias: string;
+        column: string;
+    }>;
+    relations: Array<{
+        alias: string;
+        link: string;
+        selection: SelectionIr;
+        /** Fixed shape from the document; policy for the target table is ALSO
+         *  injected by the compiler into this `where` — never trust it absent. */
+        where?: PredIr;
+        orderBy?: OrderIr[];
+        limit?: LimitIr;
+        offset?: {
+            variable?: string;
+            value?: number;
+        };
+    }>;
+    aggregates: Array<{
+        alias: string;
+        /** Absent link = same-table aggregate (used by aggregate roots). */
+        link?: string;
+        where?: PredIr;
+        count?: {
+            columns?: string[];
+            distinct?: boolean;
+        };
+        sum?: string[];
+        avg?: string[];
+        /** `nodes { }` selection inside an aggregate block. */
+        nodes?: SelectionIr;
+    }>;
+}
+declare const selectionIrSchema: z.ZodType<SelectionIr>;
+
+declare const rootIrSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    kind: z.ZodLiteral<"select">;
+    alias: z.ZodString;
+    table: z.ZodString;
+    selection: z.ZodType<SelectionIr, unknown, z.core.$ZodTypeInternals<SelectionIr, unknown>>;
+    where: z.ZodType<PredIr, unknown, z.core.$ZodTypeInternals<PredIr, unknown>>;
+    orderBy: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"column">;
+        column: z.ZodString;
+        link: z.ZodOptional<z.ZodString>;
+        direction: z.ZodEnum<{
+            asc: "asc";
+            desc: "desc";
+        }>;
+        nulls: z.ZodOptional<z.ZodEnum<{
+            first: "first";
+            last: "last";
+        }>>;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"dynamic">;
+        slot: z.ZodString;
+    }, z.core.$strip>], "kind">>>;
+    distinctOn: z.ZodOptional<z.ZodUnion<readonly [z.ZodArray<z.ZodString>, z.ZodObject<{
+        slot: z.ZodString;
+    }, z.core.$strip>]>>;
+    limit: z.ZodObject<{
+        variable: z.ZodOptional<z.ZodString>;
+        value: z.ZodOptional<z.ZodNumber>;
+        default: z.ZodNumber;
+        max: z.ZodNumber;
+    }, z.core.$strip>;
+    offset: z.ZodOptional<z.ZodObject<{
+        variable: z.ZodOptional<z.ZodString>;
+        value: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>>;
+    includeIf: z.ZodOptional<z.ZodObject<{
+        variable: z.ZodString;
+        negated: z.ZodBoolean;
+    }, z.core.$strip>>;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"byPk">;
+    alias: z.ZodString;
+    table: z.ZodString;
+    selection: z.ZodType<SelectionIr, unknown, z.core.$ZodTypeInternals<SelectionIr, unknown>>;
+    pk: z.ZodArray<z.ZodObject<{
+        column: z.ZodString;
+        value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"literal">;
+            value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"variable">;
+            name: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"claim">;
+            key: z.ZodEnum<{
+                sub: "sub";
+                org: "org";
+            }>;
+        }, z.core.$strip>], "kind">;
+    }, z.core.$strip>>;
+    where: z.ZodType<PredIr, unknown, z.core.$ZodTypeInternals<PredIr, unknown>>;
+    includeIf: z.ZodOptional<z.ZodObject<{
+        variable: z.ZodString;
+        negated: z.ZodBoolean;
+    }, z.core.$strip>>;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"aggregate">;
+    alias: z.ZodString;
+    table: z.ZodString;
+    where: z.ZodType<PredIr, unknown, z.core.$ZodTypeInternals<PredIr, unknown>>;
+    count: z.ZodOptional<z.ZodObject<{
+        columns: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        distinct: z.ZodOptional<z.ZodBoolean>;
+    }, z.core.$strip>>;
+    sum: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    avg: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    nodes: z.ZodOptional<z.ZodType<SelectionIr, unknown, z.core.$ZodTypeInternals<SelectionIr, unknown>>>;
+    includeIf: z.ZodOptional<z.ZodObject<{
+        variable: z.ZodString;
+        negated: z.ZodBoolean;
+    }, z.core.$strip>>;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"mutation">;
+    op: z.ZodEnum<{
+        update: "update";
+        delete: "delete";
+        insert: "insert";
+        insertOne: "insertOne";
+        updateByPk: "updateByPk";
+        deleteByPk: "deleteByPk";
+    }>;
+    alias: z.ZodString;
+    table: z.ZodString;
+    objects: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+        slot: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        rows: z.ZodArray<z.ZodArray<z.ZodObject<{
+            column: z.ZodString;
+            value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"literal">;
+                value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>;
+            }, z.core.$strip>, z.ZodObject<{
+                kind: z.ZodLiteral<"variable">;
+                name: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                kind: z.ZodLiteral<"claim">;
+                key: z.ZodEnum<{
+                    sub: "sub";
+                    org: "org";
+                }>;
+            }, z.core.$strip>], "kind">;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>]>>;
+    pinnedColumns: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        column: z.ZodString;
+        value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"literal">;
+            value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"variable">;
+            name: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"claim">;
+            key: z.ZodEnum<{
+                sub: "sub";
+                org: "org";
+            }>;
+        }, z.core.$strip>], "kind">;
+    }, z.core.$strip>>>;
+    onConflict: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+        slot: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        constraint: z.ZodString;
+        updateColumns: z.ZodArray<z.ZodString>;
+    }, z.core.$strip>]>>;
+    set: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+        slot: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        entries: z.ZodArray<z.ZodObject<{
+            column: z.ZodString;
+            value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"literal">;
+                value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>;
+            }, z.core.$strip>, z.ZodObject<{
+                kind: z.ZodLiteral<"variable">;
+                name: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                kind: z.ZodLiteral<"claim">;
+                key: z.ZodEnum<{
+                    sub: "sub";
+                    org: "org";
+                }>;
+            }, z.core.$strip>], "kind">;
+        }, z.core.$strip>>;
+    }, z.core.$strip>]>>;
+    append: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+        slot: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        entries: z.ZodArray<z.ZodObject<{
+            column: z.ZodString;
+            value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"literal">;
+                value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>;
+            }, z.core.$strip>, z.ZodObject<{
+                kind: z.ZodLiteral<"variable">;
+                name: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                kind: z.ZodLiteral<"claim">;
+                key: z.ZodEnum<{
+                    sub: "sub";
+                    org: "org";
+                }>;
+            }, z.core.$strip>], "kind">;
+        }, z.core.$strip>>;
+    }, z.core.$strip>]>>;
+    inc: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+        slot: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        entries: z.ZodArray<z.ZodObject<{
+            column: z.ZodString;
+            value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"literal">;
+                value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>;
+            }, z.core.$strip>, z.ZodObject<{
+                kind: z.ZodLiteral<"variable">;
+                name: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                kind: z.ZodLiteral<"claim">;
+                key: z.ZodEnum<{
+                    sub: "sub";
+                    org: "org";
+                }>;
+            }, z.core.$strip>], "kind">;
+        }, z.core.$strip>>;
+    }, z.core.$strip>]>>;
+    where: z.ZodOptional<z.ZodType<PredIr, unknown, z.core.$ZodTypeInternals<PredIr, unknown>>>;
+    pk: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        column: z.ZodString;
+        value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"literal">;
+            value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"variable">;
+            name: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"claim">;
+            key: z.ZodEnum<{
+                sub: "sub";
+                org: "org";
+            }>;
+        }, z.core.$strip>], "kind">;
+    }, z.core.$strip>>>;
+    insertCheck: z.ZodOptional<z.ZodType<PredIr, unknown, z.core.$ZodTypeInternals<PredIr, unknown>>>;
+    returning: z.ZodNullable<z.ZodType<SelectionIr, unknown, z.core.$ZodTypeInternals<SelectionIr, unknown>>>;
+    affectedRows: z.ZodDefault<z.ZodBoolean>;
+    includeIf: z.ZodOptional<z.ZodObject<{
+        variable: z.ZodString;
+        negated: z.ZodBoolean;
+    }, z.core.$strip>>;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"action">;
+    alias: z.ZodString;
+    name: z.ZodString;
+    params: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"literal">;
+            value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"variable">;
+            name: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"claim">;
+            key: z.ZodEnum<{
+                sub: "sub";
+                org: "org";
+            }>;
+        }, z.core.$strip>], "kind">;
+    }, z.core.$strip>>;
+    returns: z.ZodEnum<{
+        rows: "rows";
+        rowsAffected: "rowsAffected";
+        scalar: "scalar";
+    }>;
+}, z.core.$strip>], "kind">;
+type RootIr = z.infer<typeof rootIrSchema>;
+declare const INPUT_REF_KINDS: readonly ["boolExp", "orderBy", "selectColumn", "insertInput", "setInput", "appendInput", "onConflict"];
+type InputRefKind = (typeof INPUT_REF_KINDS)[number];
+/**
+ * A declared GraphQL variable default, persisted verbatim so an omitted
+ * variable resolves to it instead of silently becoming NULL. Wrapped in an
+ * object so an explicit `= null` stays distinguishable from "no default".
+ * Only shapes `ValueIr` can carry are representable — the restrict pass
+ * rejects anything else (including §4f slot defaults) at compile time.
+ */
+declare const variableDefaultIrSchema: z.ZodObject<{
+    value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>;
+}, z.core.$strip>;
+type VariableDefaultIr = z.infer<typeof variableDefaultIrSchema>;
+declare const variableIrSchema: z.ZodObject<{
+    name: z.ZodString;
+    type: z.ZodUnion<readonly [z.ZodObject<{
+        kind: z.ZodLiteral<"scalar">;
+        scalar: z.ZodEnum<{
+            bigint: "bigint";
+            boolean: "boolean";
+            uuid: "uuid";
+            text: "text";
+            integer: "integer";
+            numeric: "numeric";
+            double: "double";
+            timestamptz: "timestamptz";
+            date: "date";
+            jsonb: "jsonb";
+        }>;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"enum">;
+        name: z.ZodString;
+        values: z.ZodArray<z.ZodString>;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"inputRef">;
+        input: z.ZodEnum<{
+            orderBy: "orderBy";
+            onConflict: "onConflict";
+            boolExp: "boolExp";
+            selectColumn: "selectColumn";
+            insertInput: "insertInput";
+            setInput: "setInput";
+            appendInput: "appendInput";
+        }>;
+        table: z.ZodString;
+    }, z.core.$strip>]>;
+    nullable: z.ZodBoolean;
+    list: z.ZodBoolean;
+    defaultValue: z.ZodOptional<z.ZodObject<{
+        value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+type VariableIr = z.infer<typeof variableIrSchema>;
+declare const compiledOperationSchema: z.ZodObject<{
+    irVersion: z.ZodLiteral<1>;
+    name: z.ZodString;
+    opHash: z.ZodString;
+    kind: z.ZodEnum<{
+        action: "action";
+        query: "query";
+        mutation: "mutation";
+    }>;
+    requires: z.ZodNullable<z.ZodObject<{
+        capability: z.ZodOptional<z.ZodString>;
+        role: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+    variables: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        type: z.ZodUnion<readonly [z.ZodObject<{
+            kind: z.ZodLiteral<"scalar">;
+            scalar: z.ZodEnum<{
+                bigint: "bigint";
+                boolean: "boolean";
+                uuid: "uuid";
+                text: "text";
+                integer: "integer";
+                numeric: "numeric";
+                double: "double";
+                timestamptz: "timestamptz";
+                date: "date";
+                jsonb: "jsonb";
+            }>;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"enum">;
+            name: z.ZodString;
+            values: z.ZodArray<z.ZodString>;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"inputRef">;
+            input: z.ZodEnum<{
+                orderBy: "orderBy";
+                onConflict: "onConflict";
+                boolExp: "boolExp";
+                selectColumn: "selectColumn";
+                insertInput: "insertInput";
+                setInput: "setInput";
+                appendInput: "appendInput";
+            }>;
+            table: z.ZodString;
+        }, z.core.$strip>]>;
+        nullable: z.ZodBoolean;
+        list: z.ZodBoolean;
+        defaultValue: z.ZodOptional<z.ZodObject<{
+            value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
+    tableSet: z.ZodArray<z.ZodString>;
+    roots: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"select">;
+        alias: z.ZodString;
+        table: z.ZodString;
+        selection: z.ZodType<SelectionIr, unknown, z.core.$ZodTypeInternals<SelectionIr, unknown>>;
+        where: z.ZodType<PredIr, unknown, z.core.$ZodTypeInternals<PredIr, unknown>>;
+        orderBy: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"column">;
+            column: z.ZodString;
+            link: z.ZodOptional<z.ZodString>;
+            direction: z.ZodEnum<{
+                asc: "asc";
+                desc: "desc";
+            }>;
+            nulls: z.ZodOptional<z.ZodEnum<{
+                first: "first";
+                last: "last";
+            }>>;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"dynamic">;
+            slot: z.ZodString;
+        }, z.core.$strip>], "kind">>>;
+        distinctOn: z.ZodOptional<z.ZodUnion<readonly [z.ZodArray<z.ZodString>, z.ZodObject<{
+            slot: z.ZodString;
+        }, z.core.$strip>]>>;
+        limit: z.ZodObject<{
+            variable: z.ZodOptional<z.ZodString>;
+            value: z.ZodOptional<z.ZodNumber>;
+            default: z.ZodNumber;
+            max: z.ZodNumber;
+        }, z.core.$strip>;
+        offset: z.ZodOptional<z.ZodObject<{
+            variable: z.ZodOptional<z.ZodString>;
+            value: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strip>>;
+        includeIf: z.ZodOptional<z.ZodObject<{
+            variable: z.ZodString;
+            negated: z.ZodBoolean;
+        }, z.core.$strip>>;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"byPk">;
+        alias: z.ZodString;
+        table: z.ZodString;
+        selection: z.ZodType<SelectionIr, unknown, z.core.$ZodTypeInternals<SelectionIr, unknown>>;
+        pk: z.ZodArray<z.ZodObject<{
+            column: z.ZodString;
+            value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"literal">;
+                value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>;
+            }, z.core.$strip>, z.ZodObject<{
+                kind: z.ZodLiteral<"variable">;
+                name: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                kind: z.ZodLiteral<"claim">;
+                key: z.ZodEnum<{
+                    sub: "sub";
+                    org: "org";
+                }>;
+            }, z.core.$strip>], "kind">;
+        }, z.core.$strip>>;
+        where: z.ZodType<PredIr, unknown, z.core.$ZodTypeInternals<PredIr, unknown>>;
+        includeIf: z.ZodOptional<z.ZodObject<{
+            variable: z.ZodString;
+            negated: z.ZodBoolean;
+        }, z.core.$strip>>;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"aggregate">;
+        alias: z.ZodString;
+        table: z.ZodString;
+        where: z.ZodType<PredIr, unknown, z.core.$ZodTypeInternals<PredIr, unknown>>;
+        count: z.ZodOptional<z.ZodObject<{
+            columns: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            distinct: z.ZodOptional<z.ZodBoolean>;
+        }, z.core.$strip>>;
+        sum: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        avg: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        nodes: z.ZodOptional<z.ZodType<SelectionIr, unknown, z.core.$ZodTypeInternals<SelectionIr, unknown>>>;
+        includeIf: z.ZodOptional<z.ZodObject<{
+            variable: z.ZodString;
+            negated: z.ZodBoolean;
+        }, z.core.$strip>>;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"mutation">;
+        op: z.ZodEnum<{
+            update: "update";
+            delete: "delete";
+            insert: "insert";
+            insertOne: "insertOne";
+            updateByPk: "updateByPk";
+            deleteByPk: "deleteByPk";
+        }>;
+        alias: z.ZodString;
+        table: z.ZodString;
+        objects: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+            slot: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            rows: z.ZodArray<z.ZodArray<z.ZodObject<{
+                column: z.ZodString;
+                value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"literal">;
+                    value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"variable">;
+                    name: z.ZodString;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"claim">;
+                    key: z.ZodEnum<{
+                        sub: "sub";
+                        org: "org";
+                    }>;
+                }, z.core.$strip>], "kind">;
+            }, z.core.$strip>>>;
+        }, z.core.$strip>]>>;
+        pinnedColumns: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            column: z.ZodString;
+            value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"literal">;
+                value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>;
+            }, z.core.$strip>, z.ZodObject<{
+                kind: z.ZodLiteral<"variable">;
+                name: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                kind: z.ZodLiteral<"claim">;
+                key: z.ZodEnum<{
+                    sub: "sub";
+                    org: "org";
+                }>;
+            }, z.core.$strip>], "kind">;
+        }, z.core.$strip>>>;
+        onConflict: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+            slot: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            constraint: z.ZodString;
+            updateColumns: z.ZodArray<z.ZodString>;
+        }, z.core.$strip>]>>;
+        set: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+            slot: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            entries: z.ZodArray<z.ZodObject<{
+                column: z.ZodString;
+                value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"literal">;
+                    value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"variable">;
+                    name: z.ZodString;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"claim">;
+                    key: z.ZodEnum<{
+                        sub: "sub";
+                        org: "org";
+                    }>;
+                }, z.core.$strip>], "kind">;
+            }, z.core.$strip>>;
+        }, z.core.$strip>]>>;
+        append: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+            slot: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            entries: z.ZodArray<z.ZodObject<{
+                column: z.ZodString;
+                value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"literal">;
+                    value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"variable">;
+                    name: z.ZodString;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"claim">;
+                    key: z.ZodEnum<{
+                        sub: "sub";
+                        org: "org";
+                    }>;
+                }, z.core.$strip>], "kind">;
+            }, z.core.$strip>>;
+        }, z.core.$strip>]>>;
+        inc: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+            slot: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            entries: z.ZodArray<z.ZodObject<{
+                column: z.ZodString;
+                value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"literal">;
+                    value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"variable">;
+                    name: z.ZodString;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"claim">;
+                    key: z.ZodEnum<{
+                        sub: "sub";
+                        org: "org";
+                    }>;
+                }, z.core.$strip>], "kind">;
+            }, z.core.$strip>>;
+        }, z.core.$strip>]>>;
+        where: z.ZodOptional<z.ZodType<PredIr, unknown, z.core.$ZodTypeInternals<PredIr, unknown>>>;
+        pk: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            column: z.ZodString;
+            value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"literal">;
+                value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>;
+            }, z.core.$strip>, z.ZodObject<{
+                kind: z.ZodLiteral<"variable">;
+                name: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                kind: z.ZodLiteral<"claim">;
+                key: z.ZodEnum<{
+                    sub: "sub";
+                    org: "org";
+                }>;
+            }, z.core.$strip>], "kind">;
+        }, z.core.$strip>>>;
+        insertCheck: z.ZodOptional<z.ZodType<PredIr, unknown, z.core.$ZodTypeInternals<PredIr, unknown>>>;
+        returning: z.ZodNullable<z.ZodType<SelectionIr, unknown, z.core.$ZodTypeInternals<SelectionIr, unknown>>>;
+        affectedRows: z.ZodDefault<z.ZodBoolean>;
+        includeIf: z.ZodOptional<z.ZodObject<{
+            variable: z.ZodString;
+            negated: z.ZodBoolean;
+        }, z.core.$strip>>;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"action">;
+        alias: z.ZodString;
+        name: z.ZodString;
+        params: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"literal">;
+                value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>;
+            }, z.core.$strip>, z.ZodObject<{
+                kind: z.ZodLiteral<"variable">;
+                name: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                kind: z.ZodLiteral<"claim">;
+                key: z.ZodEnum<{
+                    sub: "sub";
+                    org: "org";
+                }>;
+            }, z.core.$strip>], "kind">;
+        }, z.core.$strip>>;
+        returns: z.ZodEnum<{
+            rows: "rows";
+            rowsAffected: "rowsAffected";
+            scalar: "scalar";
+        }>;
+    }, z.core.$strip>], "kind">>;
+}, z.core.$strip>;
+type CompiledOperation = z.infer<typeof compiledOperationSchema>;
+/**
+ * Runtime whitelist metadata per table — everything the executor needs to
+ * build Drizzle table objects, validate §4f dynamic inputs, and lower them.
+ * Derived from the canonical definition at compile time.
+ */
+declare const tableMetaIrSchema: z.ZodObject<{
+    table: z.ZodString;
+    schema: z.ZodString;
+    typename: z.ZodString;
+    columns: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        columnName: z.ZodString;
+        type: z.ZodUnion<readonly [z.ZodEnum<{
+            bigint: "bigint";
+            boolean: "boolean";
+            uuid: "uuid";
+            text: "text";
+            integer: "integer";
+            numeric: "numeric";
+            double: "double";
+            timestamptz: "timestamptz";
+            date: "date";
+            jsonb: "jsonb";
+        }>, z.ZodObject<{
+            enum: z.ZodString;
+            values: z.ZodArray<z.ZodString>;
+        }, z.core.$strip>]>;
+        nullable: z.ZodBoolean;
+    }, z.core.$strip>>;
+    primaryKey: z.ZodArray<z.ZodString>;
+    links: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        kind: z.ZodEnum<{
+            toOne: "toOne";
+            toMany: "toMany";
+            toPlatformUser: "toPlatformUser";
+        }>;
+        target: z.ZodString;
+        on: z.ZodString;
+        references: z.ZodString;
+    }, z.core.$strip>>;
+    filterable: z.ZodArray<z.ZodString>;
+    orderable: z.ZodArray<z.ZodString>;
+    insertable: z.ZodArray<z.ZodString>;
+    settable: z.ZodArray<z.ZodString>;
+    appendable: z.ZodArray<z.ZodString>;
+    constraints: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        columns: z.ZodArray<z.ZodString>;
+    }, z.core.$strip>>;
+    dynamicFilterMaxDepth: z.ZodDefault<z.ZodNumber>;
+    dynamicFilterMaxNodes: z.ZodDefault<z.ZodNumber>;
+}, z.core.$strip>;
+type TableMetaIr = z.infer<typeof tableMetaIrSchema>;
+declare const compiledArtifactSchema: z.ZodObject<{
+    irVersion: z.ZodLiteral<1>;
+    namespace: z.ZodString;
+    schemaHash: z.ZodString;
+    opsHash: z.ZodString;
+    tables: z.ZodRecord<z.ZodString, z.ZodObject<{
+        table: z.ZodString;
+        schema: z.ZodString;
+        typename: z.ZodString;
+        columns: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            columnName: z.ZodString;
+            type: z.ZodUnion<readonly [z.ZodEnum<{
+                bigint: "bigint";
+                boolean: "boolean";
+                uuid: "uuid";
+                text: "text";
+                integer: "integer";
+                numeric: "numeric";
+                double: "double";
+                timestamptz: "timestamptz";
+                date: "date";
+                jsonb: "jsonb";
+            }>, z.ZodObject<{
+                enum: z.ZodString;
+                values: z.ZodArray<z.ZodString>;
+            }, z.core.$strip>]>;
+            nullable: z.ZodBoolean;
+        }, z.core.$strip>>;
+        primaryKey: z.ZodArray<z.ZodString>;
+        links: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            kind: z.ZodEnum<{
+                toOne: "toOne";
+                toMany: "toMany";
+                toPlatformUser: "toPlatformUser";
+            }>;
+            target: z.ZodString;
+            on: z.ZodString;
+            references: z.ZodString;
+        }, z.core.$strip>>;
+        filterable: z.ZodArray<z.ZodString>;
+        orderable: z.ZodArray<z.ZodString>;
+        insertable: z.ZodArray<z.ZodString>;
+        settable: z.ZodArray<z.ZodString>;
+        appendable: z.ZodArray<z.ZodString>;
+        constraints: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            columns: z.ZodArray<z.ZodString>;
+        }, z.core.$strip>>;
+        dynamicFilterMaxDepth: z.ZodDefault<z.ZodNumber>;
+        dynamicFilterMaxNodes: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strip>>;
+    operations: z.ZodRecord<z.ZodString, z.ZodObject<{
+        irVersion: z.ZodLiteral<1>;
+        name: z.ZodString;
+        opHash: z.ZodString;
+        kind: z.ZodEnum<{
+            action: "action";
+            query: "query";
+            mutation: "mutation";
+        }>;
+        requires: z.ZodNullable<z.ZodObject<{
+            capability: z.ZodOptional<z.ZodString>;
+            role: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+        variables: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            type: z.ZodUnion<readonly [z.ZodObject<{
+                kind: z.ZodLiteral<"scalar">;
+                scalar: z.ZodEnum<{
+                    bigint: "bigint";
+                    boolean: "boolean";
+                    uuid: "uuid";
+                    text: "text";
+                    integer: "integer";
+                    numeric: "numeric";
+                    double: "double";
+                    timestamptz: "timestamptz";
+                    date: "date";
+                    jsonb: "jsonb";
+                }>;
+            }, z.core.$strip>, z.ZodObject<{
+                kind: z.ZodLiteral<"enum">;
+                name: z.ZodString;
+                values: z.ZodArray<z.ZodString>;
+            }, z.core.$strip>, z.ZodObject<{
+                kind: z.ZodLiteral<"inputRef">;
+                input: z.ZodEnum<{
+                    orderBy: "orderBy";
+                    onConflict: "onConflict";
+                    boolExp: "boolExp";
+                    selectColumn: "selectColumn";
+                    insertInput: "insertInput";
+                    setInput: "setInput";
+                    appendInput: "appendInput";
+                }>;
+                table: z.ZodString;
+            }, z.core.$strip>]>;
+            nullable: z.ZodBoolean;
+            list: z.ZodBoolean;
+            defaultValue: z.ZodOptional<z.ZodObject<{
+                value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>;
+            }, z.core.$strip>>;
+        }, z.core.$strip>>;
+        tableSet: z.ZodArray<z.ZodString>;
+        roots: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            kind: z.ZodLiteral<"select">;
+            alias: z.ZodString;
+            table: z.ZodString;
+            selection: z.ZodType<SelectionIr, unknown, z.core.$ZodTypeInternals<SelectionIr, unknown>>;
+            where: z.ZodType<PredIr, unknown, z.core.$ZodTypeInternals<PredIr, unknown>>;
+            orderBy: z.ZodDefault<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+                kind: z.ZodLiteral<"column">;
+                column: z.ZodString;
+                link: z.ZodOptional<z.ZodString>;
+                direction: z.ZodEnum<{
+                    asc: "asc";
+                    desc: "desc";
+                }>;
+                nulls: z.ZodOptional<z.ZodEnum<{
+                    first: "first";
+                    last: "last";
+                }>>;
+            }, z.core.$strip>, z.ZodObject<{
+                kind: z.ZodLiteral<"dynamic">;
+                slot: z.ZodString;
+            }, z.core.$strip>], "kind">>>;
+            distinctOn: z.ZodOptional<z.ZodUnion<readonly [z.ZodArray<z.ZodString>, z.ZodObject<{
+                slot: z.ZodString;
+            }, z.core.$strip>]>>;
+            limit: z.ZodObject<{
+                variable: z.ZodOptional<z.ZodString>;
+                value: z.ZodOptional<z.ZodNumber>;
+                default: z.ZodNumber;
+                max: z.ZodNumber;
+            }, z.core.$strip>;
+            offset: z.ZodOptional<z.ZodObject<{
+                variable: z.ZodOptional<z.ZodString>;
+                value: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>;
+            includeIf: z.ZodOptional<z.ZodObject<{
+                variable: z.ZodString;
+                negated: z.ZodBoolean;
+            }, z.core.$strip>>;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"byPk">;
+            alias: z.ZodString;
+            table: z.ZodString;
+            selection: z.ZodType<SelectionIr, unknown, z.core.$ZodTypeInternals<SelectionIr, unknown>>;
+            pk: z.ZodArray<z.ZodObject<{
+                column: z.ZodString;
+                value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"literal">;
+                    value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"variable">;
+                    name: z.ZodString;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"claim">;
+                    key: z.ZodEnum<{
+                        sub: "sub";
+                        org: "org";
+                    }>;
+                }, z.core.$strip>], "kind">;
+            }, z.core.$strip>>;
+            where: z.ZodType<PredIr, unknown, z.core.$ZodTypeInternals<PredIr, unknown>>;
+            includeIf: z.ZodOptional<z.ZodObject<{
+                variable: z.ZodString;
+                negated: z.ZodBoolean;
+            }, z.core.$strip>>;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"aggregate">;
+            alias: z.ZodString;
+            table: z.ZodString;
+            where: z.ZodType<PredIr, unknown, z.core.$ZodTypeInternals<PredIr, unknown>>;
+            count: z.ZodOptional<z.ZodObject<{
+                columns: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                distinct: z.ZodOptional<z.ZodBoolean>;
+            }, z.core.$strip>>;
+            sum: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            avg: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            nodes: z.ZodOptional<z.ZodType<SelectionIr, unknown, z.core.$ZodTypeInternals<SelectionIr, unknown>>>;
+            includeIf: z.ZodOptional<z.ZodObject<{
+                variable: z.ZodString;
+                negated: z.ZodBoolean;
+            }, z.core.$strip>>;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"mutation">;
+            op: z.ZodEnum<{
+                update: "update";
+                delete: "delete";
+                insert: "insert";
+                insertOne: "insertOne";
+                updateByPk: "updateByPk";
+                deleteByPk: "deleteByPk";
+            }>;
+            alias: z.ZodString;
+            table: z.ZodString;
+            objects: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+                slot: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                rows: z.ZodArray<z.ZodArray<z.ZodObject<{
+                    column: z.ZodString;
+                    value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        kind: z.ZodLiteral<"literal">;
+                        value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>;
+                    }, z.core.$strip>, z.ZodObject<{
+                        kind: z.ZodLiteral<"variable">;
+                        name: z.ZodString;
+                    }, z.core.$strip>, z.ZodObject<{
+                        kind: z.ZodLiteral<"claim">;
+                        key: z.ZodEnum<{
+                            sub: "sub";
+                            org: "org";
+                        }>;
+                    }, z.core.$strip>], "kind">;
+                }, z.core.$strip>>>;
+            }, z.core.$strip>]>>;
+            pinnedColumns: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                column: z.ZodString;
+                value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"literal">;
+                    value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"variable">;
+                    name: z.ZodString;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"claim">;
+                    key: z.ZodEnum<{
+                        sub: "sub";
+                        org: "org";
+                    }>;
+                }, z.core.$strip>], "kind">;
+            }, z.core.$strip>>>;
+            onConflict: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+                slot: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                constraint: z.ZodString;
+                updateColumns: z.ZodArray<z.ZodString>;
+            }, z.core.$strip>]>>;
+            set: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+                slot: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                entries: z.ZodArray<z.ZodObject<{
+                    column: z.ZodString;
+                    value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        kind: z.ZodLiteral<"literal">;
+                        value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>;
+                    }, z.core.$strip>, z.ZodObject<{
+                        kind: z.ZodLiteral<"variable">;
+                        name: z.ZodString;
+                    }, z.core.$strip>, z.ZodObject<{
+                        kind: z.ZodLiteral<"claim">;
+                        key: z.ZodEnum<{
+                            sub: "sub";
+                            org: "org";
+                        }>;
+                    }, z.core.$strip>], "kind">;
+                }, z.core.$strip>>;
+            }, z.core.$strip>]>>;
+            append: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+                slot: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                entries: z.ZodArray<z.ZodObject<{
+                    column: z.ZodString;
+                    value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        kind: z.ZodLiteral<"literal">;
+                        value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>;
+                    }, z.core.$strip>, z.ZodObject<{
+                        kind: z.ZodLiteral<"variable">;
+                        name: z.ZodString;
+                    }, z.core.$strip>, z.ZodObject<{
+                        kind: z.ZodLiteral<"claim">;
+                        key: z.ZodEnum<{
+                            sub: "sub";
+                            org: "org";
+                        }>;
+                    }, z.core.$strip>], "kind">;
+                }, z.core.$strip>>;
+            }, z.core.$strip>]>>;
+            inc: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+                slot: z.ZodString;
+            }, z.core.$strip>, z.ZodObject<{
+                entries: z.ZodArray<z.ZodObject<{
+                    column: z.ZodString;
+                    value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        kind: z.ZodLiteral<"literal">;
+                        value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>;
+                    }, z.core.$strip>, z.ZodObject<{
+                        kind: z.ZodLiteral<"variable">;
+                        name: z.ZodString;
+                    }, z.core.$strip>, z.ZodObject<{
+                        kind: z.ZodLiteral<"claim">;
+                        key: z.ZodEnum<{
+                            sub: "sub";
+                            org: "org";
+                        }>;
+                    }, z.core.$strip>], "kind">;
+                }, z.core.$strip>>;
+            }, z.core.$strip>]>>;
+            where: z.ZodOptional<z.ZodType<PredIr, unknown, z.core.$ZodTypeInternals<PredIr, unknown>>>;
+            pk: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                column: z.ZodString;
+                value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"literal">;
+                    value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"variable">;
+                    name: z.ZodString;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"claim">;
+                    key: z.ZodEnum<{
+                        sub: "sub";
+                        org: "org";
+                    }>;
+                }, z.core.$strip>], "kind">;
+            }, z.core.$strip>>>;
+            insertCheck: z.ZodOptional<z.ZodType<PredIr, unknown, z.core.$ZodTypeInternals<PredIr, unknown>>>;
+            returning: z.ZodNullable<z.ZodType<SelectionIr, unknown, z.core.$ZodTypeInternals<SelectionIr, unknown>>>;
+            affectedRows: z.ZodDefault<z.ZodBoolean>;
+            includeIf: z.ZodOptional<z.ZodObject<{
+                variable: z.ZodString;
+                negated: z.ZodBoolean;
+            }, z.core.$strip>>;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"action">;
+            alias: z.ZodString;
+            name: z.ZodString;
+            params: z.ZodArray<z.ZodObject<{
+                name: z.ZodString;
+                value: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    kind: z.ZodLiteral<"literal">;
+                    value: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>, z.ZodArray<z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodNull]>>]>;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"variable">;
+                    name: z.ZodString;
+                }, z.core.$strip>, z.ZodObject<{
+                    kind: z.ZodLiteral<"claim">;
+                    key: z.ZodEnum<{
+                        sub: "sub";
+                        org: "org";
+                    }>;
+                }, z.core.$strip>], "kind">;
+            }, z.core.$strip>>;
+            returns: z.ZodEnum<{
+                rows: "rows";
+                rowsAffected: "rowsAffected";
+                scalar: "scalar";
+            }>;
+        }, z.core.$strip>], "kind">>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+type CompiledArtifact = z.infer<typeof compiledArtifactSchema>;
+declare class IrVersionError extends Error {
+    constructor(found: unknown);
+}
+/**
+ * Validate + normalize a raw registry artifact (the normalizeSnapshot
+ * pattern): future IR versions add upgrade branches here so executor
+ * upgrades decouple from artifact re-pushes. Never trust registry jsonb —
+ * the data plane calls this on every artifact load.
+ */
+declare function normalizeIr(raw: unknown): CompiledArtifact;
+/** Index an artifact's operations by opHash (the wire selector). */
+declare function indexByHash(artifact: CompiledArtifact): Map<string, CompiledOperation>;
+
+export { CLAIMS_CONTRACT, CMP_OPS, type ClaimKey, type CmpOp, type CompiledArtifact, type CompiledOperation, INPUT_REF_KINDS, IR_VERSION, type InputRefKind, IrVersionError, type LimitIr, type OrderIr, type PredIr, type RootIr, type SelectionIr, type TableMetaIr, type ValueIr, type VariableDefaultIr, type VariableIr, compiledArtifactSchema, compiledOperationSchema, indexByHash, limitIrSchema, normalizeIr, orderIrSchema, predIrSchema, rootIrSchema, selectionIrSchema, tableMetaIrSchema, valueIrSchema, variableDefaultIrSchema, variableIrSchema };