@quereus/quereus 4.10.0 → 4.12.0

package/dist/src/runtime/row-constraints.d.ts

@@ -1,8 +1,7 @@
 import type { ConstraintCheck } from '../planner/nodes/constraint-check-node.js';
 import type { RuntimeContext } from './types.js';
-import type { Row, OutputValue } from '../common/types.js';
+import type { Row, SqlValue, OutputValue } from '../common/types.js';
 import type { RowConstraintSchema, TableSchema } from '../schema/table.js';
-import type { ColumnSchema } from '../schema/column.js';
 import type { RowDescriptor } from '../planner/nodes/plan-node.js';
 import { RowOpFlag } from '../schema/table.js';
 import { ConflictResolution } from '../common/constants.js';
@@ -37,18 +36,25 @@ export interface ConstraintMetadataEntry {
     kind: 'check' | 'fk-child' | 'fk-parent';
     /** For 'fk-parent' UPDATE checks: parent-table column indices the FK references. */
     referencedColumnIndices?: ReadonlyArray<number>;
+    /** Verbatim violation text carried from a synthesized {@link ConstraintCheck}
+     *  (see {@link constraintViolationMessage}). */
+    violationMessage?: string;
+    /** Carried from {@link ConstraintCheck.messageValued}: the expression yields NULL when
+     *  satisfied and the violation message when violated (see {@link constraintFailed}). */
+    messageValued?: boolean;
 }
 export interface NotNullDefaultRuntime {
     columnIndex: number;
     evaluator: (ctx: RuntimeContext) => OutputValue;
     /**
-     * Set when the DEFAULT expression's static type is not the column's declared
-     * type: the substituted value must then be converted before it is written
-     * into the (already-converted) NEW section — the same static-type rule the
-     * DML emitters applied to the rest of the row, which the substitution
-     * bypasses by injecting a value after that pass.
+     * Converts the substituted value before it is written into the (already-converted)
+     * NEW section — the substitution injects a value AFTER the DML emitters' conversion
+     * pass, so it takes that pass's decision from the same helper
+     * ({@link import('../types/validation.js').buildCellCoercion}): convert unless the
+     * DEFAULT expression's static type IS the column's type AND the value already
+     * inhabits it. Unset only when there is provably nothing to do.
      */
-    coerceColumn?: ColumnSchema;
+    coerce?: (value: SqlValue) => SqlValue;
 }
 /**
  * Result of evaluating constraints for a single row.

package/dist/src/runtime/row-constraints.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"row-constraints.d.ts","sourceRoot":"","sources":["../../../src/runtime/row-constraints.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,KAAK,EAAE,GAAG,EAAY,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAErE,OAAO,KAAK,EAAE,mBAAmB,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAC3E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AACnE,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAK5D;;;;;;;;;;;;GAYG;AAEH,6FAA6F;AAC7F,MAAM,WAAW,kBAAkB;IAClC,SAAS,EAAE,SAAS,CAAC;IACrB,oFAAoF;IACpF,aAAa,EAAE,OAAO,CAAC;CACvB;AAED,MAAM,WAAW,uBAAuB;IACvC,MAAM,EAAE,mBAAmB,CAAC;IAC5B,iBAAiB,EAAE,aAAa,CAAC;IACjC,SAAS,EAAE,CAAC,GAAG,EAAE,cAAc,KAAK,WAAW,CAAC;IAChD,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,OAAO,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,iBAAiB,CAAC,EAAE,aAAa,CAAC;IAClC,IAAI,EAAE,OAAO,GAAG,UAAU,GAAG,WAAW,CAAC;IACzC,oFAAoF;IACpF,uBAAuB,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;CAChD;AAED,MAAM,WAAW,qBAAqB;IACrC,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,CAAC,GAAG,EAAE,cAAc,KAAK,WAAW,CAAC;IAChD;;;;;;OAMG;IACH,YAAY,CAAC,EAAE,YAAY,CAAC;CAC5B;AAED;;;;;;GAMG;AACH,MAAM,WAAW,mBAAmB;IACnC,IAAI,EAAE,OAAO,CAAC;IACd,WAAW,CAAC,EAAE,GAAG,CAAC;CAClB;AAmDD;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CACtC,MAAM,EAAE,SAAS,eAAe,EAAE,EAClC,WAAW,EAAE,WAAW,EACxB,iBAAiB,EAAE,aAAa,EAChC,iBAAiB,EAAE,aAAa,GAAG,SAAS,EAC5C,UAAU,EAAE,aAAa,CAAC,CAAC,GAAG,EAAE,cAAc,KAAK,WAAW,CAAC,GAC7D,uBAAuB,EAAE,CAa3B;AAED;;;;;;;;;;;GAWG;AACH,wBAAsB,sBAAsB,CAC3C,IAAI,EAAE,cAAc,EACpB,KAAK,EAAE,kBAAkB,EACzB,WAAW,EAAE,WAAW,EACxB,OAAO,EAAE,GAAG,EACZ,QAAQ,EAAE,uBAAuB,EAAE,EACnC,UAAU,EAAE,KAAK,CAAC,CAAC,GAAG,EAAE,cAAc,KAAK,WAAW,CAAC,EACvD,MAAM,EAAE,kBAAkB,GAAG,SAAS,EACtC,eAAe,EAAE,qBAAqB,EAAE,EACxC,UAAU,EAAE,GAAG,GAAG,SAAS,EAC3B,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,IAAI,GACzB,OAAO,CAAC,mBAAmB,CAAC,CAmB9B"}
+{"version":3,"file":"row-constraints.d.ts","sourceRoot":"","sources":["../../../src/runtime/row-constraints.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAErE,OAAO,KAAK,EAAE,mBAAmB,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAC3E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AACnE,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAI5D;;;;;;;;;;;;GAYG;AAEH,6FAA6F;AAC7F,MAAM,WAAW,kBAAkB;IAClC,SAAS,EAAE,SAAS,CAAC;IACrB,oFAAoF;IACpF,aAAa,EAAE,OAAO,CAAC;CACvB;AAED,MAAM,WAAW,uBAAuB;IACvC,MAAM,EAAE,mBAAmB,CAAC;IAC5B,iBAAiB,EAAE,aAAa,CAAC;IACjC,SAAS,EAAE,CAAC,GAAG,EAAE,cAAc,KAAK,WAAW,CAAC;IAChD,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,OAAO,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,iBAAiB,CAAC,EAAE,aAAa,CAAC;IAClC,IAAI,EAAE,OAAO,GAAG,UAAU,GAAG,WAAW,CAAC;IACzC,oFAAoF;IACpF,uBAAuB,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAChD;oDACgD;IAChD,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B;4FACwF;IACxF,aAAa,CAAC,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,qBAAqB;IACrC,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,CAAC,GAAG,EAAE,cAAc,KAAK,WAAW,CAAC;IAChD;;;;;;;OAOG;IACH,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,KAAK,QAAQ,CAAC;CACvC;AAED;;;;;;GAMG;AACH,MAAM,WAAW,mBAAmB;IACnC,IAAI,EAAE,OAAO,CAAC;IACd,WAAW,CAAC,EAAE,GAAG,CAAC;CAClB;AA2ED;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CACtC,MAAM,EAAE,SAAS,eAAe,EAAE,EAClC,WAAW,EAAE,WAAW,EACxB,iBAAiB,EAAE,aAAa,EAChC,iBAAiB,EAAE,aAAa,GAAG,SAAS,EAC5C,UAAU,EAAE,aAAa,CAAC,CAAC,GAAG,EAAE,cAAc,KAAK,WAAW,CAAC,GAC7D,uBAAuB,EAAE,CAe3B;AAED;;;;;;;;;;;GAWG;AACH,wBAAsB,sBAAsB,CAC3C,IAAI,EAAE,cAAc,EACpB,KAAK,EAAE,kBAAkB,EACzB,WAAW,EAAE,WAAW,EACxB,OAAO,EAAE,GAAG,EACZ,QAAQ,EAAE,uBAAuB,EAAE,EACnC,UAAU,EAAE,KAAK,CAAC,CAAC,GAAG,EAAE,cAAc,KAAK,WAAW,CAAC,EACvD,MAAM,EAAE,kBAAkB,GAAG,SAAS,EACtC,eAAe,EAAE,qBAAqB,EAAE,EACxC,UAAU,EAAE,GAAG,GAAG,SAAS,EAC3B,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,IAAI,GACzB,OAAO,CAAC,mBAAmB,CAAC,CAmB9B"}

package/dist/src/runtime/row-constraints.js

@@ -3,7 +3,6 @@ import { RowOpFlag } from '../schema/table.js';
 import { ConflictResolution } from '../common/constants.js';
 import { expressionToString } from '../emit/ast-stringify.js';
 import { sqlValueIdentical, isTruthy } from '../util/comparison.js';
-import { validateAndParse } from '../types/validation.js';
 /**
  * The violation message for a failing constraint — single source of truth for the
  * immediate (row-time) and deferred (commit-time) paths, which must report a row
@@ -13,11 +12,36 @@ import { validateAndParse } from '../types/validation.js';
  * "CHECK constraint failed" prefix for backward compatibility with existing
  * assertions; downstream consumers identify FK by name. The expression text is
  * appended as a hint only when short enough to stay readable.
+ *
+ * A synthesized check may override the whole text via `violationMessage` — the
+ * expression hint is engine-authored there, so quoting it back at the user
+ * explains nothing (see the absent-parent branch of `buildChildSideFKChecks`).
+ * Overrides keep the shared prefix themselves.
+ *
+ * A **message-valued** constraint (see {@link ConstraintMetadataEntry.messageValued})
+ * computed its own message as its evaluation result — `value` is that result,
+ * reported verbatim. The synthesizer bakes the per-rule text (each carrying the
+ * appropriate class prefix) into the expression, so nothing is derived here.
  */
