@cleocode/core 2026.10.8 → 2026.10.9

package/dist/store/sync/reconcile-copy.js

@@ -0,0 +1,428 @@
+/**
+ * The copy reconcile (journal spec §1.5 N7, H3; T13335).
+ *
+ * Every rebind the open pass makes (a copy, a move, a rollback, another
+ * device's store) discards the inherited pull cursor, pauses push and records
+ * `sync.reconcile_due` (`replica.ts`). The new replica then reconciles its
+ * own state against the stream's MERGED state: the latest verified
+ * checkpoint restored into a scratch store (`sync: 'off'`) and pulled to head
+ * there with the merge engine (`cloud/nexus-vault.ts` builds it). Here, in
+ * one apply frame on the store:
+ *
+ * - **Rule 1** (`reconcile.ts`): a field an inherited capture or an
+ *   inherited sealed-but-unpushed op changed is re-emitted from the live row
+ *   at `tick(at_ms)` of that change.
+ * - Every other field is compared per (table, uid, column) with the merged
+ *   state; a differing field is decided by {@link decideReconcileField}:
+ *   - **rule 2**, the local field HLC is below the merged one (a row with
+ *     no row meta, as a never-synced store merging in holds, is dated by its
+ *     genesis HLC, §1.2; a local value it loses is reported in `overwritten`):
+ *     the merged value is written locally in the apply frame, its intents
+ *     recorded so the sealer never sends it, and the merged field HLC stored
+ *     in the row meta. Nothing is emitted;
+ *   - **rule 3**, the local HLC is at or above the merged one (a value the
+ *     original replica sealed but the stream never saw): it is emitted in
+ *     the `rebind` frame with that HLC pinned (op `fh`, or `h` for a delete).
+ * - The store takes the merged state's pull position, and the due record is
+ *   cleared, which lets push resume.
+ *
+ * Rows: a row only the merged state has is adopted (inserted) unless the
+ * store holds a newer tombstone for it (rule 3: a pinned delete); a row the
+ * merged state deleted is adopted (deleted) unless the store's row is newer
+ * (rule 3: the whole live row re-inserted as an I whose op HLC is above the
+ * tombstone, its field HLCs pinned; the merge engine voids a U on a
+ * tombstoned row but re-creates the row from a newer I, T13392). A live row the merged state never knew, with
+ * no inherited change, is emitted: with its row meta's HLCs pinned when it
+ * has meta, else as a plain insert (nothing local is ever deleted that the
+ * stream cannot account for).
+ *
+ * Reference columns are compared by the uid of the row they point at, and an
+ * adopted reference is resolved to this store's local key ({@link resolveRef}).
+ * A merged row whose reference does not resolve here, or whose insert hits a
+ * local constraint, is left out and counted in `unresolved`. In a merge join
+ * (T13466) a local constraint refuses the whole reconcile instead
+ * ({@link MergeKeyCollisionError}, T13504).
+ *
+ * @task T13335
+ * @module store/sync/reconcile-copy
+ */
+import { UID_COLUMN } from '../row-identity-registry.js';
+import { withApplyFrame } from './apply/frame.js';
+import { resolveRef, uidOfKey } from './apply/refs.js';
+import { createApplyWriteApi } from './apply/write-api.js';
+import { captureTableDef, hasCaptureStamp } from './capture.js';
+import { readSyncFlags, syncSetTables } from './flags.js';
+import { encodeHlc } from './hlc.js';
+import { writeStreamCursor } from './pull.js';
+import { decideReconcileField, emitRebindFrame, gatherInherited, touchedRowKey, } from './reconcile.js';
+import { genesisColumn, genesisPhys } from './repair.js';
+import { activeReplica, RECONCILE_DUE_KEY, reconcileDue } from './replica.js';
+import { fieldHlcsOf, readRowMetaFull } from './row-meta.js';
+import { hasTable } from './schema.js';
+import { canonicalJson } from './sealer-values.js';
+const UNKNOWN_HLC = '';
+/**
+ * A merge join refused: a merged row's local key is held by this store's own
+ * row, and nothing yet settles such a collision across devices, so emitting
+ * this store's row would leave it held on every peer (T13504). The apply
+ * frame rolls back: nothing is adopted or emitted, and the reconcile stays due.
+ */
+export class MergeKeyCollisionError extends Error {
+    collisions;
+    constructor(collisions) {
+        super(`a merge join cannot place ${collisions.length} stream row(s) whose key this store's own row holds: ${collisions
+            .map((c) => `${c.table} ${c.key.map((v) => String(v)).join('/')}`)
+            .join(', ')}`);
+        this.collisions = collisions;
+        this.name = 'MergeKeyCollisionError';
+    }
+}
+/** The row-level HLC of a row meta: a tombstone's, or the newest field's. */
+const rowHlc = (meta) => meta?.hlc ?? null;
+/**
+ * Reconcile a rebound store against the merged state (module docs). Must
+ * run outside a transaction. Does nothing, and returns null, when no
+ * reconcile is due.
+ *
+ * @param db - The rebound store (the canonical store).
+ * @param merged - The scratch store: the latest verified checkpoint pulled to head. Read-only here.
+ * @param o - Scope, stream, the merged pull position and the clock.
+ * @returns What was adopted and emitted, or null when nothing was due.
+ */
+export function reconcileCopy(db, merged, o) {
+    const due = reconcileDue(db);
+    if (due === null)
+        return null;
+    // A merge join (T13466) records a due with no rebind: the same replica on both sides.
+    const merge = due.from === due.to;
+    if (readSyncFlags(db)['sync.capture'] && !hasCaptureStamp(db)) {
+        // @sync-invariant none:local-only programming-error guard: without the stamp the apply frame's writes would seal as local writes
+        throw new Error('reconcileCopy needs the canonical store handle (capture is on, this connection has no capture stamp)');
+    }
+    const now = o.now ?? Date.now;
+    const mergedApi = createApplyWriteApi(merged, o.scope, null, () => undefined);
+    return withApplyFrame(db, o.scope, null, (api) => {
+        // Raced by another reconcile while the frame waited for the lock.
+        if (reconcileDue(db) === null)
+            return null;
+        const gathered = gatherInherited(db, o.scope, null);
+        const touchedOf = (tbl, uid) => gathered.rows.get(touchedRowKey(tbl, uid));
+        const pinned = [];
+        const atMs = now();
+        const replica = activeReplica(db, o.scope)?.replicaId;
+        let adoptedFields = 0;
+        let adoptedInserts = 0;
+        let adoptedDeletes = 0;
+        let unresolved = 0;
+        const overwritten = [];
+        const replaced = [];
+        const deleted = [];
+        const collisions = [];
+        const tables = syncSetTables(o.scope)
+            .map((t) => captureTableDef(db, o.scope, t))
+            .filter((d) => d?.identity.includes(UID_COLUMN) === true && hasTable(merged, d.table));
+        const deletes = [];
+        for (const def of tables) {
+            const fields = def.columns.filter((c) => !def.identity.includes(c) && !def.secret.has(c));
+            const sameValue = (col, a, b) => {
+                const ref = def.refs.get(col);
+                if (ref === undefined || a === null || b === null)
+                    return canonicalJson(a) === canonicalJson(b);
+                return uidOfKey(db, ref, a) === uidOfKey(merged, ref, b);
+            };
+            /** A merged value as this store must hold it, or undefined when its reference does not resolve here. */
+            const localValue = (col, v) => {
+                const ref = def.refs.get(col);
+                if (ref === undefined || v === null)
+                    return v;
+                const target = uidOfKey(merged, ref, v);
+                if (target === null)
+                    return undefined;
+                const here = resolveRef(db, ref, target);
+                return here.kind === 'row' ? here.key : undefined;
+            };
+            /** A never-synced row's genesis HLC (§1.2): its modification column, counter 0, this replica. */
+            const genesisOf = (lMeta, local) => {
+                if (lMeta !== undefined || replica === undefined)
+                    return null;
+                const gcol = genesisColumn(o.scope, def.table);
+                return encodeHlc({ phys: genesisPhys(gcol ? local[gcol] : null, atMs), ctr: 0, replica });
+            };
+            for (const uid of uidsOf(db, merged, def.table)) {
+                const touched = touchedOf(def.table, uid);
+                // Rule 1 owns a row an inherited change inserted or deleted.
+                if (touched?.inserted || touched?.deleted)
+                    continue;
+                const local = api.readRow(def.table, uid);
+                const theirs = mergedApi.readRow(def.table, uid);
+                const lMeta = api.rowMeta(def.table, uid);
+                const mMeta = readRowMetaFull(merged, def.table, uid);
+                if (local !== null && theirs !== null) {
+                    const lH = lMeta && !lMeta.deleted ? fieldHlcsOf(def, lMeta) : {};
+                    // A row with no meta (a never-synced store merging in, T13503) is
+                    // dated as genesis dates an existing row (§1.2): its modification
+                    // column, counter 0, this replica. Never adopted blindly.
+                    const genesis = genesisOf(lMeta, local);
+                    const mH = mMeta && !mMeta.deleted ? fieldHlcsOf(def, mMeta) : {};
+                    // The checkpoint's own field HLCs (T13507): a merged field past them was written after the cut.
+                    const bMeta = genesis !== null && o.baseline
+                        ? readRowMetaFull(o.baseline, def.table, uid)
+                        : undefined;
+                    const bH = bMeta && !bMeta.deleted ? fieldHlcsOf(def, bMeta) : {};
+                    const adopt = {};
+                    const adoptH = {};
+                    const pinCols = new Set();
+                    const pinH = {};
+                    for (const col of fields) {
+                        if (touched?.cols.has(col))
+                            continue;
+                        const a = local[col] ?? null;
+                        const b = theirs[col] ?? null;
+                        if (sameValue(col, a, b))
+                            continue;
+                        const mergedHlc = mH[col] ?? UNKNOWN_HLC;
+                        // One HLC names one write (it carries the replica): the values
+                        // differ only in how each store holds them (a timestamp's form).
+                        if (lH[col] !== undefined && lH[col] === mergedHlc)
+                            continue;
+                        const localHlc = lH[col] ?? genesis;
+                        const writtenSinceCut = genesis !== null &&
+                            o.baseline !== undefined &&
+                            mH[col] !== undefined &&
+                            bH[col] !== mH[col];
+                        const rule = writtenSinceCut
+                            ? 'adopt-merged'
+                            : decideReconcileField({ touchedByInherited: false, localHlc, mergedHlc });
+                        if (rule === 'adopt-merged') {
+                            const v = localValue(col, b);
+                            if (v === undefined) {
+                                unresolved += 1;
+                                continue;
+                            }
+                            adopt[col] = v;
+                            adoptH[col] = mergedHlc;
+                            if (lMeta === undefined)
+                                overwritten.push({ table: def.table, uid, column: col });
+                        }
+                        else {
+                            pinCols.add(col);
+                            pinH[col] = localHlc;
+                            if (lMeta === undefined)
+                                replaced.push({ table: def.table, uid, column: col });
+                        }
+                    }
+                    // A row with no local meta (a never-synced store merging in, T13466)
+                    // takes the merged meta even when its values already match.
+                    if (Object.keys(adopt).length > 0 || (lMeta === undefined && mMeta && !mMeta.deleted)) {
+                        if (Object.keys(adopt).length > 0)
+                            api.writeFields(def.table, uid, adopt);
+                        if (mMeta) {
+                            api.setMergedRowMeta(def.table, uid, {
+                                fieldHlc: lMeta && !lMeta.deleted ? adoptH : { ...mH, ...adoptH, ...pinH },
+                                tombstone: null,
+                                origin: mMeta.origin,
+                                actor: mMeta.actor,
+                                // Values already equal the merged row's: so does its content hash.
+                                ...(Object.keys(adopt).length === 0 && pinCols.size === 0
+                                    ? { chash: mMeta.chash }
+                                    : {}),
+                            });
+                        }
+                        adoptedFields += Object.keys(adopt).length;
+                    }
+                    if (pinCols.size > 0) {
+                        pinned.push({ tbl: def.table, uid, op: 'U', cols: pinCols, pin: { fh: pinH }, atMs });
+                    }
+                    continue;
+                }
+                if (local !== null) {
+                    // The merged state has no live row.
+                    if (mMeta?.deleted) {
+                        // A never-synced row is dated at genesis too (T13508): a newer local edit survives the delete.
+                        const genesis = genesisOf(lMeta, local);
+                        const localH = rowHlc(lMeta) ?? genesis;
+                        // The re-insert's op HLC must be above the tombstone: a clock
+                        // that merged it issues one. A tombstone beyond the skew bound
+                        // cannot be passed, so the delete is adopted.
+                        const above = localH === null || localH < mMeta.hlc || replica === undefined
+                            ? null
+                            : api.clockReceive(replica, mMeta.hlc, atMs);
+                        if (above === null || above.held) {
+                            deletes.push({ def, uid, tombstone: mMeta.hlc, meta: mMeta });
+                            if (lMeta === undefined)
+                                deleted.push({ table: def.table, uid });
+                        }
+                        else {
+                            const fh = lMeta !== undefined
+                                ? fieldHlcsOf(def, lMeta)
+                                : Object.fromEntries(fields.map((c) => [c, genesis]));
+                            pinned.push({ tbl: def.table, uid, op: 'I', pin: { h: above.clock, fh }, atMs });
+                            if (lMeta === undefined)
+                                replaced.push({ table: def.table, uid, column: '*' });
+                        }
+                        continue;
+                    }
+                    // The stream never knew the row and no inherited change explains it.
+                    pinned.push({
+                        tbl: def.table,
+                        uid,
+                        op: 'I',
+                        pin: lMeta && !lMeta.deleted ? { fh: fieldHlcsOf(def, lMeta) } : {},
+                        atMs,
+                    });
+                    continue;
+                }
+                if (theirs !== null) {
+                    // Only the merged state has the row.
+                    if (lMeta?.deleted && mMeta && lMeta.hlc >= mMeta.hlc) {
+                        pinned.push({ tbl: def.table, uid, op: 'D', pin: { h: lMeta.hlc }, atMs });
+                        continue;
+                    }
+                    const values = {};
+                    let resolvable = true;
+                    for (const col of def.columns) {
+                        if (col === UID_COLUMN || def.secret.has(col))
+                            continue;
+                        const v = localValue(col, theirs[col] ?? null);
+                        if (v === undefined) {
+                            resolvable = false;
+                            break;
+                        }
+                        values[col] = v;
+                    }
+                    if (!resolvable) {
+                        unresolved += 1;
+                        continue;
+                    }
+                    if (!insertAdopted(api, def, uid, values, mMeta)) {
+                        if (merge)
+                            collisions.push({
+                                table: def.table,
+                                uid,
+                                key: def.key.map((k) => theirs[k] ?? null),
+                            });
+                        unresolved += 1;
+                        continue;
+                    }
+                    adoptedInserts += 1;
+                }
+            }
+        }
+        if (collisions.length > 0) {
+            // @sync-invariant none:local-only a merge join is refused locally before anything is adopted or emitted; the frame rolls back
+            throw new MergeKeyCollisionError(collisions);
+        }
+        // Deletes after every insert and update, children first.
+        for (const d of deletes.reverse()) {
+            if (!api.deleteRow(d.def.table, d.uid))
+                continue;
+            api.setMergedRowMeta(d.def.table, d.uid, {
+                fieldHlc: {},
+                tombstone: d.tombstone,
+                origin: d.meta.origin,
+                actor: d.meta.actor,
+            });
+            adoptedDeletes += 1;
+        }
+        const frame = emitRebindFrame(db, o.scope, gathered, pinned);
+        writeStreamCursor(db, o.stream, o.mergedCursor, new Date(atMs).toISOString());
+        db.prepare('DELETE FROM _sync_meta WHERE key = ?').run(RECONCILE_DUE_KEY);
+        return {
+            adoptedFields,
+            adoptedInserts,
+            adoptedDeletes,
+            pinned: pinned.length,
+            unresolved,
+            overwritten,
+            replaced,
+            deleted,
+            frame,
+        };
+    });
+}
+const qid = (id) => `"${id.replaceAll('"', '""')}"`;
+/**
+ * The merged rows a merge join (T13466) could not place: a live merged row
+ * this store has no row for, whose local key a different row here already
+ * holds. Read-only; run it before the join so a refusal changes nothing
+ * (T13504). Tables whose key holds a reference are left to the reconcile's
+ * own check, which refuses the same way.
+ *
+ * @param db - The store about to merge in.
+ * @param merged - The merged state (checkpoint pulled to head).
+ * @param scope - The store's scope.
+ * @returns The colliding merged rows, in table order.
+ */
+export function mergeKeyCollisions(db, merged, scope) {
+    const out = [];
+    for (const table of syncSetTables(scope)) {
+        const def = captureTableDef(db, scope, table);
+        if (!def?.identity.includes(UID_COLUMN) || !hasTable(merged, table))
+            continue;
+        if (def.key.length === 0 || def.key.some((k) => def.refs.has(k)))
+            continue;
+        const cols = [UID_COLUMN, ...def.key].map(qid).join(', ');
+        const where = def.key.map((k) => `${qid(k)} IS ?`).join(' AND ');
+        const holder = db.prepare(`SELECT ${qid(UID_COLUMN)} AS uid FROM ${qid(table)} WHERE ${where}`);
+        for (const row of merged
+            .prepare(`SELECT ${cols} FROM ${qid(table)} WHERE ${qid(UID_COLUMN)} IS NOT NULL`)
+            .all()) {
+            const key = def.key.map((k) => row[k] ?? null);
+            const here = holder.get(...key);
+            if (here !== undefined && here.uid !== row[UID_COLUMN]) {
+                out.push({ table, uid: String(row[UID_COLUMN]), key });
+            }
+        }
+    }
+    return out;
+}
+/**
+ * Every uid of `table` either store knows: its live rows and its row meta
+ * (tombstones included), in a stable order.
+ */
+function uidsOf(db, merged, table) {
+    const out = new Set();
+    const q = `"${table.replaceAll('"', '""')}"`;
+    for (const store of [db, merged]) {
+        for (const r of store
+            .prepare(`SELECT ${UID_COLUMN} AS uid FROM ${q} WHERE ${UID_COLUMN} IS NOT NULL`)
+            .all()) {
+            out.add(r.uid);
+        }
+        if (hasTable(store, '_sync_row_meta')) {
+            for (const r of store
+                .prepare('SELECT uid FROM _sync_row_meta WHERE tbl = ?')
+                .all(table)) {
+                out.add(r.uid);
+            }
+        }
+    }
+    return [...out].sort();
+}
+/**
+ * Insert a merged row in the apply frame, with the merged row meta. A local
+ * constraint (a key another local row holds) leaves it out: the statement
+ * is undone and nothing is recorded.
+ *
+ * @returns Whether the row was inserted.
+ */
+function insertAdopted(api, def, uid, values, mMeta) {
+    try {
+        api.insertRow(def.table, uid, values);
+    }
+    catch (err) {
+        if (err instanceof Error && /constraint/i.test(err.message))
+            return false;
+        throw err;
+    }
+    if (mMeta && !mMeta.deleted) {
+        api.setMergedRowMeta(def.table, uid, {
+            fieldHlc: fieldHlcsOf(def, mMeta),
+            tombstone: null,
+            origin: mMeta.origin,
+            actor: mMeta.actor,
+        });
+    }
+    return true;
+}
+//# sourceMappingURL=reconcile-copy.js.map

