@sequenceholdings/orm 2.1.0 → 2.2.0

package/dist/ir.d.cts

@@ -1,4 +1,5 @@
 import { z } from 'zod';
+export { C as CELLS_FIELD, a as CELL_PARTS, b as CellPart, c as cellColumnName } from './constants-C6EG6Wq7.cjs';
 
 /**
  * Compiled-operation IR — THE frozen contract between the GraphQL compiler
@@ -22,10 +23,15 @@ import { z } from 'zod';
  *    pattern): executor upgrades decouple from artifact re-pushes.
  */
 
-/** Maximum supported version. Emit v1 until an operation needs v2 semantics. */
-declare const IR_VERSION: 2;
+/** Maximum supported version; emit the oldest version that preserves semantics. */
+declare const IR_VERSION: 5;
 declare const LEGACY_IR_VERSION: 1;
-declare const irVersionSchema: z.ZodUnion<readonly [z.ZodLiteral<1>, z.ZodLiteral<2>]>;
+declare const GUARDED_IR_VERSION: 2;
+/** Older v2 executors must not strip namespace-scoped authorization. */
+declare const COMPOSED_IR_VERSION: 3;
+declare const SQL_IR_VERSION: 4;
+declare const RUNTIME_SQL_IR_VERSION: 5;
+declare const irVersionSchema: z.ZodUnion<readonly [z.ZodLiteral<1>, z.ZodLiteral<2>, z.ZodLiteral<3>, z.ZodLiteral<4>, z.ZodLiteral<5>]>;
 /** Keep v1 artifact identity when assembling only legacy operations from registry rows. */
 declare function requiredArtifactIrVersion(operations: readonly unknown[]): z.infer<typeof irVersionSchema>;
 /** The exact claim keys the platform stamps — mirrors claims.ts. */
