@intentius/chant-lexicon-sql 0.112.1 → 0.114.0

package/dist/core/statements.d.ts

@@ -0,0 +1,106 @@
+/**
+ * The statements a schema change takes, rendered offline (#3644), the same
+ * shape in every dialect: what `diffStatements`
+ * (`../migration-statements.ts`) returns and `chant sql diff --statements
+ * --json` prints, for a migration file to hold.
+ *
+ * Every value is plain JSON: strings, booleans, arrays and objects, no
+ * `undefined` left in, so the document reads back as it was written. Steps
+ * are in the order they run.
+ */
+/** A classified change, as a step names the changes it makes. */
+export interface StatementChange {
+    /** The classifier rule, e.g. `SQLCH201`, `SQLPG240`. */
+    rule: string;
+    /** That rule's class, e.g. `metadata`, `rewrite`, `concurrently`. */
+    class: string;
+    /** What changed, e.g. `columns.region`, `orderBy`. */
+    field: string;
+    before?: string;
+    after?: string;
+    /** Data is removed and not recoverable. */
+    destructive?: boolean;
+    note?: string;
+}
+/** What every step says about the object it is for. */
+export interface StepObject {
+    /** The object's export name: in the newer build, or the older one for an object it drops. */
+    object: string;
+    /** Its entity type, e.g. `ClickHouse::Table`, `Postgres::Index`. */
+    type: string;
+    /** Its name on the server: `database.name` or `schema.name`, or a database's, schema's or extension's own name. */
+    name: string;
+}
+/** One statement, as the applier would send it. */
+export interface StatementStep extends StepObject {
+    kind: "statement";
+    sql: string;
+    /** The rule of the change it makes. */
+    rule: string;
+    /** That rule's class. */
+    class: string;
+    /** False for a statement that may not run inside a transaction block (Postgres `CONCURRENTLY`, `ALTER TYPE ... ADD VALUE`). Always false for ClickHouse, which has none. */
+    transactional: boolean;
+    /** ClickHouse: the statement starts a mutation; wait for it in `system.mutations` before the next one. */
+    waitsForMutation?: boolean;
+    /** The statement removes data that is not recoverable (a column or table drop). */
+    destructive?: boolean;
+}
+/** A change no statement makes in place, made by a migration Op. */
+export interface OpStep extends StepObject {
+    kind: "op";
+    /** The Op's export name. */
+    op: "ClickHouseRebuildOp" | "PostgresMigrationOp";
+    /** The module the Op is imported from. */
+    importPath: string;
+    /** The Op's options as the hand-off suggests them: `name`, `env`, `table`, and `dualWrite` (ClickHouse) or `column` (Postgres). */
+    options: Record<string, unknown>;
+    /** The Op's declaration, ready for an `*.op.ts` file. */
+    declaration: string;
+    /** The changes the Op makes. */
+    changes: StatementChange[];
+    /** The refusal as the applier reports it: each rule, its restriction, and the Op. */
+    detail: string;
+}
+/**
+ * A change neither a statement nor an Op makes: a rebuild of a view or a
+ * database, an expand-and-contract change no Op covers, a change with no
+ * in-place statement, or the object's other changes that the applier holds
+ * back while one of its changes is refused.
+ */
+export interface ManualStep extends StepObject {
+    kind: "manual";
+    changes: StatementChange[];
+    detail: string;
+}
+export type MigrationStep = StatementStep | OpStep | ManualStep;
+export interface SchemaStatements {
+    dialect: "clickhouse" | "postgres";
+    /** ClickHouse: the database a bare name means. */
+    defaultDatabase?: string;
+    /** ClickHouse: the topology the statements are rendered for, in its string form (`single`, `cluster:<name>`, `replicated`, `cloud`). */
+    topology?: string;
+    /** Postgres: the schema a bare name means; the applier sets `search_path` to it. */
+    defaultSchema?: string;
+    /** Postgres: the major the changes were classified for. */
+    major?: number;
+    /** In the order they run: each object's in the newer build's creation order, then the drops. */
+    steps: MigrationStep[];
+    /** True when a step is an Op or manual: the schema change is more than statements. */
+    refused: boolean;
+    /** What the diff points out besides the changes (a likely rename written as a drop and an add). */
+    hints: string[];
+}
+/** A classified change as a step names it, with no `undefined` fields. */
+export declare function statementChange(c: {
+    rule: string;
+    class: string;
+    field: string;
+    before?: string;
+    after?: string;
+    destructive?: boolean;
+    note?: string;
+}): StatementChange;
+/** The steps as a migration file's SQL: each statement after a comment naming its object, rule and class; an Op or manual step as a comment. */
+export declare function renderStatements(doc: SchemaStatements): string;
+//# sourceMappingURL=statements.d.ts.map

