@cleocode/core 2026.10.8 → 2026.10.9-rc.ci.676

package/dist/store/sync/activity.js

@@ -0,0 +1,220 @@
+/**
+ * Journal activity: what each device changed and when, read from this
+ * store's journal inbox (T13369).
+ *
+ * Every transaction a pull stages is an `_sync_inbox` row carrying the
+ * writing replica, the Nexus device that signed its segment, the
+ * transaction's HLC (its write time) and the times this store staged and
+ * applied it. Own transactions come back through the same inbox as echoes,
+ * so the inbox shows every device on the stream, this one included.
+ *
+ * A transaction its replica wrote after a server-confirmed retire is marked
+ * `history` once applied (§1.5, T13366): the merge recorded no conflict for it.
+ *
+ * The inbox is the window: applied rows pruned after a verified checkpoint
+ * are no longer listed. Read-only: nothing is written.
+ *
+ * @task T13369
+ * @module store/sync/activity
+ */
+import { getStableDeviceId } from '../../llm/stable-device-id.js';
+import { parseHlc } from './hlc.js';
+import { isInheritedHistory } from './retire.js';
+import { hasTable } from './schema.js';
+/** Largest page {@link journalActivity} returns. */
+export const JOURNAL_ACTIVITY_PAGE_MAX = 200;
+/** Thrown for a `before` cursor this module did not issue. */
+export class JournalActivityCursorError extends Error {
+    code = 'E_VALIDATION';
+    constructor(cursor) {
+        super(`not a journal activity cursor: ${cursor}`);
+        this.name = 'JournalActivityCursorError';
+    }
+}
+function encodeCursor(c) {
+    return Buffer.from(JSON.stringify([c.hlc, c.stream, c.seq, c.txnIdx]), 'utf8').toString('base64url');
+}
+function decodeCursor(raw) {
+    try {
+        const v = JSON.parse(Buffer.from(raw, 'base64url').toString('utf8'));
+        if (Array.isArray(v) &&
+            v.length === 4 &&
+            typeof v[0] === 'string' &&
+            typeof v[1] === 'string' &&
+            Number.isSafeInteger(v[2]) &&
+            Number.isSafeInteger(v[3])) {
+            return { hlc: v[0], stream: v[1], seq: v[2], txnIdx: v[3] };
+        }
+    }
+    catch {
+        // Falls through to the refusal.
+    }
+    // @sync-invariant none:input-shape a read-only listing refuses a cursor it did not issue
+    throw new JournalActivityCursorError(raw);
+}
+/** The HLC's physical time as ISO-8601, or the raw HLC when it does not parse. */
+function hlcTime(hlc) {
+    try {
+        return new Date(parseHlc(hlc).phys).toISOString();
+    }
+    catch {
+        return hlc;
+    }
+}
+/** The replicas this machine bound in this store. */
+function ownReplicas(db, localDeviceId) {
+    if (!hasTable(db, '_sync_replica'))
+        return new Set();
+    const rows = db
+        .prepare('SELECT replica_id FROM _sync_replica WHERE device_id = ?')
+        .all(localDeviceId);
+    return new Set(rows.map((r) => r.replica_id));
+}
+function summarise(txnJson) {
+    let t = {};
+    try {
+        const parsed = JSON.parse(txnJson);
+        if (parsed !== null && typeof parsed === 'object')
+            t = parsed;
+    }
+    catch {
+        // A row the stager accepted always parses; an unreadable one shows empty.
+    }
+    const tables = {};
+    const ops = Array.isArray(t.ops) ? t.ops : [];
+    for (const op of ops) {
+        if (op === null || typeof op !== 'object')
+            continue;
+        const { t: table, o } = op;
+        if (typeof table !== 'string' || (o !== 'I' && o !== 'U' && o !== 'D' && o !== 'K'))
+            continue;
+        tables[table] ??= { I: 0, U: 0, D: 0, K: 0 };
+        tables[table][o] += 1;
+    }
+    const actor = t.actor !== null && typeof t.actor === 'object'
+        ? Object.fromEntries(Object.entries(t.actor).filter(([, v]) => typeof v === 'string'))
+        : null;
+    return {
+        txn: typeof t.txn === 'string' ? t.txn : '',
+        kind: typeof t.kind === 'string' ? t.kind : '',
+        via: typeof t.via === 'string' ? t.via : '',
+        actor,
+        project: typeof t.project === 'string' ? t.project : null,
+        ops: ops.length,
+        tables,
+    };
+}
+/** The WHERE clause and parameters of the filters (the cursor excluded). */
+function filters(opts) {
+    const where = [];
+    const params = [];
+    if (opts.deviceId !== undefined) {
+        where.push('device_id = ?');
+        params.push(opts.deviceId);
+    }
+    if (opts.sinceMs !== undefined) {
+        // HLCs sort lexically by physical time; a bare 13-digit prefix sorts first.
+        where.push('hlc >= ?');
+        params.push(String(Math.max(0, Math.trunc(opts.sinceMs))).padStart(13, '0'));
+    }
+    if (opts.project !== undefined) {
+        where.push("json_extract(txn_json, '$.project') = ?");
+        params.push(opts.project);
+    }
+    return { where, params };
+}
+/**
+ * List the transactions this store's journal received, newest first (by
+ * HLC), with the device that wrote each one and a per-device summary.
+ *
+ * @param db - The store.
+ * @param opts - Paging and filters.
+ * @returns A page of transactions, the per-device summary and the next cursor.
+ * @throws {JournalActivityCursorError} When `before` is not a cursor this module issued.
+ */
+export function journalActivity(db, opts = {}) {
+    if (!hasTable(db, '_sync_inbox'))
+        return { items: [], devices: [], nextBefore: null };
+    const requested = opts.limit !== undefined && Number.isFinite(opts.limit) ? Math.trunc(opts.limit) : 50;
+    const limit = Math.min(Math.max(requested, 1), JOURNAL_ACTIVITY_PAGE_MAX);
+    const own = ownReplicas(db, opts.localDeviceId ?? getStableDeviceId());
+    const names = opts.deviceNames ?? new Map();
+    const { where, params } = filters(opts);
+    const devRows = db
+        .prepare(`SELECT device_id, replica_id, count(*) AS n, max(hlc) AS last
+         FROM _sync_inbox ${where.length ? `WHERE ${where.join(' AND ')}` : ''}
+        GROUP BY device_id, replica_id`)
+        .all(...params);
+    const byDevice = new Map();
+    for (const r of devRows) {
+        const d = byDevice.get(r.device_id) ?? { txns: 0, last: '', mine: false };
+        d.txns += Number(r.n);
+        if (r.last > d.last)
+            d.last = r.last;
+        if (own.has(r.replica_id))
+            d.mine = true;
+        byDevice.set(r.device_id, d);
+    }
+    const devices = [...byDevice.entries()]
+        .sort((a, b) => (a[1].last < b[1].last ? 1 : a[1].last > b[1].last ? -1 : 0))
+        .map(([deviceId, d]) => ({
+        deviceId,
+        deviceName: names.get(deviceId) ?? null,
+        thisDevice: d.mine,
+        txns: d.txns,
+        lastAt: hlcTime(d.last),
+        lastSeenAt: opts.deviceLastSeen?.get(deviceId) ?? null,
+    }));
+    const pageWhere = [...where];
+    const pageParams = [...params];
+    if (opts.before !== undefined) {
+        const c = decodeCursor(opts.before);
+        pageWhere.push('(hlc, stream, seq, txn_idx) < (?, ?, ?, ?)');
+        pageParams.push(c.hlc, c.stream, c.seq, c.txnIdx);
+    }
+    const rows = db
+        .prepare(`SELECT stream, seq, txn_idx, replica_id, device_id, txn_json, hlc, status, reason,
+              staged_at, applied_at
+         FROM _sync_inbox ${pageWhere.length ? `WHERE ${pageWhere.join(' AND ')}` : ''}
+        ORDER BY hlc DESC, stream DESC, seq DESC, txn_idx DESC
+        LIMIT ?`)
+        .all(...pageParams, limit + 1);
+    const page = rows.slice(0, limit);
+    const items = page.map((r) => {
+        const s = summarise(r.txn_json);
+        return {
+            txn: s.txn,
+            stream: r.stream,
+            seq: Number(r.seq),
+            txnIdx: Number(r.txn_idx),
+            replicaId: r.replica_id,
+            deviceId: r.device_id,
+            deviceName: names.get(r.device_id) ?? null,
+            thisDevice: own.has(r.replica_id),
+            hlc: r.hlc,
+            at: hlcTime(r.hlc),
+            stagedAt: r.staged_at,
+            appliedAt: r.applied_at,
+            status: r.status,
+            reason: r.reason,
+            history: r.status === 'applied' && isInheritedHistory(db, r.stream, r.replica_id, Number(r.seq)),
+            kind: s.kind,
+            via: s.via,
+            actor: s.actor,
+            project: s.project,
+            ops: s.ops,
+            tables: s.tables,
+        };
+    });
+    const last = page.at(-1);
+    const nextBefore = rows.length > limit && last !== undefined
+        ? encodeCursor({
+            hlc: last.hlc,
+            stream: last.stream,
+            seq: Number(last.seq),
+            txnIdx: Number(last.txn_idx),
+        })
+        : null;
+    return { items, devices, nextBefore };
+}
+//# sourceMappingURL=activity.js.map

