@rocicorp/zero 1.12.0-canary.1 → 1.12.0-canary.11

package/out/zero-solid/src/zero.js

@@ -1,24 +1,24 @@
-import "../../replicache/src/get-default-puller.js";
-import "../../replicache/src/storage-failure.js";
-import "../../replicache/src/kv/idb-store.js";
-import "../../replicache/src/make-idb-name.js";
-import "../../replicache/src/persist/collect-idb-databases.js";
-import "../../replicache/src/transaction-closed-error.js";
-import "../../zero-permissions/src/permissions.js";
-import "../../zero-protocol/src/application-error.js";
-import "../../zero-protocol/src/custom-queries.js";
-import "../../zero-schema/src/builder/relationship-builder.js";
-import "../../zero-schema/src/builder/table-builder.js";
-import "../../zero-schema/src/builder/schema-builder.js";
-import "../../zql/src/query/validate-input.js";
-import "../../zql/src/mutate/mutator.js";
-import "../../zql/src/mutate/mutator-registry.js";
-import "../../zql/src/query/create-builder.js";
-import "../../zql/src/query/escape-like.js";
-import "../../zql/src/query/named.js";
-import "../../zql/src/query/query-registry.js";
-import "../../zero-client/src/client/connection-status-enum.js";
-import "../../zero-client/src/client/update-needed-reason-type-enum.js";
-import "../../zero-client/src/client/zero.js";
+import { getDefaultPuller } from "../../replicache/src/get-default-puller.js";
+import { StorageFailureError } from "../../replicache/src/storage-failure.js";
+import { IDBNotFoundError } from "../../replicache/src/kv/idb-store.js";
+import { makeIDBName } from "../../replicache/src/make-idb-name.js";
+import { dropAllDatabases, dropDatabase } from "../../replicache/src/persist/collect-idb-databases.js";
+import { TransactionClosedError } from "../../replicache/src/transaction-closed-error.js";
+import { ANYONE_CAN, ANYONE_CAN_DO_ANYTHING, NOBODY_CAN, definePermissions } from "../../zero-permissions/src/permissions.js";
+import { ApplicationError } from "../../zero-protocol/src/application-error.js";
+import { transformRequestMessageSchema, transformResponseMessageSchema } from "../../zero-protocol/src/custom-queries.js";
+import { relationships } from "../../zero-schema/src/builder/relationship-builder.js";
+import { boolean, enumeration, json, number, string, table } from "../../zero-schema/src/builder/table-builder.js";
+import { createSchema } from "../../zero-schema/src/builder/schema-builder.js";
+import { InputValidationError } from "../../zql/src/query/validate-input.js";
+import { defineMutator, defineMutatorWithType, isMutator, isMutatorDefinition } from "../../zql/src/mutate/mutator.js";
+import { defineMutators, defineMutatorsWithType, getMutator, isMutatorRegistry, mustGetMutator } from "../../zql/src/mutate/mutator-registry.js";
+import { createBuilder } from "../../zql/src/query/create-builder.js";
+import { escapeLike } from "../../zql/src/query/escape-like.js";
+import { syncedQuery, syncedQueryWithContext, withValidation } from "../../zql/src/query/named.js";
+import { defineQueries, defineQueriesWithType, defineQuery, defineQueryWithType, getQuery, isQuery, isQueryDefinition, isQueryRegistry, mustGetQuery } from "../../zql/src/query/query-registry.js";
+import { connection_status_enum_exports } from "../../zero-client/src/client/connection-status-enum.js";
+import { update_needed_reason_type_enum_exports } from "../../zero-client/src/client/update-needed-reason-type-enum.js";
+import { Zero } from "../../zero-client/src/client/zero.js";
 import "../../zero-client/src/mod.js";
-export {};
+export { ANYONE_CAN, ANYONE_CAN_DO_ANYTHING, ApplicationError, connection_status_enum_exports as ConnectionStatus, IDBNotFoundError, InputValidationError, NOBODY_CAN, StorageFailureError, TransactionClosedError, update_needed_reason_type_enum_exports as UpdateNeededReasonType, Zero, boolean, createBuilder, createSchema, defineMutator, defineMutatorWithType, defineMutators, defineMutatorsWithType, definePermissions, defineQueries, defineQueriesWithType, defineQuery, defineQueryWithType, dropAllDatabases, dropDatabase, enumeration, escapeLike, getDefaultPuller, getMutator, getQuery, isMutator, isMutatorDefinition, isMutatorRegistry, isQuery, isQueryDefinition, isQueryRegistry, json, makeIDBName, mustGetMutator, mustGetQuery, number, relationships, string, syncedQuery, syncedQueryWithContext, table, transformRequestMessageSchema, transformResponseMessageSchema, withValidation };

package/out/zero-types/src/format.d.ts

@@ -6,6 +6,19 @@
 export type Format = {
     singular: boolean;
     relationships: Record<string, Format>;
+    /**
+     * When set, this relationship is a scalar aggregate (count/sum/avg): it
+     * materializes as the single aggregate value (see zql ivm/aggregate.ts)
+     * rather than the child rows. Implies `singular: true`. The descriptor (fn +
+     * optional field and JSON path) lets the query builder reconstruct the AST; the view uses
+     * `fn` for the value of a parent with no aggregate row (`0` or `null`). (`fn` mirrors zero-protocol's `AggregateFunction`;
+     * inlined to avoid a cross-package dependency.)
+     */
+    aggregate?: {
+        readonly fn: 'count' | 'sum' | 'avg' | 'min' | 'max';
+        readonly field?: string | undefined;
+        readonly path?: readonly (string | number)[] | undefined;
+    } | undefined;
 };
 export declare const defaultFormat: Format;
 //# sourceMappingURL=format.d.ts.map

