@sequenceholdings/orm 2.0.0 → 2.1.1

package/dist/ir.d.ts

@@ -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-YoFGjIBM.js';
 
 /**
  * Compiled-operation IR — THE frozen contract between the GraphQL compiler
@@ -22,7 +23,12 @@ import { z } from 'zod';
  *    pattern): executor upgrades decouple from artifact re-pushes.
  */
 
-declare const IR_VERSION: 1;
+/** Maximum supported version. Emit v1 until an operation needs v2 semantics. */
+declare const IR_VERSION: 2;
+declare const LEGACY_IR_VERSION: 1;
+declare const irVersionSchema: z.ZodUnion<readonly [z.ZodLiteral<1>, z.ZodLiteral<2>]>;
+/** 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. */
 declare const CLAIMS_CONTRACT: {
     readonly sub: "string";
@@ -118,6 +124,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;
@@ -125,6 +149,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;
@@ -156,6 +186,72 @@ 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
+ * member to a `date_trunc` literal, so no caller-supplied string ever reaches
+ * SQL text. Adding a unit means adding it here AND to the executor's map —
+ * the executor's exhaustive switch makes the omission a type error.
+ */
+declare const DATE_BUCKETS: readonly ["year", "quarter", "month", "week", "day", "hour"];
+type DateBucket = (typeof DATE_BUCKETS)[number];
+/**
+ * One group key: a column, optionally bucketed. `bucket` is only ever set on a
+ * `date` / `timestamptz` column — the compiler rejects it on anything else, so
+ * the executor can apply `date_trunc` without re-checking the column type.
+ */
+declare const groupByKeyIrSchema: z.ZodObject<{
+    column: z.ZodString;
+    bucket: z.ZodOptional<z.ZodEnum<{
+        year: "year";
+        quarter: "quarter";
+        month: "month";
+        week: "week";
+        day: "day";
+        hour: "hour";
+    }>>;
+}, z.core.$strip>;
+type GroupByKeyIr = z.infer<typeof groupByKeyIrSchema>;
 declare const rootIrSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
     kind: z.ZodLiteral<"select">;
     alias: z.ZodString;
@@ -195,6 +291,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;
@@ -221,6 +350,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;
@@ -237,6 +399,46 @@ declare const rootIrSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
         variable: z.ZodString;
         negated: z.ZodBoolean;
     }, z.core.$strip>>;
