@quereus/sync 4.5.0 → 4.7.0

package/dist/src/metadata/pk-identity.d.ts

@@ -4,10 +4,11 @@
  * The sync layer files every per-row record (`cv:`/`tb:`/`cl:`) under the row's
  * IDENTITY — the same "same row?" answer the rest of the engine gives: each pk
  * column normalized under its KEY COLLATION ('apple' ≡ 'APPLE' under nocase) and
- * its logical type's semantic key transform ('PT1H' ≡ 'PT60M' for TIMESPAN).
- * This module resolves that keying from a table's schema, mirroring
- * `makePkKeySerializer` in `@quereus/isolation` (the overlay's row-alignment
- * key) so the two layers can never disagree on row identity.
+ * its logical type's semantic key transform ('PT1H' ≡ 'PT60M' for TIMESPAN). This
+ * module resolves that keying from a table's schema by calling into
+ * `@quereus/quereus`'s `resolvePkIdentityKeying` — the ONE implementation of that
+ * recipe, also used by `makePkKeySerializer` in `@quereus/isolation` (the overlay's
+ * row-alignment key) — so the two layers can never disagree on row identity.
  *
  * Identity is derived and lossy; the row's ADDRESS (a real, type-valid
  * `SqlValue[]` — any spelling from the equivalence class) lives in the record
@@ -22,16 +23,20 @@ import { type PkKeying } from './keys.js';
  */
 export type PkKeyingResolver = (schemaName: string, tableName: string) => PkKeying;
 /**
- * Resolve a table's {@link PkKeying} from its schema:
- *  - normalizers: each pk column's key collation via {@link pkKeyCollationName}
- *    (its own declared collation for a textual column — the store reconciles an
- *    undecorated text pk to the table key collation at CREATE, so the registered
- *    schema always carries it; BINARY for text-capable-but-not-textual columns;
- *    identity for never-text columns via `resolver(undefined)`).
- *  - transforms: the engine's {@link semanticKeyTransform} (the logical type's
- *    `groupKey` — today TIMESPAN → total seconds). Deliberately the ENGINE
- *    transform, not the store's byte-order variant: identity strings need
- *    equality, not memcmp order, so JSON's canonical text is already faithful.
+ * Resolve a table's {@link PkKeying} from its schema. Delegates entirely to
+ * `@quereus/quereus`'s {@link resolvePkIdentityKeying} (per pk column: key collation
+ * via `pkKeyCollationName` — its own declared collation for a collation-aware column
+ * (`text`, `any`; for text the store reconciles an undecorated pk to the table key
+ * collation at CREATE, so the registered schema always carries it); BINARY for
+ * collation-blind text-capable columns (`json`, the temporal types); identity for
+ * never-text columns — plus the engine's `semanticKeyTransform`,
+ * the logical type's `groupKey`, today TIMESPAN → total seconds. Deliberately the
+ * ENGINE transform, not the store's byte-order variant: identity strings need
+ * equality, not memcmp order, so JSON's canonical text is already faithful), whose
+ * shape is exactly {@link PkKeying}'s. That shared function is also defensive about a
+ * missing `primaryKeyDefinition` or column `logicalType` (test oracles stub minimal
+ * schemas — `{ columns: [{ name }] }` only), degrading a missing piece to the identity
+ * normalizer (raw value identity) instead of crashing.
  */
 export declare function resolvePkKeying(schema: TableSchema, resolver: KeyNormalizerResolver): PkKeying;
 /**

package/dist/src/metadata/pk-identity.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"pk-identity.d.ts","sourceRoot":"","sources":["../../../src/metadata/pk-identity.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAGN,KAAK,qBAAqB,EAC1B,KAAK,QAAQ,EACb,KAAK,WAAW,EAChB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAmC,KAAK,QAAQ,EAAE,MAAM,WAAW,CAAC;AAE3E;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,KAAK,QAAQ,CAAC;AAEnF;;;;;;;;;;;GAWG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,qBAAqB,GAAG,QAAQ,CAc9F;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,sBAAsB,CACrC,cAAc,EAAE,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,KAAK,WAAW,GAAG,SAAS,CAAC,GAAG,SAAS,EAChG,qBAAqB,EAAE,qBAAqB,GAAG,SAAS,GACtD,gBAAgB,CAwBlB;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CACpC,MAAM,EAAE,WAAW,EACnB,QAAQ,EAAE,qBAAqB,GAC7B,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,MAAM,CAG5B"}
+{"version":3,"file":"pk-identity.d.ts","sourceRoot":"","sources":["../../../src/metadata/pk-identity.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAEN,KAAK,qBAAqB,EAC1B,KAAK,QAAQ,EACb,KAAK,WAAW,EAChB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAmC,KAAK,QAAQ,EAAE,MAAM,WAAW,CAAC;AAE3E;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,KAAK,QAAQ,CAAC;AAEnF;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,qBAAqB,GAAG,QAAQ,CAE9F;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,sBAAsB,CACrC,cAAc,EAAE,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,KAAK,WAAW,GAAG,SAAS,CAAC,GAAG,SAAS,EAChG,qBAAqB,EAAE,qBAAqB,GAAG,SAAS,GACtD,gBAAgB,CAwBlB;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CACpC,MAAM,EAAE,WAAW,EACnB,QAAQ,EAAE,qBAAqB,GAC7B,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,MAAM,CAG5B"}

package/dist/src/metadata/pk-identity.js

@@ -4,44 +4,37 @@
  * The sync layer files every per-row record (`cv:`/`tb:`/`cl:`) under the row's
  * IDENTITY — the same "same row?" answer the rest of the engine gives: each pk
  * column normalized under its KEY COLLATION ('apple' ≡ 'APPLE' under nocase) and
- * its logical type's semantic key transform ('PT1H' ≡ 'PT60M' for TIMESPAN).
- * This module resolves that keying from a table's schema, mirroring
- * `makePkKeySerializer` in `@quereus/isolation` (the overlay's row-alignment
- * key) so the two layers can never disagree on row identity.
+ * its logical type's semantic key transform ('PT1H' ≡ 'PT60M' for TIMESPAN). This
+ * module resolves that keying from a table's schema by calling into
+ * `@quereus/quereus`'s `resolvePkIdentityKeying` — the ONE implementation of that
+ * recipe, also used by `makePkKeySerializer` in `@quereus/isolation` (the overlay's
+ * row-alignment key) — so the two layers can never disagree on row identity.
  *
  * Identity is derived and lossy; the row's ADDRESS (a real, type-valid
  * `SqlValue[]` — any spelling from the equivalence class) lives in the record
  * value and on the wire. See docs/sync.md § Row identity vs. address.
  */
