@quereus/quereus 4.11.0 → 4.12.0

package/dist/src/runtime/strict-representation.d.ts

@@ -1,6 +1,6 @@
 import { QuereusError } from '../common/errors.js';
-import { type DeepReadonly, type Row, type SqlValue } from '../common/types.js';
-import { type LogicalType } from '../types/logical-type.js';
+import { type Row, type SqlValue } from '../common/types.js';
+import { type DeclaredType } from '../types/representation.js';
 /**
  * Off-by-default physical-representation assertions (`QUEREUS_REPR_STRICT`).
  *
@@ -30,6 +30,12 @@ import { type LogicalType } from '../types/logical-type.js';
  * `null` is always admissible: nullability is `not null` constraint enforcement's
  * job and lives elsewhere.
  *
+ * R2's predicate itself lives one layer down, in `types/representation.ts`
+ * ({@link conformsToType}), because the DML write path needs the same answer: its
+ * static-type skip is guarded by "does the value actually inhabit the column's type"
+ * (see `buildCellCoercion` in `types/validation.ts`). This checker and that guard must
+ * never come to disagree about what conforms, so there is one definition.
+ *
  * **No capability flag.** A `representationFidelity` declaration on
  * `VirtualTableModule` was considered and rejected — nothing would BEHAVE differently
  * based on it, since the engine tolerates both numeric forms everywhere and will
@@ -41,11 +47,10 @@ import { type LogicalType } from '../types/logical-type.js';
  * nothing is built at emit time on this module's behalf.
  */
 /**
- * A declared type as this checker reads it. Only `name` and `physicalType` are
- * consulted, and the parameter is `DeepReadonly` so both a raw `LogicalType` (column
- * schema) and the frozen one a `ScalarType` carries are accepted without a cast.
+ * A declared type as this checker reads it. Defined alongside the R2 predicate in
+ * `types/representation.ts` and re-exported here for the checker's existing importers.
  */
-export type DeclaredType = DeepReadonly<LogicalType>;
+export type { DeclaredType };
 /** A violation of R1/R2. Distinct class so a seam inside a re-wrapping `catch`
  *  (the vtab scan) can rethrow it unchanged instead of burying it in a generic
  *  "error during query" message. */

