@intentius/chant-lexicon-sql 0.124.14 → 0.124.16

package/dist/change-set.d.ts

@@ -0,0 +1,174 @@
+/**
+ * SQL plans as change-set parts (#3767, the document is #3181).
+ *
+ * The sql lexicon's declarative plans reach the change set through `chant
+ * lifecycle plan`. Two kinds of SQL plan do not, and this module is their
+ * adapter:
+ *
+ * - a versioned plan: the migrations a product (SQL Yodeler) would apply to
+ *   an environment, each a list of steps in the shape `diffStatements`
+ *   writes (`./core/statements.ts`). {@link sqlVersionedPlanPart}.
+ * - the plan step of the lexicon's own migration Ops, `ClickHouseRebuildOp`
+ *   and `PostgresMigrationOp`. {@link clickhouseRebuildPart} and
+ *   {@link postgresMigrationPart}.
+ *
+ * Each returns a part with planner `sql`, so it composes with every other
+ * member's in `composeChangeSet`, and a gate that binds the document gets its
+ * Cedar `context.plan` (#3182). A part written to a file as JSON reads back
+ * through core's `readChangeSetPart` with `planner: "sql"`.
+ *
+ * ## Entries
+ *
+ * One entry per object a plan touches, at the object's server name (`db.name`
+ * or `schema.name`), however many steps or migrations touch it. The action
+ * and disruption come from the change classes the steps carry, as the
+ * dialects' `CHANGE_CLASSES` and `PG_CHANGE_CLASSES` price them:
+ *
+ * - a `drop` class is a `delete` (`destroy`); a `create` class a `create`;
+ * - a `rebuild` or `expand` class, or a step a migration Op makes, is a
+ *   `replace` (`replace`): the object, or a column of it, is built again;
+ * - anything else is an `update`, its disruption the worst class's
+ *   (`metadata` in-place; `validate`, `concurrently` and `rewrite` rolling).
+ *   A step marked destructive (a column drop) makes it `destroy`. A class
+ *   neither dialect knows makes it `unknown`.
+ *
+ * A step may name its `action` itself, which wins over its classes.
+ *
+ * ## The import graph
+ *
+ * Like `@intentius/chant/change-set`, this module bundles small for a tool
+ * that runs it in CI with no TypeScript toolchain: it imports chant's plan
+ * hashing code and types only. `change-set.test.ts` holds that.
+ */
+import type { ChangeSetAction, ChangeSetDisruption, ChangeSetHole, ChangeSetPart } from "@intentius/chant/change-set";
+import type { MigrationStep, StatementChange } from "./core/statements.js";
+/** The lexicon a SQL part's member and entries name. */
+export declare const SQL_CHANGE_SET_LEXICON = "sql";
+/**
+ * What each change class costs, both dialects together. The same values as
+ * `CHANGE_CLASSES.disruption` (ClickHouse) and `PG_CHANGE_CLASSES.disruption`
+ * (Postgres), copied so the rule tables stay out of the bundle; the test
+ * holds the two together.
+ */
+export declare const SQL_CLASS_DISRUPTION: Readonly<Record<string, ChangeSetDisruption>>;
+/**
+ * One step of a versioned plan: a `MigrationStep` as `diffStatements` or
+ * `chant sql diff --statements --json` writes it, with what a product knows
+ * besides. Only `name` and `type` (from `StepObject`) and `kind` are needed.
+ */
+export type SqlPlanStep = MigrationStep & {
+    /** Already applied by an earlier, partial run: it proposes nothing. */
+    done?: boolean;
+    /** The action, when the product knows it better than the classes say. */
+    action?: ChangeSetAction;
+    /** A statement's classified changes, when the product has them; they become the entry's attributes. */
+    changes?: StatementChange[];
+};
+/** A migration of a versioned plan. A step may come wrapped as `{ step, done }`, as SQL Yodeler's plan view holds it. */
+export interface SqlPlanMigration {
+    id: string;
+    steps: ReadonlyArray<SqlPlanStep | {
+        step: SqlPlanStep;
+        done?: boolean;
+    }>;
+}
+/**
+ * A versioned plan, in the shape a product fills: the migrations it would
+ * apply to one environment, in order. SQL Yodeler's `VersionedPlan` (`yodel
+ * plan <env> --json`) is one as it stands: `pending` for `migrations`, its
+ * `refusal` and `digest`.
+ */
+export interface SqlVersionedPlan {
+    dialect: string;
+    /** The environment it plans into: the member's and every entry's `scope`. */
+    environment?: string;
+    /** The migrations to apply, in order. */
+    migrations?: ReadonlyArray<SqlPlanMigration>;
+    /** SQL Yodeler's name for `migrations`, read when `migrations` is absent. */
+    pending?: ReadonlyArray<SqlPlanMigration>;
+    /**
+     * The digest the product's own gate binds. When given, it is the member's
+     * `planDigest`, so a gate on the member alone and the product's approval
+     * bind one value. Absent, the adapter takes `computePlanDigest(
+     * "sql-versioned-plan", …)` over the dialect, environment and steps.
+     */
+    digest?: string;
+    /** Why the product would refuse to apply: the member is `failed`. */
+    refusal?: string | {
+        message: string;
+    };
+    /** What the product could not read; the plan says nothing about it. */
+    holes?: ChangeSetHole[];
+}
+export interface SqlVersionedPlanPartInput {
+    member: string;
+    plan: SqlVersionedPlan;
+    /** Default `"sql"`. */
+    lexicon?: string;
+}
+/** What the adapter gathers for one object across every step that touches it. */
+interface ObjectChanges {
+    address: string;
+    type: string;
+    classes: string[];
+    actions: ChangeSetAction[];
+    destructive: boolean;
+    /** A step a migration Op makes. */
+    ops: string[];
+    manual: string[];
+    sql: string[];
+    fields: Map<string, StatementChange>;
+}
+/** The action and disruption of one object's changes, as the module's header says. */
+export declare function sqlChangeAction(o: Pick<ObjectChanges, "classes" | "actions" | "destructive" | "ops">): {
+    action: ChangeSetAction;
+    disruption?: ChangeSetDisruption;
+};
+/**
+ * A versioned plan's part ({@link SqlVersionedPlan}): one entry per object
+ * its pending steps touch, `scope` the environment. A refusal makes the
+ * member `failed` with no plan digest; its entries stay, for a reader.
+ */
+export declare function sqlVersionedPlanPart(input: SqlVersionedPlanPartInput): ChangeSetPart;
+/**
+ * What a migration Op's plan step returns, as far as a part needs it:
+ * `clickhouseRebuildPlan`'s `RebuildPlanResult` and `postgresMigrationPlan`'s
+ * `MigrationPlanResult` (`./op/activities/`).
+ */
+export interface SqlOpPlan {
+    state: string;
+    /** ClickHouse: the table, `database.name`. */
+    table?: string;
+    /** Postgres: `schema.table.column`. */
+    migration?: string;
+    /** The plan's digest; present while there is something to do. */
+    planDigest?: string;
+    /** Each classified change, as `<rule> <field>: <before> -> <after>`. */
+    changes: string[];
+    /** The same changes, structured. Each becomes an attribute; without them, only the field is read from `changes`. */
+    classified?: StatementChange[];
+}
+export interface SqlOpPlanPartInput {
+    member: string;
+    plan: SqlOpPlan;
+    /** The environment the Op runs against: the member's and the entry's `scope`. */
+    environment?: string;
+    /** Default `"sql"`. */
+    lexicon?: string;
+}
+/**
+ * The part of a `ClickHouseRebuildOp`'s plan step: while the state is
+ * `rebuild`, one `replace` of the table, its plan digest the step's (the
+ * value before the verification, not the swap gate's). `swapped` and `done`
+ * propose nothing.
+ */
+export declare function clickhouseRebuildPart(input: SqlOpPlanPartInput): ChangeSetPart;
+/**
+ * The part of a `PostgresMigrationOp`'s plan step: while the state is
+ * `migrate`, one `replace` of the table (`schema.table`) whose column it
+ * expands and contracts, its plan digest the step's. `switched` and `done`
+ * propose nothing.
+ */
+export declare function postgresMigrationPart(input: SqlOpPlanPartInput): ChangeSetPart;
+export {};
+//# sourceMappingURL=change-set.d.ts.map