-import { pkKeyCollationName, semanticKeyTransform, } from '@quereus/quereus';
+import { resolvePkIdentityKeying, } from '@quereus/quereus';
 import { BUILTIN_KEY_NORMALIZER_RESOLVER } from '@quereus/store';
 import { encodePkIdentity, RAW_PK_KEYING } from './keys.js';
 /**
- * Resolve a table's {@link PkKeying} from its schema:
- *  - normalizers: each pk column's key collation via {@link pkKeyCollationName}
- *    (its own declared collation for a textual column — the store reconciles an
- *    undecorated text pk to the table key collation at CREATE, so the registered
- *    schema always carries it; BINARY for text-capable-but-not-textual columns;
- *    identity for never-text columns via `resolver(undefined)`).
- *  - transforms: the engine's {@link semanticKeyTransform} (the logical type's
- *    `groupKey` — today TIMESPAN → total seconds). Deliberately the ENGINE
- *    transform, not the store's byte-order variant: identity strings need
- *    equality, not memcmp order, so JSON's canonical text is already faithful.
+ * Resolve a table's {@link PkKeying} from its schema. Delegates entirely to
+ * `@quereus/quereus`'s {@link resolvePkIdentityKeying} (per pk column: key collation
+ * via `pkKeyCollationName` — its own declared collation for a collation-aware column
+ * (`text`, `any`; for text the store reconciles an undecorated pk to the table key
+ * collation at CREATE, so the registered schema always carries it); BINARY for
+ * collation-blind text-capable columns (`json`, the temporal types); identity for
+ * never-text columns — plus the engine's `semanticKeyTransform`,
+ * the logical type's `groupKey`, today TIMESPAN → total seconds. Deliberately the
+ * ENGINE transform, not the store's byte-order variant: identity strings need
+ * equality, not memcmp order, so JSON's canonical text is already faithful), whose
+ * shape is exactly {@link PkKeying}'s. That shared function is also defensive about a
+ * missing `primaryKeyDefinition` or column `logicalType` (test oracles stub minimal
+ * schemas — `{ columns: [{ name }] }` only), degrading a missing piece to the identity
+ * normalizer (raw value identity) instead of crashing.
  */
 export function resolvePkKeying(schema, resolver) {
-    // Defensive `?? []` / logicalType guard: a real TableSchema always carries
-    // primaryKeyDefinition and typed columns, but test oracles stub minimal
-    // schemas ({ columns: [{ name }] } only). A missing piece degrades that
-    // position to the identity normalizer (raw value identity) — the same
-    // treatment a keyless stub got before — instead of crashing.
-    const pkDef = schema.primaryKeyDefinition ?? [];
-    return {
-        normalizers: pkDef.map(def => {
-            const column = schema.columns[def.index];
-            return resolver(column?.logicalType ? pkKeyCollationName(column) : undefined);
-        }),
-        transforms: pkDef.map(def => semanticKeyTransform(schema.columns[def.index]?.logicalType)),
-    };
+    return resolvePkIdentityKeying(schema, resolver);
 }
 /**
  * Build the {@link PkKeyingResolver} a `SyncManagerImpl` threads through its

package/dist/src/metadata/pk-identity.js.map

@@ -1 +1 @@
-{"version":3,"file":"pk-identity.js","sourceRoot":"","sources":["../../../src/metadata/pk-identity.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EACN,kBAAkB,EAClB,oBAAoB,GAIpB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,+BAA+B,EAAE,MAAM,gBAAgB,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAiB,MAAM,WAAW,CAAC;AAS3E;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,eAAe,CAAC,MAAmB,EAAE,QAA+B;IACnF,2EAA2E;IAC3E,wEAAwE;IACxE,wEAAwE;IACxE,sEAAsE;IACtE,6DAA6D;IAC7D,MAAM,KAAK,GAAG,MAAM,CAAC,oBAAoB,IAAI,EAAE,CAAC;IAChD,OAAO;QACN,WAAW,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;YAC5B,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACzC,OAAO,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC/E,CAAC,CAAC;QACF,UAAU,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC,CAAC;KAC1F,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,sBAAsB,CACrC,cAAgG,EAChG,qBAAwD;IAExD,IAAI,CAAC,cAAc,EAAE,CAAC;QACrB,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC;IAC5B,CAAC;IACD,8EAA8E;IAC9E,8EAA8E;IAC9E,gDAAgD;IAChD,MAAM,QAAQ,GAAG,qBAAqB,IAAI,+BAA+B,CAAC;IAC1E,MAAM,KAAK,GAAG,IAAI,OAAO,EAAyB,CAAC;IACnD,OAAO,CAAC,UAAU,EAAE,SAAS,EAAE,EAAE;QAChC,MAAM,MAAM,GAAG,cAAc,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QACrD,IAAI,CAAC,MAAM,EAAE,CAAC;YACb,MAAM,IAAI,KAAK,CACd,uBAAuB,UAAU,IAAI,SAAS,sCAAsC;kBACjF,kFAAkF,CACrF,CAAC;QACH,CAAC;QACD,IAAI,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,CAAC,MAAM,EAAE,CAAC;YACb,MAAM,GAAG,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YAC3C,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC3B,CAAC;QACD,OAAO,MAAM,CAAC;IACf,CAAC,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CACpC,MAAmB,EACnB,QAA+B;IAE/B,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACjD,OAAO,EAAE,CAAC,EAAE,CAAC,gBAAgB,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;AAC3C,CAAC"}
+{"version":3,"file":"pk-identity.js","sourceRoot":"","sources":["../../../src/metadata/pk-identity.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EACN,uBAAuB,GAIvB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,+BAA+B,EAAE,MAAM,gBAAgB,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAiB,MAAM,WAAW,CAAC;AAS3E;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,eAAe,CAAC,MAAmB,EAAE,QAA+B;IACnF,OAAO,uBAAuB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;AAClD,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,sBAAsB,CACrC,cAAgG,EAChG,qBAAwD;IAExD,IAAI,CAAC,cAAc,EAAE,CAAC;QACrB,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC;IAC5B,CAAC;IACD,8EAA8E;IAC9E,8EAA8E;IAC9E,gDAAgD;IAChD,MAAM,QAAQ,GAAG,qBAAqB,IAAI,+BAA+B,CAAC;IAC1E,MAAM,KAAK,GAAG,IAAI,OAAO,EAAyB,CAAC;IACnD,OAAO,CAAC,UAAU,EAAE,SAAS,EAAE,EAAE;QAChC,MAAM,MAAM,GAAG,cAAc,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QACrD,IAAI,CAAC,MAAM,EAAE,CAAC;YACb,MAAM,IAAI,KAAK,CACd,uBAAuB,UAAU,IAAI,SAAS,sCAAsC;kBACjF,kFAAkF,CACrF,CAAC;QACH,CAAC;QACD,IAAI,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,CAAC,MAAM,EAAE,CAAC;YACb,MAAM,GAAG,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YAC3C,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC3B,CAAC;QACD,OAAO,MAAM,CAAC;IACf,CAAC,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CACpC,MAAmB,EACnB,QAA+B;IAE/B,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACjD,OAAO,EAAE,CAAC,EAAE,CAAC,gBAAgB,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;AAC3C,CAAC"}

package/dist/src/metadata/schema-migration.d.ts

@@ -6,19 +6,26 @@
  */
 import type { KVStore, WriteBatch } from '@quereus/store';
 import { type HLC } from '../clock/hlc.js';