package/dist/store/sync/activity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"activity.js","sourceRoot":"","sources":["../../../src/store/sync/activity.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAQH,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AACpC,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAEvC,oDAAoD;AACpD,MAAM,CAAC,MAAM,yBAAyB,GAAG,GAAG,CAAC;AA6B7C,8DAA8D;AAC9D,MAAM,OAAO,0BAA2B,SAAQ,KAAK;IAC1C,IAAI,GAAG,cAAc,CAAC;IAC/B,YAAY,MAAc;QACxB,KAAK,CAAC,kCAAkC,MAAM,EAAE,CAAC,CAAC;QAClD,IAAI,CAAC,IAAI,GAAG,4BAA4B,CAAC;IAC3C,CAAC;CACF;AASD,SAAS,YAAY,CAAC,CAAS;IAC7B,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,QAAQ,CACrF,WAAW,CACZ,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,GAAW;IAC/B,IAAI,CAAC;QACH,MAAM,CAAC,GAAY,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;QAC9E,IACE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAChB,CAAC,CAAC,MAAM,KAAK,CAAC;YACd,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ;YACxB,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ;YACxB,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1B,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAC1B,CAAC;YACD,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAW,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAW,EAAE,CAAC;QAClF,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,gCAAgC;IAClC,CAAC;IACD,yFAAyF;IACzF,MAAM,IAAI,0BAA0B,CAAC,GAAG,CAAC,CAAC;AAC5C,CAAC;AAED,kFAAkF;AAClF,SAAS,OAAO,CAAC,GAAW;IAC1B,IAAI,CAAC;QACH,OAAO,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;IACpD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,GAAG,CAAC;IACb,CAAC;AACH,CAAC;AAED,qDAAqD;AACrD,SAAS,WAAW,CAAC,EAAgB,EAAE,aAAqB;IAC1D,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,eAAe,CAAC;QAAE,OAAO,IAAI,GAAG,EAAE,CAAC;IACrD,MAAM,IAAI,GAAG,EAAE;SACZ,OAAO,CAAC,0DAA0D,CAAC;SACnE,GAAG,CAAC,aAAa,CAAkC,CAAC;IACvD,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;AAChD,CAAC;AAWD,SAAS,SAAS,CAAC,OAAe;IAShC,IAAI,CAAC,GAAa,EAAE,CAAC;IACrB,IAAI,CAAC;QACH,MAAM,MAAM,GAAY,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC5C,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ;YAAE,CAAC,GAAG,MAAkB,CAAC;IAC5E,CAAC;IAAC,MAAM,CAAC;QACP,0EAA0E;IAC5E,CAAC;IACD,MAAM,MAAM,GAAyC,EAAE,CAAC;IACxD,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9C,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,IAAI,EAAE,KAAK,IAAI,IAAI,OAAO,EAAE,KAAK,QAAQ;YAAE,SAAS;QACpD,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAkC,CAAC;QAC3D,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC;YAAE,SAAS;QAC9F,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;QAC7C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IACD,MAAM,KAAK,GACT,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ;QAC7C,CAAC,CAAE,MAAM,CAAC,WAAW,CACjB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAgC,CAAC,CAAC,MAAM,CACvD,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CACjC,CACoC;QACzC,CAAC,CAAC,IAAI,CAAC;IACX,OAAO;QACL,GAAG,EAAE,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;QAC3C,IAAI,EAAE,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE;QAC9C,GAAG,EAAE,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;QAC3C,KAAK;QACL,OAAO,EAAE,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI;QACzD,GAAG,EAAE,GAAG,CAAC,MAAM;QACf,MAAM;KACP,CAAC;AACJ,CAAC;AAED,4EAA4E;AAC5E,SAAS,OAAO,CAAC,IAA4B;IAC3C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAwB,EAAE,CAAC;IACvC,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC5B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAC/B,4EAA4E;QAC5E,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;IAC/E,CAAC;IACD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;QACtD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAC3B,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe,CAC7B,EAAgB,EAChB,OAA+B,EAAE;IAEjC,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,aAAa,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IACtF,MAAM,SAAS,GACb,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACxF,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,yBAAyB,CAAC,CAAC;IAC1E,MAAM,GAAG,GAAG,WAAW,CAAC,EAAE,EAAE,IAAI,CAAC,aAAa,IAAI,iBAAiB,EAAE,CAAC,CAAC;IACvE,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,IAAI,IAAI,GAAG,EAAkB,CAAC;IAC5D,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAExC,MAAM,OAAO,GAAG,EAAE;SACf,OAAO,CACN;4BACsB,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;uCACvC,CAClC;SACA,GAAG,CAAC,GAAG,MAAM,CAA8E,CAAC;IAC/F,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAyD,CAAC;IAClF,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QAC1E,CAAC,CAAC,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI;YAAE,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;QACrC,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC;YAAE,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC;QACzC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;IAC/B,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC;SACpC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SAC5E,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACvB,QAAQ;QACR,UAAU,EAAE,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI;QACvC,UAAU,EAAE,CAAC,CAAC,IAAI;QAClB,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;QACvB,UAAU,EAAE,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI;KACvD,CAAC,CAAC,CAAC;IAEN,MAAM,SAAS,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;IAC7B,MAAM,UAAU,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;IAC/B,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACpC,SAAS,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC;QAC7D,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACpD,CAAC;IACD,MAAM,IAAI,GAAG,EAAE;SACZ,OAAO,CACN;;4BAEsB,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;;gBAEtE,CACX;SACA,GAAG,CAAC,GAAG,UAAU,EAAE,KAAK,GAAG,CAAC,CAY7B,CAAC;IACH,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAA4B,EAAE;QACrD,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAChC,OAAO;YACL,GAAG,EAAE,CAAC,CAAC,GAAG;YACV,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC;YAClB,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;YACzB,SAAS,EAAE,CAAC,CAAC,UAAU;YACvB,QAAQ,EAAE,CAAC,CAAC,SAAS;YACrB,UAAU,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,IAAI;YAC1C,UAAU,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC;YACjC,GAAG,EAAE,CAAC,CAAC,GAAG;YACV,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;YAClB,QAAQ,EAAE,CAAC,CAAC,SAAS;YACrB,SAAS,EAAE,CAAC,CAAC,UAAU;YACvB,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,OAAO,EACL,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,kBAAkB,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACzF,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,GAAG,EAAE,CAAC,CAAC,GAAG;YACV,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,GAAG,EAAE,CAAC,CAAC,GAAG;YACV,MAAM,EAAE,CAAC,CAAC,MAAM;SACjB,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACzB,MAAM,UAAU,GACd,IAAI,CAAC,MAAM,GAAG,KAAK,IAAI,IAAI,KAAK,SAAS;QACvC,CAAC,CAAC,YAAY,CAAC;YACX,GAAG,EAAE,IAAI,CAAC,GAAG;YACb,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;YACrB,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;SAC7B,CAAC;QACJ,CAAC,CAAC,IAAI,CAAC;IACX,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AACxC,CAAC"}

