@sequenceholdings/orm 0.1.3 → 2.1.0

package/dist/ir.d.cts

@@ -22,7 +22,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";
@@ -156,6 +161,32 @@ interface SelectionIr {
 }
 declare const selectionIrSchema: z.ZodType<SelectionIr>;
 
+/**
+ * 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;
@@ -237,6 +268,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<{
@@ -376,6 +447,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;
@@ -436,7 +508,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<{
@@ -568,6 +640,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<{
@@ -707,6 +819,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;
@@ -761,6 +874,7 @@ 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>>;
     constraints: z.ZodArray<z.ZodObject<{
         name: z.ZodString;
         columns: z.ZodArray<z.ZodString>;
@@ -770,7 +884,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;
@@ -816,6 +930,7 @@ 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>>;
         constraints: z.ZodArray<z.ZodObject<{
             name: z.ZodString;
             columns: z.ZodArray<z.ZodString>;
@@ -824,7 +939,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<{
@@ -956,6 +1071,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<{
@@ -1095,6 +1250,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 +1272,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 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 };

package/dist/ir.d.ts

@@ -22,7 +22,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";
@@ -156,6 +161,32 @@ interface SelectionIr {
 }
 declare const selectionIrSchema: z.ZodType<SelectionIr>;
 
+/**
+ * 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;
@@ -237,6 +268,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<{
@@ -376,6 +447,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;
@@ -436,7 +508,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<{
@@ -568,6 +640,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<{
@@ -707,6 +819,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;
@@ -761,6 +874,7 @@ 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>>;
     constraints: z.ZodArray<z.ZodObject<{
         name: z.ZodString;
         columns: z.ZodArray<z.ZodString>;
@@ -770,7 +884,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;
@@ -816,6 +930,7 @@ 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>>;
         constraints: z.ZodArray<z.ZodObject<{
             name: z.ZodString;
             columns: z.ZodArray<z.ZodString>;
@@ -824,7 +939,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<{
@@ -956,6 +1071,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<{
@@ -1095,6 +1250,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 +1272,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 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 };