-import type { SchemaMigrationType } from '../sync/protocol.js';
+import { type SchemaMigration, type SchemaMigrationType, type SchemaObjectKind } from '../sync/protocol.js';
 /**
  * Stored schema migration record.
  */
 export interface StoredMigration {
     type: SchemaMigrationType;
+    /** `rename_table` only: the table name before the rename. */
+    fromTable?: string;
     ddl: string;
     hlc: HLC;
     schemaVersion: number;
 }
 /**
  * Serialize a migration for storage.
- * Format: 30 bytes HLC + 4 bytes version + 1 byte type length + type + ddl
+ * Format: 30 bytes HLC + 4 bytes version + 1 byte type length + type
+ *         + 2 bytes fromTable byte-length (big-endian; 0 = absent) + fromTable + ddl
+ *
+ * The `fromTable` slot sits BEFORE the ddl because the ddl is "rest of buffer" —
+ * nothing can be appended after it. Inserting the slot is an incompatible layout
+ * change, covered by the `fv:` gate (SYNC_METADATA_FORMAT_VERSION 5 in keys.ts).
  */
 export declare function serializeMigration(migration: StoredMigration): Uint8Array;
 /**
@@ -27,6 +34,11 @@ export declare function serializeMigration(migration: StoredMigration): Uint8Arr
 export declare function deserializeMigration(buffer: Uint8Array): StoredMigration;
 /**
  * Schema migration store operations.
+ *
+ * Every method is keyed by `(schemaName, kind, objectName)`: the object name
+ * alone is ambiguous, since an index migration names an INDEX while every other
+ * migration type names a TABLE. Callers derive `kind` from the migration type
+ * with {@link import('../sync/protocol.js').migrationObjectKind}.
  */
 export declare class SchemaMigrationStore {
     private readonly kv;
@@ -34,27 +46,38 @@ export declare class SchemaMigrationStore {
     /**
      * Get a specific migration by version.
      */
-    getMigration(schemaName: string, tableName: string, version: number): Promise<StoredMigration | undefined>;
+    getMigration(schemaName: string, kind: SchemaObjectKind, objectName: string, version: number): Promise<StoredMigration | undefined>;
     /**
      * Record a new migration.
      */
-    recordMigration(schemaName: string, tableName: string, migration: StoredMigration): Promise<void>;
+    recordMigration(schemaName: string, kind: SchemaObjectKind, objectName: string, migration: StoredMigration): Promise<void>;
     /**
      * Record migration in a batch.
      */
-    recordMigrationBatch(batch: WriteBatch, schemaName: string, tableName: string, migration: StoredMigration): void;
+    recordMigrationBatch(batch: WriteBatch, schemaName: string, kind: SchemaObjectKind, objectName: string, migration: StoredMigration): void;
+    /**
+     * Get the current schema version for one object (a table's, or an index's).
+     */
+    getCurrentVersion(schemaName: string, kind: SchemaObjectKind, objectName: string): Promise<number>;
     /**
-     * Get the current schema version for a table.
+     * Get all migrations for one object.
      */
-    getCurrentVersion(schemaName: string, tableName: string): Promise<number>;
+    getAllMigrations(schemaName: string, kind: SchemaObjectKind, objectName: string): AsyncIterable<StoredMigration>;
     /**
-     * Get all migrations for a table.
+     * Every migration on this replica as a wire record, in causal (HLC) order.
+     *
+     * The producers that ship DDL — both snapshot paths and the delta collector —
+     * all need the whole set, and all need it causally ordered: DDL replays in list
+     * order, so a `create index` ahead of its table's `create table` fails outright.
+     * `sm:` key order is (schema, object kind, object name), which puts every index
+     * migration ahead of every table migration in a schema, so the scan order can
+     * never be used directly.
      */
-    getAllMigrations(schemaName: string, tableName: string): AsyncIterable<StoredMigration>;
+    listAllMigrations(): Promise<SchemaMigration[]>;
     /**
      * Check if a migration conflicts with an existing one.
      * Returns the existing migration if there's a conflict, undefined otherwise.
      */
-    checkConflict(schemaName: string, tableName: string, version: number, incomingHLC: HLC): Promise<StoredMigration | undefined>;
+    checkConflict(schemaName: string, kind: SchemaObjectKind, objectName: string, version: number, incomingHLC: HLC): Promise<StoredMigration | undefined>;
 }
 //# sourceMappingURL=schema-migration.d.ts.map

package/dist/src/metadata/schema-migration.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema-migration.d.ts","sourceRoot":"","sources":["../../../src/metadata/schema-migration.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,EAAE,KAAK,GAAG,EAA4C,MAAM,iBAAiB,CAAC;AAErF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAE/D;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,mBAAmB,CAAC;IAC1B,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,EAAE,GAAG,CAAC;IACT,aAAa,EAAE,MAAM,CAAC;CACvB;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,SAAS,EAAE,eAAe,GAAG,UAAU,CA4BzE;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,UAAU,GAAG,eAAe,CAuBxE;AAED;;GAEG;AACH,qBAAa,oBAAoB;IACnB,OAAO,CAAC,QAAQ,CAAC,EAAE;gBAAF,EAAE,EAAE,OAAO;IAExC;;OAEG;IACG,YAAY,CAChB,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,GACd,OAAO,CAAC,eAAe,GAAG,SAAS,CAAC;IAOvC;;OAEG;IACG,eAAe,CACnB,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,eAAe,GACzB,OAAO,CAAC,IAAI,CAAC;IAKhB;;OAEG;IACH,oBAAoB,CAClB,KAAK,EAAE,UAAU,EACjB,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,eAAe,GACzB,IAAI;IAKP;;OAEG;IACG,iBAAiB,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAY/E;;OAEG;IACI,gBAAgB,CACrB,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,MAAM,GAChB,aAAa,CAAC,eAAe,CAAC;IAQjC;;;OAGG;IACG,aAAa,CACjB,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,GAAG,GACf,OAAO,CAAC,eAAe,GAAG,SAAS,CAAC;CAWxC"}
+{"version":3,"file":"schema-migration.d.ts","sourceRoot":"","sources":["../../../src/metadata/schema-migration.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,EAAE,KAAK,GAAG,EAA4C,MAAM,iBAAiB,CAAC;AAOrF,OAAO,EAEL,KAAK,eAAe,EACpB,KAAK,mBAAmB,EACxB,KAAK,gBAAgB,EACtB,MAAM,qBAAqB,CAAC;AAE7B;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,mBAAmB,CAAC;IAC1B,6DAA6D;IAC7D,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,EAAE,GAAG,CAAC;IACT,aAAa,EAAE,MAAM,CAAC;CACvB;AAED;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAAC,SAAS,EAAE,eAAe,GAAG,UAAU,CAmCzE;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,UAAU,GAAG,eAAe,CAqCxE;AAED;;;;;;;GAOG;AACH,qBAAa,oBAAoB;IACnB,OAAO,CAAC,QAAQ,CAAC,EAAE;gBAAF,EAAE,EAAE,OAAO;IAExC;;OAEG;IACG,YAAY,CAChB,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,gBAAgB,EACtB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GACd,OAAO,CAAC,eAAe,GAAG,SAAS,CAAC;IAOvC;;OAEG;IACG,eAAe,CACnB,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,gBAAgB,EACtB,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,eAAe,GACzB,OAAO,CAAC,IAAI,CAAC;IAKhB;;OAEG;IACH,oBAAoB,CAClB,KAAK,EAAE,UAAU,EACjB,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,gBAAgB,EACtB,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,eAAe,GACzB,IAAI;IAKP;;OAEG;IACG,iBAAiB,CACrB,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,gBAAgB,EACtB,UAAU,EAAE,MAAM,GACjB,OAAO,CAAC,MAAM,CAAC;IAYlB;;OAEG;IACI,gBAAgB,CACrB,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,gBAAgB,EACtB,UAAU,EAAE,MAAM,GACjB,aAAa,CAAC,eAAe,CAAC;IAQjC;;;;;;;;;OASG;IACG,iBAAiB,IAAI,OAAO,CAAC,eAAe,EAAE,CAAC;IAsBrD;;;OAGG;IACG,aAAa,CACjB,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,gBAAgB,EACtB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,GAAG,GACf,OAAO,CAAC,eAAe,GAAG,SAAS,CAAC;CAWxC"}

package/dist/src/metadata/schema-migration.js

@@ -5,17 +5,24 @@
  * Uses first-writer-wins for conflict resolution on schema changes.
  */
 import { serializeHLC, deserializeHLC, compareHLC } from '../clock/hlc.js';
-import { buildSchemaMigrationKey, buildSchemaMigrationScanBounds } from './keys.js';
+import { buildAllSchemaMigrationsScanBounds, buildSchemaMigrationKey, buildSchemaMigrationScanBounds, parseSchemaMigrationKey, } from './keys.js';
+import { sortMigrationsByHLC, } from '../sync/protocol.js';
 /**
  * Serialize a migration for storage.
- * Format: 30 bytes HLC + 4 bytes version + 1 byte type length + type + ddl
+ * Format: 30 bytes HLC + 4 bytes version + 1 byte type length + type
+ *         + 2 bytes fromTable byte-length (big-endian; 0 = absent) + fromTable + ddl
+ *
+ * The `fromTable` slot sits BEFORE the ddl because the ddl is "rest of buffer" —
+ * nothing can be appended after it. Inserting the slot is an incompatible layout
+ * change, covered by the `fv:` gate (SYNC_METADATA_FORMAT_VERSION 5 in keys.ts).
  */
 export function serializeMigration(migration) {
     const encoder = new TextEncoder();
     const typeBytes = encoder.encode(migration.type);
+    const fromBytes = encoder.encode(migration.fromTable ?? '');
     const ddlBytes = encoder.encode(migration.ddl);
     const hlcBytes = serializeHLC(migration.hlc);
-    const buffer = new Uint8Array(30 + 4 + 1 + typeBytes.length + ddlBytes.length);
+    const buffer = new Uint8Array(30 + 4 + 1 + typeBytes.length + 2 + fromBytes.length + ddlBytes.length);
     let offset = 0;
     // HLC (30 bytes)
     buffer.set(hlcBytes, offset);
@@ -29,6 +36,11 @@ export function serializeMigration(migration) {
     offset += 1;
     buffer.set(typeBytes, offset);
     offset += typeBytes.length;
+    // fromTable byte-length (2 bytes, big-endian; 0 = absent) + fromTable
+    view.setUint16(offset, fromBytes.length, false);
+    offset += 2;
+    buffer.set(fromBytes, offset);
+    offset += fromBytes.length;
     // DDL (rest of buffer)
     buffer.set(ddlBytes, offset);
     return buffer;
@@ -51,12 +63,30 @@ export function deserializeMigration(buffer) {
     offset += 1;
     const type = decoder.decode(buffer.slice(offset, offset + typeLength));
     offset += typeLength;
+    // fromTable (2-byte big-endian byte-length; 0 = absent)
+    const fromLength = view.getUint16(offset, false);
+    offset += 2;
+    const fromTable = fromLength > 0
+        ? decoder.decode(buffer.slice(offset, offset + fromLength))
+        : undefined;
+    offset += fromLength;
     // DDL
     const ddl = decoder.decode(buffer.slice(offset));
-    return { type, ddl, hlc, schemaVersion };
+    return {
+        type,
+        ...(fromTable !== undefined ? { fromTable } : {}),
+        ddl,
+        hlc,
+        schemaVersion,
+    };
 }
 /**
  * Schema migration store operations.
+ *
+ * Every method is keyed by `(schemaName, kind, objectName)`: the object name
+ * alone is ambiguous, since an index migration names an INDEX while every other
+ * migration type names a TABLE. Callers derive `kind` from the migration type
+ * with {@link import('../sync/protocol.js').migrationObjectKind}.
  */
 export class SchemaMigrationStore {
     kv;
@@ -66,8 +96,8 @@ export class SchemaMigrationStore {
     /**
      * Get a specific migration by version.
      */
-    async getMigration(schemaName, tableName, version) {
-        const key = buildSchemaMigrationKey(schemaName, tableName, version);
+    async getMigration(schemaName, kind, objectName, version) {
+        const key = buildSchemaMigrationKey(schemaName, kind, objectName, version);
         const data = await this.kv.get(key);
         if (!data)
             return undefined;
@@ -76,22 +106,22 @@ export class SchemaMigrationStore {
     /**
      * Record a new migration.
      */
-    async recordMigration(schemaName, tableName, migration) {
-        const key = buildSchemaMigrationKey(schemaName, tableName, migration.schemaVersion);
+    async recordMigration(schemaName, kind, objectName, migration) {
+        const key = buildSchemaMigrationKey(schemaName, kind, objectName, migration.schemaVersion);
         await this.kv.put(key, serializeMigration(migration));
     }
     /**
      * Record migration in a batch.
      */
-    recordMigrationBatch(batch, schemaName, tableName, migration) {
-        const key = buildSchemaMigrationKey(schemaName, tableName, migration.schemaVersion);
+    recordMigrationBatch(batch, schemaName, kind, objectName, migration) {
+        const key = buildSchemaMigrationKey(schemaName, kind, objectName, migration.schemaVersion);
         batch.put(key, serializeMigration(migration));
     }
     /**
-     * Get the current schema version for a table.
+     * Get the current schema version for one object (a table's, or an index's).
      */
-    async getCurrentVersion(schemaName, tableName) {
-        const bounds = buildSchemaMigrationScanBounds(schemaName, tableName);
+    async getCurrentVersion(schemaName, kind, objectName) {
+        const bounds = buildSchemaMigrationScanBounds(schemaName, kind, objectName);
         let maxVersion = 0;
         for await (const entry of this.kv.iterate({ ...bounds, reverse: true, limit: 1 })) {
             const migration = deserializeMigration(entry.value);
@@ -100,20 +130,49 @@ export class SchemaMigrationStore {
         return maxVersion;
     }
     /**
-     * Get all migrations for a table.
+     * Get all migrations for one object.
      */
-    async *getAllMigrations(schemaName, tableName) {
-        const bounds = buildSchemaMigrationScanBounds(schemaName, tableName);
+    async *getAllMigrations(schemaName, kind, objectName) {
+        const bounds = buildSchemaMigrationScanBounds(schemaName, kind, objectName);
         for await (const entry of this.kv.iterate(bounds)) {
             yield deserializeMigration(entry.value);
         }
     }
+    /**
+     * Every migration on this replica as a wire record, in causal (HLC) order.
+     *
+     * The producers that ship DDL — both snapshot paths and the delta collector —
+     * all need the whole set, and all need it causally ordered: DDL replays in list
+     * order, so a `create index` ahead of its table's `create table` fails outright.
+     * `sm:` key order is (schema, object kind, object name), which puts every index
+     * migration ahead of every table migration in a schema, so the scan order can
+     * never be used directly.
+     */
+    async listAllMigrations() {
+        const migrations = [];
+        for await (const entry of this.kv.iterate(buildAllSchemaMigrationsScanBounds())) {
+            const parsed = parseSchemaMigrationKey(entry.key);
+            if (!parsed)
+                continue;
+            const stored = deserializeMigration(entry.value);
+            migrations.push({
+                type: stored.type,
+                schema: parsed.schema,
+                table: parsed.table,
+                ...(stored.fromTable !== undefined ? { fromTable: stored.fromTable } : {}),
+                ddl: stored.ddl,
+                hlc: stored.hlc,
+                schemaVersion: stored.schemaVersion,
+            });
+        }
+        return sortMigrationsByHLC(migrations);
+    }
     /**
      * Check if a migration conflicts with an existing one.
      * Returns the existing migration if there's a conflict, undefined otherwise.
      */
-    async checkConflict(schemaName, tableName, version, incomingHLC) {
-        const existing = await this.getMigration(schemaName, tableName, version);
+    async checkConflict(schemaName, kind, objectName, version, incomingHLC) {
+        const existing = await this.getMigration(schemaName, kind, objectName, version);
         if (!existing)
             return undefined;
         // First-writer-wins: if existing has lower HLC, it wins

package/dist/src/metadata/schema-migration.js.map

@@ -1 +1 @@
-{"version":3,"file":"schema-migration.js","sourceRoot":"","sources":["../../../src/metadata/schema-migration.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAY,YAAY,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACrF,OAAO,EAAE,uBAAuB,EAAE,8BAA8B,EAAE,MAAM,WAAW,CAAC;AAapF;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,SAA0B;IAC3D,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;IAClC,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAG,YAAY,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAE7C,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC/E,IAAI,MAAM,GAAG,CAAC,CAAC;IAEf,iBAAiB;IACjB,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC7B,MAAM,IAAI,EAAE,CAAC;IAEb,uCAAuC;IACvC,MAAM,IAAI,GAAG,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACzC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;IACvD,MAAM,IAAI,CAAC,CAAC;IAEZ,8BAA8B;IAC9B,MAAM,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC;IAClC,MAAM,IAAI,CAAC,CAAC;IACZ,MAAM,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IAC9B,MAAM,IAAI,SAAS,CAAC,MAAM,CAAC;IAE3B,uBAAuB;IACvB,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAE7B,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAAC,MAAkB;IACrD,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;IAClC,IAAI,MAAM,GAAG,CAAC,CAAC;IAEf,iBAAiB;IACjB,MAAM,GAAG,GAAG,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAChD,MAAM,IAAI,EAAE,CAAC;IAEb,2BAA2B;IAC3B,MAAM,IAAI,GAAG,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC/E,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACpD,MAAM,IAAI,CAAC,CAAC;IAEZ,qBAAqB;IACrB,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAClC,MAAM,IAAI,CAAC,CAAC;IACZ,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,CAAC,CAAwB,CAAC;IAC9F,MAAM,IAAI,UAAU,CAAC;IAErB,MAAM;IACN,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAEjD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC;AAC3C,CAAC;AAED;;GAEG;AACH,MAAM,OAAO,oBAAoB;IACF;IAA7B,YAA6B,EAAW;QAAX,OAAE,GAAF,EAAE,CAAS;IAAG,CAAC;IAE5C;;OAEG;IACH,KAAK,CAAC,YAAY,CAChB,UAAkB,EAClB,SAAiB,EACjB,OAAe;QAEf,MAAM,GAAG,GAAG,uBAAuB,CAAC,UAAU,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QACpE,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAC5B,OAAO,oBAAoB,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,eAAe,CACnB,UAAkB,EAClB,SAAiB,EACjB,SAA0B;QAE1B,MAAM,GAAG,GAAG,uBAAuB,CAAC,UAAU,EAAE,SAAS,EAAE,SAAS,CAAC,aAAa,CAAC,CAAC;QACpF,MAAM,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,kBAAkB,CAAC,SAAS,CAAC,CAAC,CAAC;IACxD,CAAC;IAED;;OAEG;IACH,oBAAoB,CAClB,KAAiB,EACjB,UAAkB,EAClB,SAAiB,EACjB,SAA0B;QAE1B,MAAM,GAAG,GAAG,uBAAuB,CAAC,UAAU,EAAE,SAAS,EAAE,SAAS,CAAC,aAAa,CAAC,CAAC;QACpF,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,kBAAkB,CAAC,SAAS,CAAC,CAAC,CAAC;IAChD,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,iBAAiB,CAAC,UAAkB,EAAE,SAAiB;QAC3D,MAAM,MAAM,GAAG,8BAA8B,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QACrE,IAAI,UAAU,GAAG,CAAC,CAAC;QAEnB,IAAI,KAAK,EAAE,MAAM,KAAK,IAAI,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;YAClF,MAAM,SAAS,GAAG,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACpD,UAAU,GAAG,SAAS,CAAC,aAAa,CAAC;QACvC,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,CAAC,gBAAgB,CACrB,UAAkB,EAClB,SAAiB;QAEjB,MAAM,MAAM,GAAG,8BAA8B,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QAErE,IAAI,KAAK,EAAE,MAAM,KAAK,IAAI,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAClD,MAAM,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,aAAa,CACjB,UAAkB,EAClB,SAAiB,EACjB,OAAe,EACf,WAAgB;QAEhB,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,UAAU,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;QACzE,IAAI,CAAC,QAAQ;YAAE,OAAO,SAAS,CAAC;QAEhC,wDAAwD;QACxD,IAAI,UAAU,CAAC,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9C,OAAO,QAAQ,CAAC,CAAE,kDAAkD;QACtE,CAAC;QAED,OAAO,SAAS,CAAC,CAAE,iCAAiC;IACtD,CAAC;CACF"}
+{"version":3,"file":"schema-migration.js","sourceRoot":"","sources":["../../../src/metadata/schema-migration.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAY,YAAY,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACrF,OAAO,EACL,kCAAkC,EAClC,uBAAuB,EACvB,8BAA8B,EAC9B,uBAAuB,GACxB,MAAM,WAAW,CAAC;AACnB,OAAO,EACL,mBAAmB,GAIpB,MAAM,qBAAqB,CAAC;AAc7B;;;;;;;;GAQG;AACH,MAAM,UAAU,kBAAkB,CAAC,SAA0B;IAC3D,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;IAClC,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACjD,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;IAC5D,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAG,YAAY,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAE7C,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IACtG,IAAI,MAAM,GAAG,CAAC,CAAC;IAEf,iBAAiB;IACjB,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC7B,MAAM,IAAI,EAAE,CAAC;IAEb,uCAAuC;IACvC,MAAM,IAAI,GAAG,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACzC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;IACvD,MAAM,IAAI,CAAC,CAAC;IAEZ,8BAA8B;IAC9B,MAAM,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC;IAClC,MAAM,IAAI,CAAC,CAAC;IACZ,MAAM,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IAC9B,MAAM,IAAI,SAAS,CAAC,MAAM,CAAC;IAE3B,sEAAsE;IACtE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAChD,MAAM,IAAI,CAAC,CAAC;IACZ,MAAM,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IAC9B,MAAM,IAAI,SAAS,CAAC,MAAM,CAAC;IAE3B,uBAAuB;IACvB,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAE7B,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAAC,MAAkB;IACrD,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;IAClC,IAAI,MAAM,GAAG,CAAC,CAAC;IAEf,iBAAiB;IACjB,MAAM,GAAG,GAAG,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAChD,MAAM,IAAI,EAAE,CAAC;IAEb,2BAA2B;IAC3B,MAAM,IAAI,GAAG,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;IAC/E,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACpD,MAAM,IAAI,CAAC,CAAC;IAEZ,qBAAqB;IACrB,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAClC,MAAM,IAAI,CAAC,CAAC;IACZ,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,CAAC,CAAwB,CAAC;IAC9F,MAAM,IAAI,UAAU,CAAC;IAErB,wDAAwD;IACxD,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACjD,MAAM,IAAI,CAAC,CAAC;IACZ,MAAM,SAAS,GAAG,UAAU,GAAG,CAAC;QAC9B,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,CAAC,CAAC;QAC3D,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,IAAI,UAAU,CAAC;IAErB,MAAM;IACN,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAEjD,OAAO;QACL,IAAI;QACJ,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjD,GAAG;QACH,GAAG;QACH,aAAa;KACd,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,OAAO,oBAAoB;IACF;IAA7B,YAA6B,EAAW;QAAX,OAAE,GAAF,EAAE,CAAS;IAAG,CAAC;IAE5C;;OAEG;IACH,KAAK,CAAC,YAAY,CAChB,UAAkB,EAClB,IAAsB,EACtB,UAAkB,EAClB,OAAe;QAEf,MAAM,GAAG,GAAG,uBAAuB,CAAC,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;QAC3E,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAC5B,OAAO,oBAAoB,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,eAAe,CACnB,UAAkB,EAClB,IAAsB,EACtB,UAAkB,EAClB,SAA0B;QAE1B,MAAM,GAAG,GAAG,uBAAuB,CAAC,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,CAAC,aAAa,CAAC,CAAC;QAC3F,MAAM,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,kBAAkB,CAAC,SAAS,CAAC,CAAC,CAAC;IACxD,CAAC;IAED;;OAEG;IACH,oBAAoB,CAClB,KAAiB,EACjB,UAAkB,EAClB,IAAsB,EACtB,UAAkB,EAClB,SAA0B;QAE1B,MAAM,GAAG,GAAG,uBAAuB,CAAC,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,CAAC,aAAa,CAAC,CAAC;QAC3F,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,kBAAkB,CAAC,SAAS,CAAC,CAAC,CAAC;IAChD,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,iBAAiB,CACrB,UAAkB,EAClB,IAAsB,EACtB,UAAkB;QAElB,MAAM,MAAM,GAAG,8BAA8B,CAAC,UAAU,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;QAC5E,IAAI,UAAU,GAAG,CAAC,CAAC;QAEnB,IAAI,KAAK,EAAE,MAAM,KAAK,IAAI,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;YAClF,MAAM,SAAS,GAAG,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACpD,UAAU,GAAG,SAAS,CAAC,aAAa,CAAC;QACvC,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,CAAC,gBAAgB,CACrB,UAAkB,EAClB,IAAsB,EACtB,UAAkB;QAElB,MAAM,MAAM,GAAG,8BAA8B,CAAC,UAAU,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;QAE5E,IAAI,KAAK,EAAE,MAAM,KAAK,IAAI,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAClD,MAAM,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED;;;;;;;;;OASG;IACH,KAAK,CAAC,iBAAiB;QACrB,MAAM,UAAU,GAAsB,EAAE,CAAC;QAEzC,IAAI,KAAK,EAAE,MAAM,KAAK,IAAI,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,kCAAkC,EAAE,CAAC,EAAE,CAAC;YAChF,MAAM,MAAM,GAAG,uBAAuB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAClD,IAAI,CAAC,MAAM;gBAAE,SAAS;YAEtB,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACjD,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,KAAK,EAAE,MAAM,CAAC,KAAK;gBACnB,GAAG,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1E,GAAG,EAAE,MAAM,CAAC,GAAG;gBACf,GAAG,EAAE,MAAM,CAAC,GAAG;gBACf,aAAa,EAAE,MAAM,CAAC,aAAa;aACpC,CAAC,CAAC;QACL,CAAC;QAED,OAAO,mBAAmB,CAAC,UAAU,CAAC,CAAC;IACzC,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,aAAa,CACjB,UAAkB,EAClB,IAAsB,EACtB,UAAkB,EAClB,OAAe,EACf,WAAgB;QAEhB,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;QAChF,IAAI,CAAC,QAAQ;YAAE,OAAO,SAAS,CAAC;QAEhC,wDAAwD;QACxD,IAAI,UAAU,CAAC,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9C,OAAO,QAAQ,CAAC,CAAE,kDAAkD;QACtE,CAAC;QAED,OAAO,SAAS,CAAC,CAAE,iCAAiC;IACtD,CAAC;CACF"}

package/dist/src/sync/change-applicator.d.ts

@@ -50,9 +50,25 @@ export interface ResolvedChange {
  *   2. Apply data to store via callback
  *   3. Commit CRDT metadata (+ durable quarantine of diverted changes)
  *
- * Unknown-table disposition: a change referencing a table outside the local basis
- * (a retired-table straggler delta — see `docs/migration.md` § 4 Contract) is
- * **diverted** during resolution — never resolved, applied, or recorded as CRDT
+ * ORDER-INDEPENDENT: `changes` may arrive in any order and produces the same
+ * committed state as the HLC-ordered array. Callers need not (and do not) preserve
+ * timestamp order — the coordinator's `onBeforeApplyChanges` approval hook returns a
+ * caller-supplied array, and the REST/WebSocket ingress accepts an arbitrary array
+ * from any client. Everything whose outcome depends on order is re-derived from the
+ * HLCs here rather than from arrival position: resolution and
+ * {@link reconcileInBatchDeletes} already compare HLCs, the store apply list is sorted
+ * by {@link orderDataChangesByHLC}, the DDL list by {@link orderMigrationsByHLC}, and
+ * the emitted payload by {@link emitRemoteChanges}. Everything else (the counters, the
+ * quarantine holds, the watermark max) is order-insensitive by construction. The
+ * guarantee covers committed STATE, not the event stream: `onConflictResolved` fires
+ * from the resolve loop in arrival order, and an `onUnknownTable` event reports the
+ * FIRST changeset that referenced the table as the straggler origin, so a reordered
+ * batch can name a different relayer — telemetry only, never a stored fact.
+ *
+ * Unknown-table disposition: a change referencing a table the batch leaves absent — not
+ * in the local basis and not created by this batch's schema steps (a retired-table
+ * straggler delta — see `docs/migration.md` § 4 Contract) — is **diverted** during
+ * resolution — never resolved, applied, or recorded as CRDT
  * metadata, so the change log stays clean (no survivor-HLC pollution). Diverted
  * changes are held (durably, idempotently — `quarantine`, or `store-and-forward`
  * which additionally marks them forwardable) or ignored per

package/dist/src/sync/change-applicator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"change-applicator.d.ts","sourceRoot":"","sources":["../../../src/sync/change-applicator.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAKH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AACnE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAE3D,OAAO,KAAK,EACX,SAAS,EACT,MAAM,EAGN,WAAW,EACX,iBAAiB,EAGjB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAIrD;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC9B,OAAO,EAAE,SAAS,GAAG,SAAS,GAAG,UAAU,CAAC;IAC5C,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,iBAAiB,CAAC;IAC/B,yEAAyE;IACzE,gBAAgB,CAAC,EAAE,aAAa,CAAC;IACjC,sGAAsG;IACtG,YAAY,CAAC,EAAE,SAAS,CAAC;IACzB;;;;OAIG;IACH,WAAW,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1B;;;;;;OAMG;IACH,0BAA0B,CAAC,EAAE,OAAO,CAAC;IACrC;;;OAGG;IACH,eAAe,CAAC,EAAE,OAAO,CAAC;CAC1B;AA2CD;;;;;;;;;;;;;;;GAeG;AACH,wBAAsB,YAAY,CACjC,GAAG,EAAE,WAAW,EAChB,OAAO,EAAE,SAAS,EAAE,GAClB,OAAO,CAAC,WAAW,CAAC,CAiPtB;AAsCD;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAsB,gBAAgB,CACrC,GAAG,EAAE,WAAW,EAChB,MAAM,CAAC,EAAE,MAAM,EACf,KAAK,CAAC,EAAE,MAAM,GACZ,OAAO,CAAC,MAAM,CAAC,CAsBjB;AA6FD;;;;;;;;GAQG;AACH,wBAAsB,qBAAqB,CAC1C,GAAG,EAAE,WAAW,EAChB,MAAM,EAAE,aAAa,CAAC;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,GACtD,OAAO,CAAC,IAAI,CAAC,CAmBf;AAED;;;;;;;;;GASG;AACH,wBAAsB,aAAa,CAClC,GAAG,EAAE,WAAW,EAChB,MAAM,EAAE,MAAM,EACd,eAAe,UAAQ,GACrB,OAAO,CAAC,cAAc,CAAC,CAkHzB;AAyDD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAsB,oBAAoB,CACzC,GAAG,EAAE,WAAW,EAChB,eAAe,EAAE,cAAc,EAAE,GAC/B,OAAO,CAAC,IAAI,CAAC,CAiDf"}
+{"version":3,"file":"change-applicator.d.ts","sourceRoot":"","sources":["../../../src/sync/change-applicator.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAKH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AACnE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAE3D,OAAO,KAAK,EACX,SAAS,EACT,MAAM,EAGN,WAAW,EACX,iBAAiB,EAGjB,MAAM,eAAe,CAAC;AAEvB,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAIrD;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC9B,OAAO,EAAE,SAAS,GAAG,SAAS,GAAG,UAAU,CAAC;IAC5C,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,iBAAiB,CAAC;IAC/B,yEAAyE;IACzE,gBAAgB,CAAC,EAAE,aAAa,CAAC;IACjC,sGAAsG;IACtG,YAAY,CAAC,EAAE,SAAS,CAAC;IACzB;;;;OAIG;IACH,WAAW,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1B;;;;;;OAMG;IACH,0BAA0B,CAAC,EAAE,OAAO,CAAC;IACrC;;;OAGG;IACH,eAAe,CAAC,EAAE,OAAO,CAAC;CAC1B;AAwID;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,wBAAsB,YAAY,CACjC,GAAG,EAAE,WAAW,EAChB,OAAO,EAAE,SAAS,EAAE,GAClB,OAAO,CAAC,WAAW,CAAC,CAwStB;AA6FD;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAsB,gBAAgB,CACrC,GAAG,EAAE,WAAW,EAChB,MAAM,CAAC,EAAE,MAAM,EACf,KAAK,CAAC,EAAE,MAAM,GACZ,OAAO,CAAC,MAAM,CAAC,CAsBjB;AAgGD;;;;;;;;GAQG;AACH,wBAAsB,qBAAqB,CAC1C,GAAG,EAAE,WAAW,EAChB,MAAM,EAAE,aAAa,CAAC;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,GACtD,OAAO,CAAC,IAAI,CAAC,CAmBf;AAED;;;;;;;;;GASG;AACH,wBAAsB,aAAa,CAClC,GAAG,EAAE,WAAW,EAChB,MAAM,EAAE,MAAM,EACd,eAAe,UAAQ,GACrB,OAAO,CAAC,cAAc,CAAC,CAkHzB;AAyDD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAsB,oBAAoB,CACzC,GAAG,EAAE,WAAW,EAChB,eAAe,EAAE,cAAc,EAAE,GAC/B,OAAO,CAAC,IAAI,CAAC,CAiDf"}