@@ -86,9 +92,11 @@ type PredIr = {
  | {
     kind: 'capability';
     key: string;
+    namespace?: string;
 } | {
     kind: 'role';
     key: string;
+    namespace?: string;
 }
 /** §4f: a client-supplied BoolExp variable lands here, validated + lowered at runtime. */
  | {
@@ -123,6 +131,24 @@ declare const limitIrSchema: z.ZodObject<{
     max: z.ZodNumber;
 }, z.core.$strip>;
 type LimitIr = z.infer<typeof limitIrSchema>;
+/** One cell of a `cells { … }` block: the parts selected for one column. */
+interface CellSelectionIr {
+    alias: string;
+    /** Logical column whose cell this is. */
+    column: string;
+    typename: string;
+    parts: Array<{
+        alias: string;
+        part: 'source' | 'at' | 'by' | 'conflicts';
+        /** `conflicts { … }`: the candidate fields selected, in order. */
+        fields?: Array<{
+            alias: string;
+            field: 'source' | 'at' | 'value';
+        }>;
+        /** `conflicts { … }` element typename. */
+        typename?: string;
+    }>;
+}
 interface SelectionIr {
     /** GraphQL type name for __typename synthesis + Apollo normalization. */
     typename: string;
@@ -130,6 +156,12 @@ interface SelectionIr {
         alias: string;
         column: string;
     }>;
+    /** The typed `cells { … }` block (tables with cell metadata, resolved tables). */
+    cells?: {
+        alias: string;
+        typename: string;
+        fields: CellSelectionIr[];
+    };
     relations: Array<{
         alias: string;
         link: string;
@@ -161,6 +193,46 @@ interface SelectionIr {
 }
 declare const selectionIrSchema: z.ZodType<SelectionIr>;
 
+/**
+ * `@prefetch(source:)` on a resolved-table query root: before the SQL runs,
+ * the data plane refreshes the named prefetch source for the keys this root
+ * addresses. `key` is the single pk value (byPk / `pk: {_eq}`) or the pk list
+ * (`pk: {_in}` on batch sources).
+ */
+declare const prefetchPlanIrSchema: z.ZodObject<{
+    source: z.ZodString;
+    maxStalenessMs: z.ZodOptional<z.ZodNumber>;
+    key: z.ZodUnion<readonly [z.ZodObject<{
+        one: 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.ZodObject<{
+        many: 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>;
+type PrefetchPlanIr = z.infer<typeof prefetchPlanIrSchema>;
 /**
  * The date-bucket units a grouped aggregate may apply to a `date` /
  * `timestamptz` group key. A CLOSED enum on purpose: the executor maps each
@@ -226,6 +298,39 @@ declare const rootIrSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
         variable: z.ZodString;
         negated: z.ZodBoolean;
     }, z.core.$strip>>;
+    prefetch: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        source: z.ZodString;
+        maxStalenessMs: z.ZodOptional<z.ZodNumber>;
+        key: z.ZodUnion<readonly [z.ZodObject<{
+            one: 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.ZodObject<{
+            many: 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>>>;
 }, z.core.$strip>, z.ZodObject<{
     kind: z.ZodLiteral<"byPk">;
     alias: z.ZodString;
@@ -252,6 +357,39 @@ declare const rootIrSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
         variable: z.ZodString;
         negated: z.ZodBoolean;
     }, z.core.$strip>>;
+    prefetch: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        source: z.ZodString;
+        maxStalenessMs: z.ZodOptional<z.ZodNumber>;
+        key: z.ZodUnion<readonly [z.ZodObject<{
+            one: 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.ZodObject<{
+            many: 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>>>;
 }, z.core.$strip>, z.ZodObject<{
     kind: z.ZodLiteral<"aggregate">;
     alias: z.ZodString;
@@ -319,7 +457,23 @@ declare const rootIrSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
         deleteByPk: "deleteByPk";
         cowOverride: "cowOverride";
         cowRevert: "cowRevert";
+        resolvedWrite: "resolvedWrite";
     }>;
+    resolvedAction: z.ZodOptional<z.ZodEnum<{
+        insert: "insert";
+        update: "update";
+        revert: "revert";
+        delete: "delete";
+    }>>;
+    revertColumns: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    writeback: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        source: z.ZodString;
+        mode: z.ZodEnum<{
+            sync: "sync";
+            async: "async";
+        }>;
+    }, z.core.$strip>>>;
+    localOnly: z.ZodOptional<z.ZodArray<z.ZodString>>;
     alias: z.ZodString;
     table: z.ZodString;
     cowSynced: z.ZodOptional<z.ZodString>;
@@ -474,14 +628,14 @@ declare const variableIrSchema: z.ZodObject<{
         scalar: z.ZodEnum<{
             bigint: "bigint";
             boolean: "boolean";
-            uuid: "uuid";
+            date: "date";
             text: "text";
+            timestamptz: "timestamptz";
+            jsonb: "jsonb";
+            uuid: "uuid";
             integer: "integer";
             numeric: "numeric";
             double: "double";
-            timestamptz: "timestamptz";
-            date: "date";
-            jsonb: "jsonb";
         }>;
     }, z.core.$strip>, z.ZodObject<{
         kind: z.ZodLiteral<"enum">;
@@ -508,7 +662,47 @@ declare const variableIrSchema: z.ZodObject<{
 }, z.core.$strip>;
 type VariableIr = z.infer<typeof variableIrSchema>;
 declare const compiledOperationSchema: z.ZodObject<{
-    irVersion: z.ZodUnion<readonly [z.ZodLiteral<1>, z.ZodLiteral<2>]>;
+    language: z.ZodOptional<z.ZodLiteral<"sql">>;
+    sqlQuery: z.ZodOptional<z.ZodObject<{
+        catalog: z.ZodObject<{
+            identity: z.ZodString;
+            objects: z.ZodArray<z.ZodObject<{
+                ref: z.ZodString;
+                table: z.ZodString;
+                columns: z.ZodArray<z.ZodObject<{
+                    name: z.ZodString;
+                    nullable: z.ZodBoolean;
+                    type: z.ZodString;
+                }, z.core.$strip>>;
+                scan: z.ZodString;
+                read: z.ZodArray<z.ZodString>;
+            }, z.core.$strict>>;
+        }, z.core.$strict>;
+        read: z.ZodArray<z.ZodString>;
+        maxRows: z.ZodNumber;
+    }, z.core.$strict>>;
+    sql: z.ZodOptional<z.ZodObject<{
+        text: z.ZodString;
+        columns: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            type: z.ZodEnum<{
+                bigint: "bigint";
+                boolean: "boolean";
+                date: "date";
+                text: "text";
+                timestamptz: "timestamptz";
+                uuid: "uuid";
+                integer: "integer";
+                numeric: "numeric";
+                double: "double";
+            }>;
+            nullable: z.ZodBoolean;
+        }, z.core.$strip>>;
+        parameters: z.ZodArray<z.ZodString>;
+        read: z.ZodArray<z.ZodString>;
+        maxRows: z.ZodNumber;
+    }, z.core.$strict>>;
+    irVersion: z.ZodUnion<readonly [z.ZodLiteral<1>, z.ZodLiteral<2>, z.ZodLiteral<3>, z.ZodLiteral<4>, z.ZodLiteral<5>]>;
     name: z.ZodString;
     opHash: z.ZodString;
     kind: z.ZodEnum<{
@@ -526,14 +720,14 @@ declare const compiledOperationSchema: z.ZodObject<{
             scalar: z.ZodEnum<{
                 bigint: "bigint";
                 boolean: "boolean";
-                uuid: "uuid";
+                date: "date";
                 text: "text";
+                timestamptz: "timestamptz";
+                jsonb: "jsonb";
+                uuid: "uuid";
                 integer: "integer";
                 numeric: "numeric";
                 double: "double";
-                timestamptz: "timestamptz";
-                date: "date";
-                jsonb: "jsonb";
             }>;
         }, z.core.$strip>, z.ZodObject<{
             kind: z.ZodLiteral<"enum">;
@@ -598,6 +792,39 @@ declare const compiledOperationSchema: z.ZodObject<{
             variable: z.ZodString;
             negated: z.ZodBoolean;
         }, z.core.$strip>>;
+        prefetch: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            source: z.ZodString;
+            maxStalenessMs: z.ZodOptional<z.ZodNumber>;
+            key: z.ZodUnion<readonly [z.ZodObject<{
+                one: 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.ZodObject<{
+                many: 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>>>;
     }, z.core.$strip>, z.ZodObject<{
         kind: z.ZodLiteral<"byPk">;
         alias: z.ZodString;
@@ -624,6 +851,39 @@ declare const compiledOperationSchema: z.ZodObject<{
             variable: z.ZodString;
             negated: z.ZodBoolean;
         }, z.core.$strip>>;
+        prefetch: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            source: z.ZodString;
+            maxStalenessMs: z.ZodOptional<z.ZodNumber>;
+            key: z.ZodUnion<readonly [z.ZodObject<{
+                one: 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.ZodObject<{
+                many: 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>>>;
     }, z.core.$strip>, z.ZodObject<{
         kind: z.ZodLiteral<"aggregate">;
         alias: z.ZodString;
@@ -691,7 +951,23 @@ declare const compiledOperationSchema: z.ZodObject<{
             deleteByPk: "deleteByPk";
             cowOverride: "cowOverride";
             cowRevert: "cowRevert";
+            resolvedWrite: "resolvedWrite";
         }>;
+        resolvedAction: z.ZodOptional<z.ZodEnum<{
+            insert: "insert";
+            update: "update";
+            revert: "revert";
+            delete: "delete";
+        }>>;
+        revertColumns: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        writeback: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            source: z.ZodString;
+            mode: z.ZodEnum<{
+                sync: "sync";
+                async: "async";
+            }>;
+        }, z.core.$strip>>>;
+        localOnly: z.ZodOptional<z.ZodArray<z.ZodString>>;
         alias: z.ZodString;
         table: z.ZodString;
         cowSynced: z.ZodOptional<z.ZodString>;
@@ -827,6 +1103,99 @@ declare const compiledOperationSchema: z.ZodObject<{
     }, z.core.$strip>], "kind">>;
 }, z.core.$strip>;
 type CompiledOperation = z.infer<typeof compiledOperationSchema>;
+declare const resolvedSourceIrSchema: z.ZodObject<{
+    name: z.ZodString;
+    kind: z.ZodEnum<{
+        manual: "manual";
+        prefetch: "prefetch";
+        etl: "etl";
+    }>;
+    table: z.ZodString;
+    columns: z.ZodArray<z.ZodString>;
+    key: z.ZodOptional<z.ZodString>;
+    fetch: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+        shape: z.ZodLiteral<"single">;
+    }, z.core.$strip>, z.ZodObject<{
+        shape: z.ZodLiteral<"batch">;
+        maxKeys: z.ZodNumber;
+    }, z.core.$strip>]>>;
+    function: z.ZodOptional<z.ZodObject<{
+        kind: z.ZodEnum<{
+            managed: "managed";
+            native: "native";
+        }>;
+        id: z.ZodString;
+    }, z.core.$strip>>;
+    prefetchDefaults: z.ZodOptional<z.ZodObject<{
+        maxStalenessMs: z.ZodNumber;
+        timeoutMs: z.ZodNumber;
+        onError: z.ZodEnum<{
+            fallback: "fallback";
+            fail: "fail";
+        }>;
+    }, z.core.$strip>>;
+    writeback: z.ZodOptional<z.ZodObject<{
+        columns: z.ZodArray<z.ZodString>;
+        defaultMode: z.ZodEnum<{
+            sync: "sync";
+            async: "async";
+        }>;
+        timeoutMs: z.ZodNumber;
+        clearManualOnConfirm: z.ZodBoolean;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+type ResolvedSourceIr = z.infer<typeof resolvedSourceIrSchema>;
+declare const resolvedMetaIrSchema: z.ZodObject<{
+    pk: z.ZodString;
+    manual: z.ZodString;
+    sources: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        kind: z.ZodEnum<{
+            manual: "manual";
+            prefetch: "prefetch";
+            etl: "etl";
+        }>;
+        table: z.ZodString;
+        columns: z.ZodArray<z.ZodString>;
+        key: z.ZodOptional<z.ZodString>;
+        fetch: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+            shape: z.ZodLiteral<"single">;
+        }, z.core.$strip>, z.ZodObject<{
+            shape: z.ZodLiteral<"batch">;
+            maxKeys: z.ZodNumber;
+        }, z.core.$strip>]>>;
+        function: z.ZodOptional<z.ZodObject<{
+            kind: z.ZodEnum<{
+                managed: "managed";
+                native: "native";
+            }>;
+            id: z.ZodString;
+        }, z.core.$strip>>;
+        prefetchDefaults: z.ZodOptional<z.ZodObject<{
+            maxStalenessMs: z.ZodNumber;
+            timeoutMs: z.ZodNumber;
+            onError: z.ZodEnum<{
+                fallback: "fallback";
+                fail: "fail";
+            }>;
+        }, z.core.$strip>>;
+        writeback: z.ZodOptional<z.ZodObject<{
+            columns: z.ZodArray<z.ZodString>;
+            defaultMode: z.ZodEnum<{
+                sync: "sync";
+                async: "async";
+            }>;
+            timeoutMs: z.ZodNumber;
+            clearManualOnConfirm: z.ZodBoolean;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
+    deletedBy: z.ZodArray<z.ZodString>;
+    materialized: z.ZodOptional<z.ZodObject<{
+        table: z.ZodString;
+        compute: z.ZodString;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+type ResolvedMetaIr = z.infer<typeof resolvedMetaIrSchema>;
 /**
  * Runtime whitelist metadata per table — everything the executor needs to
  * build Drizzle table objects, validate §4f dynamic inputs, and lower them.
@@ -834,6 +1203,23 @@ type CompiledOperation = z.infer<typeof compiledOperationSchema>;
  */
 declare const tableMetaIrSchema: z.ZodObject<{
     table: z.ZodString;
+    namespace: z.ZodOptional<z.ZodString>;
+    dependencies: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    foreignReferences: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        column: z.ZodString;
+        target: z.ZodString;
+        targetColumn: z.ZodString;
+    }, z.core.$strip>>>;
+    exportRead: z.ZodOptional<z.ZodUnion<readonly [z.ZodLiteral<true>, z.ZodObject<{
+        capability: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        role: z.ZodString;
+    }, z.core.$strip>]>>;
+    exportWrite: z.ZodOptional<z.ZodUnion<readonly [z.ZodLiteral<true>, z.ZodObject<{
+        capability: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        role: z.ZodString;
+    }, z.core.$strip>]>>;
     schema: z.ZodString;
     typename: z.ZodString;
     claimsGated: z.ZodDefault<z.ZodBoolean>;
@@ -843,14 +1229,14 @@ declare const tableMetaIrSchema: z.ZodObject<{
         type: z.ZodUnion<readonly [z.ZodEnum<{
             bigint: "bigint";
             boolean: "boolean";
-            uuid: "uuid";
+            date: "date";
             text: "text";
+            timestamptz: "timestamptz";
+            jsonb: "jsonb";
+            uuid: "uuid";
             integer: "integer";
             numeric: "numeric";
             double: "double";
-            timestamptz: "timestamptz";
-            date: "date";
-            jsonb: "jsonb";
         }>, z.ZodObject<{
             enum: z.ZodString;
             values: z.ZodArray<z.ZodString>;
@@ -875,6 +1261,63 @@ declare const tableMetaIrSchema: z.ZodObject<{
     settable: z.ZodArray<z.ZodString>;
     appendable: z.ZodArray<z.ZodString>;
     touchOnUpdate: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    cells: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+        at: z.ZodOptional<z.ZodString>;
+        by: z.ZodOptional<z.ZodString>;
+        rev: z.ZodOptional<z.ZodString>;
+        source: z.ZodOptional<z.ZodString>;
+        conflicts: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>>;
+    resolved: z.ZodOptional<z.ZodObject<{
+        pk: z.ZodString;
+        manual: z.ZodString;
+        sources: z.ZodArray<z.ZodObject<{
+            name: z.ZodString;
+            kind: z.ZodEnum<{
+                manual: "manual";
+                prefetch: "prefetch";
+                etl: "etl";
+            }>;
+            table: z.ZodString;
+            columns: z.ZodArray<z.ZodString>;
+            key: z.ZodOptional<z.ZodString>;
+            fetch: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+                shape: z.ZodLiteral<"single">;
+            }, z.core.$strip>, z.ZodObject<{
+                shape: z.ZodLiteral<"batch">;
+                maxKeys: z.ZodNumber;
+            }, z.core.$strip>]>>;
+            function: z.ZodOptional<z.ZodObject<{
+                kind: z.ZodEnum<{
+                    managed: "managed";
+                    native: "native";
+                }>;
+                id: z.ZodString;
+            }, z.core.$strip>>;
+            prefetchDefaults: z.ZodOptional<z.ZodObject<{
+                maxStalenessMs: z.ZodNumber;
+                timeoutMs: z.ZodNumber;
+                onError: z.ZodEnum<{
+                    fallback: "fallback";
+                    fail: "fail";
+                }>;
+            }, z.core.$strip>>;
+            writeback: z.ZodOptional<z.ZodObject<{
+                columns: z.ZodArray<z.ZodString>;
+                defaultMode: z.ZodEnum<{
+                    sync: "sync";
+                    async: "async";
+                }>;
+                timeoutMs: z.ZodNumber;
+                clearManualOnConfirm: z.ZodBoolean;
+            }, z.core.$strip>>;
+        }, z.core.$strip>>;
+        deletedBy: z.ZodArray<z.ZodString>;
+        materialized: z.ZodOptional<z.ZodObject<{
+            table: z.ZodString;
+            compute: z.ZodString;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
     constraints: z.ZodArray<z.ZodObject<{
         name: z.ZodString;
         columns: z.ZodArray<z.ZodString>;
@@ -884,12 +1327,33 @@ declare const tableMetaIrSchema: z.ZodObject<{
 }, z.core.$strip>;
 type TableMetaIr = z.infer<typeof tableMetaIrSchema>;
 declare const compiledArtifactSchema: z.ZodObject<{
-    irVersion: z.ZodUnion<readonly [z.ZodLiteral<1>, z.ZodLiteral<2>]>;
+    irVersion: z.ZodUnion<readonly [z.ZodLiteral<1>, z.ZodLiteral<2>, z.ZodLiteral<3>, z.ZodLiteral<4>, z.ZodLiteral<5>]>;
     namespace: z.ZodString;
     schemaHash: z.ZodString;
+    ownSchemaHash: z.ZodOptional<z.ZodString>;
+    dependencies: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+    readPolicies: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodType<PredIr, unknown, z.core.$ZodTypeInternals<PredIr, unknown>>>>;
     opsHash: z.ZodString;
+    unbackedTables: z.ZodOptional<z.ZodArray<z.ZodString>>;
     tables: z.ZodRecord<z.ZodString, z.ZodObject<{
         table: z.ZodString;
+        namespace: z.ZodOptional<z.ZodString>;
+        dependencies: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        foreignReferences: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            column: z.ZodString;
+            target: z.ZodString;
+            targetColumn: z.ZodString;
+        }, z.core.$strip>>>;
+        exportRead: z.ZodOptional<z.ZodUnion<readonly [z.ZodLiteral<true>, z.ZodObject<{
+            capability: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            role: z.ZodString;
+        }, z.core.$strip>]>>;
+        exportWrite: z.ZodOptional<z.ZodUnion<readonly [z.ZodLiteral<true>, z.ZodObject<{
+            capability: z.ZodString;
+        }, z.core.$strip>, z.ZodObject<{
+            role: z.ZodString;
+        }, z.core.$strip>]>>;
         schema: z.ZodString;
         typename: z.ZodString;
         claimsGated: z.ZodDefault<z.ZodBoolean>;
@@ -899,14 +1363,14 @@ declare const compiledArtifactSchema: z.ZodObject<{
             type: z.ZodUnion<readonly [z.ZodEnum<{
                 bigint: "bigint";
                 boolean: "boolean";
-                uuid: "uuid";
+                date: "date";
                 text: "text";
+                timestamptz: "timestamptz";
+                jsonb: "jsonb";
+                uuid: "uuid";
                 integer: "integer";
                 numeric: "numeric";
                 double: "double";
-                timestamptz: "timestamptz";
-                date: "date";
-                jsonb: "jsonb";
             }>, z.ZodObject<{
                 enum: z.ZodString;
                 values: z.ZodArray<z.ZodString>;
@@ -931,6 +1395,63 @@ declare const compiledArtifactSchema: z.ZodObject<{
         settable: z.ZodArray<z.ZodString>;
         appendable: z.ZodArray<z.ZodString>;
         touchOnUpdate: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        cells: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+            at: z.ZodOptional<z.ZodString>;
+            by: z.ZodOptional<z.ZodString>;
+            rev: z.ZodOptional<z.ZodString>;
+            source: z.ZodOptional<z.ZodString>;
+            conflicts: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>>;
+        resolved: z.ZodOptional<z.ZodObject<{
+            pk: z.ZodString;
+            manual: z.ZodString;
+            sources: z.ZodArray<z.ZodObject<{
+                name: z.ZodString;
+                kind: z.ZodEnum<{
+                    manual: "manual";
+                    prefetch: "prefetch";
+                    etl: "etl";
+                }>;
+                table: z.ZodString;
+                columns: z.ZodArray<z.ZodString>;
+                key: z.ZodOptional<z.ZodString>;
+                fetch: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+                    shape: z.ZodLiteral<"single">;
+                }, z.core.$strip>, z.ZodObject<{
+                    shape: z.ZodLiteral<"batch">;
+                    maxKeys: z.ZodNumber;
+                }, z.core.$strip>]>>;
+                function: z.ZodOptional<z.ZodObject<{
+                    kind: z.ZodEnum<{
+                        managed: "managed";
+                        native: "native";
+                    }>;
+                    id: z.ZodString;
+                }, z.core.$strip>>;
+                prefetchDefaults: z.ZodOptional<z.ZodObject<{
+                    maxStalenessMs: z.ZodNumber;
+                    timeoutMs: z.ZodNumber;
+                    onError: z.ZodEnum<{
+                        fallback: "fallback";
+                        fail: "fail";
+                    }>;
+                }, z.core.$strip>>;
+                writeback: z.ZodOptional<z.ZodObject<{
+                    columns: z.ZodArray<z.ZodString>;
+                    defaultMode: z.ZodEnum<{
+                        sync: "sync";
+                        async: "async";
+                    }>;
+                    timeoutMs: z.ZodNumber;
+                    clearManualOnConfirm: z.ZodBoolean;
+                }, z.core.$strip>>;
+            }, z.core.$strip>>;
+            deletedBy: z.ZodArray<z.ZodString>;
+            materialized: z.ZodOptional<z.ZodObject<{
+                table: z.ZodString;
+                compute: z.ZodString;
+            }, z.core.$strip>>;
+        }, z.core.$strip>>;
         constraints: z.ZodArray<z.ZodObject<{
             name: z.ZodString;
             columns: z.ZodArray<z.ZodString>;
@@ -939,7 +1460,47 @@ declare const compiledArtifactSchema: z.ZodObject<{
         dynamicFilterMaxNodes: z.ZodDefault<z.ZodNumber>;
     }, z.core.$strip>>;
     operations: z.ZodRecord<z.ZodString, z.ZodObject<{
-        irVersion: z.ZodUnion<readonly [z.ZodLiteral<1>, z.ZodLiteral<2>]>;
+        language: z.ZodOptional<z.ZodLiteral<"sql">>;
+        sqlQuery: z.ZodOptional<z.ZodObject<{
+            catalog: z.ZodObject<{
+                identity: z.ZodString;
+                objects: z.ZodArray<z.ZodObject<{
+                    ref: z.ZodString;
+                    table: z.ZodString;
+                    columns: z.ZodArray<z.ZodObject<{
+                        name: z.ZodString;
+                        nullable: z.ZodBoolean;
+                        type: z.ZodString;
+                    }, z.core.$strip>>;
+                    scan: z.ZodString;
+                    read: z.ZodArray<z.ZodString>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>;
+            read: z.ZodArray<z.ZodString>;
+            maxRows: z.ZodNumber;
+        }, z.core.$strict>>;
+        sql: z.ZodOptional<z.ZodObject<{
+            text: z.ZodString;
+            columns: z.ZodArray<z.ZodObject<{
+                name: z.ZodString;
+                type: z.ZodEnum<{
+                    bigint: "bigint";
+                    boolean: "boolean";
+                    date: "date";
+                    text: "text";
+                    timestamptz: "timestamptz";
+                    uuid: "uuid";
+                    integer: "integer";
+                    numeric: "numeric";
+                    double: "double";
+                }>;
+                nullable: z.ZodBoolean;
+            }, z.core.$strip>>;
+            parameters: z.ZodArray<z.ZodString>;
+            read: z.ZodArray<z.ZodString>;
+            maxRows: z.ZodNumber;
+        }, z.core.$strict>>;
+        irVersion: z.ZodUnion<readonly [z.ZodLiteral<1>, z.ZodLiteral<2>, z.ZodLiteral<3>, z.ZodLiteral<4>, z.ZodLiteral<5>]>;
         name: z.ZodString;
         opHash: z.ZodString;
         kind: z.ZodEnum<{
@@ -957,14 +1518,14 @@ declare const compiledArtifactSchema: z.ZodObject<{
                 scalar: z.ZodEnum<{
                     bigint: "bigint";
                     boolean: "boolean";
-                    uuid: "uuid";
+                    date: "date";
                     text: "text";
+                    timestamptz: "timestamptz";
+                    jsonb: "jsonb";
+                    uuid: "uuid";
                     integer: "integer";
                     numeric: "numeric";
                     double: "double";
-                    timestamptz: "timestamptz";
-                    date: "date";
-                    jsonb: "jsonb";
                 }>;
             }, z.core.$strip>, z.ZodObject<{
                 kind: z.ZodLiteral<"enum">;
@@ -1029,6 +1590,39 @@ declare const compiledArtifactSchema: z.ZodObject<{
                 variable: z.ZodString;
                 negated: z.ZodBoolean;
             }, z.core.$strip>>;
+            prefetch: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                source: z.ZodString;
+                maxStalenessMs: z.ZodOptional<z.ZodNumber>;
+                key: z.ZodUnion<readonly [z.ZodObject<{
+                    one: 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.ZodObject<{
+                    many: 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>>>;
         }, z.core.$strip>, z.ZodObject<{
             kind: z.ZodLiteral<"byPk">;
             alias: z.ZodString;
@@ -1055,6 +1649,39 @@ declare const compiledArtifactSchema: z.ZodObject<{
                 variable: z.ZodString;
                 negated: z.ZodBoolean;
             }, z.core.$strip>>;
+            prefetch: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                source: z.ZodString;
+                maxStalenessMs: z.ZodOptional<z.ZodNumber>;
+                key: z.ZodUnion<readonly [z.ZodObject<{
+                    one: 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.ZodObject<{
+                    many: 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>>>;
         }, z.core.$strip>, z.ZodObject<{
             kind: z.ZodLiteral<"aggregate">;
             alias: z.ZodString;
@@ -1122,7 +1749,23 @@ declare const compiledArtifactSchema: z.ZodObject<{
                 deleteByPk: "deleteByPk";
                 cowOverride: "cowOverride";
                 cowRevert: "cowRevert";
+                resolvedWrite: "resolvedWrite";
             }>;
+            resolvedAction: z.ZodOptional<z.ZodEnum<{
+                insert: "insert";
+                update: "update";
+                revert: "revert";
+                delete: "delete";
+            }>>;
+            revertColumns: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            writeback: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                source: z.ZodString;
+                mode: z.ZodEnum<{
+                    sync: "sync";
+                    async: "async";
+                }>;
+            }, z.core.$strip>>>;
+            localOnly: z.ZodOptional<z.ZodArray<z.ZodString>>;
             alias: z.ZodString;
             table: z.ZodString;
             cowSynced: z.ZodOptional<z.ZodString>;
@@ -1272,4 +1915,4 @@ 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, DATE_BUCKETS, type DateBucket, type GroupByKeyIr, INPUT_REF_KINDS, IR_VERSION, type InputRefKind, IrVersionError, LEGACY_IR_VERSION, 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, requiredArtifactIrVersion, rootIrSchema, selectionIrSchema, tableMetaIrSchema, valueIrSchema, variableDefaultIrSchema, variableIrSchema };
+export { CLAIMS_CONTRACT, CMP_OPS, COMPOSED_IR_VERSION, type CellSelectionIr, type ClaimKey, type CmpOp, type CompiledArtifact, type CompiledOperation, DATE_BUCKETS, type DateBucket, GUARDED_IR_VERSION, type GroupByKeyIr, INPUT_REF_KINDS, IR_VERSION, type InputRefKind, IrVersionError, LEGACY_IR_VERSION, type LimitIr, type OrderIr, type PredIr, type PrefetchPlanIr, RUNTIME_SQL_IR_VERSION, type ResolvedMetaIr, type ResolvedSourceIr, type RootIr, SQL_IR_VERSION, type SelectionIr, type TableMetaIr, type ValueIr, type VariableDefaultIr, type VariableIr, compiledArtifactSchema, compiledOperationSchema, indexByHash, limitIrSchema, normalizeIr, orderIrSchema, predIrSchema, prefetchPlanIrSchema, requiredArtifactIrVersion, resolvedMetaIrSchema, resolvedSourceIrSchema, rootIrSchema, selectionIrSchema, tableMetaIrSchema, valueIrSchema, variableDefaultIrSchema, variableIrSchema };