package/dist/change-set.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"change-set.d.ts","sourceRoot":"","sources":["../src/change-set.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AAGH,OAAO,KAAK,EACV,eAAe,EAEf,mBAAmB,EAEnB,aAAa,EACb,aAAa,EACd,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAExE,wDAAwD;AACxD,eAAO,MAAM,sBAAsB,QAAQ,CAAC;AAE5C;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAS9E,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,WAAW,GAAG,aAAa,GAAG;IACxC,uEAAuE;IACvE,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,yEAAyE;IACzE,MAAM,CAAC,EAAE,eAAe,CAAC;IACzB,uGAAuG;IACvG,OAAO,CAAC,EAAE,eAAe,EAAE,CAAC;CAC7B,CAAC;AAEF,yHAAyH;AACzH,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,aAAa,CAAC,WAAW,GAAG;QAAE,IAAI,EAAE,WAAW,CAAC;QAAC,IAAI,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;CAC3E;AAED;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,6EAA6E;IAC7E,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,yCAAyC;IACzC,UAAU,CAAC,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;IAC7C,6EAA6E;IAC7E,OAAO,CAAC,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAC;IAC1C;;;;;OAKG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,qEAAqE;IACrE,OAAO,CAAC,EAAE,MAAM,GAAG;QAAE,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IACvC,uEAAuE;IACvE,KAAK,CAAC,EAAE,aAAa,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,yBAAyB;IACxC,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,gBAAgB,CAAC;IACvB,uBAAuB;IACvB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAMD,iFAAiF;AACjF,UAAU,aAAa;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,OAAO,EAAE,eAAe,EAAE,CAAC;IAC3B,WAAW,EAAE,OAAO,CAAC;IACrB,mCAAmC;IACnC,GAAG,EAAE,MAAM,EAAE,CAAC;IACd,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,GAAG,EAAE,MAAM,EAAE,CAAC;IACd,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;CACtC;AAmDD,sFAAsF;AACtF,wBAAgB,eAAe,CAAC,CAAC,EAAE,IAAI,CAAC,aAAa,EAAE,SAAS,GAAG,SAAS,GAAG,aAAa,GAAG,KAAK,CAAC,GAAG;IAAE,MAAM,EAAE,eAAe,CAAC;IAAC,UAAU,CAAC,EAAE,mBAAmB,CAAA;CAAE,CAwBpK;AAeD;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,yBAAyB,GAAG,aAAa,CA4BpF;AAID;;;;GAIG;AACH,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,8CAA8C;IAC9C,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,uCAAuC;IACvC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iEAAiE;IACjE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,wEAAwE;IACxE,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,oHAAoH;IACpH,UAAU,CAAC,EAAE,eAAe,EAAE,CAAC;CAChC;AAED,MAAM,WAAW,kBAAkB;IACjC,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,SAAS,CAAC;IAChB,iFAAiF;IACjF,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,uBAAuB;IACvB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAgCD;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,kBAAkB,GAAG,aAAa,CAI9E;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,kBAAkB,GAAG,aAAa,CAK9E"}

package/dist/composites/audit-log-table.d.ts

@@ -11,6 +11,8 @@
  * question an audit log is asked most: what did this actor do, and when.
  */
 import { type PostgresIndex, type PostgresSchema, type PostgresTable } from "../postgres/entities.js";