package/dist/store/sync/apply/applier.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"applier.d.ts","sourceRoot":"","sources":["../../../../src/store/sync/apply/applier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4DG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAiCtD,OAAO,EAUL,KAAK,UAAU,EAIhB,MAAM,kBAAkB,CAAC;AAU1B,wCAAwC;AACxC,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,uEAAuE;IACvE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,oDAAoD;IACpD,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;IAC5B;;;OAGG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC;IAC3B,gDAAgD;IAChD,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,yDAAyD;IACzD,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,+FAA+F;IAC/F,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,2EAA2E;IAC3E,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;CACnC;AAED,2EAA2E;AAC3E,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,gCAAgC;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,uEAAuE;IACvE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,yFAAyF;IACzF,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,6FAA6F;IAC7F,QAAQ,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI,CAAC;IACvC,qEAAqE;IACrE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAysCD,0FAA0F;AAC1F,eAAO,MAAM,eAAe,OAAQ,CAAC;AACrC,sEAAsE;AACtE,eAAO,MAAM,cAAc,KAAK,CAAC;AAgNjC;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,eAAe,CAAC,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,kBAAkB,GAAG,WAAW,CA2JvF"}
+{"version":3,"file":"applier.d.ts","sourceRoot":"","sources":["../../../../src/store/sync/apply/applier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4DG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AA2CtD,OAAO,EAUL,KAAK,UAAU,EAIhB,MAAM,kBAAkB,CAAC;AAU1B,wCAAwC;AACxC,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,uEAAuE;IACvE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,oDAAoD;IACpD,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;IAC5B;;;OAGG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC;IAC3B,gDAAgD;IAChD,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,yDAAyD;IACzD,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,+FAA+F;IAC/F,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,2EAA2E;IAC3E,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;CACnC;AAED,2EAA2E;AAC3E,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,gCAAgC;IAChC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,uEAAuE;IACvE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,yFAAyF;IACzF,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,6FAA6F;IAC7F,QAAQ,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI,CAAC;IACvC,qEAAqE;IACrE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AA4vCD,0FAA0F;AAC1F,eAAO,MAAM,eAAe,OAAQ,CAAC;AACrC,sEAAsE;AACtE,eAAO,MAAM,cAAc,KAAK,CAAC;AAgNjC;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,eAAe,CAAC,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,kBAAkB,GAAG,WAAW,CA4KvF"}

package/dist/store/sync/apply/applier.js

@@ -61,7 +61,7 @@
  */
 import { BIRTH_FP_COLUMN, UID_COLUMN } from '../../row-identity-registry.js';
 import { captureTableDef } from '../capture.js';
-import { announcePlacedRekeys, settleLostUidCollisions } from '../collision-settle.js';
+import { announcePlacedRekeys, displayKeyColumn, displayKeyReferrers, foldDisplayRemints, followLocalTaskRefs, remintLostKeyCollisions, repointOwnDecisionText, settleLostUidCollisions, } from '../collision-settle.js';
 import { recordConflictOnce, recordConflicts, resolveHeldConflicts } from '../conflicts.js';
 import { clearFieldLeaves, readFieldFrontiers, readFieldLeaves, recordFieldLeaves, restoreFieldState, setFieldFrontiers, } from '../field-leave.js';
 import { accountRebaseRows, heldOp, holdOp, txnHasHold, unholdOp } from '../held.js';
@@ -685,9 +685,13 @@ function applyOne(c, opIdx, op) {
             });
         }
     }