-function constraintViolationMessage(metadata) {
+function constraintViolationMessage(metadata, value) {
+    if (metadata.messageValued && value !== null && value !== undefined)
+        return String(value);
+    if (metadata.violationMessage)
+        return metadata.violationMessage;
     const exprHint = metadata.constraintExpr.length <= 60 ? ` (${metadata.constraintExpr})` : '';
     return `CHECK constraint failed: ${metadata.constraintName}${exprHint}`;
 }
+/**
+ * Whether an evaluated constraint value is a violation. An ordinary CHECK
+ * passes if truthy or NULL (shared isTruthy semantics); a message-valued
+ * constraint inverts the test — it evaluates to NULL when satisfied and to the
+ * (non-NULL) violation message when violated.
+ */
+function constraintFailed(metadata, result) {
+    return metadata.messageValued
+        ? result !== null && result !== undefined
+        : result !== null && !isTruthy(result);
+}
 /**
  * Resolve the effective conflict action for a single failure.
  *
@@ -65,6 +89,8 @@ export function buildConstraintMetadata(checks, tableSchema, flatRowDescriptor,
         contextDescriptor,
         kind: check.kind ?? 'check',
         referencedColumnIndices: check.referencedColumnIndices,
+        violationMessage: check.violationMessage,
+        messageValued: check.messageValued,
     }));
 }
 /**
@@ -139,12 +165,11 @@ async function checkNotNullConstraints(rctx, scope, tableSchema, flatRow, stmtOR
                 // DEFAULT itself is NULL — substitution does not satisfy NOT NULL.
                 throw new ConstraintError(message);
             }
-            if (defaultEntry.coerceColumn) {
+            if (defaultEntry.coerce) {
                 // The substituted value is injected AFTER the emitters' conversion
-                // pass, so convert it here by the same static-type rule. Conversion
-                // itself can produce NULL (JSON's text 'null'), which still violates
-                // NOT NULL.
-                defaultValue = validateAndParse(defaultValue, defaultEntry.coerceColumn.logicalType, defaultEntry.coerceColumn.name);
+                // pass, so convert it here by the same rule. Conversion itself can
+                // produce NULL (JSON's text 'null'), which still violates NOT NULL.
+                defaultValue = defaultEntry.coerce(defaultValue);
                 if (defaultValue === null) {
                     throw new ConstraintError(message);
                 }
@@ -202,17 +227,19 @@ async function checkCheckConstraints(rctx, scope, tableSchema, constraintMetadat
             // attributed message as the immediate path below, instead of the queue's
             // generic name-only fallback — matches the pattern derived-row-validator.ts
             // already uses for maintained tables. The wrapper always throws before
-            // returning falsy, so the queue's own generic message never fires here.
+            // returning a failing value, so the queue's own generic message never fires
+            // here (a message-valued pass IS NULL, which the queue treats as a pass).
             // Only ABORT reaches this branch (see mustEvaluateNow), so throwing is the
             // whole of the deferred failure contract — no IGNORE/REPLACE leg needed.
-            const message = constraintViolationMessage(metadata);
+            // The message is computed at evaluation time: a message-valued constraint's
+            // message IS its evaluated value, unknowable before commit.
             const deferredEvaluator = async (dctx) => {
                 const rawResult = evaluator(dctx);
                 const result = (rawResult instanceof Promise ? await rawResult : rawResult);
-                if (result !== null && !isTruthy(result)) {
-                    throw new ConstraintError(message);
+                if (constraintFailed(metadata, result)) {
+                    throw new ConstraintError(constraintViolationMessage(metadata, result));
                 }
-                return result;
+                return result ?? null;
             };
             rctx.db._queueDeferredConstraintRow(metadata.baseTable, metadata.constraintName, flatRow, metadata.flatRowDescriptor, deferredEvaluator, activeConnectionId, contextRow, metadata.contextDescriptor);
             continue;
@@ -220,9 +247,8 @@ async function checkCheckConstraints(rctx, scope, tableSchema, constraintMetadat
         // Resolve without a per-row microtask hop (see runtime/async-util.ts).
         const rawResult = evaluator(rctx);
         const result = (rawResult instanceof Promise ? await rawResult : rawResult);
-        // CHECK passes if truthy or NULL; fails otherwise (shared isTruthy semantics).
-        if (result !== null && !isTruthy(result)) {
-            const baseMessage = constraintViolationMessage(metadata);
+        if (constraintFailed(metadata, result)) {
+            const baseMessage = constraintViolationMessage(metadata, result);
             if (effectiveAction === ConflictResolution.IGNORE) {
                 return { skip: true };
             }

package/dist/src/runtime/row-constraints.js.map

@@ -1 +1 @@
-{"version":3,"file":"row-constraints.js","sourceRoot":"","sources":["../../../src/runtime/row-constraints.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAIhG,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACpE,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AA8D1D;;;;;;;;;GASG;AACH,SAAS,0BAA0B,CAAC,QAAiC;IACpE,MAAM,QAAQ,GAAG,QAAQ,CAAC,cAAc,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,cAAc,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7F,OAAO,4BAA4B,QAAQ,CAAC,cAAc,GAAG,QAAQ,EAAE,CAAC;AACzE,CAAC;AAED;;;;GAIG;AACH,SAAS,UAAU,CAClB,MAAsC,EACtC,iBAAiD;IAEjD,OAAO,MAAM,IAAI,iBAAiB,IAAI,kBAAkB,CAAC,KAAK,CAAC;AAChE,CAAC;AAED;;;;;GAKG;AACH,SAAS,cAAc,CAAC,MAA0B,EAAE,OAAe;IAClE,IAAI,MAAM,KAAK,kBAAkB,CAAC,IAAI,EAAE,CAAC;QACxC,MAAM,IAAI,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC;IACD,IAAI,MAAM,KAAK,kBAAkB,CAAC,QAAQ,EAAE,CAAC;QAC5C,MAAM,IAAI,qBAAqB,CAAC,OAAO,CAAC,CAAC;IAC1C,CAAC;IACD,MAAM,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,6BAA6B,CAAC,WAAwB,EAAE,UAA+B;IAC/F,+FAA+F;IAC/F,MAAM,aAAa,GAAG,WAAW,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAsB,EAAE,EAAE,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC;IAC3G,OAAO,UAAU,aAAa,IAAI,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;AACnE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CACtC,MAAkC,EAClC,WAAwB,EACxB,iBAAgC,EAChC,iBAA4C,EAC5C,UAA+D;IAE/D,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QAClC,MAAM,EAAE,KAAK,CAAC,UAAU;QACxB,iBAAiB;QACjB,SAAS,EAAE,UAAU,CAAC,GAAG,CAAC;QAC1B,cAAc,EAAE,KAAK,CAAC,UAAU,CAAC,IAAI,IAAI,6BAA6B,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC;QACrG,cAAc,EAAE,kBAAkB,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC;QACzD,WAAW,EAAE,OAAO,CAAC,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,iBAAiB,IAAI,KAAK,CAAC,aAAa,CAAC;QACxF,SAAS,EAAE,GAAG,WAAW,CAAC,UAAU,IAAI,WAAW,CAAC,IAAI,EAAE;QAC1D,iBAAiB;QACjB,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,OAAO;QAC3B,uBAAuB,EAAE,KAAK,CAAC,uBAAuB;KACtD,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC3C,IAAoB,EACpB,KAAyB,EACzB,WAAwB,EACxB,OAAY,EACZ,QAAmC,EACnC,UAAuD,EACvD,MAAsC,EACtC,eAAwC,EACxC,UAA2B,EAC3B,OAA2B;IAE3B,4EAA4E;IAC5E,6EAA6E;IAC7E,6EAA6E;IAC7E,0EAA0E;IAC1E,4EAA4E;IAC5E,kEAAkE;IAClE,IAAI,GAAG,GAAG,OAAO,CAAC;IAClB,MAAM,QAAQ,GAAG,MAAM,uBAAuB,CAAC,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,EAAE,eAAe,CAAC,CAAC;IACvG,IAAI,QAAQ,CAAC,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACzC,IAAI,QAAQ,CAAC,WAAW;QAAE,GAAG,GAAG,QAAQ,CAAC,WAAW,CAAC;IAErD,OAAO,CAAC,GAAG,CAAC,CAAC;IAEb,sFAAsF;IACtF,MAAM,QAAQ,GAAG,MAAM,qBAAqB,CAAC,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC;IACtH,IAAI,QAAQ,CAAC,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAEzC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,CAAC;AAC3D,CAAC;AAED,KAAK,UAAU,uBAAuB,CACrC,IAAoB,EACpB,KAAyB,EACzB,WAAwB,EACxB,OAAY,EACZ,MAAsC,EACtC,eAAwC;IAExC,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;QAC1C,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACxB,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;QAC1B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACxB,CAAC;IAED,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC;IAC3C,IAAI,UAA2B,CAAC;IAEhC,yEAAyE;IACzE,wEAAwE;IACxE,8EAA8E;IAC9E,wEAAwE;IACxE,yEAAyE;IACzE,kFAAkF;IAClF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,CAAC,MAAM,CAAC,OAAO;YAAE,SAAS;QAE9B,MAAM,aAAa,GAAG,OAAO,GAAG,CAAC,CAAC,CAAC,uBAAuB;QAC1D,MAAM,KAAK,GAAG,CAAC,UAAU,IAAI,OAAO,CAAC,CAAC,aAAa,CAAC,CAAC;QACrD,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAEpD,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,eAAe,CAAC,CAAC;QAC1D,MAAM,OAAO,GAAG,+BAA+B,WAAW,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAEjF,IAAI,MAAM,KAAK,kBAAkB,CAAC,MAAM,EAAE,CAAC;YAC1C,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACvB,CAAC;QAED,IAAI,MAAM,KAAK,kBAAkB,CAAC,OAAO,EAAE,CAAC;YAC3C,0CAA0C;YAC1C,MAAM,YAAY,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,CAAC;YACpE,IAAI,CAAC,YAAY,EAAE,CAAC;gBACnB,iDAAiD;gBACjD,MAAM,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC;YACpC,CAAC;YACD,IAAI,YAAY,GAAG,MAAM,YAAY,CAAC,SAAS,CAAC,IAAI,CAAa,CAAC;YAClE,IAAI,YAAY,KAAK,IAAI,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;gBACzD,mEAAmE;gBACnE,MAAM,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC;YACpC,CAAC;YACD,IAAI,YAAY,CAAC,YAAY,EAAE,CAAC;gBAC/B,mEAAmE;gBACnE,oEAAoE;gBACpE,qEAAqE;gBACrE,YAAY;gBACZ,YAAY,GAAG,gBAAgB,CAC9B,YAAY,EAAE,YAAY,CAAC,YAAY,CAAC,WAAW,EAAE,YAAY,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;gBACtF,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;oBAC3B,MAAM,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC;gBACpC,CAAC;YACF,CAAC;YACD,IAAI,CAAC,UAAU;gBAAE,UAAU,GAAG,CAAC,GAAG,OAAO,CAAQ,CAAC;YAClD,UAAU,CAAC,aAAa,CAAC,GAAG,YAAY,CAAC;YACzC,SAAS;QACV,CAAC;QAED,0BAA0B;QAC1B,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;AACjD,CAAC;AAED,KAAK,UAAU,qBAAqB,CACnC,IAAoB,EACpB,KAAyB,EACzB,WAAwB,EACxB,kBAA6C,EAC7C,kBAA+D,EAC/D,MAAsC,EACtC,OAAY,EACZ,UAA2B;IAE3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,SAAS,GAAG,kBAAkB,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,SAAS,CAAC;QAE9D,oFAAoF;QACpF,iFAAiF;QACjF,sFAAsF;QACtF,sFAAsF;QACtF,qFAAqF;QACrF,gEAAgE;QAChE,8FAA8F;QAC9F,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,EAAE,CAAC,uBAAuB,EAAE;YAAE,SAAS;QAEjF,uEAAuE;QACvE,8CAA8C;QAC9C,IACC,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,MAAM;YACpC,QAAQ,CAAC,IAAI,KAAK,WAAW;YAC7B,QAAQ,CAAC,uBAAuB,EAC/B,CAAC;YACF,0EAA0E;YAC1E,0EAA0E;YAC1E,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC;YAC3C,IAAI,UAAU,GAAG,KAAK,CAAC;YACvB,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,uBAAuB,EAAE,CAAC;gBACvD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAa,CAAC,CAAW,sBAAsB;gBAC5E,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,GAAG,MAAM,CAAa,CAAC,CAAC,uBAAuB;gBAC7E,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;oBACxC,UAAU,GAAG,IAAI,CAAC;oBAClB,MAAM;gBACP,CAAC;YACF,CAAC;YACD,IAAI,CAAC,UAAU;gBAAE,SAAS;QAC3B,CAAC;QAED,wFAAwF;QACxF,uEAAuE;QACvE,MAAM,eAAe,GAAG,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;QAC5E,MAAM,eAAe,GAAG,eAAe,KAAK,kBAAkB,CAAC,KAAK,CAAC;QAErE,IAAI,QAAQ,CAAC,WAAW,IAAI,CAAC,eAAe,EAAE,CAAC;YAC9C,MAAM,kBAAkB,GAAG,IAAI,CAAC,gBAAgB,EAAE,YAAY,CAAC;YAC/D,oEAAoE;YACpE,yEAAyE;YACzE,4EAA4E;YAC5E,uEAAuE;YACvE,wEAAwE;YACxE,2EAA2E;YAC3E,yEAAyE;YACzE,MAAM,OAAO,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;YACrD,MAAM,iBAAiB,GAAG,KAAK,EAAE,IAAoB,EAAqB,EAAE;gBAC3E,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;gBAClC,MAAM,MAAM,GAAG,CAAC,SAAS,YAAY,OAAO,CAAC,CAAC,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC,SAAS,CAAa,CAAC;gBACxF,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC1C,MAAM,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC;gBACpC,CAAC;gBACD,OAAO,MAAM,CAAC;YACf,CAAC,CAAC;YACF,IAAI,CAAC,EAAE,CAAC,2BAA2B,CAClC,QAAQ,CAAC,SAAS,EAClB,QAAQ,CAAC,cAAc,EACvB,OAAO,EACP,QAAQ,CAAC,iBAAiB,EAC1B,iBAAiB,EACjB,kBAAkB,EAClB,UAAU,EACV,QAAQ,CAAC,iBAAiB,CAC1B,CAAC;YACF,SAAS;QACV,CAAC;QAED,uEAAuE;QACvE,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,CAAC,SAAS,YAAY,OAAO,CAAC,CAAC,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC,SAAS,CAAa,CAAC;QAExF,+EAA+E;QAC/E,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,MAAM,WAAW,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;YAEzD,IAAI,eAAe,KAAK,kBAAkB,CAAC,MAAM,EAAE,CAAC;gBACnD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;YACvB,CAAC;YAED,uEAAuE;YACvE,iFAAiF;YACjF,IAAI,eAAe,KAAK,kBAAkB,CAAC,OAAO,EAAE,CAAC;gBACpD,MAAM,IAAI,eAAe,CAAC,WAAW,CAAC,CAAC;YACxC,CAAC;YAED,cAAc,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC;QAC9C,CAAC;IACF,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACxB,CAAC"}
+{"version":3,"file":"row-constraints.js","sourceRoot":"","sources":["../../../src/runtime/row-constraints.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAGhG,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAqEpE;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAS,0BAA0B,CAAC,QAAiC,EAAE,KAAgB;IACtF,IAAI,QAAQ,CAAC,aAAa,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IAC1F,IAAI,QAAQ,CAAC,gBAAgB;QAAE,OAAO,QAAQ,CAAC,gBAAgB,CAAC;IAChE,MAAM,QAAQ,GAAG,QAAQ,CAAC,cAAc,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,cAAc,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7F,OAAO,4BAA4B,QAAQ,CAAC,cAAc,GAAG,QAAQ,EAAE,CAAC;AACzE,CAAC;AAED;;;;;GAKG;AACH,SAAS,gBAAgB,CAAC,QAAiC,EAAE,MAAgB;IAC5E,OAAO,QAAQ,CAAC,aAAa;QAC5B,CAAC,CAAC,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS;QACzC,CAAC,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AACzC,CAAC;AAED;;;;GAIG;AACH,SAAS,UAAU,CAClB,MAAsC,EACtC,iBAAiD;IAEjD,OAAO,MAAM,IAAI,iBAAiB,IAAI,kBAAkB,CAAC,KAAK,CAAC;AAChE,CAAC;AAED;;;;;GAKG;AACH,SAAS,cAAc,CAAC,MAA0B,EAAE,OAAe;IAClE,IAAI,MAAM,KAAK,kBAAkB,CAAC,IAAI,EAAE,CAAC;QACxC,MAAM,IAAI,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC;IACD,IAAI,MAAM,KAAK,kBAAkB,CAAC,QAAQ,EAAE,CAAC;QAC5C,MAAM,IAAI,qBAAqB,CAAC,OAAO,CAAC,CAAC;IAC1C,CAAC;IACD,MAAM,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,6BAA6B,CAAC,WAAwB,EAAE,UAA+B;IAC/F,+FAA+F;IAC/F,MAAM,aAAa,GAAG,WAAW,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAsB,EAAE,EAAE,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC;IAC3G,OAAO,UAAU,aAAa,IAAI,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;AACnE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CACtC,MAAkC,EAClC,WAAwB,EACxB,iBAAgC,EAChC,iBAA4C,EAC5C,UAA+D;IAE/D,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QAClC,MAAM,EAAE,KAAK,CAAC,UAAU;QACxB,iBAAiB;QACjB,SAAS,EAAE,UAAU,CAAC,GAAG,CAAC;QAC1B,cAAc,EAAE,KAAK,CAAC,UAAU,CAAC,IAAI,IAAI,6BAA6B,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC;QACrG,cAAc,EAAE,kBAAkB,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC;QACzD,WAAW,EAAE,OAAO,CAAC,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,iBAAiB,IAAI,KAAK,CAAC,aAAa,CAAC;QACxF,SAAS,EAAE,GAAG,WAAW,CAAC,UAAU,IAAI,WAAW,CAAC,IAAI,EAAE;QAC1D,iBAAiB;QACjB,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,OAAO;QAC3B,uBAAuB,EAAE,KAAK,CAAC,uBAAuB;QACtD,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,aAAa,EAAE,KAAK,CAAC,aAAa;KAClC,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC3C,IAAoB,EACpB,KAAyB,EACzB,WAAwB,EACxB,OAAY,EACZ,QAAmC,EACnC,UAAuD,EACvD,MAAsC,EACtC,eAAwC,EACxC,UAA2B,EAC3B,OAA2B;IAE3B,4EAA4E;IAC5E,6EAA6E;IAC7E,6EAA6E;IAC7E,0EAA0E;IAC1E,4EAA4E;IAC5E,kEAAkE;IAClE,IAAI,GAAG,GAAG,OAAO,CAAC;IAClB,MAAM,QAAQ,GAAG,MAAM,uBAAuB,CAAC,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,EAAE,eAAe,CAAC,CAAC;IACvG,IAAI,QAAQ,CAAC,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACzC,IAAI,QAAQ,CAAC,WAAW;QAAE,GAAG,GAAG,QAAQ,CAAC,WAAW,CAAC;IAErD,OAAO,CAAC,GAAG,CAAC,CAAC;IAEb,sFAAsF;IACtF,MAAM,QAAQ,GAAG,MAAM,qBAAqB,CAAC,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC;IACtH,IAAI,QAAQ,CAAC,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAEzC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,CAAC;AAC3D,CAAC;AAED,KAAK,UAAU,uBAAuB,CACrC,IAAoB,EACpB,KAAyB,EACzB,WAAwB,EACxB,OAAY,EACZ,MAAsC,EACtC,eAAwC;IAExC,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;QAC1C,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACxB,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;QAC1B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACxB,CAAC;IAED,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC;IAC3C,IAAI,UAA2B,CAAC;IAEhC,yEAAyE;IACzE,wEAAwE;IACxE,8EAA8E;IAC9E,wEAAwE;IACxE,yEAAyE;IACzE,kFAAkF;IAClF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,CAAC,MAAM,CAAC,OAAO;YAAE,SAAS;QAE9B,MAAM,aAAa,GAAG,OAAO,GAAG,CAAC,CAAC,CAAC,uBAAuB;QAC1D,MAAM,KAAK,GAAG,CAAC,UAAU,IAAI,OAAO,CAAC,CAAC,aAAa,CAAC,CAAC;QACrD,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAEpD,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,eAAe,CAAC,CAAC;QAC1D,MAAM,OAAO,GAAG,+BAA+B,WAAW,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAEjF,IAAI,MAAM,KAAK,kBAAkB,CAAC,MAAM,EAAE,CAAC;YAC1C,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACvB,CAAC;QAED,IAAI,MAAM,KAAK,kBAAkB,CAAC,OAAO,EAAE,CAAC;YAC3C,0CAA0C;YAC1C,MAAM,YAAY,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,CAAC;YACpE,IAAI,CAAC,YAAY,EAAE,CAAC;gBACnB,iDAAiD;gBACjD,MAAM,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC;YACpC,CAAC;YACD,IAAI,YAAY,GAAG,MAAM,YAAY,CAAC,SAAS,CAAC,IAAI,CAAa,CAAC;YAClE,IAAI,YAAY,KAAK,IAAI,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;gBACzD,mEAAmE;gBACnE,MAAM,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC;YACpC,CAAC;YACD,IAAI,YAAY,CAAC,MAAM,EAAE,CAAC;gBACzB,mEAAmE;gBACnE,mEAAmE;gBACnE,oEAAoE;gBACpE,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;gBACjD,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;oBAC3B,MAAM,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC;gBACpC,CAAC;YACF,CAAC;YACD,IAAI,CAAC,UAAU;gBAAE,UAAU,GAAG,CAAC,GAAG,OAAO,CAAQ,CAAC;YAClD,UAAU,CAAC,aAAa,CAAC,GAAG,YAAY,CAAC;YACzC,SAAS;QACV,CAAC;QAED,0BAA0B;QAC1B,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;AACjD,CAAC;AAED,KAAK,UAAU,qBAAqB,CACnC,IAAoB,EACpB,KAAyB,EACzB,WAAwB,EACxB,kBAA6C,EAC7C,kBAA+D,EAC/D,MAAsC,EACtC,OAAY,EACZ,UAA2B;IAE3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,SAAS,GAAG,kBAAkB,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,SAAS,CAAC;QAE9D,oFAAoF;QACpF,iFAAiF;QACjF,sFAAsF;QACtF,sFAAsF;QACtF,qFAAqF;QACrF,gEAAgE;QAChE,8FAA8F;QAC9F,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,EAAE,CAAC,uBAAuB,EAAE;YAAE,SAAS;QAEjF,uEAAuE;QACvE,8CAA8C;QAC9C,IACC,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,MAAM;YACpC,QAAQ,CAAC,IAAI,KAAK,WAAW;YAC7B,QAAQ,CAAC,uBAAuB,EAC/B,CAAC;YACF,0EAA0E;YAC1E,0EAA0E;YAC1E,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC;YAC3C,IAAI,UAAU,GAAG,KAAK,CAAC;YACvB,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,uBAAuB,EAAE,CAAC;gBACvD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAa,CAAC,CAAW,sBAAsB;gBAC5E,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,GAAG,MAAM,CAAa,CAAC,CAAC,uBAAuB;gBAC7E,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;oBACxC,UAAU,GAAG,IAAI,CAAC;oBAClB,MAAM;gBACP,CAAC;YACF,CAAC;YACD,IAAI,CAAC,UAAU;gBAAE,SAAS;QAC3B,CAAC;QAED,wFAAwF;QACxF,uEAAuE;QACvE,MAAM,eAAe,GAAG,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;QAC5E,MAAM,eAAe,GAAG,eAAe,KAAK,kBAAkB,CAAC,KAAK,CAAC;QAErE,IAAI,QAAQ,CAAC,WAAW,IAAI,CAAC,eAAe,EAAE,CAAC;YAC9C,MAAM,kBAAkB,GAAG,IAAI,CAAC,gBAAgB,EAAE,YAAY,CAAC;YAC/D,oEAAoE;YACpE,yEAAyE;YACzE,4EAA4E;YAC5E,uEAAuE;YACvE,4EAA4E;YAC5E,0EAA0E;YAC1E,2EAA2E;YAC3E,yEAAyE;YACzE,4EAA4E;YAC5E,4DAA4D;YAC5D,MAAM,iBAAiB,GAAG,KAAK,EAAE,IAAoB,EAAqB,EAAE;gBAC3E,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;gBAClC,MAAM,MAAM,GAAG,CAAC,SAAS,YAAY,OAAO,CAAC,CAAC,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC,SAAS,CAAa,CAAC;gBACxF,IAAI,gBAAgB,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;oBACxC,MAAM,IAAI,eAAe,CAAC,0BAA0B,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;gBACzE,CAAC;gBACD,OAAO,MAAM,IAAI,IAAI,CAAC;YACvB,CAAC,CAAC;YACF,IAAI,CAAC,EAAE,CAAC,2BAA2B,CAClC,QAAQ,CAAC,SAAS,EAClB,QAAQ,CAAC,cAAc,EACvB,OAAO,EACP,QAAQ,CAAC,iBAAiB,EAC1B,iBAAiB,EACjB,kBAAkB,EAClB,UAAU,EACV,QAAQ,CAAC,iBAAiB,CAC1B,CAAC;YACF,SAAS;QACV,CAAC;QAED,uEAAuE;QACvE,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,CAAC,SAAS,YAAY,OAAO,CAAC,CAAC,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC,SAAS,CAAa,CAAC;QAExF,IAAI,gBAAgB,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;YACxC,MAAM,WAAW,GAAG,0BAA0B,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YAEjE,IAAI,eAAe,KAAK,kBAAkB,CAAC,MAAM,EAAE,CAAC;gBACnD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;YACvB,CAAC;YAED,uEAAuE;YACvE,iFAAiF;YACjF,IAAI,eAAe,KAAK,kBAAkB,CAAC,OAAO,EAAE,CAAC;gBACpD,MAAM,IAAI,eAAe,CAAC,WAAW,CAAC,CAAC;YACxC,CAAC;YAED,cAAc,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC;QAC9C,CAAC;IACF,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACxB,CAAC"}

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"}