@ultimabase/postgres 0.1.2 → 0.3.0-canary.20261031104207

package/CHANGELOG.md

@@ -1,5 +1,27 @@
 # @ultimabase/postgres
 
+## 0.3.0-canary.20261031104207
+
+### Minor Changes
+
+- 353c2bf: A string field takes `unique: 'insensitive'`, and a unique index `mode: 'insensitive'`: `Alice` then clashes with `alice`, while each row keeps its case, and the `UNIQUE_VIOLATION` names the field (D-170). `postgres()` makes a unique index over `lower()`, which also serves an insensitive `equals`: run a migration after the upgrade to add it. `@ultimabase/testing` checks an adapter's case-insensitive keys.
+
+### Patch Changes
+
+- Updated dependencies [41cfff6]
+- Updated dependencies [6e8ebf6]
+- Updated dependencies [9cd2dd4]
+- Updated dependencies [353c2bf]
+  - ultimabase@0.3.0-canary.20261031104207
+
+## 0.2.0
+
+### Patch Changes
+
+- Updated dependencies [2c3bf4e]
+- Updated dependencies [fd1263e]
+  - ultimabase@0.2.0
+
 ## 0.1.2
 
 ### Patch Changes

package/dist/adapter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"adapter.d.ts","sourceRoot":"","sources":["../src/adapter.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EACX,QAAQ,EAGR,MAAM,QAAQ,CAAA;AAKf,OAAO,KAAK,EACX,OAAO,EASP,MAAM,YAAY,CAAA;AAuBnB,MAAM,MAAM,OAAO,GAAG;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;IAChC,0DAA0D;IAC1D,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,uEAAuE;IACvE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,KAAK,IAAI,CAAA;IACxC,uFAAuF;IACvF,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAA;CAChC,CAAA;AAED,4EAA4E;AAC5E,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG;IAChC;;;OAGG;IACH,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACxD,OAAO,EAAE,oBAAoB,EAC7B,GAAG,MAAM,EAAE,SAAS,OAAO,EAAE,KACzB,OAAO,CAAC,CAAC,EAAE,CAAC,CAAA;CACjB,CAAA;AAmED,mDAAmD;AACnD,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,CAIhE;AAED,8EAA8E;AAC9E,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEjD;AAED,wBAAgB,aAAa,CAAC,OAAO,EAAE,OAAO,GAAG,QAAQ,CA2MxD"}
+{"version":3,"file":"adapter.d.ts","sourceRoot":"","sources":["../src/adapter.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EACX,QAAQ,EAGR,MAAM,QAAQ,CAAA;AAKf,OAAO,KAAK,EACX,OAAO,EASP,MAAM,YAAY,CAAA;AAwBnB,MAAM,MAAM,OAAO,GAAG;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;IAChC,0DAA0D;IAC1D,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,uEAAuE;IACvE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,KAAK,IAAI,CAAA;IACxC,uFAAuF;IACvF,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAA;CAChC,CAAA;AAED,4EAA4E;AAC5E,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG;IAChC;;;OAGG;IACH,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACxD,OAAO,EAAE,oBAAoB,EAC7B,GAAG,MAAM,EAAE,SAAS,OAAO,EAAE,KACzB,OAAO,CAAC,CAAC,EAAE,CAAC,CAAA;CACjB,CAAA;AAmED,mDAAmD;AACnD,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,CAIhE;AAED,8EAA8E;AAC9E,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEjD;AAED,wBAAgB,aAAa,CAAC,OAAO,EAAE,OAAO,GAAG,QAAQ,CA2MxD"}

package/dist/adapter.js

@@ -13,7 +13,8 @@ import { plan } from './plan.js';
 import { pooled } from './pool.js';
 import { compileCount, compileFind } from './read.js';
 import { connecting, dropped, emptied, scratchName, trigrams, } from './scratch.js';
-import { parseSnapshot, snapshotOf } from './snapshot.js';
+import { parseSnapshot } from './snapshot-parse.js';
+import { snapshotOf } from './snapshot.js';
 import { compileWrite, translate } from './write.js';
 /** What the callback a rollback ends throws, which `rollback()` swallows. */
 const rolledBack = new Error('The transaction was rolled back.');

package/dist/filter.d.ts

@@ -38,8 +38,12 @@ export declare class Filters {
     private exists;
     private relation;
     private scalar;
-    /** A value of `kind`, a column or an aggregate (D-149), meets `condition`. */
-    compare(column: Sql, kind: Kind, condition: Condition): Sql;
+    /**
+     * A value of `kind`, a column or an aggregate (D-149), meets `condition`;
+     * a `lowered` column's insensitive equality reads its case-insensitive
+     * key's index (D-170).
+     */
+    compare(column: Sql, kind: Kind, condition: Condition, lowered?: boolean): Sql;
     /** A string that is not an id equals no id, as in `memory()` (D-98). */
     private equal;
     /** `in`: no item is false; an item no known value equals is dropped. */

package/dist/filter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"filter.d.ts","sourceRoot":"","sources":["../src/filter.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AAEhE,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,YAAY,CAAA;AAErC,OAAO,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAEtD,YAAY,EAAE,GAAG,EAAE,MAAM,YAAY,CAAA;AACrC,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,YAAY,CAAA;AAErC,KAAK,QAAQ,GAAG,OAAO,CAAC,WAAW,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,GAAG,MAAM,CAAA;CAAE,CAAC,CAAA;AAEvE,2EAA2E;AAC3E,MAAM,MAAM,KAAK,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAA;CAAE,CAAA;AAE5D,eAAO,MAAM,IAAI,EAAE,MAC8C,CAAA;AAEjE;;;;GAIG;AACH,wBAAgB,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,GAAG,GAAG,CAQpD;AAED,wBAAgB,SAAS,CACxB,IAAI,EAAE,SAAS,GAAG,SAAS,MAAM,EAAE,GACjC,IAAI,IAAI,SAAS,MAAM,EAAE,CAE3B;AAED,qBAAa,OAAO;IACnB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,mEAAmE;IACnE,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAY;IACxC,uEAAuE;IACvE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7C,OAAO,CAAC,IAAI,CAAI;IAEhB,YACC,OAAO,EAAE,OAAO,EAChB,OAAO,GAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAa,EAIhD;IAED,yDAAyD;IACzD,KAAK,IAAI,MAAM,CAGd;IAED,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,GAAG,CAErD;IAED,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS,GAAG,GAAG,CA6BnE;IAED,oFAAoF;IACpF,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,GAAG,CAEvB;IAED,8EAA8E;IAC9E,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,GAAG,KAAK,CAyBrE;IAED,OAAO,CAAC,MAAM;IAad,OAAO,CAAC,QAAQ;IA4ChB,OAAO,CAAC,MAAM;IAUd,8EAA8E;IAC9E,OAAO,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,GAAG,GAAG,CAuE1D;IAED,wEAAwE;IACxE,OAAO,CAAC,KAAK;IAOb,wEAAwE;IACxE,OAAO,CAAC,MAAM;IAed,wDAAwD;IACxD,OAAO,CAAC,IAAI;CAQZ"}
+{"version":3,"file":"filter.d.ts","sourceRoot":"","sources":["../src/filter.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AAEhE,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,YAAY,CAAA;AAErC,OAAO,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAEtD,YAAY,EAAE,GAAG,EAAE,MAAM,YAAY,CAAA;AACrC,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,YAAY,CAAA;AAErC,KAAK,QAAQ,GAAG,OAAO,CAAC,WAAW,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,GAAG,MAAM,CAAA;CAAE,CAAC,CAAA;AAEvE,2EAA2E;AAC3E,MAAM,MAAM,KAAK,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAA;CAAE,CAAA;AAE5D,eAAO,MAAM,IAAI,EAAE,MAC8C,CAAA;AAEjE;;;;GAIG;AACH,wBAAgB,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,GAAG,GAAG,CAQpD;AAED,wBAAgB,SAAS,CACxB,IAAI,EAAE,SAAS,GAAG,SAAS,MAAM,EAAE,GACjC,IAAI,IAAI,SAAS,MAAM,EAAE,CAE3B;AAED,qBAAa,OAAO;IACnB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,mEAAmE;IACnE,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAY;IACxC,uEAAuE;IACvE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7C,OAAO,CAAC,IAAI,CAAI;IAEhB,YACC,OAAO,EAAE,OAAO,EAChB,OAAO,GAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAa,EAIhD;IAED,yDAAyD;IACzD,KAAK,IAAI,MAAM,CAGd;IAED,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,GAAG,CAErD;IAED,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS,GAAG,GAAG,CA6BnE;IAED,oFAAoF;IACpF,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,GAAG,CAEvB;IAED,8EAA8E;IAC9E,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,GAAG,KAAK,CAyBrE;IAED,OAAO,CAAC,MAAM;IAad,OAAO,CAAC,QAAQ;IA4ChB,OAAO,CAAC,MAAM;IAgBd;;;;OAIG;IACH,OAAO,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,UAAQ,GAAG,GAAG,CAyE3E;IAED,wEAAwE;IACxE,OAAO,CAAC,KAAK;IAOb,wEAAwE;IACxE,OAAO,CAAC,MAAM;IAed,wDAAwD;IACxD,OAAO,CAAC,IAAI;CAQZ"}

package/dist/filter.js

@@ -142,10 +142,17 @@ export class Filters {
     }
     scalar(table, alias, name, condition) {
         const column = this.column(table, alias, name);
-        return this.compare(column, this.catalog.kind(table, name), condition);
+        const kind = this.catalog.kind(table, name);
+        const lowered = (kind === 'string' || kind === 'enum') &&
+            table.uniques.some((unique) => unique.lower === true && unique.fields.includes(name));
+        return this.compare(column, kind, condition, lowered);
     }
-    /** A value of `kind`, a column or an aggregate (D-149), meets `condition`. */
-    compare(column, kind, condition) {
+    /**
+     * A value of `kind`, a column or an aggregate (D-149), meets `condition`;
+     * a `lowered` column's insensitive equality reads its case-insensitive
+     * key's index (D-170).
+     */
+    compare(column, kind, condition, lowered = false) {
         if (condition.path !== undefined)
             return jsonPath(column, condition);
         // An id matches and compares as its string, as in `memory()`.
@@ -167,9 +174,11 @@ export class Filters {
                 case 'not': {
                     const equal = operand === null
                         ? sql `${column} is null`
-                        : insensitive
-                            ? sql `${text} ilike ${pattern(operand, '', '')}`
-                            : this.equal(column, kind, operand);
+                        : lowered && insensitive
+                            ? sql `lower(${collated}) = lower(cast(${operand} as text))`
+                            : insensitive
+                                ? sql `${text} ilike ${pattern(operand, '', '')}`
+                                : this.equal(column, kind, operand);
                     parts.push(operator === 'equals' ? equal : sql `(not ${equal})`);
                     break;
                 }

package/dist/migrations.js

@@ -2,7 +2,7 @@ import { sql } from 'kysely';
 import { parse } from 'pg-connection-string';
 import { isLocalHost, MigrationFailed, Refused } from 'ultimabase';
 import { id } from './plan-parts.js';
-import { parseSnapshot } from './snapshot.js';
+import { parseSnapshot } from './snapshot-parse.js';
 /** The tables UltimaBase keeps its own records in. */
 export const tables = [
     'ultimabase_schema',

package/dist/names.d.ts

@@ -7,12 +7,17 @@ export type Kind = ScalarType | 'id' | 'integer' | 'text[]' | 'double precision[
 export type Unique = {
     readonly name: string;
     readonly fields: readonly string[];
+    /** A case-insensitive key compares its text columns lowered (D-170). */
+    readonly lower?: true;
 };
 export type Table = {
     readonly name: string;
     readonly model: SchemaModel;
     readonly fields: ReadonlyMap<string, SchemaField>;
-    /** The primary key, unique fields, unique indexes, one-to-one keys. */
+    /**
+     * The primary key, unique fields, unique indexes, one-to-one keys, and
+     * the case-insensitive keys (D-170).
+     */
     readonly uniques: readonly Unique[];
 };
 /**

package/dist/names.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"names.d.ts","sourceRoot":"","sources":["../src/names.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AAE9E;;;GAGG;AACH,MAAM,MAAM,IAAI,GACf,UAAU,GAAG,IAAI,GAAG,SAAS,GAAG,QAAQ,GAAG,oBAAoB,GAAG,WAAW,CAAA;AAE9E,MAAM,MAAM,MAAM,GAAG;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CAClC,CAAA;AAED,MAAM,MAAM,KAAK,GAAG;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAA;IAC3B,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;IACjD,uEAAuE;IACvE,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;CACnC,CAAA;AAED;;;;GAIG;AACH,MAAM,MAAM,IAAI,GAAG;IAClB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACvB,CAAA;AAQD,wBAAgB,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAK1C;AAED,oEAAoE;AACpE,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAM/C;AAED,2EAA2E;AAC3E,MAAM,MAAM,QAAQ,GAAG;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACvB,CAAA;AAED,qBAAa,OAAO;IACnB,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAC3C,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;IACzC,gEAAgE;IAChE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAA;IAC1E,gEAAgE;IAChE,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;IACnD,0DAA0D;IAC1D,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IAEzB,YAAY,MAAM,EAAE,MAAM,EAAE,QAAQ,SAAW,EAoC9C;IAED,KAAK,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,CAI1B;IAED,gEAAgE;IAChE,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CASzC;IAED,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAQrC;IAED,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAIvC;IAED,sEAAsE;IACtE,OAAO,CAAC,aAAa;IAuBrB;;;OAGG;IACH,OAAO,CAAC,OAAO;CAqCf"}
+{"version":3,"file":"names.d.ts","sourceRoot":"","sources":["../src/names.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AAE9E;;;GAGG;AACH,MAAM,MAAM,IAAI,GACf,UAAU,GAAG,IAAI,GAAG,SAAS,GAAG,QAAQ,GAAG,oBAAoB,GAAG,WAAW,CAAA;AAE9E,MAAM,MAAM,MAAM,GAAG;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;IAClC,wEAAwE;IACxE,QAAQ,CAAC,KAAK,CAAC,EAAE,IAAI,CAAA;CACrB,CAAA;AAED,MAAM,MAAM,KAAK,GAAG;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAA;IAC3B,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;IACjD;;;OAGG;IACH,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;CACnC,CAAA;AAED;;;;GAIG;AACH,MAAM,MAAM,IAAI,GAAG;IAClB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACvB,CAAA;AAQD,wBAAgB,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAK1C;AAED,oEAAoE;AACpE,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAM/C;AAED,2EAA2E;AAC3E,MAAM,MAAM,QAAQ,GAAG;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACvB,CAAA;AAED,qBAAa,OAAO;IACnB,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAC3C,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;IACzC,gEAAgE;IAChE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAA;IAC1E,gEAAgE;IAChE,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;IACnD,0DAA0D;IAC1D,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IAEzB,YAAY,MAAM,EAAE,MAAM,EAAE,QAAQ,SAAW,EAqC9C;IAED,KAAK,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,CAI1B;IAED,gEAAgE;IAChE,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CASzC;IAED,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAQrC;IAED,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAIvC;IAED,sEAAsE;IACtE,OAAO,CAAC,aAAa;IAuBrB;;;OAGG;IACH,OAAO,CAAC,OAAO;CAqCf"}

package/dist/names.js

@@ -43,22 +43,24 @@ export class Catalog {
         this.tables = tables;
         const uniques = new Map();
         for (const table of tables.values()) {
-            const sets = [['id']];
+            const sets = [
+                { fields: ['id'], lower: false },
+            ];
             for (const field of table.model.fields) {
                 const stored = field.kind === 'scalar' || (field.kind === 'one' && field.stored);
                 if (stored && field.unique)
-                    sets.push([field.name]);
+                    sets.push({ fields: [field.name], lower: false });
             }
-            for (const index of table.model.indexes) {
-                if (index.unique)
-                    sets.push(index.fields);
+            for (const { unique, fields, mode } of table.model.indexes) {
+                if (unique)
+                    sets.push({ fields, lower: mode === 'insensitive' });
             }
-            const named = sets.map((fields, at) => ({
-                name: constraint(at === 0
-                    ? `${table.name}_pkey`
-                    : `${table.name}_${fields.map((field) => this.column(table, field)).join('_')}_key`),
-                fields,
-            }));
+            const named = sets.map(({ fields, lower }, at) => {
+                const columns = fields.map((field) => this.column(table, field));
+                const key = `${table.name}_${columns.join('_')}${lower ? '_lower' : ''}_key`;
+                const name = constraint(at === 0 ? `${table.name}_pkey` : key);
+                return lower ? { name, fields, lower } : { name, fields };
+            });
             tables.set(table.model.name, { ...table, uniques: named });
             for (const { name, fields } of named) {
                 uniques.set(name, { model: table.model.name, fields: [...fields] });

package/dist/plan-indexes.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"plan-indexes.d.ts","sourceRoot":"","sources":["../src/plan-indexes.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,IAAI,EAAS,MAAM,iBAAiB,CAAA;AAElD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;AAkBlD,qDAAqD;AACrD,wBAAgB,WAAW,CAC1B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,aAAa,EACnB,EAAE,EAAE,aAAa,EACjB,IAAI,EAAE,IAAI,GACR,IAAI,CAoBN;AAED,sDAAsD;AACtD,eAAO,MAAM,YAAY,SAClB,aAAa,GAAG,SAAS,MAC3B,aAAa,KACf,OAA8D,CAAA;AAEjE;;;GAGG;AACH,wBAAgB,UAAU,CACzB,IAAI,EAAE,MAAM,EACZ,GAAG,EAAE,aAAa,GAAG,SAAS,EAC9B,KAAK,EAAE,aAAa,EACpB,IAAI,EAAE,IAAI,GACR,IAAI,CAgCN"}
+{"version":3,"file":"plan-indexes.d.ts","sourceRoot":"","sources":["../src/plan-indexes.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,IAAI,EAAS,MAAM,iBAAiB,CAAA;AAElD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;AAkClD,qDAAqD;AACrD,wBAAgB,WAAW,CAC1B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,aAAa,EACnB,EAAE,EAAE,aAAa,EACjB,IAAI,EAAE,IAAI,GACR,IAAI,CA2BN;AAED,sDAAsD;AACtD,eAAO,MAAM,YAAY,SAClB,aAAa,GAAG,SAAS,MAC3B,aAAa,KACf,OAA8D,CAAA;AAEjE;;;GAGG;AACH,wBAAgB,UAAU,CACzB,IAAI,EAAE,MAAM,EACZ,GAAG,EAAE,aAAa,GAAG,SAAS,EAC9B,KAAK,EAAE,aAAa,EACpB,IAAI,EAAE,IAAI,GACR,IAAI,CA4CN"}

package/dist/plan-indexes.js

@@ -1,8 +1,8 @@
 // The indexes a plan drops and creates: B-tree, GIN on a list (D-120),
-// trigram for `contains` (D-141), and the `_search` column with its GIN
-// index (D-148).
+// trigram for `contains` (D-141), the `_search` column with its GIN index
+// (D-148), and the unique indexes of case-insensitive keys (D-170).
 import { literal } from './fills.js';
-import { added, changed, fields, id, list, same } from './plan-parts.js';
+import { added, changed, fields, id, keyOf, list, same } from './plan-parts.js';
 const indexesOf = (table) => Object.fromEntries(Object.entries(table?.indexes ?? {}).map(([key, columns]) => [
     key,
     {
@@ -10,6 +10,16 @@ const indexesOf = (table) => Object.fromEntries(Object.entries(table?.indexes ??
         gin: columns.some((name) => table?.columns[name]?.type.endsWith('[]') === true),
     },
 ]));
+/**
+ * A case-insensitive key's columns, a text one lowered under the database's
+ * collation, as an insensitive equality reads it (D-170).
+ */
+const lowersOf = (table) => Object.fromEntries(Object.entries(table?.lowerUniques ?? {}).map(([key, columns]) => [
+    key,
+    columns.map((column) => table?.columns[column]?.type === 'text collate "C"'
+        ? `lower(${id(column)} collate "default")`
+        : id(column)),
+]));
 /** Drops the indexes of `from` that `to` changes. */
 export function dropIndexes(name, from, to, emit) {
     for (const [key, { columns }] of changed(indexesOf(from), indexesOf(to))) {
@@ -18,6 +28,10 @@ export function dropIndexes(name, from, to, emit) {
     for (const [key, column] of changed(from.trigrams, to.trigrams)) {
         emit(`drop index ${id(key)}`, `dropped the contains index on ${fields(from, [column])}`);
     }
+    for (const [key] of changed(lowersOf(from), lowersOf(to))) {
+        const columns = from.lowerUniques?.[key] ?? [];
+        emit(`drop index ${id(key)}`, `dropped the case-insensitive unique key on ${fields(from, columns)}`);
+    }
     // A generated column holds nothing of its own: a change makes it again.
     if (from.search !== null && !same(from.search, to.search)) {
         emit(`alter table ${id(name)} drop column "_search"`, `dropped the search on ${fields(from, from.search.columns)}`);
@@ -36,6 +50,14 @@ export function addIndexes(name, was, table, emit) {
     for (const [key, column] of added(was?.trigrams ?? {}, table.trigrams)) {
         emit(`create index ${id(key)} on ${id(name)} using gin ((${id(column)} collate "default") gin_trgm_ops)`, `indexed ${fields(table, [column])} for contains`);
     }
+    for (const [key, lowered] of added(lowersOf(was), lowersOf(table))) {
+        const columns = table.lowerUniques?.[key] ?? [];
+        emit(`create unique index ${id(key)} on ${id(name)} (${lowered.join(', ')})`, `added a case-insensitive unique key on ${fields(table, columns)}`, was === undefined
+            ? {}
+            : {
+                tries: `a case-insensitive unique key on ${keyOf(table, columns)} fails when two rows share a value regardless of case`,
+            });
+    }
     const { search } = table;
     if (search === null || (was !== undefined && same(was.search, search))) {
         return;

package/dist/plan-parts.d.ts

@@ -13,4 +13,6 @@ export declare const changed: <T>(from: Named<T>, to: Named<T>) => [string, T][]
 export declare const added: <T>(from: Named<T>, to: Named<T>) => [string, T][];
 /** The model's names for columns, which messages use. */
 export declare const fields: (table: TableSnapshot, columns: readonly string[]) => string;
+/** A key's model and fields, as `User (username)`. */
+export declare const keyOf: (table: TableSnapshot, columns: readonly string[]) => string;
 //# sourceMappingURL=plan-parts.d.ts.map

package/dist/plan-parts.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"plan-parts.d.ts","sourceRoot":"","sources":["../src/plan-parts.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAC3C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;AAElD,eAAO,MAAM,EAAE,SAAU,MAAM,KAAG,MAA2C,CAAA;AAE7E,eAAO,MAAM,IAAI,UAAW,SAAS,MAAM,EAAE,KAAG,MACvB,CAAA;AAEzB,eAAO,MAAM,IAAI,MAAO,OAAO,KAAK,OAAO,KAAG,OACN,CAAA;AAExC,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI;IAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,CAAC,CAAA;CAAE,CAAA;AAErD,MAAM,MAAM,IAAI,GAAG,CAClB,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,MAAM,EACZ,IAAI,CAAC,EAAE,IAAI,CAAC,SAAS,EAAE,OAAO,GAAG,OAAO,GAAG,QAAQ,CAAC,KAChD,IAAI,CAAA;AAET,kEAAkE;AAClE,eAAO,MAAM,OAAO,GAAI,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,KAAG,CAAC,MAAM,EAAE,CAAC,CAAC,EACE,CAAA;AAEvE,kEAAkE;AAClE,eAAO,MAAM,KAAK,GAAI,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,KAAG,CAAC,MAAM,EAAE,CAAC,CAAC,EACjD,CAAA;AAElB,yDAAyD;AACzD,eAAO,MAAM,MAAM,UACX,aAAa,WACX,SAAS,MAAM,EAAE,KACxB,MACwE,CAAA"}
+{"version":3,"file":"plan-parts.d.ts","sourceRoot":"","sources":["../src/plan-parts.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAC3C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;AAElD,eAAO,MAAM,EAAE,SAAU,MAAM,KAAG,MAA2C,CAAA;AAE7E,eAAO,MAAM,IAAI,UAAW,SAAS,MAAM,EAAE,KAAG,MACvB,CAAA;AAEzB,eAAO,MAAM,IAAI,MAAO,OAAO,KAAK,OAAO,KAAG,OACN,CAAA;AAExC,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI;IAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,CAAC,CAAA;CAAE,CAAA;AAErD,MAAM,MAAM,IAAI,GAAG,CAClB,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,MAAM,EACZ,IAAI,CAAC,EAAE,IAAI,CAAC,SAAS,EAAE,OAAO,GAAG,OAAO,GAAG,QAAQ,CAAC,KAChD,IAAI,CAAA;AAET,kEAAkE;AAClE,eAAO,MAAM,OAAO,GAAI,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,KAAG,CAAC,MAAM,EAAE,CAAC,CAAC,EACE,CAAA;AAEvE,kEAAkE;AAClE,eAAO,MAAM,KAAK,GAAI,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,KAAG,CAAC,MAAM,EAAE,CAAC,CAAC,EACjD,CAAA;AAElB,yDAAyD;AACzD,eAAO,MAAM,MAAM,UACX,aAAa,WACX,SAAS,MAAM,EAAE,KACxB,MACwE,CAAA;AAE3E,sDAAsD;AACtD,eAAO,MAAM,KAAK,UACV,aAAa,WACX,SAAS,MAAM,EAAE,KACxB,MAAsD,CAAA"}

package/dist/plan-parts.js

@@ -7,3 +7,5 @@ export const changed = (from, to) => Object.entries(from).filter(([name, value])
 export const added = (from, to) => changed(to, from);
 /** The model's names for columns, which messages use. */
 export const fields = (table, columns) => columns.map((column) => table.columns[column]?.field ?? column).join(', ');
+/** A key's model and fields, as `User (username)`. */
+export const keyOf = (table, columns) => `${table.model} (${fields(table, columns)})`;

package/dist/plan.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"plan.d.ts","sourceRoot":"","sources":["../src/plan.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAC3C,OAAO,KAAK,EAAQ,KAAK,EAAE,MAAM,YAAY,CAAA;AAK7C,OAAO,KAAK,EAAqB,QAAQ,EAAiB,MAAM,eAAe,CAAA;AA4S/E,kEAAkE;AAClE,wBAAgB,IAAI,CACnB,IAAI,EAAE,QAAQ,GAAG,SAAS,EAC1B,EAAE,EAAE,QAAQ,EACZ,KAAK,EAAE,KAAK,GACV,SAAS,EAAE,CAyEb"}
+{"version":3,"file":"plan.d.ts","sourceRoot":"","sources":["../src/plan.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAC3C,OAAO,KAAK,EAAQ,KAAK,EAAE,MAAM,YAAY,CAAA;AAK7C,OAAO,KAAK,EAAqB,QAAQ,EAAiB,MAAM,eAAe,CAAA;AAyS/E,kEAAkE;AAClE,wBAAgB,IAAI,CACnB,IAAI,EAAE,QAAQ,GAAG,SAAS,EAC1B,EAAE,EAAE,QAAQ,EACZ,KAAK,EAAE,KAAK,GACV,SAAS,EAAE,CAyEb"}

package/dist/plan.js

@@ -1,8 +1,7 @@
 import { literal } from './fills.js';
 import { addIndexes, addsTrigrams, dropIndexes } from './plan-indexes.js';
-import { added, changed, fields, id, list, same } from './plan-parts.js';
+import { added, changed, fields, id, keyOf, list, same } from './plan-parts.js';
 /** A key's columns as a tried change names them: `Locker (label, size)`. */
-const keyOf = (table, columns) => `${table.model} (${fields(table, columns)})`;
 /** An enum's values; a list's elements are among them, with `<@` (D-127). */
 function checked(name, { column, values, list: all }) {
     const items = values.map(literal).join(', ');

package/dist/snapshot-parse.d.ts

@@ -0,0 +1,4 @@
+import type { Snapshot } from './snapshot.ts';
+/** A snapshot read back from a database or a file, checked. */
+export declare function parseSnapshot(value: unknown): Snapshot;
+//# sourceMappingURL=snapshot-parse.d.ts.map

package/dist/snapshot-parse.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"snapshot-parse.d.ts","sourceRoot":"","sources":["../src/snapshot-parse.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAKX,QAAQ,EAER,MAAM,eAAe,CAAA;AA4HtB,+DAA+D;AAC/D,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,QAAQ,CAMtD"}

package/dist/snapshot-parse.js

@@ -0,0 +1,109 @@
+const isRecord = (value) => typeof value === 'object' && value !== null && !Array.isArray(value);
+const isStrings = (value) => Array.isArray(value) && value.every((item) => typeof item === 'string');
+/** Each entry of a record, checked by `read`, or `undefined`. */
+function entries(value, read) {
+    if (!isRecord(value))
+        return undefined;
+    const result = {};
+    for (const [key, item] of Object.entries(value)) {
+        const checked = read(item);
+        if (checked === undefined)
+            return undefined;
+        result[key] = checked;
+    }
+    return result;
+}
+const columnOf = (value) => isRecord(value) &&
+    typeof value['field'] === 'string' &&
+    typeof value['type'] === 'string' &&
+    typeof value['nullable'] === 'boolean'
+    ? {
+        field: value['field'],
+        type: value['type'],
+        nullable: value['nullable'],
+    }
+    : undefined;
+const checkOf = (value) => isRecord(value) &&
+    typeof value['column'] === 'string' &&
+    isStrings(value['values'])
+    ? {
+        column: value['column'],
+        values: value['values'],
+        ...(value['list'] === true ? { list: true } : {}),
+    }
+    : undefined;
+const foreignKeyOf = (value) => isRecord(value) &&
+    typeof value['column'] === 'string' &&
+    typeof value['table'] === 'string' &&
+    typeof value['cascade'] === 'boolean'
+    ? {
+        column: value['column'],
+        table: value['table'],
+        cascade: value['cascade'],
+    }
+    : undefined;
+const stringsOf = (value) => isStrings(value) ? value : undefined;
+/** A search, `null` for none, or `undefined` when it is neither. */
+const searchOf = (value) => value === null
+    ? null
+    : isRecord(value) &&
+        typeof value['index'] === 'string' &&
+        typeof value['language'] === 'string' &&
+        isStrings(value['columns'])
+        ? {
+            index: value['index'],
+            language: value['language'],
+            columns: value['columns'],
+        }
+        : undefined;
+function tableOf(value) {
+    if (!isRecord(value))
+        return undefined;
+    const key = value['primaryKey'];
+    const columns = entries(value['columns'], columnOf);
+    const uniques = entries(value['uniques'], stringsOf);
+    const checks = entries(value['checks'], checkOf);
+    const indexes = entries(value['indexes'], stringsOf);
+    const trigrams = entries(value['trigrams'], (item) => typeof item === 'string' ? item : undefined);
+    const foreignKeys = entries(value['foreignKeys'], foreignKeyOf);
+    const search = searchOf(value['search']);
+    const lower = value['lowerUniques'] === undefined
+        ? {}
+        : entries(value['lowerUniques'], stringsOf);
+    const model = value['model'];
+    if (typeof model !== 'string' ||
+        !isRecord(key) ||
+        typeof key['name'] !== 'string' ||
+        !isStrings(key['columns']) ||
+        columns === undefined ||
+        uniques === undefined ||
+        checks === undefined ||
+        indexes === undefined ||
+        trigrams === undefined ||
+        foreignKeys === undefined ||
+        search === undefined ||
+        lower === undefined) {
+        return undefined;
+    }
+    const primaryKey = { name: key['name'], columns: key['columns'] };
+    return {
+        model,
+        columns,
+        primaryKey,
+        uniques,
+        checks,
+        indexes,
+        trigrams,
+        foreignKeys,
+        search,
+        ...(Object.keys(lower).length > 0 ? { lowerUniques: lower } : {}),
+    };
+}
+/** A snapshot read back from a database or a file, checked. */
+export function parseSnapshot(value) {
+    const tables = isRecord(value) ? entries(value['tables'], tableOf) : undefined;
+    if (!isRecord(value) || value['postgres'] !== 1 || tables === undefined) {
+        throw new Error('The schema snapshot is not one postgres() wrote.');
+    }
+    return { postgres: 1, tables };
+}

package/dist/snapshot.d.ts

@@ -47,6 +47,10 @@ export type TableSnapshot = {
     };
     /** The `_search` column, from these columns, and its GIN index (D-148). */
     readonly search: Search | null;
+    /** The case-insensitive keys' columns, absent when none (D-170). */
+    readonly lowerUniques?: {
+        readonly [name: string]: string[];
+    };
 };
 export type Search = {
     readonly index: string;
@@ -61,6 +65,4 @@ export type Snapshot = {
 };
 /** The snapshot of the catalog's tables, join tables last. */
 export declare function snapshotOf(catalog: Catalog): Snapshot;
-/** A snapshot read back from a database or a file, checked. */
-export declare function parseSnapshot(value: unknown): Snapshot;
 //# sourceMappingURL=snapshot.d.ts.map

package/dist/snapshot.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"snapshot.d.ts","sourceRoot":"","sources":["../src/snapshot.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,OAAO,EAAS,MAAM,YAAY,CAAA;AAIhD,8DAA8D;AAC9D,MAAM,MAAM,MAAM,GAAG;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAC1B,CAAA;AAED,MAAM,MAAM,UAAU,GAAG;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CACzB,CAAA;AAED,iEAAiE;AACjE,MAAM,MAAM,KAAK,GAAG;IACnB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,CAAA;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAA;CACpB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,aAAa,GAAG;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,OAAO,EAAE;QAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAAA;KAAE,CAAA;IACrD,QAAQ,CAAC,UAAU,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,CAAA;KAAE,CAAA;IAC1E,QAAQ,CAAC,OAAO,EAAE;QAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;KAAE,CAAA;IACvD,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,KAAK,CAAA;KAAE,CAAA;IACnD,QAAQ,CAAC,OAAO,EAAE;QAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;KAAE,CAAA;IACvD,sDAAsD;IACtD,QAAQ,CAAC,QAAQ,EAAE;QAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAAA;KAAE,CAAA;IACtD,QAAQ,CAAC,WAAW,EAAE;QAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,UAAU,CAAA;KAAE,CAAA;IAC7D,2EAA2E;IAC3E,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;CAC9B,CAAA;AAED,MAAM,MAAM,MAAM,GAAG;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,CAAA;CAC1B,CAAA;AAED,MAAM,MAAM,QAAQ,GAAG;IACtB,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAA;IACpB,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,aAAa,CAAA;KAAE,CAAA;CAC3D,CAAA;AA8HD,8DAA8D;AAC9D,wBAAgB,UAAU,CAAC,OAAO,EAAE,OAAO,GAAG,QAAQ,CAkFrD;AAsHD,+DAA+D;AAC/D,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,QAAQ,CAMtD"}
+{"version":3,"file":"snapshot.d.ts","sourceRoot":"","sources":["../src/snapshot.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,OAAO,EAAS,MAAM,YAAY,CAAA;AAIhD,8DAA8D;AAC9D,MAAM,MAAM,MAAM,GAAG;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAC1B,CAAA;AAED,MAAM,MAAM,UAAU,GAAG;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CACzB,CAAA;AAED,iEAAiE;AACjE,MAAM,MAAM,KAAK,GAAG;IACnB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,CAAA;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAA;CACpB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,aAAa,GAAG;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,OAAO,EAAE;QAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAAA;KAAE,CAAA;IACrD,QAAQ,CAAC,UAAU,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,CAAA;KAAE,CAAA;IAC1E,QAAQ,CAAC,OAAO,EAAE;QAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;KAAE,CAAA;IACvD,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,KAAK,CAAA;KAAE,CAAA;IACnD,QAAQ,CAAC,OAAO,EAAE;QAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;KAAE,CAAA;IACvD,sDAAsD;IACtD,QAAQ,CAAC,QAAQ,EAAE;QAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAAA;KAAE,CAAA;IACtD,QAAQ,CAAC,WAAW,EAAE;QAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,UAAU,CAAA;KAAE,CAAA;IAC7D,2EAA2E;IAC3E,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;IAC9B,oEAAoE;IACpE,QAAQ,CAAC,YAAY,CAAC,EAAE;QAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;KAAE,CAAA;CAC7D,CAAA;AAED,MAAM,MAAM,MAAM,GAAG;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,CAAA;CAC1B,CAAA;AAED,MAAM,MAAM,QAAQ,GAAG;IACtB,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAA;IACpB,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,aAAa,CAAA;KAAE,CAAA;CAC3D,CAAA;AA+HD,8DAA8D;AAC9D,wBAAgB,UAAU,CAAC,OAAO,EAAE,OAAO,GAAG,QAAQ,CAsFrD"}

package/dist/snapshot.js

@@ -105,9 +105,16 @@ export function snapshotOf(catalog) {
             field(catalog, claims, table, building, given);
         }
         const [, ...uniques] = table.uniques;
-        for (const { name, fields } of uniques) {
-            const what = `the unique key on ${on(model, fields)}`;
-            building.uniques[schema(name, what)] = fields.map((given) => catalog.column(table, given));
+        for (const { name, fields, lower } of uniques) {
+            const key = `unique key on ${on(model, fields)}`;
+            const columns = fields.map((given) => catalog.column(table, given));
+            if (lower === undefined) {
+                building.uniques[schema(name, `the ${key}`)] = columns;
+            }
+            else {
+                const claimed = schema(name, `the case-insensitive ${key}`);
+                (building.lowerUniques ??= {})[claimed] = columns;
+            }
         }
         for (const { fields, unique, contains } of table.model.indexes) {
             if (unique)
@@ -166,107 +173,3 @@ export function snapshotOf(catalog) {
     }
     return { postgres: 1, tables };
 }
-const isRecord = (value) => typeof value === 'object' && value !== null && !Array.isArray(value);
-const isStrings = (value) => Array.isArray(value) && value.every((item) => typeof item === 'string');
-/** Each entry of a record, checked by `read`, or `undefined`. */
-function entries(value, read) {
-    if (!isRecord(value))
-        return undefined;
-    const result = {};
-    for (const [key, item] of Object.entries(value)) {
-        const checked = read(item);
-        if (checked === undefined)
-            return undefined;
-        result[key] = checked;
-    }
-    return result;
-}
-const columnOf = (value) => isRecord(value) &&
-    typeof value['field'] === 'string' &&
-    typeof value['type'] === 'string' &&
-    typeof value['nullable'] === 'boolean'
-    ? {
-        field: value['field'],
-        type: value['type'],
-        nullable: value['nullable'],
-    }
-    : undefined;
-const checkOf = (value) => isRecord(value) &&
-    typeof value['column'] === 'string' &&
-    isStrings(value['values'])
-    ? {
-        column: value['column'],
-        values: value['values'],
-        ...(value['list'] === true ? { list: true } : {}),
-    }
-    : undefined;
-const foreignKeyOf = (value) => isRecord(value) &&
-    typeof value['column'] === 'string' &&
-    typeof value['table'] === 'string' &&
-    typeof value['cascade'] === 'boolean'
-    ? {
-        column: value['column'],
-        table: value['table'],
-        cascade: value['cascade'],
-    }
-    : undefined;
-const stringsOf = (value) => isStrings(value) ? value : undefined;
-/** A search, `null` for none, or `undefined` when it is neither. */
-const searchOf = (value) => value === null
-    ? null
-    : isRecord(value) &&
-        typeof value['index'] === 'string' &&
-        typeof value['language'] === 'string' &&
-        isStrings(value['columns'])
-        ? {
-            index: value['index'],
-            language: value['language'],
-            columns: value['columns'],
-        }
-        : undefined;
-function tableOf(value) {
-    if (!isRecord(value))
-        return undefined;
-    const key = value['primaryKey'];
-    const columns = entries(value['columns'], columnOf);
-    const uniques = entries(value['uniques'], stringsOf);
-    const checks = entries(value['checks'], checkOf);
-    const indexes = entries(value['indexes'], stringsOf);
-    const trigrams = entries(value['trigrams'], (item) => typeof item === 'string' ? item : undefined);
-    const foreignKeys = entries(value['foreignKeys'], foreignKeyOf);
-    const search = searchOf(value['search']);
-    const model = value['model'];
-    if (typeof model !== 'string' ||
-        !isRecord(key) ||
-        typeof key['name'] !== 'string' ||
-        !isStrings(key['columns']) ||
-        columns === undefined ||
-        uniques === undefined ||
-        checks === undefined ||
-        indexes === undefined ||
-        trigrams === undefined ||
-        foreignKeys === undefined ||
-        search === undefined) {
-        return undefined;
-    }
-    const primaryKey = { name: key['name'], columns: key['columns'] };
-    return {
-        model,
-        columns,
-        primaryKey,
-        uniques,
-        checks,
-        indexes,
-        trigrams,
-        foreignKeys,
-        search,
-    };
-}
-/** A snapshot read back from a database or a file, checked. */
-export function parseSnapshot(value) {
-    const tables = isRecord(value) ? entries(value['tables'], tableOf) : undefined;
-    if (!isRecord(value) || value['postgres'] !== 1 || tables === undefined) {
-        throw new Error('The schema snapshot is not one postgres() wrote.');
-    }
-    return { postgres: 1, tables };
-}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@ultimabase/postgres",
-  "version": "0.1.2",
+  "version": "0.3.0-canary.20261031104207",
   "description": "The PostgreSQL adapter for UltimaBase.",
   "type": "module",
   "license": "Apache-2.0",
@@ -36,12 +36,12 @@
     "pg-connection-string": "2.14.1"
   },
   "peerDependencies": {
-    "ultimabase": "^0.1.2"
+    "ultimabase": "0.3.0-canary.20261031104207"
   },
   "devDependencies": {
     "@types/pg": "8.23.1",
-    "@ultimabase/testing": "0.1.2",
-    "ultimabase": "0.1.2",
+    "@ultimabase/testing": "0.3.0-canary.20261031104207",
+    "ultimabase": "0.3.0-canary.20261031104207",
     "vite": "8.3.4",
     "vitest": "5.0.5"
   }

package/src/adapter.ts

@@ -39,7 +39,8 @@ import {
 	scratchName,
 	trigrams,
 } from './scratch.ts'
-import { parseSnapshot, snapshotOf } from './snapshot.ts'
+import { parseSnapshot } from './snapshot-parse.ts'
+import { snapshotOf } from './snapshot.ts'
 import type { Statement } from './write.ts'
 import { compileWrite, translate } from './write.ts'
 

package/src/filter.ts

@@ -193,11 +193,21 @@ export class Filters {
 		condition: Condition,
 	): Sql {
 		const column = this.column(table, alias, name)
-		return this.compare(column, this.catalog.kind(table, name), condition)
+		const kind = this.catalog.kind(table, name)
+		const lowered =
+			(kind === 'string' || kind === 'enum') &&
+			table.uniques.some(
+				(unique) => unique.lower === true && unique.fields.includes(name),
+			)
+		return this.compare(column, kind, condition, lowered)
 	}
 
-	/** A value of `kind`, a column or an aggregate (D-149), meets `condition`. */
-	compare(column: Sql, kind: Kind, condition: Condition): Sql {
+	/**
+	 * A value of `kind`, a column or an aggregate (D-149), meets `condition`;
+	 * a `lowered` column's insensitive equality reads its case-insensitive
+	 * key's index (D-170).
+	 */
+	compare(column: Sql, kind: Kind, condition: Condition, lowered = false): Sql {
 		if (condition.path !== undefined) return jsonPath(column, condition)
 		// An id matches and compares as its string, as in `memory()`.
 		const cast = kind === 'id' ? sql`cast(${column} as text)` : column
@@ -218,9 +228,11 @@ export class Filters {
 					const equal =
 						operand === null
 							? sql`${column} is null`
-							: insensitive
-								? sql`${text} ilike ${pattern(operand, '', '')}`
-								: this.equal(column, kind, operand)
+							: lowered && insensitive
+								? sql`lower(${collated}) = lower(cast(${operand} as text))`
+								: insensitive
+									? sql`${text} ilike ${pattern(operand, '', '')}`
+									: this.equal(column, kind, operand)
 					parts.push(operator === 'equals' ? equal : sql`(not ${equal})`)
 					break
 				}

package/src/migrations.ts

@@ -7,7 +7,7 @@ import { parse } from 'pg-connection-string'
 import type { Migration, Run, Stored } from 'ultimabase'
 import { isLocalHost, MigrationFailed, Refused } from 'ultimabase'
 import { id } from './plan-parts.ts'
-import { parseSnapshot } from './snapshot.ts'
+import { parseSnapshot } from './snapshot-parse.ts'
 
 /** The tables UltimaBase keeps its own records in. */
 export const tables: readonly string[] = [

package/src/names.ts

@@ -14,13 +14,18 @@ export type Kind =
 export type Unique = {
 	readonly name: string
 	readonly fields: readonly string[]
+	/** A case-insensitive key compares its text columns lowered (D-170). */
+	readonly lower?: true
 }
 
 export type Table = {
 	readonly name: string
 	readonly model: SchemaModel
 	readonly fields: ReadonlyMap<string, SchemaField>
-	/** The primary key, unique fields, unique indexes, one-to-one keys. */
+	/**
+	 * The primary key, unique fields, unique indexes, one-to-one keys, and
+	 * the case-insensitive keys (D-170).
+	 */
 	readonly uniques: readonly Unique[]
 }
 
@@ -88,23 +93,24 @@ export class Catalog {
 		this.tables = tables
 		const uniques = new Map<string, { model: string; fields: string[] }>()
 		for (const table of tables.values()) {
-			const sets: (readonly string[])[] = [['id']]
+			const sets: { fields: readonly string[]; lower: boolean }[] = [
+				{ fields: ['id'], lower: false },
+			]
 			for (const field of table.model.fields) {
 				const stored =
 					field.kind === 'scalar' || (field.kind === 'one' && field.stored)
-				if (stored && field.unique) sets.push([field.name])
+				if (stored && field.unique)
+					sets.push({ fields: [field.name], lower: false })
 			}
-			for (const index of table.model.indexes) {
-				if (index.unique) sets.push(index.fields)
+			for (const { unique, fields, mode } of table.model.indexes) {
+				if (unique) sets.push({ fields, lower: mode === 'insensitive' })
 			}
-			const named = sets.map((fields, at) => ({
-				name: constraint(
-					at === 0
-						? `${table.name}_pkey`
-						: `${table.name}_${fields.map((field) => this.column(table, field)).join('_')}_key`,
-				),
-				fields,
-			}))
+			const named = sets.map(({ fields, lower }, at) => {
+				const columns = fields.map((field) => this.column(table, field))
+				const key = `${table.name}_${columns.join('_')}${lower ? '_lower' : ''}_key`
+				const name = constraint(at === 0 ? `${table.name}_pkey` : key)
+				return lower ? { name, fields, lower } : { name, fields }
+			})
 			tables.set(table.model.name, { ...table, uniques: named })
 			for (const { name, fields } of named) {
 				uniques.set(name, { model: table.model.name, fields: [...fields] })

package/src/plan-indexes.ts

@@ -1,9 +1,9 @@
 // The indexes a plan drops and creates: B-tree, GIN on a list (D-120),
-// trigram for `contains` (D-141), and the `_search` column with its GIN
-// index (D-148).
+// trigram for `contains` (D-141), the `_search` column with its GIN index
+// (D-148), and the unique indexes of case-insensitive keys (D-170).
 import { literal } from './fills.ts'
 import type { Emit, Named } from './plan-parts.ts'
-import { added, changed, fields, id, list, same } from './plan-parts.ts'
+import { added, changed, fields, id, keyOf, list, same } from './plan-parts.ts'
 import type { TableSnapshot } from './snapshot.ts'
 
 /** An index, by GIN on a list (D-120, D-127): its column's type decides. */
@@ -22,6 +22,22 @@ const indexesOf = (table: TableSnapshot | undefined): Named<Index> =>
 		]),
 	)
 
+/**
+ * A case-insensitive key's columns, a text one lowered under the database's
+ * collation, as an insensitive equality reads it (D-170).
+ */
+const lowersOf = (table: TableSnapshot | undefined): Named<string[]> =>
+	Object.fromEntries(
+		Object.entries(table?.lowerUniques ?? {}).map(([key, columns]) => [
+			key,
+			columns.map((column) =>
+				table?.columns[column]?.type === 'text collate "C"'
+					? `lower(${id(column)} collate "default")`
+					: id(column),
+			),
+		]),
+	)
+
 /** Drops the indexes of `from` that `to` changes. */
 export function dropIndexes(
 	name: string,
@@ -41,6 +57,13 @@ export function dropIndexes(
 			`dropped the contains index on ${fields(from, [column])}`,
 		)
 	}
+	for (const [key] of changed(lowersOf(from), lowersOf(to))) {
+		const columns = from.lowerUniques?.[key] ?? []
+		emit(
+			`drop index ${id(key)}`,
+			`dropped the case-insensitive unique key on ${fields(from, columns)}`,
+		)
+	}
 	// A generated column holds nothing of its own: a change makes it again.
 	if (from.search !== null && !same(from.search, to.search)) {
 		emit(
@@ -81,6 +104,18 @@ export function addIndexes(
 			`indexed ${fields(table, [column])} for contains`,
 		)
 	}
+	for (const [key, lowered] of added(lowersOf(was), lowersOf(table))) {
+		const columns = table.lowerUniques?.[key] ?? []
+		emit(
+			`create unique index ${id(key)} on ${id(name)} (${lowered.join(', ')})`,
+			`added a case-insensitive unique key on ${fields(table, columns)}`,
+			was === undefined
+				? {}
+				: {
+						tries: `a case-insensitive unique key on ${keyOf(table, columns)} fails when two rows share a value regardless of case`,
+					},
+		)
+	}
 	const { search } = table
 	if (search === null || (was !== undefined && same(was.search, search))) {
 		return

package/src/plan-parts.ts

@@ -33,3 +33,9 @@ export const fields = (
 	columns: readonly string[],
 ): string =>
 	columns.map((column) => table.columns[column]?.field ?? column).join(', ')
+
+/** A key's model and fields, as `User (username)`. */
+export const keyOf = (
+	table: TableSnapshot,
+	columns: readonly string[],
+): string => `${table.model} (${fields(table, columns)})`

package/src/plan.ts

@@ -7,13 +7,10 @@ import type { Fill, Fills } from './fills.ts'
 import { literal } from './fills.ts'
 import { addIndexes, addsTrigrams, dropIndexes } from './plan-indexes.ts'
 import type { Emit, Named } from './plan-parts.ts'
-import { added, changed, fields, id, list, same } from './plan-parts.ts'
+import { added, changed, fields, id, keyOf, list, same } from './plan-parts.ts'
 import type { Check, ForeignKey, Snapshot, TableSnapshot } from './snapshot.ts'
 
 /** A key's columns as a tried change names them: `Locker (label, size)`. */
-const keyOf = (table: TableSnapshot, columns: readonly string[]): string =>
-	`${table.model} (${fields(table, columns)})`
-
 /** An enum's values; a list's elements are among them, with `<@` (D-127). */
 function checked(name: string, { column, values, list: all }: Check): string {
 	const items = values.map(literal).join(', ')

package/src/snapshot-parse.ts

@@ -0,0 +1,141 @@
+// A snapshot read back from a database or `migrations/schema.json` (D-105),
+// checked; a key 0.2 did not write is optional (D-170).
+import type {
+	Check,
+	Column,
+	ForeignKey,
+	Search,
+	Snapshot,
+	TableSnapshot,
+} from './snapshot.ts'
+
+const isRecord = (value: unknown): value is Record<string, unknown> =>
+	typeof value === 'object' && value !== null && !Array.isArray(value)
+
+const isStrings = (value: unknown): value is string[] =>
+	Array.isArray(value) && value.every((item) => typeof item === 'string')
+
+/** Each entry of a record, checked by `read`, or `undefined`. */
+function entries<T>(
+	value: unknown,
+	read: (item: unknown) => T | undefined,
+): Record<string, T> | undefined {
+	if (!isRecord(value)) return undefined
+	const result: Record<string, T> = {}
+	for (const [key, item] of Object.entries(value)) {
+		const checked = read(item)
+		if (checked === undefined) return undefined
+		result[key] = checked
+	}
+	return result
+}
+
+const columnOf = (value: unknown): Column | undefined =>
+	isRecord(value) &&
+	typeof value['field'] === 'string' &&
+	typeof value['type'] === 'string' &&
+	typeof value['nullable'] === 'boolean'
+		? {
+				field: value['field'],
+				type: value['type'],
+				nullable: value['nullable'],
+			}
+		: undefined
+
+const checkOf = (value: unknown): Check | undefined =>
+	isRecord(value) &&
+	typeof value['column'] === 'string' &&
+	isStrings(value['values'])
+		? {
+				column: value['column'],
+				values: value['values'],
+				...(value['list'] === true ? { list: true as const } : {}),
+			}
+		: undefined
+
+const foreignKeyOf = (value: unknown): ForeignKey | undefined =>
+	isRecord(value) &&
+	typeof value['column'] === 'string' &&
+	typeof value['table'] === 'string' &&
+	typeof value['cascade'] === 'boolean'
+		? {
+				column: value['column'],
+				table: value['table'],
+				cascade: value['cascade'],
+			}
+		: undefined
+
+const stringsOf = (value: unknown): string[] | undefined =>
+	isStrings(value) ? value : undefined
+
+/** A search, `null` for none, or `undefined` when it is neither. */
+const searchOf = (value: unknown): Search | null | undefined =>
+	value === null
+		? null
+		: isRecord(value) &&
+			  typeof value['index'] === 'string' &&
+			  typeof value['language'] === 'string' &&
+			  isStrings(value['columns'])
+			? {
+					index: value['index'],
+					language: value['language'],
+					columns: value['columns'],
+				}
+			: undefined
+
+function tableOf(value: unknown): TableSnapshot | undefined {
+	if (!isRecord(value)) return undefined
+	const key = value['primaryKey']
+	const columns = entries(value['columns'], columnOf)
+	const uniques = entries(value['uniques'], stringsOf)
+	const checks = entries(value['checks'], checkOf)
+	const indexes = entries(value['indexes'], stringsOf)
+	const trigrams = entries(value['trigrams'], (item) =>
+		typeof item === 'string' ? item : undefined,
+	)
+	const foreignKeys = entries(value['foreignKeys'], foreignKeyOf)
+	const search = searchOf(value['search'])
+	const lower =
+		value['lowerUniques'] === undefined
+			? {}
+			: entries(value['lowerUniques'], stringsOf)
+	const model = value['model']
+	if (
+		typeof model !== 'string' ||
+		!isRecord(key) ||
+		typeof key['name'] !== 'string' ||
+		!isStrings(key['columns']) ||
+		columns === undefined ||
+		uniques === undefined ||
+		checks === undefined ||
+		indexes === undefined ||
+		trigrams === undefined ||
+		foreignKeys === undefined ||
+		search === undefined ||
+		lower === undefined
+	) {
+		return undefined
+	}
+	const primaryKey = { name: key['name'], columns: key['columns'] }
+	return {
+		model,
+		columns,
+		primaryKey,
+		uniques,
+		checks,
+		indexes,
+		trigrams,
+		foreignKeys,
+		search,
+		...(Object.keys(lower).length > 0 ? { lowerUniques: lower } : {}),
+	}
+}
+
+/** A snapshot read back from a database or a file, checked. */
+export function parseSnapshot(value: unknown): Snapshot {
+	const tables = isRecord(value) ? entries(value['tables'], tableOf) : undefined
+	if (!isRecord(value) || value['postgres'] !== 1 || tables === undefined) {
+		throw new Error('The schema snapshot is not one postgres() wrote.')
+	}
+	return { postgres: 1, tables }
+}

package/src/snapshot.ts

@@ -42,6 +42,8 @@ export type TableSnapshot = {
 	readonly foreignKeys: { readonly [name: string]: ForeignKey }
 	/** The `_search` column, from these columns, and its GIN index (D-148). */
 	readonly search: Search | null
+	/** The case-insensitive keys' columns, absent when none (D-170). */
+	readonly lowerUniques?: { readonly [name: string]: string[] }
 }
 
 export type Search = {
@@ -83,6 +85,7 @@ type Building = {
 	trigrams: Record<string, string>
 	foreignKeys: Record<string, ForeignKey>
 	search: Search | null
+	lowerUniques?: Record<string, string[]>
 }
 
 type Claim = (name: string, what: string) => string
@@ -200,11 +203,15 @@ export function snapshotOf(catalog: Catalog): Snapshot {
 			field(catalog, claims, table, building, given)
 		}
 		const [, ...uniques] = table.uniques
-		for (const { name, fields } of uniques) {
-			const what = `the unique key on ${on(model, fields)}`
-			building.uniques[schema(name, what)] = fields.map((given) =>
-				catalog.column(table, given),
-			)
+		for (const { name, fields, lower } of uniques) {
+			const key = `unique key on ${on(model, fields)}`
+			const columns = fields.map((given) => catalog.column(table, given))
+			if (lower === undefined) {
+				building.uniques[schema(name, `the ${key}`)] = columns
+			} else {
+				const claimed = schema(name, `the case-insensitive ${key}`)
+				;(building.lowerUniques ??= {})[claimed] = columns
+			}
 		}
 		for (const { fields, unique, contains } of table.model.indexes) {
 			if (unique) continue
@@ -263,128 +270,3 @@ export function snapshotOf(catalog: Catalog): Snapshot {
 	}
 	return { postgres: 1, tables }
 }
-
-const isRecord = (value: unknown): value is Record<string, unknown> =>
-	typeof value === 'object' && value !== null && !Array.isArray(value)
-
-const isStrings = (value: unknown): value is string[] =>
-	Array.isArray(value) && value.every((item) => typeof item === 'string')
-
-/** Each entry of a record, checked by `read`, or `undefined`. */
-function entries<T>(
-	value: unknown,
-	read: (item: unknown) => T | undefined,
-): Record<string, T> | undefined {
-	if (!isRecord(value)) return undefined
-	const result: Record<string, T> = {}
-	for (const [key, item] of Object.entries(value)) {
-		const checked = read(item)
-		if (checked === undefined) return undefined
-		result[key] = checked
-	}
-	return result
-}
-
-const columnOf = (value: unknown): Column | undefined =>
-	isRecord(value) &&
-	typeof value['field'] === 'string' &&
-	typeof value['type'] === 'string' &&
-	typeof value['nullable'] === 'boolean'
-		? {
-				field: value['field'],
-				type: value['type'],
-				nullable: value['nullable'],
-			}
-		: undefined
-
-const checkOf = (value: unknown): Check | undefined =>
-	isRecord(value) &&
-	typeof value['column'] === 'string' &&
-	isStrings(value['values'])
-		? {
-				column: value['column'],
-				values: value['values'],
-				...(value['list'] === true ? { list: true as const } : {}),
-			}
-		: undefined
-
-const foreignKeyOf = (value: unknown): ForeignKey | undefined =>
-	isRecord(value) &&
-	typeof value['column'] === 'string' &&
-	typeof value['table'] === 'string' &&
-	typeof value['cascade'] === 'boolean'
-		? {
-				column: value['column'],
-				table: value['table'],
-				cascade: value['cascade'],
-			}
-		: undefined
-
-const stringsOf = (value: unknown): string[] | undefined =>
-	isStrings(value) ? value : undefined
-
-/** A search, `null` for none, or `undefined` when it is neither. */
-const searchOf = (value: unknown): Search | null | undefined =>
-	value === null
-		? null
-		: isRecord(value) &&
-			  typeof value['index'] === 'string' &&
-			  typeof value['language'] === 'string' &&
-			  isStrings(value['columns'])
-			? {
-					index: value['index'],
-					language: value['language'],
-					columns: value['columns'],
-				}
-			: undefined
-
-function tableOf(value: unknown): TableSnapshot | undefined {
-	if (!isRecord(value)) return undefined
-	const key = value['primaryKey']
-	const columns = entries(value['columns'], columnOf)
-	const uniques = entries(value['uniques'], stringsOf)
-	const checks = entries(value['checks'], checkOf)
-	const indexes = entries(value['indexes'], stringsOf)
-	const trigrams = entries(value['trigrams'], (item) =>
-		typeof item === 'string' ? item : undefined,
-	)
-	const foreignKeys = entries(value['foreignKeys'], foreignKeyOf)
-	const search = searchOf(value['search'])
-	const model = value['model']
-	if (
-		typeof model !== 'string' ||
-		!isRecord(key) ||
-		typeof key['name'] !== 'string' ||
-		!isStrings(key['columns']) ||
-		columns === undefined ||
-		uniques === undefined ||
-		checks === undefined ||
-		indexes === undefined ||
-		trigrams === undefined ||
-		foreignKeys === undefined ||
-		search === undefined
-	) {
-		return undefined
-	}
-	const primaryKey = { name: key['name'], columns: key['columns'] }
-	return {
-		model,
-		columns,
-		primaryKey,
-		uniques,
-		checks,
-		indexes,
-		trigrams,
-		foreignKeys,
-		search,
-	}
-}
-
-/** A snapshot read back from a database or a file, checked. */
-export function parseSnapshot(value: unknown): Snapshot {
-	const tables = isRecord(value) ? entries(value['tables'], tableOf) : undefined
-	if (!isRecord(value) || value['postgres'] !== 1 || tables === undefined) {
-		throw new Error('The schema snapshot is not one postgres() wrote.')
-	}
-	return { postgres: 1, tables }
-}