+    const keyMove = displayKeyMove(def, before, out);
     const sp = `apply_op_${opIdx}`;
     c.db.exec(`SAVEPOINT ${sp}`);
     try {
+        // A display key that moves leaves its referrers behind until they follow.
+        if (keyMove)
+            c.db.exec('PRAGMA defer_foreign_keys = ON');
         // cascade-with-ops: the remaining children go first, with ops' tombstones.
         const actor = c.st.txn.actor ? JSON.stringify(c.st.txn.actor) : null;
         for (const x of live)
@@ -697,6 +701,8 @@ function applyOne(c, opIdx, op) {
             : c.st;
         const history = c.history === true && out.status !== 'void';
         const recorded = effect(c.db, c.api, st, opIdx, { op, def, before, out, refKeys }, c.nowIso, c.replay !== undefined || history);
+        if (keyMove)
+            followDisplayKey(c, op.t, op.u, keyMove);
         const n = history ? 0 : recorded;
         c.db.exec(`RELEASE ${sp}`);
         const result = out.status === 'applied' || out.status === 'partial'
@@ -724,6 +730,42 @@ function applyOne(c, opIdx, op) {
         });
     }
 }
+/** Decision key moves applied in the current apply call, by store (T13433). */
+const decisionMoves = new WeakMap();
+/** A counter display key an applied update moves (T13405), or null. */
+function displayKeyMove(def, before, out) {
+    const column = displayKeyColumn(def.table);
+    if (!column || out.effect !== 'update' || !before.live)
+        return null;
+    const from = before.fields[column]?.value;
+    const to = out.next.fields[column]?.value;
+    return typeof from === 'string' && typeof to === 'string' && from !== to
+        ? { column, from, to }
+        : null;
+}
+/**
+ * Point the local rows that reference a moved display key at the new key
+ * (T13405): a replica that had placed a re-minted loser keeps its own
+ * children on it, never on the winner that takes the old key. Writes go
+ * through the write API, so each is an apply intent, not a local change.
+ */
+function followDisplayKey(c, table, uid, move) {
+    // Its own text references re-point after the passes, in a local frame (T13433).
+    if (table === 'brain_decisions' && !c.replay) {
+        const moves = decisionMoves.get(c.db) ?? [];
+        moves.push({ uid, from: move.from, to: move.to });
+        decisionMoves.set(c.db, moves);
+    }
+    for (const ref of displayKeyReferrers(c.db, c.defs, table, move.column)) {
+        const rows = c.db
+            .prepare(`SELECT "${UID_COLUMN}" AS uid FROM main."${ref.table.replaceAll('"', '""')}" WHERE "${ref.column.replaceAll('"', '""')}" = ? AND "${UID_COLUMN}" IS NOT NULL`)
+            .all(move.from);
+        for (const r of rows)
+            c.api.writeFields(ref.table, r.uid, { [ref.column]: move.to });
+    }
+    if (table === 'tasks_tasks')
+        followLocalTaskRefs(c.db, c.defs, move.from, move.to);
+}
 /** The rows a transaction's ops write (a re-key's both uids). */
 function touchedRows(ops) {
     return ops.flatMap((o) => o.o === 'K' && o.nu && o.nu !== o.u
@@ -1330,7 +1372,8 @@ export function applyStagedTxns(db, opts) {
             passes += 1;
             const heldReplicas = new Set();
             const held = new Set(); // rows written by a pending transaction
-            const staged = stagedTxns(db, opts.stream).map((st) => followUidAliases(db, withoutLocalRowids(st, defs), defs));
+            // An origin's display-key re-mint folds into the insert it held (T13405).
+            const staged = foldDisplayRemints(db, stagedTxns(db, opts.stream).map((st) => followUidAliases(db, withoutLocalRowids(st, defs), defs)), defs);
             // Each page is one frame and one scoped rebase (§3.5 Rule 3): rewind the
             // page's scope once, apply its transactions in stream order, replay once.
             for (let at = 0; at < staged.length;) {
@@ -1423,6 +1466,19 @@ export function applyStagedTxns(db, opts) {
         opts.seal?.();
         runPasses();
     }
+    // The origin of a row that lost a key collision re-mints its key, then the
+    // held insert places (T13405). Driven by the open conflicts, so a failed
+    // re-mint is retried by the next apply (T13431).
+    if (remintLostKeyCollisions(db, opts).length > 0) {
+        opts.seal?.();
+        runPasses();
+    }
+    // Forget the moves only once their frames committed: a busy or failed frame
+    // keeps them for the next apply on this handle (re-pointing is idempotent).
+    const moves = decisionMoves.get(db) ?? [];
+    if (repointOwnDecisionText(db, opts, moves) > 0)
+        opts.seal?.();
+    decisionMoves.delete(db);
     // Every other replica that had placed a re-keyed loser announces the
     // re-key, so its earlier references follow the loser too (T13399).
     if (announcePlacedRekeys(db, opts, new Date(now()).toISOString()) > 0)