package/out/zero-types/src/format.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"format.d.ts","sourceRoot":"","sources":["../../../../zero-types/src/format.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,MAAM,MAAM,GAAG;IACnB,QAAQ,EAAE,OAAO,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACvC,CAAC;AAEF,eAAO,MAAM,aAAa,EAAE,MAGlB,CAAC"}
+{"version":3,"file":"format.d.ts","sourceRoot":"","sources":["../../../../zero-types/src/format.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,MAAM,MAAM,GAAG;IACnB,QAAQ,EAAE,OAAO,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC;;;;;;;OAOG;IACH,SAAS,CAAC,EACN;QACE,QAAQ,CAAC,EAAE,EAAE,OAAO,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,CAAC;QACrD,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;QACpC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,GAAG,SAAS,CAAC;KAC1D,GACD,SAAS,CAAC;CACf,CAAC;AAEF,eAAO,MAAM,aAAa,EAAE,MAGlB,CAAC"}

package/out/zero-types/src/format.js.map

@@ -1 +1 @@
-{"version":3,"file":"format.js","names":[],"sources":["../../../../zero-types/src/format.ts"],"sourcesContent":["/**\n * Format descriptor for query results.\n * Describes whether a result should be singular or a list,\n * and what the format of nested relationships should be.\n */\nexport type Format = {\n  singular: boolean;\n  relationships: Record<string, Format>;\n};\n\nexport const defaultFormat: Format = {\n  singular: false,\n  relationships: {},\n} as const;\n"],"mappings":";AAUA,IAAa,gBAAwB;CACnC,UAAU;CACV,eAAe,CAAC;AAClB"}
+{"version":3,"file":"format.js","names":[],"sources":["../../../../zero-types/src/format.ts"],"sourcesContent":["/**\n * Format descriptor for query results.\n * Describes whether a result should be singular or a list,\n * and what the format of nested relationships should be.\n */\nexport type Format = {\n  singular: boolean;\n  relationships: Record<string, Format>;\n  /**\n   * When set, this relationship is a scalar aggregate (count/sum/avg): it\n   * materializes as the single aggregate value (see zql ivm/aggregate.ts)\n   * rather than the child rows. Implies `singular: true`. The descriptor (fn +\n   * optional field and JSON path) lets the query builder reconstruct the AST; the view uses\n   * `fn` for the value of a parent with no aggregate row (`0` or `null`). (`fn` mirrors zero-protocol's `AggregateFunction`;\n   * inlined to avoid a cross-package dependency.)\n   */\n  aggregate?:\n    | {\n        readonly fn: 'count' | 'sum' | 'avg' | 'min' | 'max';\n        readonly field?: string | undefined;\n        readonly path?: readonly (string | number)[] | undefined;\n      }\n    | undefined;\n};\n\nexport const defaultFormat: Format = {\n  singular: false,\n  relationships: {},\n} as const;\n"],"mappings":";AAyBA,IAAa,gBAAwB;CACnC,UAAU;CACV,eAAe,CAAC;AAClB"}

package/out/zero-types/src/name-mapper.d.ts

@@ -1,12 +1,18 @@
 import type { JSONValue, ReadonlyJSONValue } from '../../shared/src/json.ts';
 export type Value = JSONValue | ReadonlyJSONValue | undefined;
-export type ColumnNames = {
+type ColumnNames = {
     [src: string]: string;
 };
 export type DestNames = {
     tableName: string;
     columns: ColumnNames;
     allColumnsSame: boolean;
+    /**
+     * The source names of the table's `json` columns, when the mapper was built
+     * with column type information. Absent for mappers built from names alone
+     * (e.g. the identity `validator`), which then skip the json-column check.
+     */
+    jsonColumns?: ReadonlySet<string> | undefined;
 };
 export declare class NameMapper {
     #private;
@@ -14,7 +20,16 @@ export declare class NameMapper {
     tableName(src: string): string;
     tableNameIfKnown(src: string): string | undefined;
     columnName(table: string, src: string): string;
+    /**
+     * Maps the column wrapped by a JSON path reference. A JSON path is only
+     * valid on a `json` column. On any other column the SQLite replica's
+     * `json_type()`/`json_extract()` would throw at fetch time and take the
+     * whole client connection down, so a mapper that knows column types
+     * rejects it here, at the query boundary.
+     */
+    jsonColumnName(table: string, src: string): string;
     row<V extends Value>(table: string, row: Readonly<Record<string, V>>): Readonly<Record<string, V>>;
     columns<Columns extends readonly string[] | undefined>(table: string, cols: Columns): Columns;
 }
+export {};
 //# sourceMappingURL=name-mapper.d.ts.map

package/out/zero-types/src/name-mapper.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"name-mapper.d.ts","sourceRoot":"","sources":["../../../../zero-types/src/name-mapper.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAC,SAAS,EAAE,iBAAiB,EAAC,MAAM,0BAA0B,CAAC;AAI3E,MAAM,MAAM,KAAK,GAAG,SAAS,GAAG,iBAAiB,GAAG,SAAS,CAAC;AAE9D,MAAM,MAAM,WAAW,GAAG;IAAC,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAA;CAAC,CAAC;AAElD,MAAM,MAAM,SAAS,GAAG;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,WAAW,CAAC;IACrB,cAAc,EAAE,OAAO,CAAC;CACzB,CAAC;AAEF,qBAAa,UAAU;;IAGrB,YAAY,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,EAEzC;IAWD,SAAS,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAE7B;IAED,gBAAgB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAEhD;IAED,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAO7C;IAED,GAAG,CAAC,CAAC,SAAS,KAAK,EACjB,KAAK,EAAE,MAAM,EACb,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,GAC/B,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAY7B;IAED,OAAO,CAAC,OAAO,SAAS,SAAS,MAAM,EAAE,GAAG,SAAS,EACnD,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,OAAO,GACZ,OAAO,CAQT;CACF"}
+{"version":3,"file":"name-mapper.d.ts","sourceRoot":"","sources":["../../../../zero-types/src/name-mapper.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAC,SAAS,EAAE,iBAAiB,EAAC,MAAM,0BAA0B,CAAC;AAI3E,MAAM,MAAM,KAAK,GAAG,SAAS,GAAG,iBAAiB,GAAG,SAAS,CAAC;AAE9D,KAAK,WAAW,GAAG;IAAC,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAA;CAAC,CAAC;AAE3C,MAAM,MAAM,SAAS,GAAG;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,WAAW,CAAC;IACrB,cAAc,EAAE,OAAO,CAAC;IACxB;;;;OAIG;IACH,WAAW,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;CAC/C,CAAC;AAEF,qBAAa,UAAU;;IAGrB,YAAY,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,EAEzC;IAWD,SAAS,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAE7B;IAED,gBAAgB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAEhD;IAED,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAO7C;IAED;;;;;;OAMG;IACH,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CASjD;IAED,GAAG,CAAC,CAAC,SAAS,KAAK,EACjB,KAAK,EAAE,MAAM,EACb,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,GAC/B,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAY7B;IAED,OAAO,CAAC,OAAO,SAAS,SAAS,MAAM,EAAE,GAAG,SAAS,EACnD,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,OAAO,GACZ,OAAO,CAQT;CACF"}

package/out/zero-types/src/name-mapper.js

@@ -20,6 +20,18 @@ var NameMapper = class {
 		if (!dst) throw new Error(`unknown column "${src}" of "${table}" table`);
 		return dst;
 	}
+	/**
+	* Maps the column wrapped by a JSON path reference. A JSON path is only
+	* valid on a `json` column. On any other column the SQLite replica's
+	* `json_type()`/`json_extract()` would throw at fetch time and take the
+	* whole client connection down, so a mapper that knows column types
+	* rejects it here, at the query boundary.
+	*/
+	jsonColumnName(table, src) {
+		const dest = this.#getTable(table);
+		if (dest.jsonColumns && !dest.jsonColumns.has(src)) throw new Error(`column "${src}" of "${table}" table is not a json column`);
+		return this.columnName(table, src);
+	}
 	row(table, row) {
 		const { allColumnsSame, columns } = this.#getTable(table);
 		if (allColumnsSame) return row;

package/out/zero-types/src/name-mapper.js.map

@@ -1 +1 @@
-{"version":3,"file":"name-mapper.js","names":["#tables","#getTable"],"sources":["../../../../zero-types/src/name-mapper.ts"],"sourcesContent":["import type {JSONValue, ReadonlyJSONValue} from '../../shared/src/json.ts';\n\n// Value type from zero-protocol (JSONValue/ReadonlyJSONValue | undefined)\n// Defined here to avoid circular dependency with zero-protocol\nexport type Value = JSONValue | ReadonlyJSONValue | undefined;\n\nexport type ColumnNames = {[src: string]: string};\n\nexport type DestNames = {\n  tableName: string;\n  columns: ColumnNames;\n  allColumnsSame: boolean;\n};\n\nexport class NameMapper {\n  readonly #tables = new Map<string, DestNames>();\n\n  constructor(tables: Map<string, DestNames>) {\n    this.#tables = tables;\n  }\n\n  #getTable(src: string): DestNames {\n    const table = this.#tables.get(src);\n    if (!table) {\n      // log-leak-ignore -- a table name is schema, not customer data\n      throw new Error(`unknown table \"${src}\"`);\n    }\n    return table;\n  }\n\n  tableName(src: string): string {\n    return this.#getTable(src).tableName;\n  }\n\n  tableNameIfKnown(src: string): string | undefined {\n    return this.#tables.get(src)?.tableName;\n  }\n\n  columnName(table: string, src: string): string {\n    const dst = this.#getTable(table).columns[src];\n    if (!dst) {\n      // log-leak-ignore -- table and column names are schema, not customer data\n      throw new Error(`unknown column \"${src}\" of \"${table}\" table`);\n    }\n    return dst;\n  }\n\n  row<V extends Value>(\n    table: string,\n    row: Readonly<Record<string, V>>,\n  ): Readonly<Record<string, V>> {\n    const dest = this.#getTable(table);\n    const {allColumnsSame, columns} = dest;\n    if (allColumnsSame) {\n      return row;\n    }\n    const clientRow: Record<string, V> = {};\n    for (const col in row) {\n      // Note: columns with unknown names simply pass through.\n      clientRow[columns[col] ?? col] = row[col];\n    }\n    return clientRow;\n  }\n\n  columns<Columns extends readonly string[] | undefined>(\n    table: string,\n    cols: Columns,\n  ): Columns {\n    const dest = this.#getTable(table);\n    const {allColumnsSame, columns} = dest;\n\n    // Note: Columns not defined in the schema simply pass through.\n    return cols === undefined || allColumnsSame\n      ? cols\n      : (cols.map(col => columns[col] ?? col) as unknown as Columns);\n  }\n}\n"],"mappings":";AAcA,IAAa,aAAb,MAAwB;CACtB,0BAAmB,IAAI,IAAuB;CAE9C,YAAY,QAAgC;EAC1C,KAAKA,UAAU;CACjB;CAEA,UAAU,KAAwB;EAChC,MAAM,QAAQ,KAAKA,QAAQ,IAAI,GAAG;EAClC,IAAI,CAAC,OAEH,MAAM,IAAI,MAAM,kBAAkB,IAAI,EAAE;EAE1C,OAAO;CACT;CAEA,UAAU,KAAqB;EAC7B,OAAO,KAAKC,UAAU,GAAG,EAAE;CAC7B;CAEA,iBAAiB,KAAiC;EAChD,OAAO,KAAKD,QAAQ,IAAI,GAAG,GAAG;CAChC;CAEA,WAAW,OAAe,KAAqB;EAC7C,MAAM,MAAM,KAAKC,UAAU,KAAK,EAAE,QAAQ;EAC1C,IAAI,CAAC,KAEH,MAAM,IAAI,MAAM,mBAAmB,IAAI,QAAQ,MAAM,QAAQ;EAE/D,OAAO;CACT;CAEA,IACE,OACA,KAC6B;EAE7B,MAAM,EAAC,gBAAgB,YADV,KAAKA,UAAU,KACM;EAClC,IAAI,gBACF,OAAO;EAET,MAAM,YAA+B,CAAC;EACtC,KAAK,MAAM,OAAO,KAEhB,UAAU,QAAQ,QAAQ,OAAO,IAAI;EAEvC,OAAO;CACT;CAEA,QACE,OACA,MACS;EAET,MAAM,EAAC,gBAAgB,YADV,KAAKA,UAAU,KACM;EAGlC,OAAO,SAAS,KAAA,KAAa,iBACzB,OACC,KAAK,KAAI,QAAO,QAAQ,QAAQ,GAAG;CAC1C;AACF"}
+{"version":3,"file":"name-mapper.js","names":[],"sources":["../../../../zero-types/src/name-mapper.ts"],"sourcesContent":["import type {JSONValue, ReadonlyJSONValue} from '../../shared/src/json.ts';\n\n// Value type from zero-protocol (JSONValue/ReadonlyJSONValue | undefined)\n// Defined here to avoid circular dependency with zero-protocol\nexport type Value = JSONValue | ReadonlyJSONValue | undefined;\n\ntype ColumnNames = {[src: string]: string};\n\nexport type DestNames = {\n  tableName: string;\n  columns: ColumnNames;\n  allColumnsSame: boolean;\n  /**\n   * The source names of the table's `json` columns, when the mapper was built\n   * with column type information. Absent for mappers built from names alone\n   * (e.g. the identity `validator`), which then skip the json-column check.\n   */\n  jsonColumns?: ReadonlySet<string> | undefined;\n};\n\nexport class NameMapper {\n  readonly #tables = new Map<string, DestNames>();\n\n  constructor(tables: Map<string, DestNames>) {\n    this.#tables = tables;\n  }\n\n  #getTable(src: string): DestNames {\n    const table = this.#tables.get(src);\n    if (!table) {\n      // log-leak-ignore -- a table name is schema, not customer data\n      throw new Error(`unknown table \"${src}\"`);\n    }\n    return table;\n  }\n\n  tableName(src: string): string {\n    return this.#getTable(src).tableName;\n  }\n\n  tableNameIfKnown(src: string): string | undefined {\n    return this.#tables.get(src)?.tableName;\n  }\n\n  columnName(table: string, src: string): string {\n    const dst = this.#getTable(table).columns[src];\n    if (!dst) {\n      // log-leak-ignore -- table and column names are schema, not customer data\n      throw new Error(`unknown column \"${src}\" of \"${table}\" table`);\n    }\n    return dst;\n  }\n\n  /**\n   * Maps the column wrapped by a JSON path reference. A JSON path is only\n   * valid on a `json` column. On any other column the SQLite replica's\n   * `json_type()`/`json_extract()` would throw at fetch time and take the\n   * whole client connection down, so a mapper that knows column types\n   * rejects it here, at the query boundary.\n   */\n  jsonColumnName(table: string, src: string): string {\n    const dest = this.#getTable(table);\n    if (dest.jsonColumns && !dest.jsonColumns.has(src)) {\n      // log-leak-ignore -- table and column names are schema, not customer data\n      throw new Error(\n        `column \"${src}\" of \"${table}\" table is not a json column`,\n      );\n    }\n    return this.columnName(table, src);\n  }\n\n  row<V extends Value>(\n    table: string,\n    row: Readonly<Record<string, V>>,\n  ): Readonly<Record<string, V>> {\n    const dest = this.#getTable(table);\n    const {allColumnsSame, columns} = dest;\n    if (allColumnsSame) {\n      return row;\n    }\n    const clientRow: Record<string, V> = {};\n    for (const col in row) {\n      // Note: columns with unknown names simply pass through.\n      clientRow[columns[col] ?? col] = row[col];\n    }\n    return clientRow;\n  }\n\n  columns<Columns extends readonly string[] | undefined>(\n    table: string,\n    cols: Columns,\n  ): Columns {\n    const dest = this.#getTable(table);\n    const {allColumnsSame, columns} = dest;\n\n    // Note: Columns not defined in the schema simply pass through.\n    return cols === undefined || allColumnsSame\n      ? cols\n      : (cols.map(col => columns[col] ?? col) as unknown as Columns);\n  }\n}\n"],"mappings":";AAoBA,IAAa,aAAb,MAAwB;CACtB,0BAAmB,IAAI,IAAuB;CAE9C,YAAY,QAAgC;EAC1C,KAAK,UAAU;CACjB;CAEA,UAAU,KAAwB;EAChC,MAAM,QAAQ,KAAK,QAAQ,IAAI,GAAG;EAClC,IAAI,CAAC,OAEH,MAAM,IAAI,MAAM,kBAAkB,IAAI,EAAE;EAE1C,OAAO;CACT;CAEA,UAAU,KAAqB;EAC7B,OAAO,KAAK,UAAU,GAAG,CAAC,CAAC;CAC7B;CAEA,iBAAiB,KAAiC;EAChD,OAAO,KAAK,QAAQ,IAAI,GAAG,CAAC,EAAE;CAChC;CAEA,WAAW,OAAe,KAAqB;EAC7C,MAAM,MAAM,KAAK,UAAU,KAAK,CAAC,CAAC,QAAQ;EAC1C,IAAI,CAAC,KAEH,MAAM,IAAI,MAAM,mBAAmB,IAAI,QAAQ,MAAM,QAAQ;EAE/D,OAAO;CACT;;;;;;;;CASA,eAAe,OAAe,KAAqB;EACjD,MAAM,OAAO,KAAK,UAAU,KAAK;EACjC,IAAI,KAAK,eAAe,CAAC,KAAK,YAAY,IAAI,GAAG,GAE/C,MAAM,IAAI,MACR,WAAW,IAAI,QAAQ,MAAM,6BAC/B;EAEF,OAAO,KAAK,WAAW,OAAO,GAAG;CACnC;CAEA,IACE,OACA,KAC6B;EAE7B,MAAM,EAAC,gBAAgB,YADV,KAAK,UAAU,KACM;EAClC,IAAI,gBACF,OAAO;EAET,MAAM,YAA+B,CAAC;EACtC,KAAK,MAAM,OAAO,KAEhB,UAAU,QAAQ,QAAQ,OAAO,IAAI;EAEvC,OAAO;CACT;CAEA,QACE,OACA,MACS;EAET,MAAM,EAAC,gBAAgB,YADV,KAAK,UAAU,KACM;EAGlC,OAAO,SAAS,KAAA,KAAa,iBACzB,OACC,KAAK,KAAI,QAAO,QAAQ,QAAQ,GAAG;CAC1C;AACF"}

package/out/zero-types/src/schema-value.d.ts

@@ -2,6 +2,8 @@
  * The allowed value types in Zero schema definitions.
  */
 export type ValueType = 'string' | 'number' | 'boolean' | 'null' | 'json';
+/** The {@link ValueType} of `value` as it appears in a row. */
+export declare function valueTypeOf(value: unknown): ValueType;
 /**
  * Schema value definition with optional custom type support.
  */
@@ -16,14 +18,14 @@ export type SchemaValueWithCustomType<T> = {
     optional?: boolean | undefined;
     customType: T;
 };
-export type TypeNameToTypeMap = {
+type TypeNameToTypeMap = {
     string: string;
     number: number;
     boolean: boolean;
     null: null;
     json: any;
 };
-export type ColumnTypeName<T extends SchemaValue | ValueType> = T extends SchemaValue ? T['type'] : T;
+type ColumnTypeName<T extends SchemaValue | ValueType> = T extends SchemaValue ? T['type'] : T;
 /**
  * Given a schema value, return the TypeScript type.
  *
@@ -33,4 +35,5 @@ export type ColumnTypeName<T extends SchemaValue | ValueType> = T extends Schema
 export type SchemaValueToTSType<T extends SchemaValue | ValueType> = T extends ValueType ? TypeNameToTypeMap[T] : T extends {
     optional: true;
 } ? (T extends SchemaValueWithCustomType<infer V> ? V : TypeNameToTypeMap[ColumnTypeName<T>]) | null : T extends SchemaValueWithCustomType<infer V> ? V : TypeNameToTypeMap[ColumnTypeName<T>];
+export {};
 //# sourceMappingURL=schema-value.d.ts.map

package/out/zero-types/src/schema-value.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema-value.d.ts","sourceRoot":"","sources":["../../../../zero-types/src/schema-value.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,GAAG,MAAM,CAAC;AAE1E;;GAEG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,GAAG,OAAO,IAC/B;IACE,IAAI,EAAE,SAAS,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAChC,QAAQ,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;CAChC,GACD,yBAAyB,CAAC,CAAC,CAAC,CAAC;AAEjC,MAAM,MAAM,yBAAyB,CAAC,CAAC,IAAI;IACzC,IAAI,EAAE,SAAS,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAChC,QAAQ,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAC/B,UAAU,EAAE,CAAC,CAAC;CACf,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,EAAE,IAAI,CAAC;IAEX,IAAI,EAAE,GAAG,CAAC;CACX,CAAC;AAEF,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,WAAW,GAAG,SAAS,IAC1D,CAAC,SAAS,WAAW,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AAExC;;;;;GAKG;AACH,MAAM,MAAM,mBAAmB,CAAC,CAAC,SAAS,WAAW,GAAG,SAAS,IAC/D,CAAC,SAAS,SAAS,GACf,iBAAiB,CAAC,CAAC,CAAC,GACpB,CAAC,SAAS;IACN,QAAQ,EAAE,IAAI,CAAC;CAChB,GAEG,CAAC,CAAC,SAAS,yBAAyB,CAAC,MAAM,CAAC,CAAC,GACzC,CAAC,GACD,iBAAiB,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,GACzC,IAAI,GACR,CAAC,SAAS,yBAAyB,CAAC,MAAM,CAAC,CAAC,GAC1C,CAAC,GACD,iBAAiB,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC"}
+{"version":3,"file":"schema-value.d.ts","sourceRoot":"","sources":["../../../../zero-types/src/schema-value.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,GAAG,MAAM,CAAC;AAE1E,+DAA+D;AAC/D,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,CAcrD;AAED;;GAEG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,GAAG,OAAO,IAC/B;IACE,IAAI,EAAE,SAAS,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAChC,QAAQ,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;CAChC,GACD,yBAAyB,CAAC,CAAC,CAAC,CAAC;AAEjC,MAAM,MAAM,yBAAyB,CAAC,CAAC,IAAI;IACzC,IAAI,EAAE,SAAS,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAChC,QAAQ,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAC/B,UAAU,EAAE,CAAC,CAAC;CACf,CAAC;AAEF,KAAK,iBAAiB,GAAG;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,EAAE,IAAI,CAAC;IAEX,IAAI,EAAE,GAAG,CAAC;CACX,CAAC;AAEF,KAAK,cAAc,CAAC,CAAC,SAAS,WAAW,GAAG,SAAS,IAAI,CAAC,SAAS,WAAW,GAC1E,CAAC,CAAC,MAAM,CAAC,GACT,CAAC,CAAC;AAEN;;;;;GAKG;AACH,MAAM,MAAM,mBAAmB,CAAC,CAAC,SAAS,WAAW,GAAG,SAAS,IAC/D,CAAC,SAAS,SAAS,GACf,iBAAiB,CAAC,CAAC,CAAC,GACpB,CAAC,SAAS;IACN,QAAQ,EAAE,IAAI,CAAC;CAChB,GAEG,CAAC,CAAC,SAAS,yBAAyB,CAAC,MAAM,CAAC,CAAC,GACzC,CAAC,GACD,iBAAiB,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,GACzC,IAAI,GACR,CAAC,SAAS,yBAAyB,CAAC,MAAM,CAAC,CAAC,GAC1C,CAAC,GACD,iBAAiB,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC"}

package/out/zero-types/src/schema-value.js

@@ -0,0 +1,15 @@
+//#region ../zero-types/src/schema-value.ts
+/** The {@link ValueType} of `value` as it appears in a row. */
+function valueTypeOf(value) {
+	if (value === null) return "null";
+	switch (typeof value) {
+		case "string": return "string";
+		case "number": return "number";
+		case "boolean": return "boolean";
+		default: return "json";
+	}
+}
+//#endregion
+export { valueTypeOf };
+
+//# sourceMappingURL=schema-value.js.map

package/out/zero-types/src/schema-value.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema-value.js","names":[],"sources":["../../../../zero-types/src/schema-value.ts"],"sourcesContent":["/**\n * The allowed value types in Zero schema definitions.\n */\nexport type ValueType = 'string' | 'number' | 'boolean' | 'null' | 'json';\n\n/** The {@link ValueType} of `value` as it appears in a row. */\nexport function valueTypeOf(value: unknown): ValueType {\n  if (value === null) {\n    return 'null';\n  }\n  switch (typeof value) {\n    case 'string':\n      return 'string';\n    case 'number':\n      return 'number';\n    case 'boolean':\n      return 'boolean';\n    default:\n      return 'json';\n  }\n}\n\n/**\n * Schema value definition with optional custom type support.\n */\nexport type SchemaValue<T = unknown> =\n  | {\n      type: ValueType;\n      serverName?: string | undefined;\n      optional?: boolean | undefined;\n    }\n  | SchemaValueWithCustomType<T>;\n\nexport type SchemaValueWithCustomType<T> = {\n  type: ValueType;\n  serverName?: string | undefined;\n  optional?: boolean | undefined;\n  customType: T;\n};\n\ntype TypeNameToTypeMap = {\n  string: string;\n  number: number;\n  boolean: boolean;\n  null: null;\n  // eslint-disable-next-line @typescript-eslint/no-explicit-any\n  json: any;\n};\n\ntype ColumnTypeName<T extends SchemaValue | ValueType> = T extends SchemaValue\n  ? T['type']\n  : T;\n\n/**\n * Given a schema value, return the TypeScript type.\n *\n * This allows us to create the correct return type for a\n * query that has a selection.\n */\nexport type SchemaValueToTSType<T extends SchemaValue | ValueType> =\n  T extends ValueType\n    ? TypeNameToTypeMap[T]\n    : T extends {\n          optional: true;\n        }\n      ?\n          | (T extends SchemaValueWithCustomType<infer V>\n              ? V\n              : TypeNameToTypeMap[ColumnTypeName<T>])\n          | null\n      : T extends SchemaValueWithCustomType<infer V>\n        ? V\n        : TypeNameToTypeMap[ColumnTypeName<T>];\n"],"mappings":";;AAMA,SAAgB,YAAY,OAA2B;CACrD,IAAI,UAAU,MACZ,OAAO;CAET,QAAQ,OAAO,OAAf;EACE,KAAK,UACH,OAAO;EACT,KAAK,UACH,OAAO;EACT,KAAK,WACH,OAAO;EACT,SACE,OAAO;CACX;AACF"}

package/out/zero-types/src/schema.d.ts

@@ -24,7 +24,7 @@ export type TableSchema = {
 export type RelationshipsSchema = {
     readonly [name: string]: Relationship;
 };
-export type Cardinality = 'one' | 'many';
+type Cardinality = 'one' | 'many';
 type Connection = {
     readonly sourceField: readonly string[];
     readonly destField: readonly string[];

package/out/zero-types/src/schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../../zero-types/src/schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAC,WAAW,EAAC,MAAM,mBAAmB,CAAC;AAEnD;;;GAGG;AACH,MAAM,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;AAExD,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAC9C,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC;;;;;;;;;OASG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,UAAU,EAAE,GAAG,SAAS,CAAC;CACzD,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,YAAY,CAAC;CACvC,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG,KAAK,GAAG,MAAM,CAAC;AAEzC,KAAK,UAAU,GAAG;IAChB,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,YAAY,GACpB,SAAS,CAAC,UAAU,CAAC,GACrB,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;AAEtC,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,YAAY,IAAI,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,GAC1E,CAAC,GACD,CAAC,SAAS,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,GACnC,CAAC,GACD,CAAC,SAAS,SAAS,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,GAC5C,CAAC,GACD,KAAK,CAAC;AAEd;;;GAGG;AACH,MAAM,MAAM,MAAM,GAAG;IACnB,QAAQ,CAAC,MAAM,EAAE;QAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,GAAG,WAAW,CAAA;KAAC,CAAC;IACzD,QAAQ,CAAC,aAAa,EAAE;QAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,GAAG,mBAAmB,CAAA;KAAC,CAAC;IACxE;;;;;;OAMG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IACnD;;;;;;OAMG;IACH,QAAQ,CAAC,oBAAoB,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;CACrD,CAAC"}
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../../zero-types/src/schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAC,WAAW,EAAC,MAAM,mBAAmB,CAAC;AAEnD;;;GAGG;AACH,MAAM,MAAM,UAAU,GAAG,SAAS,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;AAExD,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAC9C,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC;;;;;;;;;OASG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,UAAU,EAAE,GAAG,SAAS,CAAC;CACzD,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,YAAY,CAAC;CACvC,CAAC;AAEF,KAAK,WAAW,GAAG,KAAK,GAAG,MAAM,CAAC;AAElC,KAAK,UAAU,GAAG;IAChB,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,YAAY,GACpB,SAAS,CAAC,UAAU,CAAC,GACrB,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;AAEtC,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,YAAY,IAAI,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,GAC1E,CAAC,GACD,CAAC,SAAS,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,GACnC,CAAC,GACD,CAAC,SAAS,SAAS,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,GAC5C,CAAC,GACD,KAAK,CAAC;AAEd;;;GAGG;AACH,MAAM,MAAM,MAAM,GAAG;IACnB,QAAQ,CAAC,MAAM,EAAE;QAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,GAAG,WAAW,CAAA;KAAC,CAAC;IACzD,QAAQ,CAAC,aAAa,EAAE;QAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,GAAG,mBAAmB,CAAA;KAAC,CAAC;IACxE;;;;;;OAMG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IACnD;;;;;;OAMG;IACH,QAAQ,CAAC,oBAAoB,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;CACrD,CAAC"}

package/out/zero-types/src/server-schema.d.ts

@@ -5,6 +5,24 @@ export type ServerColumnSchema = {
     type: string;
     isEnum: boolean;
     isArray: boolean;
+    /**
+     * The Postgres schema (namespace) that the column's underlying type lives in.
+     *
+     * For array columns this is the namespace of the *element* type, since that
+     * is the type name recorded in {@link ServerColumnSchema.type}.
+     *
+     * This is needed so that generated SQL can schema-qualify casts to
+     * user-defined types (enums, extension types, ...), including ones in
+     * `public` whose name matches a built-in type. Domains are reported as their
+     * base type, so for a domain column this is the namespace of the type that
+     * the domain wraps. (An array of a domain is not itself a domain, so its
+     * element type is the domain.) Built-in types in `pg_catalog` are left
+     * unqualified.
+     *
+     * Left `undefined` when the namespace is unknown (e.g. legacy callers that
+     * construct a `ServerColumnSchema` by hand).
+     */
+    typeSchema?: string | undefined;
 };
 export type ServerSchema = {
     [tableName: string]: ServerTableSchema;

package/out/zero-types/src/server-schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"server-schema.d.ts","sourceRoot":"","sources":["../../../../zero-types/src/server-schema.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,iBAAiB,GAAG;IAC9B,CAAC,UAAU,EAAE,MAAM,GAAG,kBAAkB,CAAC;CAC1C,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,OAAO,CAAC;IAChB,OAAO,EAAE,OAAO,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,CAAC,SAAS,EAAE,MAAM,GAAG,iBAAiB,CAAC;CACxC,CAAC"}
+{"version":3,"file":"server-schema.d.ts","sourceRoot":"","sources":["../../../../zero-types/src/server-schema.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,iBAAiB,GAAG;IAC9B,CAAC,UAAU,EAAE,MAAM,GAAG,kBAAkB,CAAC;CAC1C,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,OAAO,CAAC;IAChB,OAAO,EAAE,OAAO,CAAC;IACjB;;;;;;;;;;;;;;;;OAgBG;IACH,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,CAAC,SAAS,EAAE,MAAM,GAAG,iBAAiB,CAAC;CACxC,CAAC"}

package/out/zql/src/builder/builder.d.ts

@@ -1,8 +1,9 @@
 import type { LogContext } from '@rocicorp/logger';
 import type { JSONValue } from '../../../shared/src/json.ts';
-import type { AST, Condition, Disjunction, Ordering } from '../../../zero-protocol/src/ast.ts';
+import { type AggregateFunction, type AST, type CompoundKey, type Condition, type CorrelatedSubquery, type Disjunction } from '../../../zero-protocol/src/ast.ts';
 import type { Row } from '../../../zero-protocol/src/data.ts';
 import type { PrimaryKey } from '../../../zero-protocol/src/primary-key.ts';
+import type { SchemaValue } from '../../../zero-types/src/schema-value.ts';
 import { type FilterInput } from '../ivm/filter-operators.ts';
 import type { Input, InputBase, Storage } from '../ivm/operator.ts';
 import type { Source, SourceInput } from '../ivm/source.ts';
@@ -53,12 +54,50 @@ export interface BuilderDelegate {
      * does not.
      */
     readonly enablePlannerAwarePushdown?: boolean | undefined;
+    /**
+     * When true, an `aggregate` relationship is read from a synthetic,
+     * pre-computed aggregate source (see {@link aggregateTableName}) via a
+     * plain Join, instead of being computed by an {@link Aggregate} operator
+     * over the child rows.
+     *
+     * This is the *synced client* mode: the server computes the aggregate (the
+     * Aggregate operator consumes the child rows so they never sync) and streams
+     * only the per-parent result rows; the client reads them and never holds the
+     * children. Defaults to false (compute locally), which is correct for the
+     * server and for single-process client materialization.
+     */
+    readonly aggregatesFromSource?: boolean | undefined;
     /**
      * Called once for each source needed by the AST.
      * Might be called multiple times with same tableName. It is OK to return
      * same storage instance in that case.
      */
     getSource(tableName: string): Source | undefined;
+    /**
+     * Get-or-create the synthetic source for a *relationship* aggregate read in
+     * `aggregatesFromSource` mode. Unlike a top-level aggregate (whose shape is
+     * derivable from the table name), a relationship aggregate's source needs the
+     * correlation-key columns + types, which only the builder knows here — so it
+     * passes them in. Optional: only the synced client implements it; the server
+     * (compute mode) never takes the `aggregatesFromSource` path, and tests may
+     * instead provide the source directly via {@link getSource}.
+     */
+    getAggregateSource?(name: string, columns: Record<string, SchemaValue>, primaryKey: PrimaryKey, 
+    /**
+     * When present, the client may optimistically update this aggregate when a
+     * child row in `table` is locally mutated (only supplied for the invertible
+     * cases with a per-row-evaluable `where` — see the call site). Omitted ⇒
+     * server-authoritative only.
+     */
+    optimisticDelta?: AggregateOptimisticDelta): Source;
+    /**
+     * The names under which a synced aggregate row carries the key `columns` of
+     * `table`, in the same order. The server computes aggregates over the AST it
+     * was sent, which the client maps to server names, so the rows it streams
+     * key by server column names; the synthetic source has to match them. Only
+     * the synced client implements it; absent, the names are used unchanged.
+     */
+    aggregateKeyColumns?(table: string, columns: CompoundKey): CompoundKey;
     /**
      * Called once for each operator that requires storage. Should return a new
      * unique storage object for each call.
@@ -107,16 +146,92 @@ export interface BuilderDelegate {
  */
 export declare function buildPipeline(ast: AST, delegate: BuilderDelegate, queryID: string, costModel?: ConnectionCostModel, lc?: LogContext, planDebugger?: PlanDebugger): Input;
 export declare function bindStaticParameters(ast: AST, staticQueryParameters: StaticQueryParameters | undefined): AST;
+export declare function groupSubqueryConditions(condition: Disjunction): [subqueryConditions: Condition[], otherConditions: NoSubqueryCondition[]];
 /**
- * Checks if a condition tree contains any NOT EXISTS operations.
- * Recursively checks AND/OR branches but does not recurse into nested subqueries
- * (those are checked when buildPipelineInternal processes them).
+ * What the synced client needs to optimistically update a relationship
+ * aggregate when one of its child rows is mutated locally.
  */
-export declare function assertNoNotExists(condition: Condition): void;
-export declare function applyOr(input: FilterInput, condition: Disjunction, delegate: BuilderDelegate, name: string): FilterInput;
-export declare function groupSubqueryConditions(condition: Disjunction): [subqueryConditions: Condition[], otherConditions: NoSubqueryCondition[]];
-export declare function isNotAndDoesNotContainSubquery(condition: Condition): condition is NoSubqueryCondition;
-export declare function assertOrderingIncludesPK(ordering: Ordering, pk: PrimaryKey): void;
+export type AggregateOptimisticDelta = {
+    /** The child table whose mutations move the aggregate. */
+    readonly table: string;
+    /** The correlation columns of a child row, as the client names them. */
+    readonly childField: CompoundKey;
+    /**
+     * The same columns as the aggregate rows name them (see
+     * {@link BuilderDelegate.aggregateKeyColumns}), in the same order.
+     */
+    readonly keyField: CompoundKey;
+    readonly fn: AggregateFunction;
+    readonly field: string | undefined;
+    /** A JSON path into `field` (see `Aggregate.path`). */
+    readonly path?: readonly (string | number)[] | undefined;
+    /**
+     * The child `where` compiled to a per-row predicate, or `undefined` when the
+     * aggregate has no `where` (every child contributes).
+     */
+    readonly predicate: ((row: Row) => boolean) | undefined;
+    /**
+     * The aggregate rows are the groups of a grouped query (a `distinct()` or a
+     * `groupBy()`) rather than one per parent: keyed by `_0_key`, which a row's
+     * values of `childField` give, `null` included. A group is added with its
+     * first row and removed with its last (a sum/avg row carries its row count
+     * for that).
+     */
+    readonly grouped?: boolean | undefined;
+};
+/**
+ * Deterministic synthetic table name for an `aggregate` relationship. Must
+ * agree between the server (which produces the rows) and the synced client
+ * (which reads them). It folds in the `queryID` — the client query hash, which
+ * both sides share and which already distinguishes differently-filtered queries
+ * — and the relationship's alias path from the root, so two aggregates never
+ * collide, even ones with the same alias at different depths.
+ *
+ * @param parentName The pipeline name of the parent, which the builder forms
+ *        from the aliases of the relationships leading to it (`''` at the
+ *        root, `'.comments'` one level down). It is the same on both sides.
+ */
+export declare function aggregateTableName(queryID: string, sq: CorrelatedSubquery, parentName?: string): string;
+/**
+ * Deterministic synthetic table name for a *top-level* (ungrouped) aggregate
+ * query (e.g. `z.query.issue.count()`). There is no relationship alias, so the
+ * name is just the prefix + `queryID` (`aggregate:<queryID>`). Distinct from
+ * relationship-aggregate names (`aggregate:<queryID>:<alias>`), which always
+ * carry an alias segment — which is how the client tells the two apart by name.
+ */
+export declare function topLevelAggregateTableName(queryID: string): string;
+/**
+ * The synthetic table of a grouped query's rows (a `distinct()` or a
+ * `groupBy()`): `aggregate:<queryID>:` and a `#`, which an escaped
+ * relationship alias never contains, so it can't be a relationship
+ * aggregate's, and isn't a top-level aggregate's either, whose shape the
+ * client derives from the name.
+ */
+export declare function groupTableName(queryID: string): string;
+/**
+ * The input of a view of a grouped query: its rows reduced to the group
+ * columns, and for a `groupBy()` its value under the aggregate function's
+ * name, under the names the view shows a row's columns by, those of the
+ * pipeline's AST (see {@link GroupProjection}).
+ */
+export declare function groupViewInput(input: Input, ast: AST, delegate: BuilderDelegate): Input;
+/** True if `name` is a synthetic aggregate table (any kind). */
+export declare function isAggregateTableName(name: string): boolean;
+/**
+ * True if `name` is a *top-level* aggregate table (`aggregate:<queryID>`), as
+ * opposed to a relationship one (`aggregate:<queryID>:<alias>`). Top-level names
+ * have no further separator after the prefix. The client uses this to recognize
+ * a synthetic source it can provision from the name alone (fixed key + value
+ * shape), which relationship aggregates — needing the correlation key — cannot.
+ */
+export declare function isTopLevelAggregateTableName(name: string): boolean;
+/**
+ * True if the rows of the synthetic table `name` are keyed by `_0_key`
+ * alone: a top-level aggregate's ({@link topLevelAggregateTableName}) or a
+ * grouped query's ({@link groupTableName}). A relationship aggregate's rows
+ * are keyed by their correlation columns, whatever they are named.
+ */
+export declare function isKeyedAggregateTableName(name: string): boolean;
 export declare function conditionIncludesFlippedSubqueryAtAnyLevel(cond: Condition): boolean;
 export declare function partitionBranches(conditions: readonly Condition[], predicate: (c: Condition) => boolean): readonly [Condition[], Condition[]];
 //# sourceMappingURL=builder.d.ts.map

package/out/zql/src/builder/builder.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"builder.d.ts","sourceRoot":"","sources":["../../../../../zql/src/builder/builder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAC,UAAU,EAAC,MAAM,kBAAkB,CAAC;AAEjD,OAAO,KAAK,EAAC,SAAS,EAAC,MAAM,6BAA6B,CAAC;AAE3D,OAAO,KAAK,EACV,GAAG,EAGH,SAAS,EAIT,WAAW,EAEX,QAAQ,EAIT,MAAM,mCAAmC,CAAC;AAC3C,OAAO,KAAK,EAAC,GAAG,EAAC,MAAM,oCAAoC,CAAC;AAC5D,OAAO,KAAK,EAAC,UAAU,EAAC,MAAM,2CAA2C,CAAC;AAK1E,OAAO,EAEL,KAAK,WAAW,EACjB,MAAM,4BAA4B,CAAC;AAMpC,OAAO,KAAK,EAAC,KAAK,EAAE,SAAS,EAAE,OAAO,EAAC,MAAM,oBAAoB,CAAC;AAElE,OAAO,KAAK,EAAC,MAAM,EAAE,WAAW,EAAC,MAAM,kBAAkB,CAAC;AAK1D,OAAO,EAAY,KAAK,eAAe,EAAC,MAAM,+BAA+B,CAAC;AAC9E,OAAO,KAAK,EAAC,mBAAmB,EAAC,MAAM,kCAAkC,CAAC;AAC1E,OAAO,KAAK,EAAC,YAAY,EAAC,MAAM,6BAA6B,CAAC;AAG9D,OAAO,KAAK,EAAC,aAAa,EAAC,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAGL,KAAK,mBAAmB,EACzB,MAAM,aAAa,CAAC;AAErB,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACpC,cAAc,CAAC,EAAE,GAAG,GAAG,SAAS,CAAC;CAClC,CAAC;AAEF;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,kBAAkB,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAClD,KAAK,CAAC,EAAE,aAAa,GAAG,SAAS,CAAC;IAElC;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAE/C;;;;;;OAMG;IACH,QAAQ,CAAC,kCAAkC,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAElE;;;;;;;;;OASG;IACH,QAAQ,CAAC,0BAA0B,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAE1D;;;;OAIG;IACH,SAAS,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAEjD;;;OAGG;IACH,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAErC,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,GAAG,KAAK,CAAC;IAEjD,OAAO,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,GAAG,IAAI,CAAC;IAElD,mBAAmB,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC;IAEnE,mBAAmB,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,GAAG,KAAK,CAAC;IAEhE;;;OAGG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,eAAe,GAAG,SAAS,CAAC;IAEpD;;;;;OAKG;IACH,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,KAAK,GAAG,CAAC,GAAG,SAAS,CAAC;CAC1C;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,wBAAgB,aAAa,CAC3B,GAAG,EAAE,GAAG,EACR,QAAQ,EAAE,eAAe,EACzB,OAAO,EAAE,MAAM,EACf,SAAS,CAAC,EAAE,mBAAmB,EAC/B,EAAE,CAAC,EAAE,UAAU,EACf,YAAY,CAAC,EAAE,YAAY,GAC1B,KAAK,CA2CP;AAED,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,GAAG,EACR,qBAAqB,EAAE,qBAAqB,GAAG,SAAS,OAsDzD;AAyBD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,SAAS,GAAG,IAAI,CAsB5D;AAoYD,wBAAgB,OAAO,CACrB,KAAK,EAAE,WAAW,EAClB,SAAS,EAAE,WAAW,EACtB,QAAQ,EAAE,eAAe,EACzB,IAAI,EAAE,MAAM,GACX,WAAW,CAsCb;AAED,wBAAgB,uBAAuB,CAAC,SAAS,EAAE,WAAW,6EAa7D;AAED,wBAAgB,8BAA8B,CAC5C,SAAS,EAAE,SAAS,GACnB,SAAS,IAAI,mBAAmB,CAQlC;AA6HD,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,QAAQ,EAClB,EAAE,EAAE,UAAU,GACb,IAAI,CAgBN;AA8CD,wBAAgB,0CAA0C,CACxD,IAAI,EAAE,SAAS,GACd,OAAO,CAWT;AAED,wBAAgB,iBAAiB,CAC/B,UAAU,EAAE,SAAS,SAAS,EAAE,EAChC,SAAS,EAAE,CAAC,CAAC,EAAE,SAAS,KAAK,OAAO,uCAYrC"}
+{"version":3,"file":"builder.d.ts","sourceRoot":"","sources":["../../../../../zql/src/builder/builder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAC,UAAU,EAAC,MAAM,kBAAkB,CAAC;AAEjD,OAAO,KAAK,EAAC,SAAS,EAAC,MAAM,6BAA6B,CAAC;AAQ3D,OAAO,EAGL,KAAK,iBAAiB,EACtB,KAAK,GAAG,EACR,KAAK,WAAW,EAChB,KAAK,SAAS,EAEd,KAAK,kBAAkB,EAEvB,KAAK,WAAW,EAKjB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,KAAK,EAAC,GAAG,EAAC,MAAM,oCAAoC,CAAC;AAC5D,OAAO,KAAK,EAAC,UAAU,EAAC,MAAM,2CAA2C,CAAC;AAC1E,OAAO,KAAK,EAAC,WAAW,EAAC,MAAM,yCAAyC,CAAC;AAazE,OAAO,EAEL,KAAK,WAAW,EACjB,MAAM,4BAA4B,CAAC;AAapC,OAAO,KAAK,EAAC,KAAK,EAAE,SAAS,EAAE,OAAO,EAAC,MAAM,oBAAoB,CAAC;AAElE,OAAO,KAAK,EAAC,MAAM,EAAE,WAAW,EAAC,MAAM,kBAAkB,CAAC;AAK1D,OAAO,EAAY,KAAK,eAAe,EAAC,MAAM,+BAA+B,CAAC;AAC9E,OAAO,KAAK,EAAC,mBAAmB,EAAC,MAAM,kCAAkC,CAAC;AAC1E,OAAO,KAAK,EAAC,YAAY,EAAC,MAAM,6BAA6B,CAAC;AAG9D,OAAO,KAAK,EAAC,aAAa,EAAC,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAGL,KAAK,mBAAmB,EACzB,MAAM,aAAa,CAAC;AAErB,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACpC,cAAc,CAAC,EAAE,GAAG,GAAG,SAAS,CAAC;CAClC,CAAC;AAEF;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,kBAAkB,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAClD,KAAK,CAAC,EAAE,aAAa,GAAG,SAAS,CAAC;IAElC;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAE/C;;;;;;OAMG;IACH,QAAQ,CAAC,kCAAkC,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAElE;;;;;;;;;OASG;IACH,QAAQ,CAAC,0BAA0B,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAE1D;;;;;;;;;;;OAWG;IACH,QAAQ,CAAC,oBAAoB,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAEpD;;;;OAIG;IACH,SAAS,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAEjD;;;;;;;;OAQG;IACH,kBAAkB,CAAC,CACjB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,EACpC,UAAU,EAAE,UAAU;IACtB;;;;;OAKG;IACH,eAAe,CAAC,EAAE,wBAAwB,GACzC,MAAM,CAAC;IAEV;;;;;;OAMG;IACH,mBAAmB,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,GAAG,WAAW,CAAC;IAEvE;;;OAGG;IACH,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAErC,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,GAAG,KAAK,CAAC;IAEjD,OAAO,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,GAAG,IAAI,CAAC;IAElD,mBAAmB,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CAAC;IAEnE,mBAAmB,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,GAAG,KAAK,CAAC;IAEhE;;;OAGG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,eAAe,GAAG,SAAS,CAAC;IAEpD;;;;;OAKG;IACH,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,KAAK,GAAG,CAAC,GAAG,SAAS,CAAC;CAC1C;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,wBAAgB,aAAa,CAC3B,GAAG,EAAE,GAAG,EACR,QAAQ,EAAE,eAAe,EACzB,OAAO,EAAE,MAAM,EACf,SAAS,CAAC,EAAE,mBAAmB,EAC/B,EAAE,CAAC,EAAE,UAAU,EACf,YAAY,CAAC,EAAE,YAAY,GAC1B,KAAK,CA+DP;AAED,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,GAAG,EACR,qBAAqB,EAAE,qBAAqB,GAAG,SAAS,OA8DzD;AA+kBD,wBAAgB,uBAAuB,CAAC,SAAS,EAAE,WAAW,6EAa7D;AAsVD;;;GAGG;AACH,MAAM,MAAM,wBAAwB,GAAG;IACrC,0DAA0D;IAC1D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,wEAAwE;IACxE,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC;IACjC;;;OAGG;IACH,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC;IAC/B,QAAQ,CAAC,EAAE,EAAE,iBAAiB,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAC;IACnC,uDAAuD;IACvD,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,GAAG,SAAS,CAAC;IACzD;;;OAGG;IACH,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,KAAK,OAAO,CAAC,GAAG,SAAS,CAAC;IACxD;;;;;;OAMG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;CACxC,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,MAAM,EACf,EAAE,EAAE,kBAAkB,EACtB,UAAU,SAAK,GACd,MAAM,CAGR;AAgBD;;;;;;GAMG;AACH,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAElE;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAEtD;AA+HD;;;;;GAKG;AACH,wBAAgB,cAAc,CAC5B,KAAK,EAAE,KAAK,EACZ,GAAG,EAAE,GAAG,EACR,QAAQ,EAAE,eAAe,GACxB,KAAK,CAYP;AAED,gEAAgE;AAChE,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAE1D;AAED;;;;;;GAMG;AACH,wBAAgB,4BAA4B,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAOlE;AAED;;;;;GAKG;AACH,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAM/D;AA8CD,wBAAgB,0CAA0C,CACxD,IAAI,EAAE,SAAS,GACd,OAAO,CAWT;AAED,wBAAgB,iBAAiB,CAC/B,UAAU,EAAE,SAAS,SAAS,EAAE,EAChC,SAAS,EAAE,CAAC,CAAC,EAAE,SAAS,KAAK,OAAO,uCAYrC"}