package/dist/store/sync/reconcile-copy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reconcile-copy.js","sourceRoot":"","sources":["../../../src/store/sync/reconcile-copy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAKH,OAAO,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,EAAsB,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC/E,OAAO,EAAwB,eAAe,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACtF,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC1D,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AACrC,OAAO,EAAqB,iBAAiB,EAAE,MAAM,WAAW,CAAC;AACjE,OAAO,EACL,oBAAoB,EACpB,eAAe,EACf,eAAe,EAIf,aAAa,GACd,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC9E,OAAO,EAAE,WAAW,EAAqC,eAAe,EAAE,MAAM,eAAe,CAAC;AAChG,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAkDnD,MAAM,WAAW,GAAG,EAAE,CAAC;AAUvB;;;;;GAKG;AACH,MAAM,OAAO,sBAAuB,SAAQ,KAAK;IAC1B;IAArB,YAAqB,UAAwC;QAC3D,KAAK,CACH,6BAA6B,UAAU,CAAC,MAAM,wDAAwD,UAAU;aAC7G,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;aACjE,IAAI,CAAC,IAAI,CAAC,EAAE,CAChB,CAAC;QALiB,eAAU,GAAV,UAAU,CAA8B;QAM3D,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAC;IACvC,CAAC;CACF;AAED,6EAA6E;AAC7E,MAAM,MAAM,GAAG,CAAC,IAA4B,EAAiB,EAAE,CAAC,IAAI,EAAE,GAAG,IAAI,IAAI,CAAC;AAElF;;;;;;;;;GASG;AACH,MAAM,UAAU,aAAa,CAC3B,EAAgB,EAChB,MAAoB,EACpB,CAAuB;IAEvB,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC;IAC7B,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,sFAAsF;IACtF,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;IAClC,IAAI,aAAa,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,EAAE,CAAC;QAC9D,iIAAiI;QACjI,MAAM,IAAI,KAAK,CACb,sGAAsG,CACvG,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC;IAC9B,MAAM,SAAS,GAAG,mBAAmB,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IAC9E,OAAO,cAAc,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE;QAC/C,kEAAkE;QAClE,IAAI,YAAY,CAAC,EAAE,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC3C,MAAM,QAAQ,GAAG,eAAe,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACpD,MAAM,SAAS,GAAG,CAAC,GAAW,EAAE,GAAW,EAA0B,EAAE,CACrE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAiB,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,GAAG,EAAE,CAAC;QACnB,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC;QACtD,IAAI,aAAa,GAAG,CAAC,CAAC;QACtB,IAAI,cAAc,GAAG,CAAC,CAAC;QACvB,IAAI,cAAc,GAAG,CAAC,CAAC;QACvB,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,MAAM,WAAW,GAA0D,EAAE,CAAC;QAC9E,MAAM,QAAQ,GAA0D,EAAE,CAAC;QAC3E,MAAM,OAAO,GAA0C,EAAE,CAAC;QAC1D,MAAM,UAAU,GAAwB,EAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC;aAClC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;aAC3C,MAAM,CACL,CAAC,CAAC,EAAwB,EAAE,CAC1B,CAAC,EAAE,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,IAAI,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CACzE,CAAC;QACJ,MAAM,OAAO,GAKR,EAAE,CAAC;QAER,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1F,MAAM,SAAS,GAAG,CAAC,GAAW,EAAE,CAAkB,EAAE,CAAkB,EAAW,EAAE;gBACjF,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC9B,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;oBAC/C,OAAO,aAAa,CAAC,CAAC,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC,CAAC;gBAC/C,OAAO,QAAQ,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;YAC3D,CAAC,CAAC;YACF,wGAAwG;YACxG,MAAM,UAAU,GAAG,CAAC,GAAW,EAAE,CAAkB,EAA+B,EAAE;gBAClF,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC9B,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI;oBAAE,OAAO,CAAC,CAAC;gBAC9C,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;gBACxC,IAAI,MAAM,KAAK,IAAI;oBAAE,OAAO,SAAS,CAAC;gBACtC,MAAM,IAAI,GAAG,UAAU,CAAC,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;gBACzC,OAAO,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;YACpD,CAAC,CAAC;YAEF,iGAAiG;YACjG,MAAM,SAAS,GAAG,CAChB,KAA6B,EAC7B,KAAsC,EACvB,EAAE;gBACjB,IAAI,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS;oBAAE,OAAO,IAAI,CAAC;gBAC9D,MAAM,IAAI,GAAG,aAAa,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;gBAC/C,OAAO,SAAS,CAAC,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;YAC5F,CAAC,CAAC;YACF,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAChD,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAC1C,6DAA6D;gBAC7D,IAAI,OAAO,EAAE,QAAQ,IAAI,OAAO,EAAE,OAAO;oBAAE,SAAS;gBACpD,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAC1C,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBACjD,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAC1C,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAEtD,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;oBACtC,MAAM,EAAE,GAAG,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBAClE,kEAAkE;oBAClE,kEAAkE;oBAClE,0DAA0D;oBAC1D,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;oBACxC,MAAM,EAAE,GAAG,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBAClE,gGAAgG;oBAChG,MAAM,KAAK,GACT,OAAO,KAAK,IAAI,IAAI,CAAC,CAAC,QAAQ;wBAC5B,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC;wBAC7C,CAAC,CAAC,SAAS,CAAC;oBAChB,MAAM,EAAE,GAAG,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBAClE,MAAM,KAAK,GAAoC,EAAE,CAAC;oBAClD,MAAM,MAAM,GAA2B,EAAE,CAAC;oBAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;oBAClC,MAAM,IAAI,GAA2B,EAAE,CAAC;oBACxC,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;wBACzB,IAAI,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;4BAAE,SAAS;wBACrC,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;wBAC7B,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;wBAC9B,IAAI,SAAS,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;4BAAE,SAAS;wBACnC,MAAM,SAAS,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,WAAW,CAAC;wBACzC,+DAA+D;wBAC/D,iEAAiE;wBACjE,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,SAAS,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,SAAS;4BAAE,SAAS;wBAC7D,MAAM,QAAQ,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC;wBACpC,MAAM,eAAe,GACnB,OAAO,KAAK,IAAI;4BAChB,CAAC,CAAC,QAAQ,KAAK,SAAS;4BACxB,EAAE,CAAC,GAAG,CAAC,KAAK,SAAS;4BACrB,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC;wBACtB,MAAM,IAAI,GAAG,eAAe;4BAC1B,CAAC,CAAC,cAAc;4BAChB,CAAC,CAAC,oBAAoB,CAAC,EAAE,kBAAkB,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;wBAC7E,IAAI,IAAI,KAAK,cAAc,EAAE,CAAC;4BAC5B,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;4BAC7B,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;gCACpB,UAAU,IAAI,CAAC,CAAC;gCAChB,SAAS;4BACX,CAAC;4BACD,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;4BACf,MAAM,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC;4BACxB,IAAI,KAAK,KAAK,SAAS;gCAAE,WAAW,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;wBACpF,CAAC;6BAAM,CAAC;4BACN,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;4BACjB,IAAI,CAAC,GAAG,CAAC,GAAG,QAAkB,CAAC;4BAC/B,IAAI,KAAK,KAAK,SAAS;gCAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;wBACjF,CAAC;oBACH,CAAC;oBACD,qEAAqE;oBACrE,4DAA4D;oBAC5D,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;wBACtF,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC;4BAAE,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;wBAC1E,IAAI,KAAK,EAAE,CAAC;4BACV,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE;gCACnC,QAAQ,EAAE,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,GAAG,MAAM,EAAE,GAAG,IAAI,EAAE;gCAC1E,SAAS,EAAE,IAAI;gCACf,MAAM,EAAE,KAAK,CAAC,MAAM;gCACpB,KAAK,EAAE,KAAK,CAAC,KAAK;gCAClB,mEAAmE;gCACnE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC;oCACvD,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE;oCACxB,CAAC,CAAC,EAAE,CAAC;6BACR,CAAC,CAAC;wBACL,CAAC;wBACD,aAAa,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC;oBAC7C,CAAC;oBACD,IAAI,OAAO,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;wBACrB,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;oBACxF,CAAC;oBACD,SAAS;gBACX,CAAC;gBAED,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;oBACnB,oCAAoC;oBACpC,IAAI,KAAK,EAAE,OAAO,EAAE,CAAC;wBACnB,+FAA+F;wBAC/F,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;wBACxC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC;wBACxC,8DAA8D;wBAC9D,+DAA+D;wBAC/D,8CAA8C;wBAC9C,MAAM,KAAK,GACT,MAAM,KAAK,IAAI,IAAI,MAAM,GAAG,KAAK,CAAC,GAAG,IAAI,OAAO,KAAK,SAAS;4BAC5D,CAAC,CAAC,IAAI;4BACN,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;wBACjD,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;4BACjC,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;4BAC9D,IAAI,KAAK,KAAK,SAAS;gCAAE,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;wBACnE,CAAC;6BAAM,CAAC;4BACN,MAAM,EAAE,GACN,KAAK,KAAK,SAAS;gCACjB,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC;gCACzB,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,OAAiB,CAAC,CAAC,CAAC,CAAC;4BACpE,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;4BACjF,IAAI,KAAK,KAAK,SAAS;gCAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;wBACjF,CAAC;wBACD,SAAS;oBACX,CAAC;oBACD,qEAAqE;oBACrE,MAAM,CAAC,IAAI,CAAC;wBACV,GAAG,EAAE,GAAG,CAAC,KAAK;wBACd,GAAG;wBACH,EAAE,EAAE,GAAG;wBACP,GAAG,EAAE,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;wBACnE,IAAI;qBACL,CAAC,CAAC;oBACH,SAAS;gBACX,CAAC;gBAED,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;oBACpB,qCAAqC;oBACrC,IAAI,KAAK,EAAE,OAAO,IAAI,KAAK,IAAI,KAAK,CAAC,GAAG,IAAI,KAAK,CAAC,GAAG,EAAE,CAAC;wBACtD,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;wBAC3E,SAAS;oBACX,CAAC;oBACD,MAAM,MAAM,GAAoC,EAAE,CAAC;oBACnD,IAAI,UAAU,GAAG,IAAI,CAAC;oBACtB,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;wBAC9B,IAAI,GAAG,KAAK,UAAU,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;4BAAE,SAAS;wBACxD,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC;wBAC/C,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;4BACpB,UAAU,GAAG,KAAK,CAAC;4BACnB,MAAM;wBACR,CAAC;wBACD,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBAClB,CAAC;oBACD,IAAI,CAAC,UAAU,EAAE,CAAC;wBAChB,UAAU,IAAI,CAAC,CAAC;wBAChB,SAAS;oBACX,CAAC;oBACD,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;wBACjD,IAAI,KAAK;4BACP,UAAU,CAAC,IAAI,CAAC;gCACd,KAAK,EAAE,GAAG,CAAC,KAAK;gCAChB,GAAG;gCACH,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;6BAC3C,CAAC,CAAC;wBACL,UAAU,IAAI,CAAC,CAAC;wBAChB,SAAS;oBACX,CAAC;oBACD,cAAc,IAAI,CAAC,CAAC;gBACtB,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,8HAA8H;YAC9H,MAAM,IAAI,sBAAsB,CAAC,UAAU,CAAC,CAAC;QAC/C,CAAC;QACD,yDAAyD;QACzD,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;YAClC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC;gBAAE,SAAS;YACjD,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE;gBACvC,QAAQ,EAAE,EAAE;gBACZ,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM;gBACrB,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK;aACpB,CAAC,CAAC;YACH,cAAc,IAAI,CAAC,CAAC;QACtB,CAAC;QAED,MAAM,KAAK,GAAG,eAAe,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC7D,iBAAiB,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,YAAY,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QAC9E,EAAE,CAAC,OAAO,CAAC,sCAAsC,CAAC,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QAC1E,OAAO;YACL,aAAa;YACb,cAAc;YACd,cAAc;YACd,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,UAAU;YACV,WAAW;YACX,QAAQ;YACR,OAAO;YACP,KAAK;SACN,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,GAAG,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC;AAEpE;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,kBAAkB,CAChC,EAAgB,EAChB,MAAoB,EACpB,KAAiB;IAEjB,MAAM,GAAG,GAAwB,EAAE,CAAC;IACpC,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QACzC,MAAM,GAAG,GAAG,eAAe,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC9C,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC;YAAE,SAAS;QAC9E,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAAE,SAAS;QAC3E,MAAM,IAAI,GAAG,CAAC,UAAU,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1D,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,GAAG,CAAC,UAAU,CAAC,gBAAgB,GAAG,CAAC,KAAK,CAAC,UAAU,KAAK,EAAE,CAAC,CAAC;QAChG,KAAK,MAAM,GAAG,IAAI,MAAM;aACrB,OAAO,CAAC,UAAU,IAAI,SAAS,GAAG,CAAC,KAAK,CAAC,UAAU,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC;aACjF,GAAG,EAAmD,EAAE,CAAC;YAC1D,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC;YAC/C,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,GAAG,CAAuC,CAAC;YACtE,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;gBACvD,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;GAGG;AACH,SAAS,MAAM,CAAC,EAAgB,EAAE,MAAoB,EAAE,KAAa;IACnE,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,MAAM,CAAC,GAAG,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,KAAK;aAClB,OAAO,CAAC,UAAU,UAAU,gBAAgB,CAAC,UAAU,UAAU,cAAc,CAAC;aAChF,GAAG,EAA4B,EAAE,CAAC;YACnC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACjB,CAAC;QACD,IAAI,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC,EAAE,CAAC;YACtC,KAAK,MAAM,CAAC,IAAI,KAAK;iBAClB,OAAO,CAAC,8CAA8C,CAAC;iBACvD,GAAG,CAAC,KAAK,CAA2B,EAAE,CAAC;gBACxC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACjB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACzB,CAAC;AAED;;;;;;GAMG;AACH,SAAS,aAAa,CACpB,GAAkB,EAClB,GAAoB,EACpB,GAAW,EACX,MAAiD,EACjD,KAA8B;IAE9B,IAAI,CAAC;QACH,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;IACxC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,GAAG,YAAY,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;QAC1E,MAAM,GAAG,CAAC;IACZ,CAAC;IACD,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;QAC5B,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE;YACnC,QAAQ,EAAE,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC;YACjC,SAAS,EAAE,IAAI;YACf,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,KAAK,EAAE,KAAK,CAAC,KAAK;SACnB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/store/sync/reconcile.d.ts