package/dist/src/runtime/strict-representation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"strict-representation.d.ts","sourceRoot":"","sources":["../../../src/runtime/strict-representation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAc,KAAK,YAAY,EAAE,KAAK,GAAG,EAAE,KAAK,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC5F,OAAO,EAAgB,KAAK,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAI1E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAEH;;;;GAIG;AACH,MAAM,MAAM,YAAY,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;AAErD;;oCAEoC;AACpC,qBAAa,mBAAoB,SAAQ,YAAY;gBACxC,OAAO,EAAE,MAAM;CAK3B;AAiGD;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAOzE;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAS7F;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAChC,GAAG,EAAE,GAAG,EACR,KAAK,EAAE,SAAS,CAAC,YAAY,GAAG,SAAS,CAAC,EAAE,EAC5C,KAAK,EAAE,MAAM,EACb,WAAW,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,GAC3C,IAAI,CAWN"}
+{"version":3,"file":"strict-representation.d.ts","sourceRoot":"","sources":["../../../src/runtime/strict-representation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAc,KAAK,GAAG,EAAE,KAAK,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAEzE,OAAO,EAAkB,KAAK,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAI/E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AAEH;;;GAGG;AACH,YAAY,EAAE,YAAY,EAAE,CAAC;AAE7B;;oCAEoC;AACpC,qBAAa,mBAAoB,SAAQ,YAAY;gBACxC,OAAO,EAAE,MAAM;CAK3B;AAoDD;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAOzE;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAS7F;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAChC,GAAG,EAAE,GAAG,EACR,KAAK,EAAE,SAAS,CAAC,YAAY,GAAG,SAAS,CAAC,EAAE,EAC5C,KAAK,EAAE,MAAM,EACb,WAAW,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,GAC3C,IAAI,CAWN"}

package/dist/src/runtime/strict-representation.js

@@ -1,6 +1,7 @@
 import { QuereusError } from '../common/errors.js';
 import { StatusCode } from '../common/types.js';
 import { PhysicalType } from '../types/logical-type.js';
+import { conformsToType } from '../types/representation.js';
 import { isCanonicalNumeric } from '../util/numeric-canonical.js';
 import { valueToText } from '../util/value-text.js';
 /** A violation of R1/R2. Distinct class so a seam inside a re-wrapping `catch`
@@ -61,50 +62,6 @@ function admissibleForms(type) {
         default: return 'any value in canonical form';
     }
 }
-/**
- * R2 for one non-null value that has already passed R1.
- *
- * Keyed on `physicalType` rather than the type's identity so plugin-registered types
- * are covered too. Two arms need the type NAME as well:
- *
- * - **NUMERIC** shares REAL's `physicalType` (see the NOTE on `NUMERIC_TYPE` in
- *   `types/builtin-types.ts`) but its value space includes `bigint`.
- *   NOTE: matched by NAME, not by identity against the `NUMERIC_TYPE` singleton the way
- *   `isSeekKeySpaceNumeric` matches, because the surrounding switch is deliberately keyed
- *   on `physicalType` so plugin-registered types are covered. The cost is that a
- *   plugin-registered REAL-physical type *named* `NUMERIC` would silently inherit
- *   bigint admission. No such type exists in tree; if one is ever registered, give
- *   `LogicalType` an explicit "admits bigint" property and switch on that instead.
- * - **`ANY`/NULL** (`PhysicalType.NULL`) impose no R2 constraint at all — R1 already
- *   passed, and an `ANY` position may legitimately hold any storage class.
- *
- * TIMESTAMP needs no special case: it declares `physicalType` INTEGER because it IS an
- * integer instant, so it takes INTEGER's rule. The string temporals (DATE / TIME /
- * DATETIME / TIMESPAN) declare TEXT and take TEXT's — R2 must not demand a `Temporal`
- * object for them.
- */
-function conformsToType(value, type) {
-    switch (type.physicalType) {
-        case PhysicalType.INTEGER:
-            return typeof value === 'bigint' || (typeof value === 'number' && Number.isSafeInteger(value));
-        case PhysicalType.REAL:
-            return typeof value === 'number' || (typeof value === 'bigint' && type.name === 'NUMERIC');
-        case PhysicalType.TEXT:
-            return typeof value === 'string';
-        case PhysicalType.BLOB:
-            return value instanceof Uint8Array;
-        case PhysicalType.BOOLEAN:
-            return typeof value === 'boolean';
-        case PhysicalType.OBJECT:
-            // Mirrors JSON_TYPE.validate: a native object/array (a blob is not one), or a
-            // JSON scalar — a JSON string scalar is physically a plain `string`.
-            return (typeof value === 'object' && !(value instanceof Uint8Array))
-                || typeof value === 'string' || typeof value === 'number' || typeof value === 'boolean';
-        default:
-            // PhysicalType.NULL (ANY / NULL) and any unrecognized plugin code: R1 only.
-            return true;
-    }
-}
 const DOC_POINTER = 'See docs/types.md § Physical representation.';
 /**
  * R1 for one value: no `bigint` may hold a safe-range integer. Needs no declared type,

package/dist/src/runtime/strict-representation.js.map

@@ -1 +1 @@
-{"version":3,"file":"strict-representation.js","sourceRoot":"","sources":["../../../src/runtime/strict-representation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,UAAU,EAA8C,MAAM,oBAAoB,CAAC;AAC5F,OAAO,EAAE,YAAY,EAAoB,MAAM,0BAA0B,CAAC;AAC1E,OAAO,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AAClE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAiDpD;;oCAEoC;AACpC,MAAM,OAAO,mBAAoB,SAAQ,YAAY;IACpD,YAAY,OAAe;QAC1B,KAAK,CAAC,OAAO,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAC;QAClC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,mBAAmB,CAAC,SAAS,CAAC,CAAC;IAC5D,CAAC;CACD;AAED,iFAAiF;AACjF,MAAM,kBAAkB,GAAG,EAAE,CAAC;AAE9B;;;;;;;;;;GAUG;AACH,SAAS,WAAW,CAAC,KAAe;IACnC,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACJ,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC;IACrC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACZ,MAAM,MAAM,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC1D,OAAO,iBAAiB,QAAQ,CAAC,KAAK,CAAC,KAAK,MAAM,GAAG,CAAC;IACvD,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,GAAG,kBAAkB,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1F,CAAC;AAED,gFAAgF;AAChF,SAAS,QAAQ,CAAC,KAAe;IAChC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,KAAK,YAAY,UAAU;QAAE,OAAO,YAAY,CAAC;IACrD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC;IACzC,OAAO,OAAO,KAAK,CAAC;AACrB,CAAC;AAED,iFAAiF;AACjF,SAAS,eAAe,CAAC,IAAkB;IAC1C,QAAQ,IAAI,CAAC,YAAY,EAAE,CAAC;QAC3B,KAAK,YAAY,CAAC,OAAO,CAAC,CAAC,OAAO,mEAAmE,CAAC;QACtG,KAAK,YAAY,CAAC,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,KAAK,SAAS;YACrD,CAAC,CAAC,sDAAsD;YACxD,CAAC,CAAC,UAAU,CAAC;QACd,KAAK,YAAY,CAAC,IAAI,CAAC,CAAC,OAAO,UAAU,CAAC;QAC1C,KAAK,YAAY,CAAC,IAAI,CAAC,CAAC,OAAO,cAAc,CAAC;QAC9C,KAAK,YAAY,CAAC,OAAO,CAAC,CAAC,OAAO,WAAW,CAAC;QAC9C,KAAK,YAAY,CAAC,MAAM,CAAC,CAAC,OAAO,+DAA+D,CAAC;QACjG,OAAO,CAAC,CAAC,OAAO,6BAA6B,CAAC;IAC/C,CAAC;AACF,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,SAAS,cAAc,CAAC,KAA8B,EAAE,IAAkB;IACzE,QAAQ,IAAI,CAAC,YAAY,EAAE,CAAC;QAC3B,KAAK,YAAY,CAAC,OAAO;YACxB,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;QAChG,KAAK,YAAY,CAAC,IAAI;YACrB,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QAC5F,KAAK,YAAY,CAAC,IAAI;YACrB,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC;QAClC,KAAK,YAAY,CAAC,IAAI;YACrB,OAAO,KAAK,YAAY,UAAU,CAAC;QACpC,KAAK,YAAY,CAAC,OAAO;YACxB,OAAO,OAAO,KAAK,KAAK,SAAS,CAAC;QACnC,KAAK,YAAY,CAAC,MAAM;YACvB,8EAA8E;YAC9E,qEAAqE;YACrE,OAAO,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,YAAY,UAAU,CAAC,CAAC;mBAChE,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS,CAAC;QAC1F;YACC,4EAA4E;YAC5E,OAAO,IAAI,CAAC;IACd,CAAC;AACF,CAAC;AAED,MAAM,WAAW,GAAG,8CAA8C,CAAC;AAEnE;;;;;;;GAOG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAe,EAAE,KAAa;IAClE,IAAI,KAAK,KAAK,IAAI,IAAI,kBAAkB,CAAC,KAAK,CAAC;QAAE,OAAO;IACxD,MAAM,IAAI,mBAAmB,CAC5B,yCAAyC,KAAK,gBAAgB,WAAW,CAAC,KAAK,CAAC,iBAAiB;QACjG,oFAAoF;QACpF,4FAA4F,WAAW,EAAE,CACzG,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAe,EAAE,IAAkB,EAAE,KAAa;IACtF,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO;IAC3B,oBAAoB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACnC,IAAI,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC;QAAE,OAAO;IACxC,MAAM,IAAI,mBAAmB,CAC5B,2CAA2C,KAAK,mBAAmB,IAAI,CAAC,IAAI,UAAU;QACtF,GAAG,eAAe,CAAC,IAAI,CAAC,2BAA2B,QAAQ,CAAC,KAAK,CAAC,KAAK,WAAW,CAAC,KAAK,CAAC,IAAI;QAC7F,cAAc,WAAW,EAAE,CAC3B,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAChC,GAAQ,EACR,KAA4C,EAC5C,KAAa,EACb,WAA6C;IAE7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,WAAW,CAAC,KAAK,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,WAAW,CAAC,EAAE,CAAC;QAC5E,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACxB,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAClC,CAAC;aAAM,CAAC;YACP,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QACxC,CAAC;IACF,CAAC;AACF,CAAC"}
+{"version":3,"file":"strict-representation.js","sourceRoot":"","sources":["../../../src/runtime/strict-representation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,UAAU,EAA2B,MAAM,oBAAoB,CAAC;AACzE,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AACxD,OAAO,EAAE,cAAc,EAAqB,MAAM,4BAA4B,CAAC;AAC/E,OAAO,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AAClE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAsDpD;;oCAEoC;AACpC,MAAM,OAAO,mBAAoB,SAAQ,YAAY;IACpD,YAAY,OAAe;QAC1B,KAAK,CAAC,OAAO,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAC;QAClC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,mBAAmB,CAAC,SAAS,CAAC,CAAC;IAC5D,CAAC;CACD;AAED,iFAAiF;AACjF,MAAM,kBAAkB,GAAG,EAAE,CAAC;AAE9B;;;;;;;;;;GAUG;AACH,SAAS,WAAW,CAAC,KAAe;IACnC,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACJ,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC;IACrC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACZ,MAAM,MAAM,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC1D,OAAO,iBAAiB,QAAQ,CAAC,KAAK,CAAC,KAAK,MAAM,GAAG,CAAC;IACvD,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,GAAG,kBAAkB,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1F,CAAC;AAED,gFAAgF;AAChF,SAAS,QAAQ,CAAC,KAAe;IAChC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,KAAK,YAAY,UAAU;QAAE,OAAO,YAAY,CAAC;IACrD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC;IACzC,OAAO,OAAO,KAAK,CAAC;AACrB,CAAC;AAED,iFAAiF;AACjF,SAAS,eAAe,CAAC,IAAkB;IAC1C,QAAQ,IAAI,CAAC,YAAY,EAAE,CAAC;QAC3B,KAAK,YAAY,CAAC,OAAO,CAAC,CAAC,OAAO,mEAAmE,CAAC;QACtG,KAAK,YAAY,CAAC,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,KAAK,SAAS;YACrD,CAAC,CAAC,sDAAsD;YACxD,CAAC,CAAC,UAAU,CAAC;QACd,KAAK,YAAY,CAAC,IAAI,CAAC,CAAC,OAAO,UAAU,CAAC;QAC1C,KAAK,YAAY,CAAC,IAAI,CAAC,CAAC,OAAO,cAAc,CAAC;QAC9C,KAAK,YAAY,CAAC,OAAO,CAAC,CAAC,OAAO,WAAW,CAAC;QAC9C,KAAK,YAAY,CAAC,MAAM,CAAC,CAAC,OAAO,+DAA+D,CAAC;QACjG,OAAO,CAAC,CAAC,OAAO,6BAA6B,CAAC;IAC/C,CAAC;AACF,CAAC;AAED,MAAM,WAAW,GAAG,8CAA8C,CAAC;AAEnE;;;;;;;GAOG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAe,EAAE,KAAa;IAClE,IAAI,KAAK,KAAK,IAAI,IAAI,kBAAkB,CAAC,KAAK,CAAC;QAAE,OAAO;IACxD,MAAM,IAAI,mBAAmB,CAC5B,yCAAyC,KAAK,gBAAgB,WAAW,CAAC,KAAK,CAAC,iBAAiB;QACjG,oFAAoF;QACpF,4FAA4F,WAAW,EAAE,CACzG,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAe,EAAE,IAAkB,EAAE,KAAa;IACtF,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO;IAC3B,oBAAoB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACnC,IAAI,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC;QAAE,OAAO;IACxC,MAAM,IAAI,mBAAmB,CAC5B,2CAA2C,KAAK,mBAAmB,IAAI,CAAC,IAAI,UAAU;QACtF,GAAG,eAAe,CAAC,IAAI,CAAC,2BAA2B,QAAQ,CAAC,KAAK,CAAC,KAAK,WAAW,CAAC,KAAK,CAAC,IAAI;QAC7F,cAAc,WAAW,EAAE,CAC3B,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAChC,GAAQ,EACR,KAA4C,EAC5C,KAAa,EACb,WAA6C;IAE7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,WAAW,CAAC,KAAK,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,WAAW,CAAC,EAAE,CAAC;QAC5E,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACxB,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAClC,CAAC;aAAM,CAAC;YACP,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QACxC,CAAC;IACF,CAAC;AACF,CAAC"}

package/dist/src/schema/assertion.d.ts

@@ -3,7 +3,15 @@ import type { Database } from '../core/database.js';
 import type { Schema } from './schema.js';
 import { type ObjectReach } from './object-dependency-closure.js';
 export interface AssertionDependentTable {
-    /** Instance-unique table reference key, e.g. schema.table#nodeId */
+    /**
+     * Instance-unique table reference key, e.g. `schema.table#nodeId`.
+     *
+     * Meaningful ONLY within one recorded list, where it tells two references to
+     * the same table apart (a self-join records two entries). The embedded node id
+     * comes from a process-wide counter over whichever plan produced the list, so
+     * it will never equal the key the commit-time evaluator computes for the same
+     * table — do not build a lookup that compares the two.
+     */
     relationKey: string;
     /** Base table identifier, e.g. schema.table */
     base: string;
@@ -19,7 +27,22 @@ export interface IntegrityAssertionSchema {
     deferrable: boolean;
     /** If true, initially deferred. Currently informational. */
     initiallyDeferred: boolean;
-    /** Base tables referenced; filled during assertion preparation/creation. */
+    /**
+     * Base-table references in the body — informational only; it feeds
+     * `assertion_info().dependent_tables` and enforcement never reads it (the
+     * commit-time evaluator derives its own set when it compiles the body, from
+     * the same `planAssertionBodyForAnalysis` + `collectTableReferences` pair — see
+     * `planner/analysis/relation-key.ts`).
+     *
+     * NOTE: recorded once at CREATE, and after that only string-re-keyed by the
+     * `ALTER TABLE … RENAME` propagation — no other schema change re-derives it.
+     * It can therefore go stale where the body's plan shape depends on something
+     * other than the table names in its text (a view in the body redefined over
+     * different tables is the reachable case). Harmless while nothing but
+     * introspection reads it; the day a consumer needs it to be live, re-derive it
+     * on the schema-change events the evaluator already invalidates its cache on
+     * rather than adding another remap.
+     */
     dependentTables?: AssertionDependentTable[];
     /**
      * Original CHECK expression AST. Populated when the assertion is created

package/dist/src/schema/assertion.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"assertion.d.ts","sourceRoot":"","sources":["../../../src/schema/assertion.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,kBAAkB,CAAC;AAC7C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAG1C,OAAO,EAAoB,KAAK,WAAW,EAAE,MAAM,gCAAgC,CAAC;AAEpF,MAAM,WAAW,uBAAuB;IACtC,oEAAoE;IACpE,WAAW,EAAE,MAAM,CAAC;IACpB,+CAA+C;IAC/C,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,wBAAwB;IACvC,+CAA+C;IAC/C,IAAI,EAAE,MAAM,CAAC;IACb,kGAAkG;IAClG,UAAU,EAAE,MAAM,CAAC;IACnB,yFAAyF;IACzF,YAAY,EAAE,MAAM,CAAC;IACrB,gFAAgF;IAChF,UAAU,EAAE,OAAO,CAAC;IACpB,4DAA4D;IAC5D,iBAAiB,EAAE,OAAO,CAAC;IAC3B,4EAA4E;IAC5E,eAAe,CAAC,EAAE,uBAAuB,EAAE,CAAC;IAC5C;;;;;OAKG;IACH,eAAe,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC;CAClC;AAED;;;;;;;;;GASG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,GAAG,CAAC,UAAU,GAAG,MAAM,CAExE;AAED,uEAAuE;AACvE,MAAM,WAAW,cAAc;IAC9B,iFAAiF;IACjF,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,wBAAwB,CAAC;CACpC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAiB,yBAAyB,CACzC,EAAE,EAAE,QAAQ,EACZ,cAAc,EAAE,MAAM,GACpB,QAAQ,CAAC,cAAc,CAAC,CAW1B;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,GAAG,MAAM,CAI5F;AAED,oEAAoE;AACpE,MAAM,WAAW,cAAc;IAC9B,KAAK,EAAE,cAAc,CAAC;IACtB,KAAK,EAAE,WAAW,CAAC;CACnB;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAiB,+BAA+B,CAC/C,EAAE,EAAE,QAAQ,EACZ,cAAc,EAAE,MAAM,GACpB,QAAQ,CAAC,cAAc,CAAC,CAc1B"}
+{"version":3,"file":"assertion.d.ts","sourceRoot":"","sources":["../../../src/schema/assertion.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,GAAG,MAAM,kBAAkB,CAAC;AAC7C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAG1C,OAAO,EAAoB,KAAK,WAAW,EAAE,MAAM,gCAAgC,CAAC;AAEpF,MAAM,WAAW,uBAAuB;IACtC;;;;;;;;OAQG;IACH,WAAW,EAAE,MAAM,CAAC;IACpB,+CAA+C;IAC/C,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,wBAAwB;IACvC,+CAA+C;IAC/C,IAAI,EAAE,MAAM,CAAC;IACb,kGAAkG;IAClG,UAAU,EAAE,MAAM,CAAC;IACnB,yFAAyF;IACzF,YAAY,EAAE,MAAM,CAAC;IACrB,gFAAgF;IAChF,UAAU,EAAE,OAAO,CAAC;IACpB,4DAA4D;IAC5D,iBAAiB,EAAE,OAAO,CAAC;IAC3B;;;;;;;;;;;;;;;OAeG;IACH,eAAe,CAAC,EAAE,uBAAuB,EAAE,CAAC;IAC5C;;;;;OAKG;IACH,eAAe,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC;CAClC;AAED;;;;;;;;;GASG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,GAAG,CAAC,UAAU,GAAG,MAAM,CAExE;AAED,uEAAuE;AACvE,MAAM,WAAW,cAAc;IAC9B,iFAAiF;IACjF,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,wBAAwB,CAAC;CACpC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAiB,yBAAyB,CACzC,EAAE,EAAE,QAAQ,EACZ,cAAc,EAAE,MAAM,GACpB,QAAQ,CAAC,cAAc,CAAC,CAW1B;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,GAAG,MAAM,CAI5F;AAED,oEAAoE;AACpE,MAAM,WAAW,cAAc;IAC9B,KAAK,EAAE,cAAc,CAAC;IACtB,KAAK,EAAE,WAAW,CAAC;CACnB;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAiB,+BAA+B,CAC/C,EAAE,EAAE,QAAQ,EACZ,cAAc,EAAE,MAAM,GACpB,QAAQ,CAAC,cAAc,CAAC,CAc1B"}

package/dist/src/schema/assertion.js.map

@@ -1 +1 @@
-{"version":3,"file":"assertion.js","sourceRoot":"","sources":["../../../src/schema/assertion.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AACtE,OAAO,EAAE,gBAAgB,EAAoB,MAAM,gCAAgC,CAAC;AA+BpF;;;;;;;;;GASG;AACH,MAAM,UAAU,0BAA0B,CAAC,KAAqB;IAC/D,OAAO,uBAAuB,kBAAkB,CAAC,KAAK,CAAC,GAAG,CAAC;AAC5D,CAAC;AASD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,SAAS,CAAC,CAAC,yBAAyB,CACzC,EAAY,EACZ,cAAsB;IAEtB,MAAM,SAAS,GAAG,cAAc,CAAC,WAAW,EAAE,CAAC;IAC/C,MAAM,IAAI,GAAqB,EAAE,CAAC;IAClC,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,aAAa,CAAC,cAAc,EAAE,EAAE,CAAC;QACxD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,SAAS,CAAC;QACrD,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,gBAAgB,EAAE,EAAE,CAAC;YACnD,IAAI,IAAI;gBAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;;gBACjC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QACvC,CAAC;IACF,CAAC;IACD,KAAK,CAAC,CAAC,IAAI,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAqB,EAAE,cAAsB;IACnF,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,cAAc,CAAC,WAAW,EAAE;QACtE,CAAC,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,GAAG;QAC7B,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,GAAG,CAAC;AACrD,CAAC;AAQD;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,SAAS,CAAC,CAAC,+BAA+B,CAC/C,EAAY,EACZ,cAAsB;IAEtB,MAAM,SAAS,GAAG,0BAA0B,CAAC,EAAE,CAAC,CAAC;IACjD,KAAK,MAAM,KAAK,IAAI,yBAAyB,CAAC,EAAE,EAAE,cAAc,CAAC,EAAE,CAAC;QACnE,yEAAyE;QACzE,2EAA2E;QAC3E,qEAAqE;QACrE,oEAAoE;QACpE,6DAA6D;QAC7D,yEAAyE;QACzE,8EAA8E;QAC9E,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,eAAe,CAAC;QAC9C,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,gBAAgB,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC;IACnF,CAAC;AACF,CAAC"}
+{"version":3,"file":"assertion.js","sourceRoot":"","sources":["../../../src/schema/assertion.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AACtE,OAAO,EAAE,gBAAgB,EAAoB,MAAM,gCAAgC,CAAC;AAsDpF;;;;;;;;;GASG;AACH,MAAM,UAAU,0BAA0B,CAAC,KAAqB;IAC/D,OAAO,uBAAuB,kBAAkB,CAAC,KAAK,CAAC,GAAG,CAAC;AAC5D,CAAC;AASD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,SAAS,CAAC,CAAC,yBAAyB,CACzC,EAAY,EACZ,cAAsB;IAEtB,MAAM,SAAS,GAAG,cAAc,CAAC,WAAW,EAAE,CAAC;IAC/C,MAAM,IAAI,GAAqB,EAAE,CAAC;IAClC,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,aAAa,CAAC,cAAc,EAAE,EAAE,CAAC;QACxD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,SAAS,CAAC;QACrD,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,gBAAgB,EAAE,EAAE,CAAC;YACnD,IAAI,IAAI;gBAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;;gBACjC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QACvC,CAAC;IACF,CAAC;IACD,KAAK,CAAC,CAAC,IAAI,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAqB,EAAE,cAAsB;IACnF,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,cAAc,CAAC,WAAW,EAAE;QACtE,CAAC,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,GAAG;QAC7B,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,GAAG,CAAC;AACrD,CAAC;AAQD;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,SAAS,CAAC,CAAC,+BAA+B,CAC/C,EAAY,EACZ,cAAsB;IAEtB,MAAM,SAAS,GAAG,0BAA0B,CAAC,EAAE,CAAC,CAAC;IACjD,KAAK,MAAM,KAAK,IAAI,yBAAyB,CAAC,EAAE,EAAE,cAAc,CAAC,EAAE,CAAC;QACnE,yEAAyE;QACzE,2EAA2E;QAC3E,qEAAqE;QACrE,oEAAoE;QACpE,6DAA6D;QAC7D,yEAAyE;QACzE,8EAA8E;QAC9E,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,eAAe,CAAC;QAC9C,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,gBAAgB,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC;IACnF,CAAC;AACF,CAAC"}

package/dist/src/schema/catalog-rendering.d.ts

@@ -0,0 +1,38 @@
+import type { SchemaCatalog } from './catalog.js';
+/**
+ * Canonical text rendering of a {@link SchemaCatalog}, for the `apply schema`
+ * applied-state snapshot (see `docs/schema.md` § Applied-state snapshot).
+ *
+ * The rendering exists to answer exactly one question: *is this catalog, field
+ * for field, the one that was in place at the end of the last successful,
+ * no-op `apply schema`?* Two catalogs that render to the same string must be
+ * indistinguishable to `computeSchemaDiff`. It is deliberately NOT a
+ * hash — an exact string compare is both cheaper (measured 0.003–0.008 ms vs
+ * 1.46 ms to FNV-1a hash 119 KB of rendered text) and carries no hash-collision
+ * risk.
+ *
+ * NOTE: the *encoding* is not provably injective, though. Fields and items are
+ * separated by literal spaces / tabs / newlines, and a leaf value can contain
+ * any of them — a tag value or a DEFAULT holding a raw newline reaches the
+ * output verbatim (via `sqlValueToLiteral` / `expressionToString`, and via the
+ * `ddl` text that embeds the same literal). So a value crafted to imitate the
+ * rendering of a *different* catalog item makes two distinct catalogs render
+ * alike, and an out-of-band change between exactly those two catalogs would be
+ * skipped. It takes deliberately hostile tag/DEFAULT text to build one, so it is
+ * left open; the fix that retires the class is a uniquely-decodable encoding
+ * (JSON-frame each part instead of joining on separators — measured ~+0.25 ms on
+ * the 308.8 KB rendering of `bench/apply-schema-unchanged.mjs 30`, against a
+ * 1.50 ms fast-pathed apply). See `tickets/backlog/debt-catalog-rendering-injective-encoding`.
+ *
+ * It is also NOT the schema *version* hash. `computeSchemaHash` strips tags
+ * before hashing, because tags must not affect versioning; the differ, by
+ * contrast, DOES diff tags and emits `SET TAGS` steps for them. So this
+ * rendering is tags-inclusive and the two must never be conflated.
+ *
+ * Every arm destructures **every** field of its catalog interface and hands the
+ * rest to {@link assertEveryFieldConsidered}, so a new field on any catalog
+ * interface fails the build here until someone decides whether it belongs in
+ * the comparison.
+ */
+export declare function renderCatalogForComparison(catalog: SchemaCatalog): string;
+//# sourceMappingURL=catalog-rendering.d.ts.map

package/dist/src/schema/catalog-rendering.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog-rendering.d.ts","sourceRoot":"","sources":["../../../src/schema/catalog-rendering.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,aAAa,EAA6D,MAAM,cAAc,CAAC;AAE7G;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AACH,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,aAAa,GAAG,MAAM,CAYzE"}

package/dist/src/schema/catalog-rendering.js

@@ -0,0 +1,171 @@
+import { expressionToString } from '../emit/ast-stringify.js';
+import { sqlValueToLiteral } from '../util/sql-literal.js';
+/**
+ * Canonical text rendering of a {@link SchemaCatalog}, for the `apply schema`
+ * applied-state snapshot (see `docs/schema.md` § Applied-state snapshot).
+ *
+ * The rendering exists to answer exactly one question: *is this catalog, field
+ * for field, the one that was in place at the end of the last successful,
+ * no-op `apply schema`?* Two catalogs that render to the same string must be
+ * indistinguishable to `computeSchemaDiff`. It is deliberately NOT a
+ * hash — an exact string compare is both cheaper (measured 0.003–0.008 ms vs
+ * 1.46 ms to FNV-1a hash 119 KB of rendered text) and carries no hash-collision
+ * risk.
+ *
+ * NOTE: the *encoding* is not provably injective, though. Fields and items are
+ * separated by literal spaces / tabs / newlines, and a leaf value can contain
+ * any of them — a tag value or a DEFAULT holding a raw newline reaches the
+ * output verbatim (via `sqlValueToLiteral` / `expressionToString`, and via the
+ * `ddl` text that embeds the same literal). So a value crafted to imitate the
+ * rendering of a *different* catalog item makes two distinct catalogs render
+ * alike, and an out-of-band change between exactly those two catalogs would be
+ * skipped. It takes deliberately hostile tag/DEFAULT text to build one, so it is
+ * left open; the fix that retires the class is a uniquely-decodable encoding
+ * (JSON-frame each part instead of joining on separators — measured ~+0.25 ms on
+ * the 308.8 KB rendering of `bench/apply-schema-unchanged.mjs 30`, against a
+ * 1.50 ms fast-pathed apply). See `tickets/backlog/debt-catalog-rendering-injective-encoding`.
+ *
+ * It is also NOT the schema *version* hash. `computeSchemaHash` strips tags
+ * before hashing, because tags must not affect versioning; the differ, by
+ * contrast, DOES diff tags and emits `SET TAGS` steps for them. So this
+ * rendering is tags-inclusive and the two must never be conflated.
+ *
+ * Every arm destructures **every** field of its catalog interface and hands the
+ * rest to {@link assertEveryFieldConsidered}, so a new field on any catalog
+ * interface fails the build here until someone decides whether it belongs in
+ * the comparison.
+ */
+export function renderCatalogForComparison(catalog) {
+    const { schemaName, tables, views, indexes, assertions, ...rest } = catalog;
+    assertEveryFieldConsidered(rest);
+    return [
+        // Lowercased: the snapshot is keyed by lowercased schema name, so
+        // `apply schema MyApp` and `apply schema myapp` must render alike.
+        `schema ${schemaName.toLowerCase()}`,
+        ...sortedRenderings(tables, renderTable),
+        ...sortedRenderings(views, renderView),
+        ...sortedRenderings(indexes, renderIndex),
+        ...sortedRenderings(assertions, renderAssertion),
+    ].join('\n');
+}
+/**
+ * Compile error if a catalog interface grows a field this renderer does not
+ * consider. The rest object of an exhaustive destructure is `{}`, which is
+ * assignable to `Record<string, never>`; one left-over field of any other type
+ * is not.
+ */
+function assertEveryFieldConsidered(_leftover) { }
+/**
+ * Renders every item and sorts the RESULTS, so a drop+recreate that only changes
+ * the live `Map` insertion order produces no spurious mismatch. Sorting the
+ * rendered strings (rather than the items by name) also keeps two objects that
+ * legitimately share a name — an index name is unique per *table*, not per
+ * schema — in a stable order without needing a composite sort key.
+ */
+function sortedRenderings(items, render) {
+    return items.map(render).sort();
+}
+function renderTable(t) {
+    const { name, ddl, columns, primaryKey, referencedTables, tags, namedConstraints, maintained, ...rest } = t;
+    assertEveryFieldConsidered(rest);
+    return [
+        `table ${name}`,
+        // `ddl` is deliberately redundant with the structured fields below: it costs
+        // nothing extra (it is already computed by `collectSchemaCatalog`) and removes
+        // any need to argue about what `generateTableDDL` does or does not render.
+        `\tddl ${ddl}`,
+        // Column ORDER is behavioural — never sorted.
+        ...columns.map(c => `\t${renderColumn(c)}`),
+        `\tpk ${primaryKey.map(pk => `${pk.columnName} ${pk.desc ? 'desc' : 'asc'}`).join(', ')}`,
+        // Sorted: only feeds the differ's drop ORDERING, which is inert on an empty diff.
+        `\trefs ${[...referencedTables].sort().join(', ')}`,
+        `\ttags ${renderTags(tags)}`,
+        // Sorted: the differ keys named constraints by name, so their order carries no meaning.
+        ...sortedRenderings(namedConstraints, renderNamedConstraint).map(s => `\t${s}`),
+        `\tmaintained ${maintained ? renderMaintained(maintained) : '-'}`,
+    ].join('\n');
+}
+function renderColumn(c) {
+    const { name, type, notNull, primaryKey, defaultValue, collation, tags, ...rest } = c;
+    assertEveryFieldConsidered(rest);
+    return `column ${name} ${type} ${notNull ? 'not null' : 'null'} ${primaryKey ? 'pk' : '-'}`
+        // `defaultValue` is an `AST.Expression`; rendered with the same
+        // `expressionToString` the catalog itself uses for DEFAULT text. Measured at
+        // 0.140 ms of a 0.871 ms whole-catalog render on the 112.7 KB / 54-table ×
+        // 38-column declaration of `bench/apply-schema-unchanged.mjs` (median of 15),
+        // against the 4.35 ms `computeSchemaDiff` the whole render replaces — so
+        // keeping it costs nothing worth trading for leaning on `ddl` alone.
+        + ` default ${defaultValue ? expressionToString(defaultValue) : '-'}`
+        + ` collate ${collation} tags ${renderTags(tags)}`;
+}
+function renderNamedConstraint(c) {
+    const { name, tags, definition, ...rest } = c;
+    assertEveryFieldConsidered(rest);
+    return `constraint ${name} ${definition} tags ${renderTags(tags)}`;
+}
+function renderMaintained(m) {
+    // `select` (the live derivation body AST) is deliberately NOT rendered: the
+    // differ compares `bodyHash` first and only walks the AST when that comparison
+    // FAILS, to tolerate rename artifacts (schema-differ.ts § maintained-table
+    // compare). This rendering only ever fires the fast path when every hash
+    // matches, so the AST-tolerant path is unreachable and the hash fully
+    // determines the outcome.
+    const { bodyHash, backingModuleName, backingModuleArgs, select: _select, ...rest } = m;
+    assertEveryFieldConsidered(rest);
+    return `body ${bodyHash} module ${backingModuleName ?? '-'} args ${renderTags(backingModuleArgs)}`;
+}
+function renderView(v) {
+    // `select` omitted for the same reason as `CatalogTable.maintained.select`:
+    // the differ consults it only when `definition` already differs.
+    const { name, ddl, definition, tags, select: _select, ...rest } = v;
+    assertEveryFieldConsidered(rest);
+    return `view ${name}\n\tddl ${ddl}\n\tdef ${definition}\n\ttags ${renderTags(tags)}`;
+}
+function renderIndex(x) {
+    const { name, tableName, ddl, definition, tags, implicit, ...rest } = x;
+    assertEveryFieldConsidered(rest);
+    return `index ${name} on ${tableName}${implicit ? ' implicit' : ''}\n\tddl ${ddl}\n\tdef ${definition}\n\ttags ${renderTags(tags)}`;
+}
+function renderAssertion(a) {
+    // `check` omitted for the same reason as `CatalogView.select`.
+    const { name, ddl, definition, check: _check, ...rest } = a;
+    assertEveryFieldConsidered(rest);
+    return `assertion ${name}\n\tddl ${ddl}\n\tdef ${definition}`;
+}
+/**
+ * Order-independent rendering of a tag set. Keys are sorted and an empty set
+ * renders as an absent one, matching the differ's own tag comparison
+ * (`tagsDrifted`, which stable-stringifies both sides).
+ *
+ * The rename-hint keys (`quereus.id` / `quereus.previous_name`) that the differ
+ * excludes from drift comparison ARE rendered here. A hint-only change therefore
+ * costs one extra full reconcile — the safe direction, and cheaper than keeping
+ * a second copy of the differ's exclusion list in sync.
+ */
+function renderTags(tags) {
+    if (!tags)
+        return '-';
+    const keys = Object.keys(tags).sort();
+    if (keys.length === 0)
+        return '-';
+    return `(${keys.map(k => `${JSON.stringify(k)}=${renderTagValue(tags[k])}`).join(', ')})`;
+}
+/**
+ * A tag value as a SQL literal, prefixed with a one-character type tag.
+ *
+ * The prefix is what makes the encoding injective: `sqlValueToLiteral` renders a
+ * JSON value as its quoted JSON text, which is byte-identical to what it renders
+ * for a *string* holding that same text. Without the discriminator, a tag flipping
+ * between `{"a":1}` and `'{"a":1}'` would render unchanged and be skipped.
+ */
+function renderTagValue(v) {
+    const kind = v === null ? 'n' :
+        typeof v === 'string' ? 's' :
+            typeof v === 'number' ? 'f' :
+                typeof v === 'bigint' ? 'i' :
+                    typeof v === 'boolean' ? 'b' :
+                        v instanceof Uint8Array ? 'x' :
+                            'j';
+    return kind + sqlValueToLiteral(v);
+}
+//# sourceMappingURL=catalog-rendering.js.map

package/dist/src/schema/catalog-rendering.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog-rendering.js","sourceRoot":"","sources":["../../../src/schema/catalog-rendering.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAG3D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AACH,MAAM,UAAU,0BAA0B,CAAC,OAAsB;IAChE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,CAAC;IAC5E,0BAA0B,CAAC,IAAI,CAAC,CAAC;IACjC,OAAO;QACN,kEAAkE;QAClE,mEAAmE;QACnE,UAAU,UAAU,CAAC,WAAW,EAAE,EAAE;QACpC,GAAG,gBAAgB,CAAC,MAAM,EAAE,WAAW,CAAC;QACxC,GAAG,gBAAgB,CAAC,KAAK,EAAE,UAAU,CAAC;QACtC,GAAG,gBAAgB,CAAC,OAAO,EAAE,WAAW,CAAC;QACzC,GAAG,gBAAgB,CAAC,UAAU,EAAE,eAAe,CAAC;KAChD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAS,0BAA0B,CAAC,SAAgC,IAAgC,CAAC;AAErG;;;;;;GAMG;AACH,SAAS,gBAAgB,CAAI,KAAmB,EAAE,MAA2B;IAC5E,OAAO,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;AACjC,CAAC;AAED,SAAS,WAAW,CAAC,CAAe;IACnC,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC;IAC5G,0BAA0B,CAAC,IAAI,CAAC,CAAC;IACjC,OAAO;QACN,SAAS,IAAI,EAAE;QACf,6EAA6E;QAC7E,+EAA+E;QAC/E,2EAA2E;QAC3E,SAAS,GAAG,EAAE;QACd,8CAA8C;QAC9C,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3C,QAAQ,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QACzF,kFAAkF;QAClF,UAAU,CAAC,GAAG,gBAAgB,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QACnD,UAAU,UAAU,CAAC,IAAI,CAAC,EAAE;QAC5B,wFAAwF;QACxF,GAAG,gBAAgB,CAAC,gBAAgB,EAAE,qBAAqB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/E,gBAAgB,UAAU,CAAC,CAAC,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE;KACjE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACd,CAAC;AAED,SAAS,YAAY,CAAC,CAAkC;IACvD,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC;IACtF,0BAA0B,CAAC,IAAI,CAAC,CAAC;IACjC,OAAO,UAAU,IAAI,IAAI,IAAI,IAAI,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE;QAC1F,gEAAgE;QAChE,6EAA6E;QAC7E,2EAA2E;QAC3E,8EAA8E;QAC9E,yEAAyE;QACzE,qEAAqE;UACnE,YAAY,YAAY,CAAC,CAAC,CAAC,kBAAkB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE;UACnE,YAAY,SAAS,SAAS,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;AACrD,CAAC;AAED,SAAS,qBAAqB,CAAC,CAA2C;IACzE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9C,0BAA0B,CAAC,IAAI,CAAC,CAAC;IACjC,OAAO,cAAc,IAAI,IAAI,UAAU,SAAS,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;AACpE,CAAC;AAED,SAAS,gBAAgB,CAAC,CAA0C;IACnE,4EAA4E;IAC5E,+EAA+E;IAC/E,2EAA2E;IAC3E,yEAAyE;IACzE,sEAAsE;IACtE,0BAA0B;IAC1B,MAAM,EAAE,QAAQ,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC;IACvF,0BAA0B,CAAC,IAAI,CAAC,CAAC;IACjC,OAAO,QAAQ,QAAQ,WAAW,iBAAiB,IAAI,GAAG,SAAS,UAAU,CAAC,iBAAiB,CAAC,EAAE,CAAC;AACpG,CAAC;AAED,SAAS,UAAU,CAAC,CAAc;IACjC,4EAA4E;IAC5E,iEAAiE;IACjE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC;IACpE,0BAA0B,CAAC,IAAI,CAAC,CAAC;IACjC,OAAO,QAAQ,IAAI,WAAW,GAAG,WAAW,UAAU,YAAY,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;AACtF,CAAC;AAED,SAAS,WAAW,CAAC,CAAe;IACnC,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC;IACxE,0BAA0B,CAAC,IAAI,CAAC,CAAC;IACjC,OAAO,SAAS,IAAI,OAAO,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,GAAG,WAAW,UAAU,YAAY,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;AACrI,CAAC;AAED,SAAS,eAAe,CAAC,CAAmB;IAC3C,+DAA+D;IAC/D,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC;IAC5D,0BAA0B,CAAC,IAAI,CAAC,CAAC;IACjC,OAAO,aAAa,IAAI,WAAW,GAAG,WAAW,UAAU,EAAE,CAAC;AAC/D,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,UAAU,CAAC,IAAoD;IACvE,IAAI,CAAC,IAAI;QAAE,OAAO,GAAG,CAAC;IACtB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IACtC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IAClC,OAAO,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AAC3F,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,cAAc,CAAC,CAAW;IAClC,MAAM,IAAI,GACT,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAClB,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAC7B,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBAC7B,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;oBAC7B,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;wBAC9B,CAAC,YAAY,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;4BAC/B,GAAG,CAAC;IACL,OAAO,IAAI,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC;AACpC,CAAC"}

package/dist/src/schema/catalog.d.ts

@@ -4,6 +4,13 @@ import type * as AST from '../parser/ast.js';
 import { type SqlValue } from '../common/types.js';
 /**
  * Represents a catalog snapshot of the current database schema state
+ *
+ * Adding a field to this interface — or to any `Catalog*` interface below —
+ * requires a matching arm in `renderCatalogForComparison`
+ * (`schema/catalog-rendering.ts`), which decides whether the field participates
+ * in `apply schema`'s unchanged-catalog fast path. The compiler enforces it: the
+ * renderer destructures every field and hands the remainder to a
+ * `Record<string, never>` guard, so an unconsidered field fails the build.
  */
 export interface SchemaCatalog {
     schemaName: string;
@@ -12,6 +19,7 @@ export interface SchemaCatalog {
     indexes: CatalogIndex[];
     assertions: CatalogAssertion[];
 }
+/** New field ⇒ new arm in `renderCatalogForComparison` (compiler-enforced; see {@link SchemaCatalog}). */
 export interface CatalogTable {
     name: string;
     ddl: string;
@@ -70,6 +78,7 @@ export interface CatalogTable {
         select?: AST.QueryExpr;
     };
 }
+/** New field ⇒ new arm in `renderCatalogForComparison` (compiler-enforced; see {@link SchemaCatalog}). */
 export interface CatalogView {
     name: string;
     ddl: string;
@@ -96,6 +105,7 @@ export interface CatalogView {
      */
     select?: AST.QueryExpr;
 }
+/** New field ⇒ new arm in `renderCatalogForComparison` (compiler-enforced; see {@link SchemaCatalog}). */
 export interface CatalogIndex {
     name: string;
     tableName: string;
@@ -127,6 +137,7 @@ export interface CatalogIndex {
      */
     implicit?: boolean;
 }
+/** New field ⇒ new arm in `renderCatalogForComparison` (compiler-enforced; see {@link SchemaCatalog}). */
 export interface CatalogAssertion {
     name: string;
     ddl: string;
@@ -150,18 +161,73 @@ export interface CatalogAssertion {
 export declare function collectSchemaCatalog(db: Database, schemaName?: string): SchemaCatalog;
 /**
  * Rejects a UNIQUE constraint declaration whose implicit backing structure would
- * claim a name already held by an index on the same table (see
- * {@link findIndexShadowedByUniqueConstraint}). No-op for any other constraint
- * kind — CHECK and FOREIGN KEY build no backing index, so they cannot collide.
+ * claim a name already held on the same table — by another UNIQUE constraint's
+ * backing structure ({@link findUniqueConstraintSharingBackingName}) or by an index
+ * ({@link findIndexShadowedByUniqueConstraint}). No-op for any other constraint kind
+ * — CHECK and FOREIGN KEY build no backing index, so they cannot collide.
  *
  * Called from the engine side BEFORE `module.alterTable`, which is what makes one
  * guard cover both backends and keeps a rejected statement from reaching the
  * store's persistence side effects.
  *
+ * The constraint arm runs FIRST so a collision both arms can see reports identically
+ * on memory and store: memory materializes a constraint's structure into `.indexes`
+ * and store does not, so letting the index arm rule first would name an index the
+ * user never created under one backend and a constraint under the other.
+ *
  * `operation` describes what the statement was doing, e.g.
  * `add constraint 'foo' to table 't'`.
  */
 export declare function assertUniqueConstraintIndexNameFree(tableSchema: TableSchema, constraintName: string | undefined, columnNames: ReadonlyArray<string>, operation: string): void;
+/**
+ * A UNIQUE constraint as its declaration spells it — the name the user wrote (absent
+ * when unnamed) and the names of the columns it covers. Enough to derive its backing
+ * structure name and to describe it back in a message, and available before the
+ * constraint (or, for `ADD COLUMN`, its column) exists on any schema.
+ */
+export interface DeclaredUniqueConstraint {
+    readonly name?: string;
+    readonly columnNames: ReadonlyArray<string>;
+}
+/**
+ * The pairwise form of {@link assertUniqueConstraintIndexNameFree}'s constraint arm:
+ * refuses a set of UNIQUE constraints declared TOGETHER, none of them on a table yet,
+ * in which two derive one backing structure name.
+ *
+ * Two callers hold a whole declaration at once and so have no table to compare
+ * against: `CREATE TABLE` (its entire constraint list) and
+ * `ALTER TABLE … ADD COLUMN` (the inline `unique` constraints on the new column).
+ * Both run it AFTER the duplicate-constraint guards, so a genuine duplicate keeps
+ * producing the constraint-worded duplicate message rather than a structure-name one,
+ * and — for `CREATE TABLE` — before `module.create`, so a refusal leaves no storage
+ * behind.
+ *
+ * Takes {@link DeclaredUniqueConstraint}s rather than built
+ * {@link UniqueConstraintSchema}s so the ADD COLUMN caller, whose column does not exist
+ * on any schema yet, can use it;
+ * {@link assertNoDuplicateUniqueConstraintBackingNames} is the built-constraint wrapper.
+ */
+export declare function assertUniqueConstraintBackingNamesDistinct(declared: ReadonlyArray<DeclaredUniqueConstraint>, operation: string): void;
+/**
+ * The `CREATE TABLE` wrapper over {@link assertUniqueConstraintBackingNamesDistinct},
+ * reading the BUILT constraints (column indices already resolved) so inline and
+ * table-level spellings are compared in one place. A `CREATE TABLE` declares no
+ * indexes, so this pairwise comparison is the whole of the check there.
+ *
+ * `derivedFromIndex` constraints are skipped for the same reason
+ * {@link findUniqueConstraintSharingBackingName} skips them — unreachable from a
+ * `CREATE TABLE` today (the statement carries no index declarations), kept so the two
+ * arms answer alike if that ever changes.
+ *
+ * Called from `SchemaManager.createTable` only — never from the import / rehydrate
+ * path, so a catalog written before this guard existed still opens (same placement
+ * rationale as {@link assertNoDuplicateUniqueConstraints}; the memory backend's
+ * `ensureUniqueConstraintIndexes` keeps its adoption behaviour as damage limitation
+ * for exactly those catalogs).
+ */
+export declare function assertNoDuplicateUniqueConstraintBackingNames(constraints: ReadonlyArray<UniqueConstraintSchema>, columns: ReadonlyArray<{
+    name: string;
+}>, operation: string): void;
 /**
  * Order- and repetition-insensitive key for the column set a UNIQUE constraint
  * covers. `unique (a, b)` and `unique (b, a)` enforce the identical rule, so they

package/dist/src/schema/catalog.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"catalog.d.ts","sourceRoot":"","sources":["../../../src/schema/catalog.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,EAAE,WAAW,EAAe,iBAAiB,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAOtG,OAAO,KAAK,KAAK,GAAG,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EAAE,KAAK,QAAQ,EAAc,MAAM,oBAAoB,CAAC;AAM/D;;GAEG;AACH,MAAM,WAAW,aAAa;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,YAAY,EAAE,CAAC;IACvB,KAAK,EAAE,WAAW,EAAE,CAAC;IACrB,OAAO,EAAE,YAAY,EAAE,CAAC;IACxB,UAAU,EAAE,gBAAgB,EAAE,CAAC;CAC/B;AAED,MAAM,WAAW,YAAY;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,KAAK,CAAC;QACd,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,CAAC;QACb,OAAO,EAAE,OAAO,CAAC;QACjB,UAAU,EAAE,OAAO,CAAC;QACpB,YAAY,EAAE,GAAG,CAAC,UAAU,GAAG,IAAI,CAAC;QACpC,uEAAuE;QACvE,SAAS,EAAE,MAAM,CAAC;QAClB,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;KAC1C,CAAC,CAAC;IACH,UAAU,EAAE,KAAK,CAAC;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IACzD,oFAAoF;IACpF,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC1C;;;;;;;;OAQG;IACH,gBAAgB,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACzG;;;;;;;;;;OAUG;IACH,UAAU,CAAC,EAAE;QACZ,QAAQ,EAAE,MAAM,CAAC;QACjB,yEAAyE;QACzE,iBAAiB,CAAC,EAAE,MAAM,CAAC;QAC3B,yDAAyD;QACzD,iBAAiB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;QACvD;;;WAGG;QACH,MAAM,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC;KACvB,CAAC;CACF;AAED,MAAM,WAAW,WAAW;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ;;;;;;;;;OASG;IACH,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC1C;;;;;;;;OAQG;IACH,MAAM,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC;CACvB;AAED,MAAM,WAAW,YAAY;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,GAAG,EAAE,MAAM,CAAC;IACZ;;;;;;;;;;;;;OAaG;IACH,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC1C;;;;;;;;OAQG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,gBAAgB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ;;;;OAIG;IACH,UAAU,EAAE,MAAM,CAAC;IACnB;;;;;OAKG;IACH,KAAK,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC;CACvB;AAgCD;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,QAAQ,EAAE,UAAU,GAAE,MAAe,GAAG,aAAa,CA4F7F;AA0ND;;;;;;;;;;;;GAYG;AACH,wBAAgB,mCAAmC,CAClD,WAAW,EAAE,WAAW,EACxB,cAAc,EAAE,MAAM,GAAG,SAAS,EAClC,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,EAClC,SAAS,EAAE,MAAM,GACf,IAAI,CASN;AAYD;;;;;;;;;;;GAWG;AACH,wBAAgB,4BAA4B,CAAC,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,MAAM,CAEvF;AA8BD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,mCAAmC,CAClD,WAAW,EAAE,WAAW,EACxB,cAAc,EAAE,MAAM,GAAG,SAAS,EAClC,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,EAClC,SAAS,EAAE,MAAM,EACjB,YAAY,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,GAChC,IAAI,CASN;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,kCAAkC,CACjD,WAAW,EAAE,aAAa,CAAC,sBAAsB,CAAC,EAClD,OAAO,EAAE,aAAa,CAAC;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EACxC,SAAS,EAAE,MAAM,GACf,IAAI,CASN;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,gCAAgC,CAC/C,UAAU,EAAE,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,EACxC,cAAc,EAAE,aAAa,CAAC,GAAG,CAAC,eAAe,CAAC,GAAG,SAAS,EAC9D,SAAS,EAAE,MAAM,GACf,IAAI,CAYN;AAED;;;;;;GAMG;AACH,MAAM,WAAW,qBAAqB;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,sFAAsF;IACtF,OAAO,EAAE,aAAa,CAAC,iBAAiB,CAAC,CAAC;IAC1C,6DAA6D;IAC7D,SAAS,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC;IAC3B,mFAAmF;IACnF,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;CAK1C;AAED;;;;;;;;;GASG;AACH,wBAAgB,sBAAsB,CAAC,WAAW,EAAE,WAAW,GAAG,qBAAqB,EAAE,CAgBxF;AAED;;;;;;;;GAQG;AACH,wBAAgB,kCAAkC,CAAC,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,CAatG;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,qBAAqB,CAAC,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAE1F;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,uBAAuB,CAAC,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAE5F;AAyDD;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,cAAc,EAAE,GAAG,CAAC,iBAAiB,EAAE,YAAY,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAuD1G"}
+{"version":3,"file":"catalog.d.ts","sourceRoot":"","sources":["../../../src/schema/catalog.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,EAAE,WAAW,EAAe,iBAAiB,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAOtG,OAAO,KAAK,KAAK,GAAG,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EAAE,KAAK,QAAQ,EAAc,MAAM,oBAAoB,CAAC;AAM/D;;;;;;;;;GASG;AACH,MAAM,WAAW,aAAa;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,YAAY,EAAE,CAAC;IACvB,KAAK,EAAE,WAAW,EAAE,CAAC;IACrB,OAAO,EAAE,YAAY,EAAE,CAAC;IACxB,UAAU,EAAE,gBAAgB,EAAE,CAAC;CAC/B;AAED,0GAA0G;AAC1G,MAAM,WAAW,YAAY;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,KAAK,CAAC;QACd,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,CAAC;QACb,OAAO,EAAE,OAAO,CAAC;QACjB,UAAU,EAAE,OAAO,CAAC;QACpB,YAAY,EAAE,GAAG,CAAC,UAAU,GAAG,IAAI,CAAC;QACpC,uEAAuE;QACvE,SAAS,EAAE,MAAM,CAAC;QAClB,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;KAC1C,CAAC,CAAC;IACH,UAAU,EAAE,KAAK,CAAC;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IACzD,oFAAoF;IACpF,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC1C;;;;;;;;OAQG;IACH,gBAAgB,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACzG;;;;;;;;;;OAUG;IACH,UAAU,CAAC,EAAE;QACZ,QAAQ,EAAE,MAAM,CAAC;QACjB,yEAAyE;QACzE,iBAAiB,CAAC,EAAE,MAAM,CAAC;QAC3B,yDAAyD;QACzD,iBAAiB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;QACvD;;;WAGG;QACH,MAAM,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC;KACvB,CAAC;CACF;AAED,0GAA0G;AAC1G,MAAM,WAAW,WAAW;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ;;;;;;;;;OASG;IACH,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC1C;;;;;;;;OAQG;IACH,MAAM,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC;CACvB;AAED,0GAA0G;AAC1G,MAAM,WAAW,YAAY;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,GAAG,EAAE,MAAM,CAAC;IACZ;;;;;;;;;;;;;OAaG;IACH,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC1C;;;;;;;;OAQG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,0GAA0G;AAC1G,MAAM,WAAW,gBAAgB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ;;;;OAIG;IACH,UAAU,EAAE,MAAM,CAAC;IACnB;;;;;OAKG;IACH,KAAK,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC;CACvB;AAgCD;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,QAAQ,EAAE,UAAU,GAAE,MAAe,GAAG,aAAa,CA4F7F;AAsQD;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,mCAAmC,CAClD,WAAW,EAAE,WAAW,EACxB,cAAc,EAAE,MAAM,GAAG,SAAS,EAClC,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,EAClC,SAAS,EAAE,MAAM,GACf,IAAI,CAwBN;AAED;;;;;GAKG;AACH,MAAM,WAAW,wBAAwB;IACxC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;CAC5C;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,0CAA0C,CACzD,QAAQ,EAAE,aAAa,CAAC,wBAAwB,CAAC,EACjD,SAAS,EAAE,MAAM,GACf,IAAI,CAiBN;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,6CAA6C,CAC5D,WAAW,EAAE,aAAa,CAAC,sBAAsB,CAAC,EAClD,OAAO,EAAE,aAAa,CAAC;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EACxC,SAAS,EAAE,MAAM,GACf,IAAI,CAON;AAYD;;;;;;;;;;;GAWG;AACH,wBAAgB,4BAA4B,CAAC,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,MAAM,CAEvF;AA8BD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,mCAAmC,CAClD,WAAW,EAAE,WAAW,EACxB,cAAc,EAAE,MAAM,GAAG,SAAS,EAClC,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,EAClC,SAAS,EAAE,MAAM,EACjB,YAAY,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,GAChC,IAAI,CASN;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,kCAAkC,CACjD,WAAW,EAAE,aAAa,CAAC,sBAAsB,CAAC,EAClD,OAAO,EAAE,aAAa,CAAC;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EACxC,SAAS,EAAE,MAAM,GACf,IAAI,CASN;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,gCAAgC,CAC/C,UAAU,EAAE,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,EACxC,cAAc,EAAE,aAAa,CAAC,GAAG,CAAC,eAAe,CAAC,GAAG,SAAS,EAC9D,SAAS,EAAE,MAAM,GACf,IAAI,CAYN;AAED;;;;;;GAMG;AACH,MAAM,WAAW,qBAAqB;IACrC,IAAI,EAAE,MAAM,CAAC;IACb,sFAAsF;IACtF,OAAO,EAAE,aAAa,CAAC,iBAAiB,CAAC,CAAC;IAC1C,6DAA6D;IAC7D,SAAS,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC;IAC3B,mFAAmF;IACnF,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;CAK1C;AAED;;;;;;;;;GASG;AACH,wBAAgB,sBAAsB,CAAC,WAAW,EAAE,WAAW,GAAG,qBAAqB,EAAE,CAgBxF;AAED;;;;;;;;GAQG;AACH,wBAAgB,kCAAkC,CAAC,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,CAatG;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,qBAAqB,CAAC,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAE1F;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,uBAAuB,CAAC,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAE5F;AAyDD;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,cAAc,EAAE,GAAG,CAAC,iBAAiB,EAAE,YAAY,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAuD1G"}