package/dist/core/statements.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"statements.d.ts","sourceRoot":"","sources":["../../src/core/statements.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,iEAAiE;AACjE,MAAM,WAAW,eAAe;IAC9B,wDAAwD;IACxD,IAAI,EAAE,MAAM,CAAC;IACb,qEAAqE;IACrE,KAAK,EAAE,MAAM,CAAC;IACd,sDAAsD;IACtD,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,2CAA2C;IAC3C,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,uDAAuD;AACvD,MAAM,WAAW,UAAU;IACzB,6FAA6F;IAC7F,MAAM,EAAE,MAAM,CAAC;IACf,oEAAoE;IACpE,IAAI,EAAE,MAAM,CAAC;IACb,mHAAmH;IACnH,IAAI,EAAE,MAAM,CAAC;CACd;AAED,mDAAmD;AACnD,MAAM,WAAW,aAAc,SAAQ,UAAU;IAC/C,IAAI,EAAE,WAAW,CAAC;IAClB,GAAG,EAAE,MAAM,CAAC;IACZ,uCAAuC;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,yBAAyB;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,4KAA4K;IAC5K,aAAa,EAAE,OAAO,CAAC;IACvB,0GAA0G;IAC1G,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,mFAAmF;IACnF,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB;AAED,oEAAoE;AACpE,MAAM,WAAW,MAAO,SAAQ,UAAU;IACxC,IAAI,EAAE,IAAI,CAAC;IACX,4BAA4B;IAC5B,EAAE,EAAE,qBAAqB,GAAG,qBAAqB,CAAC;IAClD,0CAA0C;IAC1C,UAAU,EAAE,MAAM,CAAC;IACnB,mIAAmI;IACnI,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC,yDAAyD;IACzD,WAAW,EAAE,MAAM,CAAC;IACpB,gCAAgC;IAChC,OAAO,EAAE,eAAe,EAAE,CAAC;IAC3B,qFAAqF;IACrF,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;;GAKG;AACH,MAAM,WAAW,UAAW,SAAQ,UAAU;IAC5C,IAAI,EAAE,QAAQ,CAAC;IACf,OAAO,EAAE,eAAe,EAAE,CAAC;IAC3B,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,MAAM,aAAa,GAAG,aAAa,GAAG,MAAM,GAAG,UAAU,CAAC;AAEhE,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,YAAY,GAAG,UAAU,CAAC;IACnC,kDAAkD;IAClD,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,wIAAwI;IACxI,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,oFAAoF;IACpF,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,2DAA2D;IAC3D,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,gGAAgG;IAChG,KAAK,EAAE,aAAa,EAAE,CAAC;IACvB,sFAAsF;IACtF,OAAO,EAAE,OAAO,CAAC;IACjB,mGAAmG;IACnG,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,0EAA0E;AAC1E,wBAAgB,eAAe,CAAC,CAAC,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,WAAW,CAAC,EAAE,OAAO,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,eAAe,CAUzK;AAED,gJAAgJ;AAChJ,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,gBAAgB,GAAG,MAAM,CAa9D"}

package/dist/index.d.ts

@@ -4,4 +4,5 @@ export { SQL_DIALECTS, type SqlDialect } from "./dialects.js";
 export { sqlConfigSchema, type SqlConfig } from "./config.js";
 export { database, table, view, literal } from "./clickhouse/entities.js";
 export { schema, index, sequence, type, domain, extension } from "./postgres/entities.js";
+export { diffStatements, renderStatements, type DiffStatementsOptions, type ManualStep, type MigrationStep, type OpStep, type SchemaStatements, type StatementChange, type StatementStep, type StepObject, } from "./migration-statements.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AACrC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AAC3D,OAAO,EAAE,eAAe,EAAE,KAAK,SAAS,EAAE,MAAM,UAAU,CAAC;AAM3D,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAMvE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AACrC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AAC3D,OAAO,EAAE,eAAe,EAAE,KAAK,SAAS,EAAE,MAAM,UAAU,CAAC;AAM3D,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAMvE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAIvF,OAAO,EACL,cAAc,EACd,gBAAgB,EAChB,KAAK,qBAAqB,EAC1B,KAAK,UAAU,EACf,KAAK,aAAa,EAClB,KAAK,MAAM,EACX,KAAK,gBAAgB,EACrB,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,KAAK,UAAU,GAChB,MAAM,wBAAwB,CAAC"}

package/dist/integrity.json

@@ -1,7 +1,7 @@
 {
   "algorithm": "sha256",
   "artifacts": {
-    "manifest.json": "16722d47be7b9a90df83bed7bd0ff0af259d44576891591ecac46a8fe585fd51",
+    "manifest.json": "4d4b3853d5595af4a169a82b6c45f87a103adace1fdff4e61181bcf34aa0a0e2",
     "meta.json": "5b7a5d171aa8bd21c0d55cfbe421143d67da02b7ef924a9b66166790c3fc7b22",
     "types/index.d.ts": "0286ebb367773e84c76818b0f69cb14cff8328fd2f8c65ed87563c8d5815458c",
     "rules/postgres-templates.ts": "f7244417426c441180ccb5c52da32cd812960d6d4eaba1fbdb17f47fcae707b2",
@@ -57,5 +57,5 @@
     "rules/sqlpg117.ts": "3d5c2d57ccdee3cf91c3ba3cb6363750787a850df8ebd75e9cc3f33113303827",
     "rules/sqlpg118.ts": "e2a40a88a9374c4d99d02118ca4c60877ba0c6eb1ce603a93b24f5fd23d81dde"
   },
-  "composite": "3ab7e8d567aa9dc0cc104e5cbdf97ef4dd79a2a19c03e07f0f9b5b30d62f1e58"
+  "composite": "8d565dbc9a455095b5d5e81aac886a7af1b2cb1f3a6e21d0a4ed513b08e1b52a"
 }

package/dist/manifest.json