+}, z.core.$strip>, z.ZodObject<{
+    kind: z.ZodLiteral<"aggregateGroups">;
+    alias: z.ZodString;
+    table: z.ZodString;
+    where: z.ZodType<PredIr, unknown, z.core.$ZodTypeInternals<PredIr, unknown>>;
+    groupBy: z.ZodArray<z.ZodObject<{
+        column: z.ZodString;
+        bucket: z.ZodOptional<z.ZodEnum<{
+            year: "year";
+            quarter: "quarter";
+            month: "month";
+            week: "week";
+            day: "day";
+            hour: "hour";
+        }>>;
+    }, z.core.$strip>>;
+    key: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        alias: z.ZodString;
+        column: z.ZodString;
+    }, z.core.$strip>>>;
+    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>>;
+    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<"mutation">;
     op: z.ZodEnum<{
@@ -248,7 +450,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>;
@@ -376,6 +594,7 @@ declare const rootIrSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
     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>;
+    assertAffectedRows: z.ZodOptional<z.ZodNumber>;
     includeIf: z.ZodOptional<z.ZodObject<{
         variable: z.ZodString;
         negated: z.ZodBoolean;
@@ -402,14 +621,14 @@ declare const variableIrSchema: z.ZodObject<{
         scalar: z.ZodEnum<{
             bigint: "bigint";
             boolean: "boolean";
-            uuid: "uuid";
             text: "text";
+            date: "date";
+            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">;
@@ -436,7 +655,7 @@ declare const variableIrSchema: z.ZodObject<{
 }, z.core.$strip>;
 type VariableIr = z.infer<typeof variableIrSchema>;
 declare const compiledOperationSchema: z.ZodObject<{
-    irVersion: z.ZodLiteral<1>;
+    irVersion: z.ZodUnion<readonly [z.ZodLiteral<1>, z.ZodLiteral<2>]>;
     name: z.ZodString;
     opHash: z.ZodString;
     kind: z.ZodEnum<{
@@ -454,14 +673,14 @@ declare const compiledOperationSchema: z.ZodObject<{
             scalar: z.ZodEnum<{
                 bigint: "bigint";
                 boolean: "boolean";
-                uuid: "uuid";
                 text: "text";
+                date: "date";
+                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">;
@@ -526,6 +745,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;
@@ -552,6 +804,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;
@@ -568,6 +853,46 @@ declare const compiledOperationSchema: z.ZodObject<{
             variable: z.ZodString;
             negated: z.ZodBoolean;
         }, z.core.$strip>>;
+    }, z.core.$strip>, z.ZodObject<{
+        kind: z.ZodLiteral<"aggregateGroups">;
+        alias: z.ZodString;
+        table: z.ZodString;
+        where: z.ZodType<PredIr, unknown, z.core.$ZodTypeInternals<PredIr, unknown>>;
+        groupBy: z.ZodArray<z.ZodObject<{
+            column: z.ZodString;
+            bucket: z.ZodOptional<z.ZodEnum<{
+                year: "year";
+                quarter: "quarter";
+                month: "month";
+                week: "week";
+                day: "day";
+                hour: "hour";
+            }>>;
+        }, z.core.$strip>>;
+        key: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            alias: z.ZodString;
+            column: z.ZodString;
+        }, z.core.$strip>>>;
+        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>>;
+        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<"mutation">;
         op: z.ZodEnum<{
@@ -579,7 +904,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>;
@@ -707,6 +1048,7 @@ declare const compiledOperationSchema: z.ZodObject<{
         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>;
+        assertAffectedRows: z.ZodOptional<z.ZodNumber>;
         includeIf: z.ZodOptional<z.ZodObject<{
             variable: z.ZodString;
             negated: z.ZodBoolean;
@@ -714,6 +1056,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.
@@ -730,14 +1165,14 @@ declare const tableMetaIrSchema: z.ZodObject<{
         type: z.ZodUnion<readonly [z.ZodEnum<{
             bigint: "bigint";
             boolean: "boolean";
-            uuid: "uuid";
             text: "text";
+            date: "date";
+            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>;
@@ -761,6 +1196,64 @@ declare const tableMetaIrSchema: z.ZodObject<{
     insertable: z.ZodArray<z.ZodString>;
     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>;
@@ -770,7 +1263,7 @@ declare const tableMetaIrSchema: z.ZodObject<{
 }, z.core.$strip>;
 type TableMetaIr = z.infer<typeof tableMetaIrSchema>;
 declare const compiledArtifactSchema: z.ZodObject<{
-    irVersion: z.ZodLiteral<1>;
+    irVersion: z.ZodUnion<readonly [z.ZodLiteral<1>, z.ZodLiteral<2>]>;
     namespace: z.ZodString;
     schemaHash: z.ZodString;
     opsHash: z.ZodString;
@@ -785,14 +1278,14 @@ declare const compiledArtifactSchema: z.ZodObject<{
             type: z.ZodUnion<readonly [z.ZodEnum<{
                 bigint: "bigint";
                 boolean: "boolean";
-                uuid: "uuid";
                 text: "text";
+                date: "date";
+                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>;
@@ -816,6 +1309,64 @@ declare const compiledArtifactSchema: z.ZodObject<{
         insertable: z.ZodArray<z.ZodString>;
         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>;
@@ -824,7 +1375,7 @@ declare const compiledArtifactSchema: z.ZodObject<{
         dynamicFilterMaxNodes: z.ZodDefault<z.ZodNumber>;
     }, z.core.$strip>>;
     operations: z.ZodRecord<z.ZodString, z.ZodObject<{
-        irVersion: z.ZodLiteral<1>;
+        irVersion: z.ZodUnion<readonly [z.ZodLiteral<1>, z.ZodLiteral<2>]>;
         name: z.ZodString;
         opHash: z.ZodString;
         kind: z.ZodEnum<{
@@ -842,14 +1393,14 @@ declare const compiledArtifactSchema: z.ZodObject<{
                 scalar: z.ZodEnum<{
                     bigint: "bigint";
                     boolean: "boolean";
-                    uuid: "uuid";
                     text: "text";
+                    date: "date";
+                    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">;
@@ -914,6 +1465,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;
@@ -940,6 +1524,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;
@@ -956,6 +1573,46 @@ declare const compiledArtifactSchema: z.ZodObject<{
                 variable: z.ZodString;
                 negated: z.ZodBoolean;
             }, z.core.$strip>>;
+        }, z.core.$strip>, z.ZodObject<{
+            kind: z.ZodLiteral<"aggregateGroups">;
+            alias: z.ZodString;
+            table: z.ZodString;
+            where: z.ZodType<PredIr, unknown, z.core.$ZodTypeInternals<PredIr, unknown>>;
+            groupBy: z.ZodArray<z.ZodObject<{
+                column: z.ZodString;
+                bucket: z.ZodOptional<z.ZodEnum<{
+                    year: "year";
+                    quarter: "quarter";
+                    month: "month";
+                    week: "week";
+                    day: "day";
+                    hour: "hour";
+                }>>;
+            }, z.core.$strip>>;
+            key: z.ZodDefault<z.ZodArray<z.ZodObject<{
+                alias: z.ZodString;
+                column: z.ZodString;
+            }, z.core.$strip>>>;
+            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>>;
+            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<"mutation">;
             op: z.ZodEnum<{
@@ -967,7 +1624,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>;
@@ -1095,6 +1768,7 @@ declare const compiledArtifactSchema: z.ZodObject<{
             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>;
+            assertAffectedRows: z.ZodOptional<z.ZodNumber>;
             includeIf: z.ZodOptional<z.ZodObject<{
                 variable: z.ZodString;
                 negated: z.ZodBoolean;
@@ -1116,4 +1790,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, 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 };
+export { CLAIMS_CONTRACT, CMP_OPS, type CellSelectionIr, 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 PrefetchPlanIr, type ResolvedMetaIr, type ResolvedSourceIr, type RootIr, 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 };