+import type { PostgresMemberName } from "../core/typed.js";
+import type { Instance, TypedComposite } from "./typed.js";
 export interface AuditLogTableProps {
     /** The table's name, unqualified. The default partition is `<name>_default`. */
     name: string;
@@ -21,11 +23,17 @@ export interface AuditLogTableProps {
     /** The column naming who acted (default `actor`). */
     actor?: string;
 }
-export type AuditLogTableMembers = {
-    table: PostgresTable;
-    defaultPartition: PostgresTable;
+/** `Table` and `Default` are the table's and its default partition's qualified names, when the call's props give them (chant#3787). */
+export type AuditLogTableMembers<Table extends string = string, Default extends string = string> = {
+    table: PostgresTable<Table>;
+    defaultPartition: PostgresTable<Default>;
     actorIndex: PostgresIndex;
 };
+type AuditLogTableCall = <const N extends string, const S extends PostgresSchema | string = "public">(props: AuditLogTableProps & {
+    name: N;
+    schema?: S;
+}) => Instance<AuditLogTableMembers<PostgresMemberName<S, N>, PostgresMemberName<S, N, "_default">>>;
 /** An append-only audit log partitioned by month on its timestamp, with a default partition and an index by actor. */
-export declare const AuditLogTable: import("@intentius/chant").CompositeDefinition<AuditLogTableProps, AuditLogTableMembers>;
+export declare const AuditLogTable: TypedComposite<AuditLogTableProps, AuditLogTableMembers<string, string>, AuditLogTableCall>;
+export {};
 //# sourceMappingURL=audit-log-table.d.ts.map

package/dist/composites/audit-log-table.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"audit-log-table.d.ts","sourceRoot":"","sources":["../../src/composites/audit-log-table.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAGH,OAAO,EAAgB,KAAK,aAAa,EAAE,KAAK,cAAc,EAAE,KAAK,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAEjH,MAAM,WAAW,kBAAkB;IACjC,gFAAgF;IAChF,IAAI,EAAE,MAAM,CAAC;IACb,mGAAmG;IACnG,MAAM,CAAC,EAAE,cAAc,GAAG,MAAM,CAAC;IACjC,wEAAwE;IACxE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,qDAAqD;IACrD,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,MAAM,oBAAoB,GAAG;IACjC,KAAK,EAAE,aAAa,CAAC;IACrB,gBAAgB,EAAE,aAAa,CAAC;IAChC,UAAU,EAAE,aAAa,CAAC;CAC3B,CAAC;AAEF,sHAAsH;AACtH,eAAO,MAAM,aAAa,0FAmBP,CAAC"}
+{"version":3,"file":"audit-log-table.d.ts","sourceRoot":"","sources":["../../src/composites/audit-log-table.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAGH,OAAO,EAAgB,KAAK,aAAa,EAAE,KAAK,cAAc,EAAE,KAAK,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACjH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AAExD,MAAM,WAAW,kBAAkB;IACjC,gFAAgF;IAChF,IAAI,EAAE,MAAM,CAAC;IACb,mGAAmG;IACnG,MAAM,CAAC,EAAE,cAAc,GAAG,MAAM,CAAC;IACjC,wEAAwE;IACxE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,qDAAqD;IACrD,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,uIAAuI;AACvI,MAAM,MAAM,oBAAoB,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,EAAE,OAAO,SAAS,MAAM,GAAG,MAAM,IAAI;IACjG,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;IAC5B,gBAAgB,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IACzC,UAAU,EAAE,aAAa,CAAC;CAC3B,CAAC;AAEF,KAAK,iBAAiB,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,CAAC,CAAC,SAAS,cAAc,GAAG,MAAM,GAAG,QAAQ,EAClG,KAAK,EAAE,kBAAkB,GAAG;IAAE,IAAI,EAAE,CAAC,CAAC;IAAC,MAAM,CAAC,EAAE,CAAC,CAAA;CAAE,KAChD,QAAQ,CAAC,oBAAoB,CAAC,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;AAEpG,sHAAsH;AACtH,eAAO,MAAM,aAAa,6FAmBP,CAAC"}

package/dist/composites/cdc-mirror.d.ts

@@ -9,6 +9,8 @@
  * rows, which is what a query of the source table would have returned.
  */
 import { type ClickHouseTable, type ClickHouseView } from "../clickhouse/entities.js";
+import type { ClickHouseMemberName } from "../core/typed.js";
+import type { Instance, TypedComposite } from "./typed.js";
 export interface CdcMirrorProps {
     /** The mirror table's name. The view of live rows is `<name>_current`. */
     name: string;
@@ -23,10 +25,15 @@ export interface CdcMirrorProps {
     /** A `PARTITION BY` expression. Left out by default. */
     partitionBy?: string;
 }
-export type CdcMirrorMembers = {
-    table: ClickHouseTable;
-    current: ClickHouseView;
+/** `Table` and `Current` are the mirror's and its view's names, when the call's props give them (chant#3787). */
+export type CdcMirrorMembers<Table extends string = string, Current extends string = string> = {
+    table: ClickHouseTable<Table>;
+    current: ClickHouseView<Current>;
 };
+type CdcMirrorCall = <const N extends string>(props: CdcMirrorProps & {
+    name: N;
+}) => Instance<CdcMirrorMembers<ClickHouseMemberName<N>, ClickHouseMemberName<N, "_current">>>;
 /** A ReplacingMergeTree mirror of a CDC-fed source table, with a view of the rows not deleted. */
-export declare const CdcMirror: import("@intentius/chant").CompositeDefinition<CdcMirrorProps, CdcMirrorMembers>;
+export declare const CdcMirror: TypedComposite<CdcMirrorProps, CdcMirrorMembers<string, string>, CdcMirrorCall>;
+export {};
 //# sourceMappingURL=cdc-mirror.d.ts.map

package/dist/composites/cdc-mirror.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cdc-mirror.d.ts","sourceRoot":"","sources":["../../src/composites/cdc-mirror.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAe,KAAK,eAAe,EAAE,KAAK,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAEhG,MAAM,WAAW,cAAc;IAC7B,0EAA0E;IAC1E,IAAI,EAAE,MAAM,CAAC;IACb,mFAAmF;IACnF,OAAO,EAAE,MAAM,CAAC;IAChB,wFAAwF;IACxF,UAAU,EAAE,MAAM,CAAC;IACnB,2EAA2E;IAC3E,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,2FAA2F;IAC3F,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,wDAAwD;IACxD,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,MAAM,gBAAgB,GAAG;IAC7B,KAAK,EAAE,eAAe,CAAC;IACvB,OAAO,EAAE,cAAc,CAAC;CACzB,CAAC;AAEF,kGAAkG;AAClG,eAAO,MAAM,SAAS,kFAkBP,CAAC"}
+{"version":3,"file":"cdc-mirror.d.ts","sourceRoot":"","sources":["../../src/composites/cdc-mirror.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAe,KAAK,eAAe,EAAE,KAAK,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAChG,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAC1D,OAAO,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AAExD,MAAM,WAAW,cAAc;IAC7B,0EAA0E;IAC1E,IAAI,EAAE,MAAM,CAAC;IACb,mFAAmF;IACnF,OAAO,EAAE,MAAM,CAAC;IAChB,wFAAwF;IACxF,UAAU,EAAE,MAAM,CAAC;IACnB,2EAA2E;IAC3E,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,2FAA2F;IAC3F,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,wDAAwD;IACxD,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,iHAAiH;AACjH,MAAM,MAAM,gBAAgB,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,EAAE,OAAO,SAAS,MAAM,GAAG,MAAM,IAAI;IAC7F,KAAK,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC;IAC9B,OAAO,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;CAClC,CAAC;AAEF,KAAK,aAAa,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAC1C,KAAK,EAAE,cAAc,GAAG;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,KAChC,QAAQ,CAAC,gBAAgB,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,oBAAoB,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;AAE9F,kGAAkG;AAClG,eAAO,MAAM,SAAS,iFAkBP,CAAC"}

package/dist/composites/events-table.d.ts

@@ -8,6 +8,8 @@
  * when the partition and the TTL follow the same column.
  */
 import { type ClickHouseTable } from "../clickhouse/entities.js";
+import type { ClickHouseMemberName } from "../core/typed.js";
+import type { Instance, TypedComposite } from "./typed.js";
 export interface EventsTableProps {
     /** The table's name, `name` or `database.name`. */
     name: string;
@@ -24,9 +26,14 @@ export interface EventsTableProps {
     /** The partition key (default `toYYYYMM(<timestamp>)`). Keep it no finer than a day. */
     partitionBy?: string;
 }
-export type EventsTableMembers = {
-    table: ClickHouseTable;
+/** `Table` is the table's name, when the call's props give it (chant#3787). */
+export type EventsTableMembers<Table extends string = string> = {
+    table: ClickHouseTable<Table>;
 };
+type EventsTableCall = <const N extends string>(props: EventsTableProps & {
+    name: N;
+}) => Instance<EventsTableMembers<ClickHouseMemberName<N>>>;
 /** An append-only MergeTree events table, partitioned by its timestamp and expired by TTL. */
-export declare const EventsTable: import("@intentius/chant").CompositeDefinition<EventsTableProps, EventsTableMembers>;
+export declare const EventsTable: TypedComposite<EventsTableProps, EventsTableMembers<string>, EventsTableCall>;
+export {};
 //# sourceMappingURL=events-table.d.ts.map

package/dist/composites/events-table.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"events-table.d.ts","sourceRoot":"","sources":["../../src/composites/events-table.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EAAS,KAAK,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAErE,MAAM,WAAW,gBAAgB;IAC/B,mDAAmD;IACnD,IAAI,EAAE,MAAM,CAAC;IACb,8FAA8F;IAC9F,OAAO,EAAE,MAAM,CAAC;IAChB,oFAAoF;IACpF,OAAO,EAAE,MAAM,CAAC;IAChB,sFAAsF;IACtF,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iFAAiF;IACjF,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,uCAAuC;IACvC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,wFAAwF;IACxF,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC/B,KAAK,EAAE,eAAe,CAAC;CACxB,CAAC;AAEF,8FAA8F;AAC9F,eAAO,MAAM,WAAW,sFAaP,CAAC"}
+{"version":3,"file":"events-table.d.ts","sourceRoot":"","sources":["../../src/composites/events-table.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EAAS,KAAK,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACrE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAC1D,OAAO,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AAExD,MAAM,WAAW,gBAAgB;IAC/B,mDAAmD;IACnD,IAAI,EAAE,MAAM,CAAC;IACb,8FAA8F;IAC9F,OAAO,EAAE,MAAM,CAAC;IAChB,oFAAoF;IACpF,OAAO,EAAE,MAAM,CAAC;IAChB,sFAAsF;IACtF,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,iFAAiF;IACjF,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,uCAAuC;IACvC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,wFAAwF;IACxF,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,+EAA+E;AAC/E,MAAM,MAAM,kBAAkB,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI;IAC9D,KAAK,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC;CAC/B,CAAC;AAEF,KAAK,eAAe,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,gBAAgB,GAAG;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,KAAK,QAAQ,CAAC,kBAAkB,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEhJ,8FAA8F;AAC9F,eAAO,MAAM,WAAW,+EAaP,CAAC"}

package/dist/composites/join-table.d.ts

@@ -8,6 +8,8 @@
  * default, so deleting a row on either side removes its links.
  */
 import { type PostgresIndex, type PostgresSchema, type PostgresTable } from "../postgres/entities.js";
+import type { PostgresMemberName } from "../core/typed.js";
+import type { Instance, TypedComposite } from "./typed.js";
 export interface JoinTableProps {
     /** The table's name, unqualified. The reverse index is `<name>_reverse_idx`. */
     name: string;
@@ -32,10 +34,16 @@ export interface JoinTableProps {
     /** What happens to a link when the row it references is deleted (default `CASCADE`). */
     onDelete?: string;
 }
-export type JoinTableMembers = {
-    table: PostgresTable;
+/** `Table` is the join table's qualified name, when the call's props give it (chant#3787). */
+export type JoinTableMembers<Table extends string = string> = {
+    table: PostgresTable<Table>;
     reverseIndex: PostgresIndex;
 };
+type JoinTableCall = <const N extends string, const S extends PostgresSchema | string = "public">(props: JoinTableProps & {
+    name: N;
+    schema?: S;
+}) => Instance<JoinTableMembers<PostgresMemberName<S, N>>>;
 /** The table of a many-to-many relation: two foreign keys, a composite primary key and the reverse index. */
-export declare const JoinTable: import("@intentius/chant").CompositeDefinition<JoinTableProps, JoinTableMembers>;
+export declare const JoinTable: TypedComposite<JoinTableProps, JoinTableMembers<string>, JoinTableCall>;
+export {};
 //# sourceMappingURL=join-table.d.ts.map

package/dist/composites/join-table.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"join-table.d.ts","sourceRoot":"","sources":["../../src/composites/join-table.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EAAgB,KAAK,aAAa,EAAE,KAAK,cAAc,EAAE,KAAK,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAEjH,MAAM,WAAW,cAAc;IAC7B,gFAAgF;IAChF,IAAI,EAAE,MAAM,CAAC;IACb,iFAAiF;IACjF,MAAM,CAAC,EAAE,cAAc,GAAG,MAAM,CAAC;IACjC,4DAA4D;IAC5D,IAAI,EAAE,aAAa,CAAC;IACpB,sEAAsE;IACtE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,+DAA+D;IAC/D,UAAU,EAAE,MAAM,CAAC;IACnB,iDAAiD;IACjD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,6DAA6D;IAC7D,KAAK,EAAE,aAAa,CAAC;IACrB,uEAAuE;IACvE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,gEAAgE;IAChE,WAAW,EAAE,MAAM,CAAC;IACpB,kDAAkD;IAClD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,wFAAwF;IACxF,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,MAAM,gBAAgB,GAAG;IAC7B,KAAK,EAAE,aAAa,CAAC;IACrB,YAAY,EAAE,aAAa,CAAC;CAC7B,CAAC;AAEF,6GAA6G;AAC7G,eAAO,MAAM,SAAS,kFAYP,CAAC"}
+{"version":3,"file":"join-table.d.ts","sourceRoot":"","sources":["../../src/composites/join-table.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EAAgB,KAAK,aAAa,EAAE,KAAK,cAAc,EAAE,KAAK,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACjH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AAExD,MAAM,WAAW,cAAc;IAC7B,gFAAgF;IAChF,IAAI,EAAE,MAAM,CAAC;IACb,iFAAiF;IACjF,MAAM,CAAC,EAAE,cAAc,GAAG,MAAM,CAAC;IACjC,4DAA4D;IAC5D,IAAI,EAAE,aAAa,CAAC;IACpB,sEAAsE;IACtE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,+DAA+D;IAC/D,UAAU,EAAE,MAAM,CAAC;IACnB,iDAAiD;IACjD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,6DAA6D;IAC7D,KAAK,EAAE,aAAa,CAAC;IACrB,uEAAuE;IACvE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,gEAAgE;IAChE,WAAW,EAAE,MAAM,CAAC;IACpB,kDAAkD;IAClD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,wFAAwF;IACxF,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,8FAA8F;AAC9F,MAAM,MAAM,gBAAgB,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI;IAC5D,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;IAC5B,YAAY,EAAE,aAAa,CAAC;CAC7B,CAAC;AAEF,KAAK,aAAa,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,CAAC,CAAC,SAAS,cAAc,GAAG,MAAM,GAAG,QAAQ,EAC9F,KAAK,EAAE,cAAc,GAAG;IAAE,IAAI,EAAE,CAAC,CAAC;IAAC,MAAM,CAAC,EAAE,CAAC,CAAA;CAAE,KAC5C,QAAQ,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAE1D,6GAA6G;AAC7G,eAAO,MAAM,SAAS,yEAYP,CAAC"}

package/dist/composites/refreshed-view.d.ts

@@ -9,6 +9,8 @@
  * names the source's columns.
  */
 import { type PostgresIndex, type PostgresRelation, type PostgresSchema, type PostgresView } from "../postgres/entities.js";
+import type { PostgresMemberName } from "../core/typed.js";
+import type { Instance, TypedComposite } from "./typed.js";
 export interface RefreshedViewProps {
     /** The view's name, unqualified. The index is `<name>_key`. */
     name: string;
@@ -23,10 +25,16 @@ export interface RefreshedViewProps {
     /** The columns of the unique index, which must identify one row of the result (default `groupBy`). */
     uniqueOn?: string;
 }
-export type RefreshedViewMembers = {
-    view: PostgresView;
+/** `View` is the materialized view's qualified name, when the call's props give it (chant#3787). */
+export type RefreshedViewMembers<View extends string = string> = {
+    view: PostgresView<View>;
     uniqueIndex: PostgresIndex;
 };
+type RefreshedViewCall = <const N extends string, const S extends PostgresSchema | string = "public">(props: RefreshedViewProps & {
+    name: N;
+    schema?: S;
+}) => Instance<RefreshedViewMembers<PostgresMemberName<S, N>>>;
 /** A materialized view over a source, with the unique index that allows REFRESH ... CONCURRENTLY. */
-export declare const RefreshedView: import("@intentius/chant").CompositeDefinition<RefreshedViewProps, RefreshedViewMembers>;
+export declare const RefreshedView: TypedComposite<RefreshedViewProps, RefreshedViewMembers<string>, RefreshedViewCall>;
+export {};
 //# sourceMappingURL=refreshed-view.d.ts.map

package/dist/composites/refreshed-view.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"refreshed-view.d.ts","sourceRoot":"","sources":["../../src/composites/refreshed-view.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAe,KAAK,aAAa,EAAE,KAAK,gBAAgB,EAAE,KAAK,cAAc,EAAE,KAAK,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAEtI,MAAM,WAAW,kBAAkB;IACjC,+DAA+D;IAC/D,IAAI,EAAE,MAAM,CAAC;IACb,gFAAgF;IAChF,MAAM,CAAC,EAAE,cAAc,GAAG,MAAM,CAAC;IACjC,oEAAoE;IACpE,MAAM,EAAE,gBAAgB,CAAC;IACzB,wGAAwG;IACxG,MAAM,EAAE,MAAM,CAAC;IACf,kCAAkC;IAClC,OAAO,EAAE,MAAM,CAAC;IAChB,sGAAsG;IACtG,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,MAAM,oBAAoB,GAAG;IACjC,IAAI,EAAE,YAAY,CAAC;IACnB,WAAW,EAAE,aAAa,CAAC;CAC5B,CAAC;AAEF,qGAAqG;AACrG,eAAO,MAAM,aAAa,0FAUP,CAAC"}
+{"version":3,"file":"refreshed-view.d.ts","sourceRoot":"","sources":["../../src/composites/refreshed-view.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAe,KAAK,aAAa,EAAE,KAAK,gBAAgB,EAAE,KAAK,cAAc,EAAE,KAAK,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACtI,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AAExD,MAAM,WAAW,kBAAkB;IACjC,+DAA+D;IAC/D,IAAI,EAAE,MAAM,CAAC;IACb,gFAAgF;IAChF,MAAM,CAAC,EAAE,cAAc,GAAG,MAAM,CAAC;IACjC,oEAAoE;IACpE,MAAM,EAAE,gBAAgB,CAAC;IACzB,wGAAwG;IACxG,MAAM,EAAE,MAAM,CAAC;IACf,kCAAkC;IAClC,OAAO,EAAE,MAAM,CAAC;IAChB,sGAAsG;IACtG,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,oGAAoG;AACpG,MAAM,MAAM,oBAAoB,CAAC,IAAI,SAAS,MAAM,GAAG,MAAM,IAAI;IAC/D,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC;IACzB,WAAW,EAAE,aAAa,CAAC;CAC5B,CAAC;AAEF,KAAK,iBAAiB,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,CAAC,CAAC,SAAS,cAAc,GAAG,MAAM,GAAG,QAAQ,EAClG,KAAK,EAAE,kBAAkB,GAAG;IAAE,IAAI,EAAE,CAAC,CAAC;IAAC,MAAM,CAAC,EAAE,CAAC,CAAA;CAAE,KAChD,QAAQ,CAAC,oBAAoB,CAAC,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAE9D,qGAAqG;AACrG,eAAO,MAAM,aAAa,qFAUP,CAAC"}

package/dist/composites/replacing-table.d.ts

@@ -12,6 +12,8 @@
  * the parameter that produced the field when the composite is interpreted.
  */
 import { type ClickHouseTable } from "../clickhouse/entities.js";
+import type { ClickHouseMemberName } from "../core/typed.js";
+import type { Instance, TypedComposite } from "./typed.js";
 export interface ReplacingTableProps {
     /** The table's name, `name` or `database.name`. */
     name: string;
@@ -26,9 +28,14 @@ export interface ReplacingTableProps {
     /** A `PARTITION BY` expression. Left out by default: a deduplicating table is usually small enough not to need one. */
     partitionBy?: string;
 }
-export type ReplacingTableMembers = {
-    table: ClickHouseTable;
+/** `Table` is the table's name, when the call's props give it (chant#3787). */
+export type ReplacingTableMembers<Table extends string = string> = {
+    table: ClickHouseTable<Table>;
 };
+type ReplacingTableCall = <const N extends string>(props: ReplacingTableProps & {
+    name: N;
+}) => Instance<ReplacingTableMembers<ClickHouseMemberName<N>>>;
 /** A ReplacingMergeTree table that keeps the highest version of each row, with its version column. */
-export declare const ReplacingTable: import("@intentius/chant").CompositeDefinition<ReplacingTableProps, ReplacingTableMembers>;
+export declare const ReplacingTable: TypedComposite<ReplacingTableProps, ReplacingTableMembers<string>, ReplacingTableCall>;
+export {};
 //# sourceMappingURL=replacing-table.d.ts.map

package/dist/composites/replacing-table.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"replacing-table.d.ts","sourceRoot":"","sources":["../../src/composites/replacing-table.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAS,KAAK,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAErE,MAAM,WAAW,mBAAmB;IAClC,mDAAmD;IACnD,IAAI,EAAE,MAAM,CAAC;IACb,iFAAiF;IACjF,OAAO,EAAE,MAAM,CAAC;IAChB,+FAA+F;IAC/F,OAAO,EAAE,MAAM,CAAC;IAChB,iGAAiG;IACjG,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,0FAA0F;IAC1F,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,uHAAuH;IACvH,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,MAAM,qBAAqB,GAAG;IAClC,KAAK,EAAE,eAAe,CAAC;CACxB,CAAC;AAEF,sGAAsG;AACtG,eAAO,MAAM,cAAc,4FAWP,CAAC"}
+{"version":3,"file":"replacing-table.d.ts","sourceRoot":"","sources":["../../src/composites/replacing-table.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAS,KAAK,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACrE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAC1D,OAAO,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AAExD,MAAM,WAAW,mBAAmB;IAClC,mDAAmD;IACnD,IAAI,EAAE,MAAM,CAAC;IACb,iFAAiF;IACjF,OAAO,EAAE,MAAM,CAAC;IAChB,+FAA+F;IAC/F,OAAO,EAAE,MAAM,CAAC;IAChB,iGAAiG;IACjG,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,0FAA0F;IAC1F,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,uHAAuH;IACvH,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,+EAA+E;AAC/E,MAAM,MAAM,qBAAqB,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI;IACjE,KAAK,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC;CAC/B,CAAC;AAEF,KAAK,kBAAkB,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,mBAAmB,GAAG;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,KAAK,QAAQ,CAAC,qBAAqB,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEzJ,sGAAsG;AACtG,eAAO,MAAM,cAAc,wFAWP,CAAC"}

package/dist/composites/rollup-view.d.ts

@@ -12,6 +12,8 @@
  * its target, and the build orders all three.
  */
 import { type ClickHouseRelation, type ClickHouseTable, type ClickHouseView } from "../clickhouse/entities.js";
+import type { ClickHouseMemberName } from "../core/typed.js";
+import type { Instance, TypedComposite } from "./typed.js";
 export interface RollupViewProps {
     /** The target table's name. The view is `<name>_mv`. */
     name: string;
@@ -30,10 +32,15 @@ export interface RollupViewProps {
     /** The target's partition key. Left out by default. */
     partitionBy?: string;
 }
-export type RollupViewMembers = {
-    table: ClickHouseTable;
-    view: ClickHouseView;
+/** `Table` and `View` are the target table's and the view's names, when the call's props give them (chant#3787). */
+export type RollupViewMembers<Table extends string = string, View extends string = string> = {
+    table: ClickHouseTable<Table>;
+    view: ClickHouseView<View>;
 };
+type RollupViewCall = <const N extends string>(props: RollupViewProps & {
+    name: N;
+}) => Instance<RollupViewMembers<ClickHouseMemberName<N>, ClickHouseMemberName<N, "_mv">>>;
 /** A materialized view that rolls a source table up into a target table it declares beside it. */
-export declare const RollupView: import("@intentius/chant").CompositeDefinition<RollupViewProps, RollupViewMembers>;
+export declare const RollupView: TypedComposite<RollupViewProps, RollupViewMembers<string, string>, RollupViewCall>;
+export {};
 //# sourceMappingURL=rollup-view.d.ts.map

package/dist/composites/rollup-view.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"rollup-view.d.ts","sourceRoot":"","sources":["../../src/composites/rollup-view.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAe,KAAK,kBAAkB,EAAE,KAAK,eAAe,EAAE,KAAK,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAEzH,MAAM,WAAW,eAAe;IAC9B,wDAAwD;IACxD,IAAI,EAAE,MAAM,CAAC;IACb,mEAAmE;IACnE,MAAM,EAAE,kBAAkB,CAAC;IAC3B,uFAAuF;IACvF,OAAO,EAAE,MAAM,CAAC;IAChB,sGAAsG;IACtG,MAAM,EAAE,MAAM,CAAC;IACf,qCAAqC;IACrC,OAAO,EAAE,MAAM,CAAC;IAChB,sGAAsG;IACtG,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,yGAAyG;IACzG,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,uDAAuD;IACvD,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,MAAM,iBAAiB,GAAG;IAC9B,KAAK,EAAE,eAAe,CAAC;IACvB,IAAI,EAAE,cAAc,CAAC;CACtB,CAAC;AAEF,kGAAkG;AAClG,eAAO,MAAM,UAAU,oFAYP,CAAC"}
+{"version":3,"file":"rollup-view.d.ts","sourceRoot":"","sources":["../../src/composites/rollup-view.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAe,KAAK,kBAAkB,EAAE,KAAK,eAAe,EAAE,KAAK,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACzH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAC1D,OAAO,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AAExD,MAAM,WAAW,eAAe;IAC9B,wDAAwD;IACxD,IAAI,EAAE,MAAM,CAAC;IACb,mEAAmE;IACnE,MAAM,EAAE,kBAAkB,CAAC;IAC3B,uFAAuF;IACvF,OAAO,EAAE,MAAM,CAAC;IAChB,sGAAsG;IACtG,MAAM,EAAE,MAAM,CAAC;IACf,qCAAqC;IACrC,OAAO,EAAE,MAAM,CAAC;IAChB,sGAAsG;IACtG,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,yGAAyG;IACzG,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,uDAAuD;IACvD,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,oHAAoH;AACpH,MAAM,MAAM,iBAAiB,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,EAAE,IAAI,SAAS,MAAM,GAAG,MAAM,IAAI;IAC3F,KAAK,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC;IAC9B,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,CAAC;CAC5B,CAAC;AAEF,KAAK,cAAc,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAC3C,KAAK,EAAE,eAAe,GAAG;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,KACjC,QAAQ,CAAC,iBAAiB,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,oBAAoB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AAE1F,kGAAkG;AAClG,eAAO,MAAM,UAAU,oFAYP,CAAC"}

package/dist/composites/sharded-table.d.ts

@@ -12,6 +12,8 @@
  * engine names its table in the current database.
  */
 import { type ClickHouseTable } from "../clickhouse/entities.js";
+import type { ClickHouseMemberName } from "../core/typed.js";
+import type { Instance, TypedComposite } from "./typed.js";
 export interface ShardedTableProps {
     /** The Distributed table's name, unqualified. The local table is `<name>_local`. */
     name: string;
@@ -26,10 +28,15 @@ export interface ShardedTableProps {
     /** The local table's partition key. Left out by default. */
     partitionBy?: string;
 }
-export type ShardedTableMembers = {
-    local: ClickHouseTable;
-    distributed: ClickHouseTable;
+/** `Local` and `Distributed` are the two tables' names, when the call's props give them (chant#3787). */
+export type ShardedTableMembers<Local extends string = string, Distributed extends string = string> = {
+    local: ClickHouseTable<Local>;
+    distributed: ClickHouseTable<Distributed>;
 };
+type ShardedTableCall = <const N extends string>(props: ShardedTableProps & {
+    name: N;
+}) => Instance<ShardedTableMembers<ClickHouseMemberName<N, "_local">, ClickHouseMemberName<N>>>;
 /** A ReplicatedMergeTree table on every node of a cluster and the Distributed table over it. */
-export declare const ShardedTable: import("@intentius/chant").CompositeDefinition<ShardedTableProps, ShardedTableMembers>;
+export declare const ShardedTable: TypedComposite<ShardedTableProps, ShardedTableMembers<string, string>, ShardedTableCall>;
+export {};
 //# sourceMappingURL=sharded-table.d.ts.map

package/dist/composites/sharded-table.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sharded-table.d.ts","sourceRoot":"","sources":["../../src/composites/sharded-table.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAS,KAAK,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAErE,MAAM,WAAW,iBAAiB;IAChC,oFAAoF;IACpF,IAAI,EAAE,MAAM,CAAC;IACb,yFAAyF;IACzF,OAAO,EAAE,MAAM,CAAC;IAChB,8DAA8D;IAC9D,OAAO,EAAE,MAAM,CAAC;IAChB,kCAAkC;IAClC,OAAO,EAAE,MAAM,CAAC;IAChB,gFAAgF;IAChF,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,4DAA4D;IAC5D,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,MAAM,mBAAmB,GAAG;IAChC,KAAK,EAAE,eAAe,CAAC;IACvB,WAAW,EAAE,eAAe,CAAC;CAC9B,CAAC;AAEF,gGAAgG;AAChG,eAAO,MAAM,YAAY,wFAUP,CAAC"}
+{"version":3,"file":"sharded-table.d.ts","sourceRoot":"","sources":["../../src/composites/sharded-table.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAAS,KAAK,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACrE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAC1D,OAAO,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AAExD,MAAM,WAAW,iBAAiB;IAChC,oFAAoF;IACpF,IAAI,EAAE,MAAM,CAAC;IACb,yFAAyF;IACzF,OAAO,EAAE,MAAM,CAAC;IAChB,8DAA8D;IAC9D,OAAO,EAAE,MAAM,CAAC;IAChB,kCAAkC;IAClC,OAAO,EAAE,MAAM,CAAC;IAChB,gFAAgF;IAChF,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,4DAA4D;IAC5D,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,yGAAyG;AACzG,MAAM,MAAM,mBAAmB,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,EAAE,WAAW,SAAS,MAAM,GAAG,MAAM,IAAI;IACpG,KAAK,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC;IAC9B,WAAW,EAAE,eAAe,CAAC,WAAW,CAAC,CAAC;CAC3C,CAAC;AAEF,KAAK,gBAAgB,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,iBAAiB,GAAG;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,KAAK,QAAQ,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEtL,gGAAgG;AAChG,eAAO,MAAM,YAAY,0FAUP,CAAC"}

package/dist/composites/soft-delete-table.d.ts

@@ -12,6 +12,8 @@
  * trigger it owns, sets `updated_at`.
  */
 import { type PostgresIndex, type PostgresSchema, type PostgresTable, type PostgresView } from "../postgres/entities.js";
+import type { PostgresMemberName } from "../core/typed.js";
+import type { Instance, TypedComposite } from "./typed.js";
 export interface SoftDeleteTableProps {
     /** The table's name, unqualified. The view is `<name>_live`. */
     name: string;
@@ -30,11 +32,17 @@ export interface SoftDeleteTableProps {
     /** The deletion timestamp column (default `deleted_at`). Null means the row is live. */
     deletedAt?: string;
 }
-export type SoftDeleteTableMembers = {
-    table: PostgresTable;
-    live: PostgresView;
+/** `Table` and `Live` are the table's and the view's qualified names, when the call's props give them (chant#3787). */
+export type SoftDeleteTableMembers<Table extends string = string, Live extends string = string> = {
+    table: PostgresTable<Table>;
+    live: PostgresView<Live>;
     liveIndex: PostgresIndex;
 };
+type SoftDeleteTableCall = <const N extends string, const S extends PostgresSchema | string = "public">(props: SoftDeleteTableProps & {
+    name: N;
+    schema?: S;
+}) => Instance<SoftDeleteTableMembers<PostgresMemberName<S, N>, PostgresMemberName<S, N, "_live">>>;
 /** A table with created and updated timestamps and a soft-delete column, a view of its live rows and an index over them. */
-export declare const SoftDeleteTable: import("@intentius/chant").CompositeDefinition<SoftDeleteTableProps, SoftDeleteTableMembers>;
+export declare const SoftDeleteTable: TypedComposite<SoftDeleteTableProps, SoftDeleteTableMembers<string, string>, SoftDeleteTableCall>;
+export {};
 //# sourceMappingURL=soft-delete-table.d.ts.map

package/dist/composites/soft-delete-table.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"soft-delete-table.d.ts","sourceRoot":"","sources":["../../src/composites/soft-delete-table.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAA+B,KAAK,aAAa,EAAE,KAAK,cAAc,EAAE,KAAK,aAAa,EAAE,KAAK,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAEnJ,MAAM,WAAW,oBAAoB;IACnC,gEAAgE;IAChE,IAAI,EAAE,MAAM,CAAC;IACb,wGAAwG;IACxG,MAAM,CAAC,EAAE,cAAc,GAAG,MAAM,CAAC;IACjC,iKAAiK;IACjK,OAAO,EAAE,MAAM,CAAC;IAChB,sGAAsG;IACtG,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,6GAA6G;IAC7G,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,4DAA4D;IAC5D,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,0DAA0D;IAC1D,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,wFAAwF;IACxF,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,MAAM,sBAAsB,GAAG;IACnC,KAAK,EAAE,aAAa,CAAC;IACrB,IAAI,EAAE,YAAY,CAAC;IACnB,SAAS,EAAE,aAAa,CAAC;CAC1B,CAAC;AAEF,4HAA4H;AAC5H,eAAO,MAAM,eAAe,8FAiBP,CAAC"}
+{"version":3,"file":"soft-delete-table.d.ts","sourceRoot":"","sources":["../../src/composites/soft-delete-table.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,EAA+B,KAAK,aAAa,EAAE,KAAK,cAAc,EAAE,KAAK,aAAa,EAAE,KAAK,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACnJ,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AAExD,MAAM,WAAW,oBAAoB;IACnC,gEAAgE;IAChE,IAAI,EAAE,MAAM,CAAC;IACb,wGAAwG;IACxG,MAAM,CAAC,EAAE,cAAc,GAAG,MAAM,CAAC;IACjC,iKAAiK;IACjK,OAAO,EAAE,MAAM,CAAC;IAChB,sGAAsG;IACtG,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,6GAA6G;IAC7G,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,4DAA4D;IAC5D,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,0DAA0D;IAC1D,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,wFAAwF;IACxF,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,uHAAuH;AACvH,MAAM,MAAM,sBAAsB,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,EAAE,IAAI,SAAS,MAAM,GAAG,MAAM,IAAI;IAChG,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;IAC5B,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC;IACzB,SAAS,EAAE,aAAa,CAAC;CAC1B,CAAC;AAEF,KAAK,mBAAmB,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,CAAC,CAAC,SAAS,cAAc,GAAG,MAAM,GAAG,QAAQ,EACpG,KAAK,EAAE,oBAAoB,GAAG;IAAE,IAAI,EAAE,CAAC,CAAC;IAAC,MAAM,CAAC,EAAE,CAAC,CAAA;CAAE,KAClD,QAAQ,CAAC,sBAAsB,CAAC,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;AAEnG,4HAA4H;AAC5H,eAAO,MAAM,eAAe,mGAiBP,CAAC"}

package/dist/composites/tenant-table.d.ts

@@ -9,6 +9,8 @@
  * policy on the table is what keeps one tenant's role out of another's rows.
  */
 import { type PostgresIndex, type PostgresSchema, type PostgresTable } from "../postgres/entities.js";
+import type { PostgresMemberName } from "../core/typed.js";
+import type { Instance, TypedComposite } from "./typed.js";
 export interface TenantTableProps {
     /** The table's name, unqualified. The index is `<name>_tenant_idx`. */
     name: string;
@@ -25,10 +27,16 @@ export interface TenantTableProps {
     /** The tenant column's type (default `uuid`). */
     tenantType?: string;
 }
-export type TenantTableMembers = {
-    table: PostgresTable;
+/** `Table` is the table's qualified name, when the call's props give it (chant#3787). */
+export type TenantTableMembers<Table extends string = string> = {
+    table: PostgresTable<Table>;
     index: PostgresIndex;
 };
+type TenantTableCall = <const N extends string, const S extends PostgresSchema | string = "public">(props: TenantTableProps & {
+    name: N;
+    schema?: S;
+}) => Instance<TenantTableMembers<PostgresMemberName<S, N>>>;
 /** A multi-tenant table with the tenant key first in its primary key and its index. */
-export declare const TenantTable: import("@intentius/chant").CompositeDefinition<TenantTableProps, TenantTableMembers>;
+export declare const TenantTable: TypedComposite<TenantTableProps, TenantTableMembers<string>, TenantTableCall>;
+export {};
 //# sourceMappingURL=tenant-table.d.ts.map

package/dist/composites/tenant-table.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tenant-table.d.ts","sourceRoot":"","sources":["../../src/composites/tenant-table.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAgB,KAAK,aAAa,EAAE,KAAK,cAAc,EAAE,KAAK,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAEjH,MAAM,WAAW,gBAAgB;IAC/B,uEAAuE;IACvE,IAAI,EAAE,MAAM,CAAC;IACb,iFAAiF;IACjF,MAAM,CAAC,EAAE,cAAc,GAAG,MAAM,CAAC;IACjC,+GAA+G;IAC/G,OAAO,EAAE,MAAM,CAAC;IAChB,mEAAmE;IACnE,UAAU,EAAE,MAAM,CAAC;IACnB,kFAAkF;IAClF,OAAO,EAAE,MAAM,CAAC;IAChB,+CAA+C;IAC/C,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,iDAAiD;IACjD,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC/B,KAAK,EAAE,aAAa,CAAC;IACrB,KAAK,EAAE,aAAa,CAAC;CACtB,CAAC;AAEF,uFAAuF;AACvF,eAAO,MAAM,WAAW,sFAYP,CAAC"}
+{"version":3,"file":"tenant-table.d.ts","sourceRoot":"","sources":["../../src/composites/tenant-table.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAgB,KAAK,aAAa,EAAE,KAAK,cAAc,EAAE,KAAK,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACjH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AAExD,MAAM,WAAW,gBAAgB;IAC/B,uEAAuE;IACvE,IAAI,EAAE,MAAM,CAAC;IACb,iFAAiF;IACjF,MAAM,CAAC,EAAE,cAAc,GAAG,MAAM,CAAC;IACjC,+GAA+G;IAC/G,OAAO,EAAE,MAAM,CAAC;IAChB,mEAAmE;IACnE,UAAU,EAAE,MAAM,CAAC;IACnB,kFAAkF;IAClF,OAAO,EAAE,MAAM,CAAC;IAChB,+CAA+C;IAC/C,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,iDAAiD;IACjD,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,yFAAyF;AACzF,MAAM,MAAM,kBAAkB,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI;IAC9D,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;IAC5B,KAAK,EAAE,aAAa,CAAC;CACtB,CAAC;AAEF,KAAK,eAAe,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,CAAC,CAAC,SAAS,cAAc,GAAG,MAAM,GAAG,QAAQ,EAChG,KAAK,EAAE,gBAAgB,GAAG;IAAE,IAAI,EAAE,CAAC,CAAC;IAAC,MAAM,CAAC,EAAE,CAAC,CAAA;CAAE,KAC9C,QAAQ,CAAC,kBAAkB,CAAC,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAE5D,uFAAuF;AACvF,eAAO,MAAM,WAAW,+EAYP,CAAC"}

package/dist/composites/typed.d.ts

@@ -0,0 +1,13 @@
+/**
+ * chant#3787 — the call signature a composite is typed with, so a member's
+ * `.columns` are the generated `SqlSchema` entry for the name its props give
+ * it. `users.table.columns.emial` then fails tsc as `table<"app.users">`'s
+ * would. The definition is unchanged at run time: `Composite`'s third type
+ * argument carries this signature in front of the plain one.
+ */
+import type { CompositeDefinition, CompositeFactoryMembers, CompositeInstance } from "@intentius/chant/composite";
+/** What a typed composite call returns: the instance, with its members' types. */
+export type Instance<M extends CompositeFactoryMembers> = CompositeInstance<M> & M;
+/** A composite definition whose precise, generic `Call` signature is tried before the plain `(props: P) => M`. */
+export type TypedComposite<P, M extends CompositeFactoryMembers, Call> = Call & CompositeDefinition<P, M>;
+//# sourceMappingURL=typed.d.ts.map

package/dist/composites/typed.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"typed.d.ts","sourceRoot":"","sources":["../../src/composites/typed.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,mBAAmB,EAAE,uBAAuB,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAElH,kFAAkF;AAClF,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,uBAAuB,IAAI,iBAAiB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AAEnF,kHAAkH;AAClH,MAAM,MAAM,cAAc,CAAC,CAAC,EAAE,CAAC,SAAS,uBAAuB,EAAE,IAAI,IAAI,IAAI,GAAG,mBAAmB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC"}

package/dist/core/typed.d.ts

@@ -100,6 +100,28 @@ type RowFromColumns<C> = {
 };
 /** A relation's row: `T` is its name or a relation's type carrying one. */
 export type RowIn<Registry, T> = T extends string ? RowFromColumns<ColumnsIn<Registry, T>> : T extends Named<infer N> ? RowFromColumns<ColumnsIn<Registry, N>> : never;
+/** Whether `S` is a name the type system knows: a literal, not `string` and not {@link Unnamed}. */
+type Known<S> = [S] extends [Unnamed] ? false : string extends S ? false : true;
+/** A piece of a name a composite's props give: the literal, the name a {@link Named} entity carries, or {@link Unnamed}. */
+type NamePiece<V> = [V] extends [string] ? Known<V> extends true ? V : Unnamed : [V] extends [Named<infer N>] ? (Known<N> extends true ? N : Unnamed) : Unnamed;
+/**
+ * chant#3787 — the qualified name of a relation a Postgres composite declares
+ * as `${schema}.${name}${suffix}`: `schema` is the composite's `schema` prop (a
+ * string, or a schema whose tag was given its name, `schema<"app">`), `name`
+ * its `name` prop. Postgres folds both, as the build does. {@link Unnamed},
+ * so the columns stay unchecked, when either piece is not a known literal.
+ */
+export type PostgresMemberName<Schema, Name, Suffix extends string = ""> = [NamePiece<Schema>, NamePiece<Name>] extends [
+    infer S extends string,
+    infer N extends string
+] ? Known<S> extends true ? Known<N> extends true ? `${Lowercase<S>}.${Lowercase<N>}${Suffix}` : Unnamed : Unnamed : Unnamed;
+/**
+ * chant#3787 — the name of a relation a ClickHouse composite declares,
+ * `${name}${suffix}`, where `name` is its `name` prop as written (`events` or
+ * `analytics.events`). ClickHouse does not fold names. {@link Unnamed} when
+ * the name is not a known literal.
+ */
+export type ClickHouseMemberName<Name, Suffix extends string = ""> = NamePiece<Name> extends infer N extends string ? Known<N> extends true ? `${N}${Suffix}` : Unnamed : Unnamed;
 /**
  * One `${}` the generator types. `references`: a column in a foreign key's
  * referenced column list, paired with `column`, the referencing table's own