@@ -1,6 +1,6 @@
 {
   "name": "sql",
-  "version": "0.112.1",
+  "version": "0.114.0",
   "chantVersion": ">=0.1.0",
   "namespace": "SQL",
   "intrinsics": [],

package/dist/migration-statements.d.ts

@@ -0,0 +1,63 @@
+/**
+ * A schema change's statements, rendered offline (#3644): for two `chant
+ * build` outputs, the ordered statements that take the first to the second,
+ * each with its change's class and rule, for a migration file. No server is
+ * read.
+ *
+ * The statements are the applier's: each dialect's `planStatements` /
+ * `planPgStatements` (`./clickhouse/apply/statements.ts`,
+ * `./postgres/apply/statements.ts`) turns classified changes into steps, and
+ * both the applier and this renderer call it. What differs is only where the
+ * current schema comes from: here the older build, keyed by export name as
+ * `chant sql diff` keys it; in the applier the server's catalog.
+ *
+ * A change the applier refuses in place is a step naming the Op that makes
+ * it, never DDL: a ClickHouse rebuild is `ClickHouseRebuildOp`, a Postgres
+ * column rename or type change across kinds is `PostgresMigrationOp`. One no
+ * Op makes is a manual step. Column and object drops are statements, marked
+ * destructive.
+ *
+ * Where the applier asks the server something, the renderer cannot:
+ *
+ * - ClickHouse: the applier also asks the server's formatter whether a
+ *   difference the rules leave is only formatting; the offline diff is the
+ *   rules' alone, as `chant sql diff` is. Before dropping a database it
+ *   checks the database is empty.
+ * - Postgres: the applier asks the server to normalize expressions the rules
+ *   leave different, and keeps an extension's own comment (from its control
+ *   file) under the trailer when the declaration sets none.
+ * - Both: the applier restamps an object whose comment lost chant's marker;
+ *   offline, the older build's objects carry it.
+ */
+import type { OwnershipMarker } from "@intentius/chant/ownership";
+import { type SchemaStatements } from "./core/statements.js";
+import { type Topology } from "./clickhouse/topology.js";
+export type { ManualStep, MigrationStep, OpStep, SchemaStatements, StatementChange, StatementStep, StepObject } from "./core/statements.js";
+export { renderStatements } from "./core/statements.js";
+export interface DiffStatementsOptions {
+    /** The ownership marker every `CREATE` and restamped comment carries, as the applier stamps it. Default: `managed-by=chant` alone. */
+    marker?: OwnershipMarker;
+    /** The environment an Op step's suggested declaration names. Default: `<env>`. */
+    env?: string;
+    /** ClickHouse: the database a bare name means. Default: `default`. */
+    defaultDatabase?: string;
+    /**
+     * ClickHouse: the topology to render the statements for
+     * (`./clickhouse/topology.ts`): `ON CLUSTER` and the engine, on both
+     * builds' declarations before they are compared, so the steps are the ones
+     * the applier sends to an environment with that topology. Default: `single`.
+     */
+    topology?: Topology;
+    /** Postgres: the schema a bare name means. Default: `public`. */
+    defaultSchema?: string;
+    /** Postgres: the major to classify for. Default: the newer build's `postgresMajor`, else the older's, else the newest pinned. */
+    major?: number;
+}
+type BuildInput = string | object;
+/**
+ * The statements that take the schema `before` builds to the one `after`
+ * builds. Each is a `chant build` output of the sql lexicon, as JSON text or
+ * parsed. Both must be the same dialect.
+ */
+export declare function diffStatements(before: BuildInput, after: BuildInput, options?: DiffStatementsOptions): SchemaStatements;
+//# sourceMappingURL=migration-statements.d.ts.map

package/dist/migration-statements.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"migration-statements.d.ts","sourceRoot":"","sources":["../src/migration-statements.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAClE,OAAO,EAAwD,KAAK,gBAAgB,EAAmB,MAAM,mBAAmB,CAAC;AAGjI,OAAO,EAAiB,KAAK,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAWrE,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,EAAE,gBAAgB,EAAE,eAAe,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACzI,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAErD,MAAM,WAAW,qBAAqB;IACpC,sIAAsI;IACtI,MAAM,CAAC,EAAE,eAAe,CAAC;IACzB,kFAAkF;IAClF,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,sEAAsE;IACtE,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,iEAAiE;IACjE,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,iIAAiI;IACjI,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,KAAK,UAAU,GAAG,MAAM,GAAG,MAAM,CAAC;AAWlC;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,GAAE,qBAA0B,GAAG,gBAAgB,CAQ3H"}

package/dist/postgres/apply/apply.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"apply.d.ts","sourceRoot":"","sources":["../../../src/postgres/apply/apply.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkEG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAClE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAkF,KAAK,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEvJ,OAAO,EAAsB,KAAK,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACzE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,KAAK,EAAgB,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAMpE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAEjE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAEvD,OAAO,EASL,KAAK,gBAAgB,EAEtB,MAAM,cAAc,CAAC;AAEtB,0EAA0E;AAC1E,MAAM,WAAW,qBAAqB;IACpC,0CAA0C;IAC1C,aAAa,EAAE,MAAM,CAAC;IACtB,yEAAyE;IACzE,kBAAkB,EAAE,MAAM,CAAC;IAC3B,uEAAuE;IACvE,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,eAAO,MAAM,+BAA+B,EAAE,qBAA8F,CAAC;AAE7I,oGAAoG;AACpG,MAAM,WAAW,YAAY;IAC3B,0DAA0D;IAC1D,MAAM,EAAE,MAAM,CAAC;IACf,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,aAAa,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,2HAA2H;IAC3H,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,iCAAiC;AACjC,MAAM,WAAW,iBAAiB;IAChC,yCAAyC;IACzC,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,MAAM,EAAE,WAAW,GAAG,aAAa,CAAC;IACpC,8DAA8D;IAC9D,QAAQ,CAAC,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;CAC3C;AAED;;;;;GAKG;AACH,MAAM,WAAW,oBAAqB,SAAQ,eAAe;IAC3D,QAAQ,EAAE,qBAAqB,CAAC;IAChC,UAAU,EAAE,YAAY,EAAE,CAAC;IAC3B,YAAY,EAAE,iBAAiB,EAAE,CAAC;CACnC;AAED,sGAAsG;AACtG,qBAAa,kBAAmB,SAAQ,aAAa,CAAC,oBAAoB,CAAC;gBAC7D,OAAO,EAAE,oBAAoB;CAI1C;AAED,sGAAsG;AACtG,eAAO,MAAM,OAAO,GAAI,GAAG;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,KAAG,MACwB,CAAC;AAE7G;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,aAAa,SAAW,GAAG,gBAAgB,EAAE,CAc1F;AAED,0FAA0F;AAC1F,eAAO,MAAM,QAAQ,GAAI,UAAU,SAAS,gBAAgB,EAAE,KAAG,QAAQ,EAA2D,CAAC;AAErI,MAAM,WAAW,oBAAoB;IACnC,8FAA8F;IAC9F,MAAM,CAAC,EAAE,eAAe,CAAC;IACzB,6FAA6F;IAC7F,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,gGAAgG;IAChG,QAAQ,CAAC,EAAE,OAAO,CAAC,qBAAqB,CAAC,CAAC;IAC1C,oFAAoF;IACpF,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,wDAAwD;IACxD,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IAC7B,gFAAgF;IAChF,QAAQ,CAAC,EAAE,OAAO,cAAc,CAAC;IACjC,kEAAkE;IAClE,eAAe,CAAC,EAAE,OAAO,gBAAgB,CAAC;CAC3C;AA+CD;;;;;GAKG;AACH,wBAAsB,aAAa,CACjC,MAAM,EAAE,cAAc,EACtB,MAAM,EAAE,cAAc,EACtB,QAAQ,EAAE,SAAS,gBAAgB,EAAE,EACrC,IAAI,GAAE,oBAAyB,GAC9B,OAAO,CAAC,oBAAoB,CAAC,CA0O/B"}
+{"version":3,"file":"apply.d.ts","sourceRoot":"","sources":["../../../src/postgres/apply/apply.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkEG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAClE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAiE,KAAK,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEtI,OAAO,EAAsB,KAAK,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACzE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,KAAK,EAAgB,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAMpE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAEjE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAEvD,OAAO,EAA+B,KAAK,gBAAgB,EAAqC,MAAM,cAAc,CAAC;AAErH,0EAA0E;AAC1E,MAAM,WAAW,qBAAqB;IACpC,0CAA0C;IAC1C,aAAa,EAAE,MAAM,CAAC;IACtB,yEAAyE;IACzE,kBAAkB,EAAE,MAAM,CAAC;IAC3B,uEAAuE;IACvE,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,eAAO,MAAM,+BAA+B,EAAE,qBAA8F,CAAC;AAE7I,oGAAoG;AACpG,MAAM,WAAW,YAAY;IAC3B,0DAA0D;IAC1D,MAAM,EAAE,MAAM,CAAC;IACf,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,aAAa,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,2HAA2H;IAC3H,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,iCAAiC;AACjC,MAAM,WAAW,iBAAiB;IAChC,yCAAyC;IACzC,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,MAAM,EAAE,WAAW,GAAG,aAAa,CAAC;IACpC,8DAA8D;IAC9D,QAAQ,CAAC,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;CAC3C;AAED;;;;;GAKG;AACH,MAAM,WAAW,oBAAqB,SAAQ,eAAe;IAC3D,QAAQ,EAAE,qBAAqB,CAAC;IAChC,UAAU,EAAE,YAAY,EAAE,CAAC;IAC3B,YAAY,EAAE,iBAAiB,EAAE,CAAC;CACnC;AAED,sGAAsG;AACtG,qBAAa,kBAAmB,SAAQ,aAAa,CAAC,oBAAoB,CAAC;gBAC7D,OAAO,EAAE,oBAAoB;CAI1C;AAED,sGAAsG;AACtG,eAAO,MAAM,OAAO,GAAI,GAAG;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,KAAG,MACwB,CAAC;AAE7G;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,aAAa,SAAW,GAAG,gBAAgB,EAAE,CAc1F;AAED,0FAA0F;AAC1F,eAAO,MAAM,QAAQ,GAAI,UAAU,SAAS,gBAAgB,EAAE,KAAG,QAAQ,EAA2D,CAAC;AAErI,MAAM,WAAW,oBAAoB;IACnC,8FAA8F;IAC9F,MAAM,CAAC,EAAE,eAAe,CAAC;IACzB,6FAA6F;IAC7F,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,gGAAgG;IAChG,QAAQ,CAAC,EAAE,OAAO,CAAC,qBAAqB,CAAC,CAAC;IAC1C,oFAAoF;IACpF,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,wDAAwD;IACxD,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IAC7B,gFAAgF;IAChF,QAAQ,CAAC,EAAE,OAAO,cAAc,CAAC;IACjC,kEAAkE;IAClE,eAAe,CAAC,EAAE,OAAO,gBAAgB,CAAC;CAC3C;AAkCD;;;;;GAKG;AACH,wBAAsB,aAAa,CACjC,MAAM,EAAE,cAAc,EACtB,MAAM,EAAE,cAAc,EACtB,QAAQ,EAAE,SAAS,gBAAgB,EAAE,EACrC,IAAI,GAAE,oBAAyB,GAC9B,OAAO,CAAC,oBAAoB,CAAC,CA4M/B"}

package/dist/postgres/apply/statements.d.ts

@@ -25,7 +25,7 @@ import { type PostgresEntityType } from "../entity-types.js";
 import type { PgChange } from "../plan/diff.js";
 import { type PgChangeClass, type PgClassifierRuleId } from "../plan/rules.js";
 import { type CanonicalConstraint, type CanonicalKind } from "../plan/normalize.js";
-import type { PgDiffObject } from "../plan/schema.js";
+import type { PgDiffObject, PgSchemaObject } from "../plan/schema.js";
 import type { CheckDef, ColumnDef, ExclusionDef, ForeignKeyDef, KeyDef, SequenceProps } from "../entities.js";
 /** One object as a build declares it, in the shape the applier works with. */
 export interface DeclaredPgObject {
@@ -134,5 +134,95 @@ export declare const scansRows: (cls: PgChangeClass) => boolean;
  * `PostgresMigrationOp` for (`../migrate/handoff.ts`).
  */
 export declare function refusalDetail(changes: readonly PgChange[], name: string, declared?: Pick<PgDiffObject, "kind" | "schema" | "name">): string;
+/**
+ * What one declared object takes, as the applier and the offline renderer
+ * (`../../migration-statements.ts`) both see it:
+ *
+ * - `create` or `alter`: the statements, in the order they run. An `alter`
+ *   with none is an object already as declared.
+ * - `foreign`: another tool keeps the object; it is not chant's to change.
+ * - `refused`: a change only expand and contract makes; nothing is sent for
+ *   the object, and `detail` names the migration Op where one makes it.
+ * - `unsupported`: a change with no in-place statement; nothing is sent.
+ * - `withheld`: a column drop, which destroys data, in a plan not allowed to
+ *   delete.
+ */
+export type PgObjectStatements = {
+    verdict: "create" | "alter";
+    obj: DeclaredPgObject;
+    changes: PgChange[];
+    steps: PgStep[];
+    live?: PgDiffObject;
+} | {
+    verdict: "foreign";
+    obj: DeclaredPgObject;
+    changes: PgChange[];
+    live: PgDiffObject;
+    detail: string;
+} | {
+    verdict: "refused";
+    obj: DeclaredPgObject;
+    changes: PgChange[];
+    refused: PgChange[];
+    live?: PgDiffObject;
+    detail: string;
+} | {
+    verdict: "unsupported";
+    obj: DeclaredPgObject;
+    changes: PgChange[];
+    unsupported: UnsupportedChange[];
+    live: PgDiffObject;
+    detail: string;
+} | {
+    verdict: "withheld";
+    obj: DeclaredPgObject;
+    changes: PgChange[];
+    withheld: PgChange[];
+    live?: PgDiffObject;
+    detail: string;
+};
+/** An object the declarations no longer hold, and the `DROP` for it. */
+export interface PgDropStatement {
+    /** The key the changes name it by. */
+    key: string;
+    kind: CanonicalKind;
+    schema?: string;
+    name: string;
+    step: PgStep;
+}
+export interface PgStatementPlanInput {
+    /** The declared objects in creation order, in the canonical form the changes were found for. */
+    declared: readonly DeclaredPgObject[];
+    /** The classified changes from the current schema to the declared one. */
+    changes: readonly PgChange[];
+    /** The current schema, keyed as the changes key objects. */
+    current: readonly PgSchemaObject[];
+    /** How the changes key a declared object: its qualified key against a server (the default), its export name between two builds. */
+    keyOf?: (obj: DeclaredPgObject) => string;
+    /** The major the statements are for. */
+    major: number;
+    /** The marker every created object and restamped comment carries. */
+    marker?: OwnershipMarker;
+    /** Column drops are planned, not withheld. Default: off. */
+    allowDestructive?: boolean;
+    /** Whether the current object carries the marker already; one that does not is restamped. Default: it does. */
+    carriesMarker?: (live: PgDiffObject, currentKey: string) => boolean;
+    /** The comment an extension's control file sets, kept under the trailer when the declaration sets none. */
+    extensionComment?: (name: string) => string | undefined;
+}
+export interface PgStatementPlan {
+    /** One entry per declared object, in creation order. */
+    objects: PgObjectStatements[];
+    /** The objects the declarations no longer hold, in drop order: views first, a schema last. */
+    drops: PgDropStatement[];
+}
+/**
+ * The statements that take the current schema to the declared one, from the
+ * classified changes between them. Pure: nothing is read or sent. The applier
+ * (`./apply.ts`) groups the steps into transactions and runs them;
+ * `diffStatements` (`../../migration-statements.ts`) renders the same steps
+ * for a migration file.
+ */
+export declare function planPgStatements(input: PgStatementPlanInput): PgStatementPlan;
 export {};
 //# sourceMappingURL=statements.d.ts.map

package/dist/postgres/apply/statements.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"statements.d.ts","sourceRoot":"","sources":["../../../src/postgres/apply/statements.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAElE,OAAO,EAA0B,KAAK,KAAK,EAAE,MAAM,WAAW,CAAC;AAG/D,OAAO,EAAyB,KAAK,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAEjF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAuB,KAAK,aAAa,EAAE,KAAK,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACjG,OAAO,EAAoC,KAAK,mBAAmB,EAAE,KAAK,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACnH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAEnD,OAAO,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAe,YAAY,EAAE,aAAa,EAAE,MAAM,EAAE,aAAa,EAAc,MAAM,aAAa,CAAC;AAEpI,8EAA8E;AAC9E,MAAM,WAAW,gBAAgB;IAC/B,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,kBAAkB,CAAC;IACzB,+GAA+G;IAC/G,IAAI,EAAE,MAAM,CAAC;IACb,oGAAoG;IACpG,GAAG,EAAE,MAAM,CAAC;IACZ,+EAA+E;IAC/E,GAAG,EAAE,MAAM,CAAC;IACZ,6CAA6C;IAC7C,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,4CAA4C;IAC5C,SAAS,EAAE,YAAY,CAAC;IACxB,sCAAsC;IACtC,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,6BAA6B;AAC7B,MAAM,WAAW,MAAM;IACrB,GAAG,EAAE,MAAM,CAAC;IACZ,4FAA4F;IAC5F,KAAK,EAAE,aAAa,CAAC;IACrB,iIAAiI;IACjI,aAAa,EAAE,OAAO,CAAC;IACvB,0DAA0D;IAC1D,IAAI,CAAC,EAAE,kBAAkB,CAAC;IAC1B,qHAAqH;IACrH,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,iGAAiG;AACjG,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,QAAQ,CAAC;IACjB,GAAG,EAAE,MAAM,CAAC;CACb;AAID,yEAAyE;AACzE,eAAO,MAAM,QAAQ,GAAI,OAAO,MAAM,KAAG,MAA0C,CAAC;AAEpF,+DAA+D;AAC/D,eAAO,MAAM,WAAW,GAAI,QAAQ,MAAM,GAAG,SAAS,EAAE,MAAM,MAAM,KAAG,MAAmF,CAAC;AAE3J,iFAAiF;AACjF,eAAO,MAAM,WAAW,GAAI,GAAG;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,KAAG,MACY,CAAC;AAErG,0DAA0D;AAC1D,eAAO,MAAM,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,CAU9D,CAAC;AAEF,4CAA4C;AAC5C,eAAO,MAAM,UAAU,GAAI,MAAM,MAAM,KAAG,aAC4D,CAAC;AAOvG,UAAU,SAAS;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,KAAK,EAAE,CAAC;CACjB;AAED,wHAAwH;AACxH,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,EAAE,CAiBxD;AAgBD,0FAA0F;AAC1F,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC,gBAAgB,EAAE,WAAW,CAAC,EAAE,MAAM,EAAE,eAAe,GAAG,SAAS,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,CAGrI;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,CACzB,GAAG,EAAE,IAAI,CAAC,gBAAgB,EAAE,KAAK,GAAG,WAAW,GAAG,OAAO,CAAC,EAC1D,MAAM,EAAE,eAAe,GAAG,SAAS,EACnC,IAAI,GAAE;IAAE,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAAC,GAAG,CAAC,EAAE,aAAa,CAAC;IAAC,IAAI,CAAC,EAAE,kBAAkB,CAAA;CAAO,GAChG,MAAM,EAAE,CAYV;AAED,yGAAyG;AACzG,wBAAgB,aAAa,CAAC,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAInG;AAID,sJAAsJ;AACtJ,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,SAAS,GAAG,MAAM,CAWrD;AAsCD,mHAAmH;AACnH,wBAAgB,aAAa,CAAC,IAAI,EAAE,mBAAmB,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,GAAG,QAAQ,GAAG,aAAa,GAAG,YAAY,GAAG,MAAM,CA6C9H;AAgGD,sGAAsG;AACtG,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,aAAa,GAAG,MAAM,CAc3D;AAID,iGAAiG;AACjG,eAAO,MAAM,SAAS,GAAI,GAAG,QAAQ,KAAG,OAA+B,CAAC;AAExE,8EAA8E;AAC9E,eAAO,MAAM,aAAa,GAAI,GAAG,QAAQ,KAAG,OAAgC,CAAC;AAE7E,yFAAyF;AACzF,eAAO,MAAM,UAAU,GAAI,GAAG,QAAQ,KAAG,OAAyD,CAAC;AAEnG;;;;;;GAMG;AACH,wBAAgB,UAAU,CACxB,GAAG,EAAE,gBAAgB,EACrB,IAAI,EAAE,YAAY,EAClB,OAAO,EAAE,SAAS,QAAQ,EAAE,EAC5B,IAAI,EAAE;IAAE,MAAM,CAAC,EAAE,eAAe,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAChD;IAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAAC,WAAW,EAAE,iBAAiB,EAAE,CAAA;CAAE,CA+JvD;AAED,8HAA8H;AAC9H,eAAO,MAAM,SAAS,GAAI,KAAK,aAAa,KAAG,OAA4E,CAAC;AAE5H;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,IAAI,CAAC,YAAY,EAAE,MAAM,GAAG,QAAQ,GAAG,MAAM,CAAC,GAAG,MAAM,CAa3I"}
+{"version":3,"file":"statements.d.ts","sourceRoot":"","sources":["../../../src/postgres/apply/statements.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAElE,OAAO,EAA0B,KAAK,KAAK,EAAE,MAAM,WAAW,CAAC;AAG/D,OAAO,EAAyB,KAAK,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAEjF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAuB,KAAK,aAAa,EAAE,KAAK,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACjG,OAAO,EAAoC,KAAK,mBAAmB,EAAE,KAAK,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACnH,OAAO,KAAK,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAEnE,OAAO,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAe,YAAY,EAAE,aAAa,EAAE,MAAM,EAAE,aAAa,EAAc,MAAM,aAAa,CAAC;AAEpI,8EAA8E;AAC9E,MAAM,WAAW,gBAAgB;IAC/B,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,kBAAkB,CAAC;IACzB,+GAA+G;IAC/G,IAAI,EAAE,MAAM,CAAC;IACb,oGAAoG;IACpG,GAAG,EAAE,MAAM,CAAC;IACZ,+EAA+E;IAC/E,GAAG,EAAE,MAAM,CAAC;IACZ,6CAA6C;IAC7C,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,4CAA4C;IAC5C,SAAS,EAAE,YAAY,CAAC;IACxB,sCAAsC;IACtC,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,6BAA6B;AAC7B,MAAM,WAAW,MAAM;IACrB,GAAG,EAAE,MAAM,CAAC;IACZ,4FAA4F;IAC5F,KAAK,EAAE,aAAa,CAAC;IACrB,iIAAiI;IACjI,aAAa,EAAE,OAAO,CAAC;IACvB,0DAA0D;IAC1D,IAAI,CAAC,EAAE,kBAAkB,CAAC;IAC1B,qHAAqH;IACrH,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,iGAAiG;AACjG,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,QAAQ,CAAC;IACjB,GAAG,EAAE,MAAM,CAAC;CACb;AAID,yEAAyE;AACzE,eAAO,MAAM,QAAQ,GAAI,OAAO,MAAM,KAAG,MAA0C,CAAC;AAEpF,+DAA+D;AAC/D,eAAO,MAAM,WAAW,GAAI,QAAQ,MAAM,GAAG,SAAS,EAAE,MAAM,MAAM,KAAG,MAAmF,CAAC;AAE3J,iFAAiF;AACjF,eAAO,MAAM,WAAW,GAAI,GAAG;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,KAAG,MACY,CAAC;AAErG,0DAA0D;AAC1D,eAAO,MAAM,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,CAU9D,CAAC;AAEF,4CAA4C;AAC5C,eAAO,MAAM,UAAU,GAAI,MAAM,MAAM,KAAG,aAC4D,CAAC;AAOvG,UAAU,SAAS;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,KAAK,EAAE,CAAC;CACjB;AAED,wHAAwH;AACxH,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,EAAE,CAiBxD;AAgBD,0FAA0F;AAC1F,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC,gBAAgB,EAAE,WAAW,CAAC,EAAE,MAAM,EAAE,eAAe,GAAG,SAAS,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,CAGrI;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,CACzB,GAAG,EAAE,IAAI,CAAC,gBAAgB,EAAE,KAAK,GAAG,WAAW,GAAG,OAAO,CAAC,EAC1D,MAAM,EAAE,eAAe,GAAG,SAAS,EACnC,IAAI,GAAE;IAAE,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAAC,GAAG,CAAC,EAAE,aAAa,CAAC;IAAC,IAAI,CAAC,EAAE,kBAAkB,CAAA;CAAO,GAChG,MAAM,EAAE,CAYV;AAED,yGAAyG;AACzG,wBAAgB,aAAa,CAAC,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAInG;AAID,sJAAsJ;AACtJ,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,SAAS,GAAG,MAAM,CAWrD;AAsCD,mHAAmH;AACnH,wBAAgB,aAAa,CAAC,IAAI,EAAE,mBAAmB,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,GAAG,QAAQ,GAAG,aAAa,GAAG,YAAY,GAAG,MAAM,CA6C9H;AAgGD,sGAAsG;AACtG,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,aAAa,GAAG,MAAM,CAc3D;AAID,iGAAiG;AACjG,eAAO,MAAM,SAAS,GAAI,GAAG,QAAQ,KAAG,OAA+B,CAAC;AAExE,8EAA8E;AAC9E,eAAO,MAAM,aAAa,GAAI,GAAG,QAAQ,KAAG,OAAgC,CAAC;AAE7E,yFAAyF;AACzF,eAAO,MAAM,UAAU,GAAI,GAAG,QAAQ,KAAG,OAAyD,CAAC;AAEnG;;;;;;GAMG;AACH,wBAAgB,UAAU,CACxB,GAAG,EAAE,gBAAgB,EACrB,IAAI,EAAE,YAAY,EAClB,OAAO,EAAE,SAAS,QAAQ,EAAE,EAC5B,IAAI,EAAE;IAAE,MAAM,CAAC,EAAE,eAAe,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAChD;IAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAAC,WAAW,EAAE,iBAAiB,EAAE,CAAA;CAAE,CA+JvD;AAED,8HAA8H;AAC9H,eAAO,MAAM,SAAS,GAAI,KAAK,aAAa,KAAG,OAA4E,CAAC;AAE5H;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,IAAI,CAAC,YAAY,EAAE,MAAM,GAAG,QAAQ,GAAG,MAAM,CAAC,GAAG,MAAM,CAa3I;AAID;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,kBAAkB,GAC1B;IAAE,OAAO,EAAE,QAAQ,GAAG,OAAO,CAAC;IAAC,GAAG,EAAE,gBAAgB,CAAC;IAAC,OAAO,EAAE,QAAQ,EAAE,CAAC;IAAC,KAAK,EAAE,MAAM,EAAE,CAAC;IAAC,IAAI,CAAC,EAAE,YAAY,CAAA;CAAE,GACjH;IAAE,OAAO,EAAE,SAAS,CAAC;IAAC,GAAG,EAAE,gBAAgB,CAAC;IAAC,OAAO,EAAE,QAAQ,EAAE,CAAC;IAAC,IAAI,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACtG;IAAE,OAAO,EAAE,SAAS,CAAC;IAAC,GAAG,EAAE,gBAAgB,CAAC;IAAC,OAAO,EAAE,QAAQ,EAAE,CAAC;IAAC,OAAO,EAAE,QAAQ,EAAE,CAAC;IAAC,IAAI,CAAC,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAC5H;IAAE,OAAO,EAAE,aAAa,CAAC;IAAC,GAAG,EAAE,gBAAgB,CAAC;IAAC,OAAO,EAAE,QAAQ,EAAE,CAAC;IAAC,WAAW,EAAE,iBAAiB,EAAE,CAAC;IAAC,IAAI,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAC5I;IAAE,OAAO,EAAE,UAAU,CAAC;IAAC,GAAG,EAAE,gBAAgB,CAAC;IAAC,OAAO,EAAE,QAAQ,EAAE,CAAC;IAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC;IAAC,IAAI,CAAC,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnI,wEAAwE;AACxE,MAAM,WAAW,eAAe;IAC9B,sCAAsC;IACtC,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,aAAa,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,oBAAoB;IACnC,gGAAgG;IAChG,QAAQ,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACtC,0EAA0E;IAC1E,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;IAC7B,4DAA4D;IAC5D,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IACnC,mIAAmI;IACnI,KAAK,CAAC,EAAE,CAAC,GAAG,EAAE,gBAAgB,KAAK,MAAM,CAAC;IAC1C,wCAAwC;IACxC,KAAK,EAAE,MAAM,CAAC;IACd,qEAAqE;IACrE,MAAM,CAAC,EAAE,eAAe,CAAC;IACzB,4DAA4D;IAC5D,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,+GAA+G;IAC/G,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC;IACpE,2GAA2G;IAC3G,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAC;CACzD;AAED,MAAM,WAAW,eAAe;IAC9B,wDAAwD;IACxD,OAAO,EAAE,kBAAkB,EAAE,CAAC;IAC9B,8FAA8F;IAC9F,KAAK,EAAE,eAAe,EAAE,CAAC;CAC1B;AAKD;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,oBAAoB,GAAG,eAAe,CAuE7E"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@intentius/chant-lexicon-sql",
-  "version": "0.112.1",
+  "version": "0.114.0",
   "description": "SQL lexicon for chant — database schema as typed declarations, one dialect at a time; ClickHouse first, with types read from a pinned server's catalog",
   "license": "Apache-2.0",
   "homepage": "https://intentius.io/chant",
@@ -70,7 +70,7 @@
     "typescript": "^5.9.3"
   },
   "peerDependencies": {
-    "@intentius/chant": "^0.112.1",
+    "@intentius/chant": "^0.114.0",
     "typescript": "^5.9.3"
   }
 }

package/src/clickhouse/apply/apply.ts

@@ -36,7 +36,6 @@ import type { OwnershipMarker } from "@intentius/chant/ownership";
 import type { ApplyRef } from "@intentius/chant/apply";
 import {
   SqlApplyError,
-  changesByObject,
   dependencyFailedDetail,
   missingDependencies,
   readBuildObjects,
@@ -50,20 +49,9 @@ import { diffSchemas, type Change } from "../plan/diff";
 import { dropFormattingOnly } from "../plan/server-format";
 import { CLICKHOUSE_ENTITY_TYPES, type ClickHouseEntityType } from "../entities";
 import { carriesMarker, isChantManaged } from "../ownership";
-import {
-  alterSteps,
-  commentStatement,
-  createStatement,
-  dropStatement,
-  isDestructiveAlter,
-  isRebuild,
-  refusalDetail,
-  sqlString,
-  stepsSetComment,
-  type DeclaredObject,
-  type Step,
-} from "./statements";
+import { planStatements, sqlString, type DeclaredObject, type DropStatement, type Step } from "./statements";
 import { waitForMutations } from "./mutations";
+import { renderFor, type Topology } from "../topology";
 
 export type { FailedObject } from "../../core/apply";
 
@@ -71,15 +59,20 @@ export type { FailedObject } from "../../core/apply";
  * The objects a `chant build` output declares, in creation order. Takes the
  * sql lexicon's primary output, or a multi-lexicon output holding it under
  * `sql` (the shared core's reader).
+ *
+ * With a `topology`, each declaration is rendered for it first
+ * (`../topology.ts`): the engine and `ON CLUSTER` it runs with there, which
+ * is what the changes compare and every `CREATE` sends.
  */
-export function declaredObjects(json: string, defaultDatabase = "default"): DeclaredObject[] {
+export function declaredObjects(json: string, defaultDatabase = "default", topology?: Topology): DeclaredObject[] {
   return readBuildObjects(json, "clickhouse", (o) => {
-    const canonical = canonicalObject(o.ddl, defaultDatabase);
+    const ddl = renderFor(o.ddl, topology);
+    const canonical = canonicalObject(ddl, defaultDatabase);
     return {
       exportName: o.export,
       type: o.type as ClickHouseEntityType,
       key: canonical.database !== undefined ? `${canonical.database}.${canonical.name}` : canonical.name,
-      ddl: o.ddl,
+      ddl,
       canonical,
       dependsOn: o.dependsOn,
     };
@@ -117,14 +110,6 @@ export class ClickHouseApplyError extends SqlApplyError<ClickHouseApplyOutcome>
 
 const liveKey = (o: LiveObject) => (o.database !== undefined ? `${o.database}.${o.name}` : o.name);
 
-/** Drop order: what reads from a table before the table, a database last. */
-const DROP_ORDER: Record<string, number> = {
-  [CLICKHOUSE_ENTITY_TYPES.materializedView]: 0,
-  [CLICKHOUSE_ENTITY_TYPES.view]: 1,
-  [CLICKHOUSE_ENTITY_TYPES.table]: 2,
-  [CLICKHOUSE_ENTITY_TYPES.database]: 3,
-};
-
 /**
  * The server's objects in the databases the declarations use, as the diff
  * compares them. The `default` database itself is never part of a schema.
@@ -160,7 +145,6 @@ export async function applyClickHouse(target: ClickHouseTarget, declared: readon
   const { objects: liveObjects, canonical: live } = await liveSchema(target, declared);
   const liveByKey = new Map(liveObjects.map((o) => [liveKey(o), o]));
   const changes = await plannedChanges(target, declared, live);
-  const byObject = changesByObject(changes);
 
   const outcome: ClickHouseApplyOutcome = { target: target.endpoint.url, source: target.source, applied: [], pruned: [], notAttempted: [], failed: [] };
   /** Export names whose object is on the server. */
@@ -181,35 +165,34 @@ export async function applyClickHouse(target: ClickHouseTarget, declared: readon
     }
   };
 
-  for (const obj of declared) {
+  const plan = planStatements({
+    declared,
+    changes,
+    current: live,
+    allowDestructive: opts.prune === true,
+    carriesMarker: (key) => carriesMarker(liveByKey.get(key)?.comment, opts.marker),
+    ...(target.topology ? { topology: target.topology } : {}),
+    ...(opts.marker ? { marker: opts.marker } : {}),
+  });
+
+  for (const entry of plan.objects) {
+    const obj = entry.obj;
     const ref = { kind: obj.type, name: obj.key };
-    const mine = byObject.get(obj.key) ?? [];
-    const created = mine.some((c) => c.rule === "SQLCH200");
-    const renamedFrom = mine.find((c) => c.rule === "SQLCH230" || c.rule === "SQLCH231")?.before;
+    const renamedFrom = entry.changes.find((c) => c.rule === "SQLCH230" || c.rule === "SQLCH231")?.before;
     const liveObject = liveByKey.get(renamedFrom ?? obj.key);
-    const liveCanonical = live.get(renamedFrom ?? obj.key);
 
-    const refused = mine.filter(isRebuild);
-    if (refused.length > 0) {
+    if (entry.verdict === "rebuild") {
       if (liveObject) onServer.add(obj.exportName);
-      outcome.notAttempted.push({ ...ref, reason: "unsupported-kind", detail: refusalDetail(refused, obj.key, obj.type) });
+      outcome.notAttempted.push({ ...ref, reason: "unsupported-kind", detail: entry.detail });
       continue;
     }
-    const destructive = mine.filter(isDestructiveAlter);
-    if (destructive.length > 0 && !opts.prune) {
+    if (entry.verdict === "withheld") {
       onServer.add(obj.exportName);
-      outcome.notAttempted.push({
-        ...ref,
-        reason: "filtered",
-        detail: `drops ${destructive.map((c) => c.field).join(", ")}, which destroys the data in it; an apply that may delete (prune, ApplyOp delete "owned-only" or "gated") makes it`,
-      });
+      outcome.notAttempted.push({ ...ref, reason: "filtered", detail: entry.detail });
       continue;
     }
-
-    const restamp = !created && !stepsSetComment(obj, mine) && (mine.some((c) => c.field === "comment") || !carriesMarker(liveObject?.comment, opts.marker));
-    const steps: Step[] = created
-      ? [{ sql: createStatement(obj, opts.marker), rewrite: false }]
-      : [...alterSteps(obj, mine, { ...(liveCanonical ? { live: liveCanonical } : {}), ...(opts.marker ? { marker: opts.marker } : {}) }), ...(restamp ? [{ sql: commentStatement(obj, opts.marker), rewrite: false }] : [])];
+    const created = entry.verdict === "create";
+    const steps = entry.steps;
 
     if (steps.length === 0) {
       onServer.add(obj.exportName);
@@ -235,26 +218,22 @@ export async function applyClickHouse(target: ClickHouseTarget, declared: readon
     }
   }
 
-  if (opts.prune) await prune(target, changes, liveByKey, opts, outcome, log);
+  if (opts.prune) await prune(target, plan.drops, liveByKey, opts, outcome, log);
   if (outcome.failed.length > 0) throw new ClickHouseApplyError(outcome);
   return outcome;
 }
 
 async function prune(
   target: ClickHouseTarget,
-  changes: readonly Change[],
+  drops: readonly DropStatement[],
   liveByKey: Map<string, LiveObject>,
   opts: ClickHouseApplyOptions,
   outcome: ClickHouseApplyOutcome,
   log: (line: string) => void,
 ): Promise<void> {
-  const orphans = changes
-    .filter((c) => c.rule === "SQLCH250")
-    .map((c) => liveByKey.get(c.object))
-    .filter((o): o is LiveObject => o !== undefined)
-    .sort((a, b) => (DROP_ORDER[a.type] ?? 9) - (DROP_ORDER[b.type] ?? 9));
-
-  for (const o of orphans) {
+  for (const drop of drops) {
+    const o = liveByKey.get(drop.key);
+    if (!o) continue;
     const ref = { kind: o.type, name: liveKey(o) };
     if (!isChantManaged(o.comment)) continue; // not chant's: never touched, never reported
     if (!opts.marker?.stack) {
@@ -275,7 +254,7 @@ async function prune(
           continue;
         }
       }
-      const sql = dropStatement(o.type, o.database, o.name);
+      const sql = drop.step.sql;
       opts.signal?.throwIfAborted();
       log(sql);
       await clickhouseQuery(target.endpoint, sql);