@@ -56,6 +56,27 @@ export interface ReconcileField {
  * @returns `emit-tick` (rule 1), `adopt-merged` (rule 2) or `emit-pinned` (rule 3).
  */
 export declare function decideReconcileField(f: ReconcileField): ReconcileRule;
+/** One row an inherited change touched, under its current uid. */
+export interface TouchedRow {
+    readonly tbl: string;
+    uid: string;
+    /** The stream never saw the row: an inherited change inserted it. */
+    inserted: boolean;
+    /** An inherited change deleted it. */
+    deleted: boolean;
+    /** Columns an inherited U changed. */
+    readonly cols: Set<string>;
+    /** The time of its last inherited change (ms). */
+    atMs: number;
+}
+/** A re-key the stream never saw, re-emitted ahead of the row changes. */
+export interface Rekey {
+    readonly tbl: string;
+    readonly rk: string;
+    readonly oldUid: string;
+    readonly img: string;
+    readonly atMs: number;
+}
 /** What {@link reconcileInPlace} did. */
 export interface ReconcileReport {
     /** The `rebind` frame the re-emitted rows were captured in, or null when nothing was touched. */
@@ -90,4 +111,63 @@ export declare function reconcileInPlace(db: DatabaseSync, o: {
     readonly scope: TableScope;
     readonly previousReplica: string;
 }): ReconcileReport;
+/** What the previous replica changed and the stream never saw ({@link gatherInherited}). */
+export interface InheritedChanges {
+    /** Touched rows, keyed by {@link touchedRowKey}. */
+    readonly rows: ReadonlyMap<string, TouchedRow>;
+    readonly rekeys: readonly Rekey[];
+    /** Row-count effect of the inherited sealed transactions, per table. */
+    readonly ledger: ReadonlyMap<string, number>;
+    /** Inherited captures read. */
+    readonly captures: number;
+    /** Inherited transactions whose ops were read. */
+    readonly txns: number;
+}
+/** The key of a touched row in {@link InheritedChanges.rows}. */
+export declare const touchedRowKey: (tbl: string, uid: string) => string;
+/**
+ * Read what the previous replica changed and the stream never saw (rule 1
+ * of §1.5 N7): its inherited sealed transactions, in commit order, then the
+ * inherited captures, in capture order. Read-only.
+ *
+ * @param db - The store.
+ * @param scope - The store's scope.
+ * @param previousReplica - The retired replica whose inherited transactions
+ *   count, or null for every replica's (a store rebound more than once
+ *   before it reconciled).
+ * @returns The touched rows, the re-keys and the inherited row counts.
+ */
+export declare function gatherInherited(db: DatabaseSync, scope: TableScope, previousReplica: string | null): InheritedChanges;
+/**
+ * A field the copy reconcile publishes with the HLC the original replica
+ * issued (rule 3 of §1.5 N7): the capture carries `pin_json` and the sealer
+ * uses `h` as the op's HLC and `fh` as its field HLCs instead of ticking.
+ */
+export interface PinnedEmit {
+    readonly tbl: string;
+    readonly uid: string;
+    /** `I` the whole live row, `U` the `cols` of the live row, `D` a row gone here. */
+    readonly op: 'I' | 'U' | 'D';
+    readonly cols?: ReadonlySet<string>;
+    readonly pin: {
+        readonly h?: string;
+        readonly fh?: Readonly<Record<string, string>>;
+    };
+    /** The capture time (ms). */
+    readonly atMs: number;
+}
+/**
+ * Write one `rebind` frame (module docs): the inherited re-keys, every
+ * touched row from its live state (rule 1), then the `pinned` emits (rule 3,
+ * the copy reconcile), and consume what was gathered: the inherited
+ * captures are deleted and the ledger forgets the inherited sealed row
+ * counts. In the caller's transaction.
+ *
+ * @param db - The store, inside a transaction.
+ * @param scope - The store's scope.
+ * @param gathered - {@link gatherInherited}'s result.
+ * @param pinned - Rule-3 emits; empty for the rebind at head.
+ * @returns What was re-emitted.
+ */
+export declare function emitRebindFrame(db: DatabaseSync, scope: TableScope, gathered: InheritedChanges, pinned: readonly PinnedEmit[]): ReconcileReport;
 //# sourceMappingURL=reconcile.d.ts.map

package/dist/store/sync/reconcile.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"reconcile.d.ts","sourceRoot":"","sources":["../../../src/store/sync/reconcile.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAStD,uEAAuE;AACvE,MAAM,MAAM,aAAa,GAAG,WAAW,GAAG,cAAc,GAAG,aAAa,CAAC;AAEzE,yDAAyD;AACzD,MAAM,WAAW,cAAc;IAC7B,uFAAuF;IACvF,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;IACrC,2FAA2F;IAC3F,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,4EAA4E;IAC5E,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,CAAC,EAAE,cAAc,GAAG,aAAa,CAIrE;AAyBD,yCAAyC;AACzC,MAAM,WAAW,eAAe;IAC9B,iGAAiG;IACjG,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,6DAA6D;IAC7D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,mCAAmC;IACnC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,kDAAkD;IAClD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAkBD;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,gBAAgB,CAC9B,EAAE,EAAE,YAAY,EAChB,CAAC,EAAE;IAAE,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;CAAE,GAClE,eAAe,CA+NjB"}
+{"version":3,"file":"reconcile.d.ts","sourceRoot":"","sources":["../../../src/store/sync/reconcile.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAUtD,uEAAuE;AACvE,MAAM,MAAM,aAAa,GAAG,WAAW,GAAG,cAAc,GAAG,aAAa,CAAC;AAEzE,yDAAyD;AACzD,MAAM,WAAW,cAAc;IAC7B,uFAAuF;IACvF,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;IACrC,2FAA2F;IAC3F,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,4EAA4E;IAC5E,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,CAAC,EAAE,cAAc,GAAG,aAAa,CAIrE;AAED,kEAAkE;AAClE,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,GAAG,EAAE,MAAM,CAAC;IACZ,qEAAqE;IACrE,QAAQ,EAAE,OAAO,CAAC;IAClB,sCAAsC;IACtC,OAAO,EAAE,OAAO,CAAC;IACjB,sCAAsC;IACtC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3B,kDAAkD;IAClD,IAAI,EAAE,MAAM,CAAC;CACd;AAED,0EAA0E;AAC1E,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,yCAAyC;AACzC,MAAM,WAAW,eAAe;IAC9B,iGAAiG;IACjG,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,6DAA6D;IAC7D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,mCAAmC;IACnC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,kDAAkD;IAClD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAkBD;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,gBAAgB,CAC9B,EAAE,EAAE,YAAY,EAChB,CAAC,EAAE;IAAE,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAA;CAAE,GAClE,eAAe,CAIjB;AAED,4FAA4F;AAC5F,MAAM,WAAW,gBAAgB;IAC/B,oDAAoD;IACpD,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAC/C,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;IAClC,wEAAwE;IACxE,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7C,+BAA+B;IAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,kDAAkD;IAClD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,iEAAiE;AACjE,eAAO,MAAM,aAAa,GAAI,KAAK,MAAM,EAAE,KAAK,MAAM,KAAG,MAA0B,CAAC;AAEpF;;;;;;;;;;;GAWG;AACH,wBAAgB,eAAe,CAC7B,EAAE,EAAE,YAAY,EAChB,KAAK,EAAE,UAAU,EACjB,eAAe,EAAE,MAAM,GAAG,IAAI,GAC7B,gBAAgB,CAsJlB;AAED;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,mFAAmF;IACnF,QAAQ,CAAC,EAAE,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;IAC7B,QAAQ,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACpC,QAAQ,CAAC,GAAG,EAAE;QAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;KAAE,CAAC;IACtF,6BAA6B;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,eAAe,CAC7B,EAAE,EAAE,YAAY,EAChB,KAAK,EAAE,UAAU,EACjB,QAAQ,EAAE,gBAAgB,EAC1B,MAAM,EAAE,SAAS,UAAU,EAAE,GAC5B,eAAe,CAmIjB"}