@cleocode/core 2026.10.4 → 2026.10.5-rc.ci.672

package/dist/store/sync/sequencing.js

@@ -0,0 +1,295 @@
+/**
+ * Own-echo sequencing and the foreign-touch index (T13193; journal spec §3.5
+ * Rules 2-3, R7-6).
+ *
+ * A sealed local transaction stays **unsequenced** until its own echo comes
+ * back through the stream. Until then it keeps its undo (`_sync_undo`, the
+ * values) and its row undo (`_sync_row_undo`, the merge state: row meta,
+ * leaves, frontiers), so a scoped rebase can rewind it.
+ *
+ * When the echo applies, the **fast path** decides whether a rebase is needed:
+ * if no foreign transaction applied after this transaction's commit touched
+ * its rows, the stream order and the local order agree, so the echo is simply
+ * sequenced and its undo dropped. The order is exact, with no clock: a local
+ * transaction's position is its first capture's seq, and a foreign touch
+ * records the capture sequence (`sqlite_sequence` of `_sync_capture`) when its
+ * transaction applied. Both come from the one AUTOINCREMENT counter.
+ *
+ * Unframed writers (foreign connections) seal as singleton transactions with
+ * no frame and undo rows with no `txn_local`: they have no position here, are
+ * sequenced on echo without a check, and keep their undo until R-2 keys it by
+ * capture seq. A split part-set (`LedgerTxn.part`, not sealed today) would map
+ * one frame to several transactions.
+ *
+ * The index holds only entries at or after the oldest unsequenced local
+ * transaction and is bounded by {@link FOREIGN_TOUCH_MAX}; past the bound it
+ * is marked incomplete and the fast path declines (falling back to the scoped
+ * rebase) until the unsequenced backlog drains.
+ *
+ * @module store/sync/sequencing
+ * @task T13193
+ */
+import { LedgerActor, LedgerOp } from '@cleocode/contracts/ledger';
+import { actorOpOf, readFieldFrontiers, readFieldLeaves, } from './field-leave.js';
+import { readRowMetaFull } from './row-meta.js';
+import { canonicalJson } from './sealer-values.js';
+/** The foreign-touch index's bound (spec R7-6). */
+export const FOREIGN_TOUCH_MAX = 200_000;
+/** `_sync_meta` key set while the foreign-touch index overflowed its bound. */
+export const FOREIGN_TOUCH_INCOMPLETE_KEY = 'sync.foreign_touch_incomplete';
+/** Whether undo is being written (§3.5 Rule 2: on exactly while push is on). */
+export function undoEnabled(db) {
+    return db.prepare("SELECT 1 FROM _sync_meta WHERE key = 'undo_enabled'").get() !== undefined;
+}
+/**
+ * Snapshot a row's merge state before a local op moves it (the sealer calls
+ * this per sealed op while undo is enabled): its row meta, leaves and
+ * frontiers, so a rewind can restore them with the values.
+ *
+ * @param db - The store, inside the sealer's transaction.
+ * @param txn - The sealed transaction id.
+ * @param idx - The op's index in it.
+ * @param tbl - The row's table.
+ * @param uid - The row's uid before the op.
+ */
+export function snapshotRowUndo(db, txn, idx, tbl, uid) {
+    const meta = readRowMetaFull(db, tbl, uid);
+    const leaves = readFieldLeaves(db, tbl, uid);
+    const frontiers = readFieldFrontiers(db, tbl, uid);
+    const state = Object.keys(leaves).length + Object.keys(frontiers).length > 0
+        ? canonicalJson({ leaves, frontiers })
+        : null;
+    db.prepare(`INSERT INTO _sync_row_undo (txn, idx, tbl, uid, meta_json, leave_json) VALUES (?, ?, ?, ?, ?, ?)
+     ON CONFLICT (txn, idx) DO NOTHING`).run(txn, idx, tbl, uid, meta ? canonicalJson(meta) : null, state);
+}
+/**
+ * The capture position now: the last seq `_sync_capture` handed out (0 when
+ * none). A write made after this point has a larger seq.
+ */
+export function capturePosition(db) {
+    const row = db.prepare("SELECT seq FROM sqlite_sequence WHERE name = '_sync_capture'").get();
+    return Number(row?.seq ?? 0);
+}
+/**
+ * The oldest unsequenced local transaction's position: its frame's first
+ * undo seq. Joins through the `_sync_txn_frame` index (T13260), since it
+ * runs on every echo and foreign apply under the write lock.
+ */
+export const OLDEST_UNSEQUENCED_SQL = `SELECT min(u.seq) AS p FROM _sync_undo u JOIN _sync_txn t ON t.frame = u.txn_local
+  WHERE t.state = 'sealed' AND NOT EXISTS (SELECT 1 FROM _sync_sequenced s WHERE s.txn = t.txn)`;
+/**
+ * Drop the undo of frames sealed into no transaction (netted away, or
+ * inherited/folded) that hold no live capture. Probes `_sync_txn` through
+ * the `_sync_txn_frame` index (T13260).
+ */
+export const DROP_NETTED_UNDO_SQL = `DELETE FROM _sync_undo WHERE txn_local IS NOT NULL
+  AND NOT EXISTS (SELECT 1 FROM _sync_txn t WHERE t.frame = _sync_undo.txn_local)
+  AND NOT EXISTS (SELECT 1 FROM _sync_capture c WHERE c.frame = _sync_undo.txn_local AND c.state = 'live')`;
+/** The oldest unsequenced local transaction's position, or null when none has undo. */
+function oldestUnsequencedPosition(db) {
+    const row = db.prepare(OLDEST_UNSEQUENCED_SQL).get();
+    return row.p === null ? null : Number(row.p);
+}
+/**
+ * Record the rows an applied foreign transaction touched, at `pos`. Nothing
+ * is recorded while no local transaction is unsequenced (no echo will ask).
+ *
+ * @param db - The store, inside the apply frame.
+ * @param rows - The rows the transaction wrote.
+ * @param pos - {@link capturePosition} when the transaction began applying.
+ */
+export function recordForeignTouches(db, rows, pos) {
+    if (rows.length === 0 || oldestUnsequencedPosition(db) === null)
+        return;
+    if (counterRestarted(db))
+        markIncomplete(db);
+    const ins = db.prepare('INSERT INTO _sync_foreign_touch (tbl, uid, pos) VALUES (?, ?, ?) ON CONFLICT DO NOTHING');
+    let added = 0;
+    for (const r of rows)
+        added += Number(ins.run(r.table, r.uid, pos).changes);
+    // A running count, not a scan per transaction near the bound (#1912 LOW-2).
+    if (added > 0 && adjustTouchCount(db, added) > FOREIGN_TOUCH_MAX)
+        markIncomplete(db);
+}
+/** `_sync_meta` key holding the foreign-touch index's row count. */
+export const FOREIGN_TOUCH_COUNT_KEY = 'sync.foreign_touch_count';
+function adjustTouchCount(db, delta) {
+    const row = db
+        .prepare(`INSERT INTO _sync_meta (key, value, updated_at) VALUES (?, ?, datetime('now'))
+       ON CONFLICT (key) DO UPDATE SET value = CAST(value AS INTEGER) + excluded.value, updated_at = excluded.updated_at
+       RETURNING CAST(value AS INTEGER) AS n`)
+        .get(FOREIGN_TOUCH_COUNT_KEY, delta);
+    return Number(row.n);
+}
+function markIncomplete(db) {
+    db.prepare(`INSERT INTO _sync_meta (key, value, updated_at) VALUES (?, '1', datetime('now'))
+     ON CONFLICT (key) DO NOTHING`).run(FOREIGN_TOUCH_INCOMPLETE_KEY);
+}
+/**
+ * Whether `_sync_capture`'s counter restarted under unsequenced undo (the
+ * table was re-created, #1912 LOW-1): an undo seq above the counter's last
+ * value means new positions would sort below old ones, so the fast path can
+ * no longer order foreign touches against local commits.
+ */
+function counterRestarted(db) {
+    const row = db.prepare('SELECT max(seq) AS m FROM _sync_undo').get();
+    return row.m !== null && Number(row.m) > capturePosition(db);
+}
+/**
+ * The unsequenced sealed local transaction with this id, or null (not ours,
+ * or already sequenced).
+ *
+ * @param db - The store.
+ * @param txn - The transaction id the echo carries.
+ * @returns The local transaction, or null.
+ */
+export function unsequencedLocalTxn(db, txn) {
+    const t = db
+        .prepare(`SELECT t.txn, t.frame FROM _sync_txn t WHERE t.txn = ?
+         AND NOT EXISTS (SELECT 1 FROM _sync_sequenced s WHERE s.txn = t.txn)`)
+        .get(txn);
+    if (!t)
+        return null;
+    const p = t.frame === null
+        ? undefined
+        : db.prepare('SELECT min(seq) AS p FROM _sync_undo WHERE txn_local = ?').get(t.frame);
+    return { txn: t.txn, frame: t.frame, position: p?.p == null ? null : Number(p.p) };
+}
+/**
+ * The own-echo fast path (Rule 3): whether no foreign transaction applied at
+ * or after `local`'s commit touched any of `rows`. False while the index is
+ * incomplete.
+ *
+ * @param db - The store.
+ * @param local - The echoed local transaction.
+ * @param rows - The rows its ops wrote.
+ * @returns True when the echo can be sequenced without a rebase.
+ */
+export function ownEchoFastPath(db, local, rows) {
+    if (local.position === null)
+        return true; // nothing to rewind
+    if (counterRestarted(db))
+        markIncomplete(db);
+    if (db.prepare('SELECT 1 FROM _sync_meta WHERE key = ?').get(FOREIGN_TOUCH_INCOMPLETE_KEY) !==
+        undefined) {
+        return false;
+    }
+    const hit = db.prepare('SELECT 1 FROM _sync_foreign_touch WHERE tbl = ? AND uid = ? AND pos >= ? LIMIT 1');
+    return !rows.some((r) => hit.get(r.table, r.uid, local.position) !== undefined);
+}
+/**
+ * Mark an own transaction sequenced by its echo: record it, drop its undo
+ * and row undo (and the undo of frames that netted to no transaction), and
+ * prune the foreign-touch index past the new oldest
+ * unsequenced transaction (resetting it, and its incomplete mark, when none
+ * is left).
+ *
+ * @param db - The store, inside the apply frame.
+ * @param local - The echoed local transaction.
+ * @param at - The echo's stream position and the time.
+ */
+export function markSequenced(db, local, at) {
+    const outcome = at.outcome ?? 'applied';
+    db.prepare('INSERT INTO _sync_sequenced (txn, stream, seq, at, outcome) VALUES (?, ?, ?, ?, ?) ON CONFLICT DO NOTHING').run(local.txn, at.stream, at.seq, at.nowIso, outcome);
+    if (outcome === 'applied') {
+        if (local.frame !== null) {
+            db.prepare('DELETE FROM _sync_undo WHERE txn_local = ?').run(local.frame);
+        }
+        db.prepare('DELETE FROM _sync_row_undo WHERE txn = ?').run(local.txn);
+    }
+    // A frame whose ops all netted away was sealed into no transaction: its
+    // undo can never be sequenced or rewound, so it goes too (its captures are
+    // consumed; a frame still waiting to seal keeps live captures).
+    db.prepare(DROP_NETTED_UNDO_SQL).run();
+    const oldest = oldestUnsequencedPosition(db);
+    if (oldest === null) {
+        db.prepare('DELETE FROM _sync_foreign_touch').run();
+        db.prepare('DELETE FROM _sync_meta WHERE key IN (?, ?)').run(FOREIGN_TOUCH_INCOMPLETE_KEY, FOREIGN_TOUCH_COUNT_KEY);
+    }
+    else {
+        const gone = Number(db.prepare('DELETE FROM _sync_foreign_touch WHERE pos < ?').run(oldest).changes);
+        if (gone > 0)
+            adjustTouchCount(db, -gone);
+    }
+}
+/**
+ * Every sealed local transaction not yet sequenced, in local commit order.
+ *
+ * @param db - The store.
+ * @returns The transactions with their sealed ops.
+ */
+export function unsequencedLocalTxns(db) {
+    const txns = db
+        .prepare(`SELECT t.txn, t.frame, t.actor FROM _sync_txn t
+        WHERE t.state = 'sealed' AND NOT EXISTS (SELECT 1 FROM _sync_sequenced s WHERE s.txn = t.txn)
+        ORDER BY t.local_seq`)
+        .all();
+    const ops = db.prepare('SELECT body FROM _sync_op WHERE txn = ? ORDER BY idx');
+    return txns.map((t) => {
+        const local = unsequencedLocalTxn(db, t.txn);
+        let actor = null;
+        if (t.actor?.startsWith('{')) {
+            try {
+                const parsed = LedgerActor.safeParse(JSON.parse(t.actor));
+                if (parsed.success)
+                    actor = parsed.data;
+            }
+            catch {
+                actor = null;
+            }
+        }
+        return {
+            ...local,
+            actor,
+            actorOp: actorOpOf(t.actor),
+            ops: ops.all(t.txn).map((o) => LedgerOp.parse(JSON.parse(o.body))),
+        };
+    });
+}
+/**
+ * The row undo of a sealed local op, or undefined when none was kept.
+ *
+ * @param db - The store.
+ * @param txn - The local transaction.
+ * @param idx - The op's index.
+ * @returns The snapshot, or undefined.
+ */
+export function readRowUndo(db, txn, idx) {
+    const row = db
+        .prepare('SELECT meta_json, leave_json, values_json FROM _sync_row_undo WHERE txn = ? AND idx = ?')
+        .get(txn, idx);
+    if (!row)
+        return undefined;
+    return {
+        meta: row.meta_json === null ? null : JSON.parse(row.meta_json),
+        state: row.leave_json === null ? null : JSON.parse(row.leave_json),
+        values: row.values_json === null
+            ? null
+            : JSON.parse(row.values_json),
+    };
+}
+/**
+ * Re-snapshot a local op's row undo right before a rebase replays it: the
+ * merge state and the values it is about to write over, so the next rewind
+ * restores exactly what this replay sat on (D2).
+ *
+ * @param db - The store, inside the rebase frame.
+ * @param txn - The local transaction.
+ * @param idx - The op's index.
+ * @param tbl - The row's table.
+ * @param uid - The row's uid.
+ * @param values - The wire values the op is about to overwrite.
+ */
+export function resnapshotRowUndo(db, txn, idx, tbl, uid, values) {
+    const meta = readRowMetaFull(db, tbl, uid);
+    const leaves = readFieldLeaves(db, tbl, uid);
+    const frontiers = readFieldFrontiers(db, tbl, uid);
+    const state = Object.keys(leaves).length + Object.keys(frontiers).length > 0
+        ? canonicalJson({ leaves, frontiers })
+        : null;
+    db.prepare(`INSERT INTO _sync_row_undo (txn, idx, tbl, uid, meta_json, leave_json, values_json)
+     VALUES (?, ?, ?, ?, ?, ?, ?)
+     ON CONFLICT (txn, idx) DO UPDATE SET meta_json = excluded.meta_json,
+       leave_json = excluded.leave_json, values_json = excluded.values_json`).run(txn, idx, tbl, uid, meta ? canonicalJson(meta) : null, state, canonicalJson(values));
+}
+//# sourceMappingURL=sequencing.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"sequencing.js","sourceRoot":"","sources":["../../../src/store/sync/sequencing.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAGH,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAwB,MAAM,4BAA4B,CAAC;AACzF,OAAO,EACL,SAAS,EAET,kBAAkB,EAClB,eAAe,GAChB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAoB,eAAe,EAAE,MAAM,eAAe,CAAC;AAClE,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAEnD,mDAAmD;AACnD,MAAM,CAAC,MAAM,iBAAiB,GAAG,OAAO,CAAC;AAEzC,+EAA+E;AAC/E,MAAM,CAAC,MAAM,4BAA4B,GAAG,+BAA+B,CAAC;AAQ5E,gFAAgF;AAChF,MAAM,UAAU,WAAW,CAAC,EAAgB;IAC1C,OAAO,EAAE,CAAC,OAAO,CAAC,qDAAqD,CAAC,CAAC,GAAG,EAAE,KAAK,SAAS,CAAC;AAC/F,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,eAAe,CAC7B,EAAgB,EAChB,GAAW,EACX,GAAW,EACX,GAAW,EACX,GAAW;IAEX,MAAM,IAAI,GAAG,eAAe,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,eAAe,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC7C,MAAM,SAAS,GAAG,kBAAkB,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACnD,MAAM,KAAK,GACT,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,MAAM,GAAG,CAAC;QAC5D,CAAC,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;QACtC,CAAC,CAAC,IAAI,CAAC;IACX,EAAE,CAAC,OAAO,CACR;uCACmC,CACpC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACtE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,EAAgB;IAC9C,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,8DAA8D,CAAC,CAAC,GAAG,EAE7E,CAAC;IACd,OAAO,MAAM,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;AAC/B,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG;gGAC0D,CAAC;AAEjG;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG;;2GAEuE,CAAC;AAE5G,uFAAuF;AACvF,SAAS,yBAAyB,CAAC,EAAgB;IACjD,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC,GAAG,EAA0B,CAAC;IAC7E,OAAO,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAC/C,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,oBAAoB,CAClC,EAAgB,EAChB,IAA2B,EAC3B,GAAW;IAEX,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,yBAAyB,CAAC,EAAE,CAAC,KAAK,IAAI;QAAE,OAAO;IACxE,IAAI,gBAAgB,CAAC,EAAE,CAAC;QAAE,cAAc,CAAC,EAAE,CAAC,CAAC;IAC7C,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CACpB,yFAAyF,CAC1F,CAAC;IACF,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,KAAK,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;IAC5E,4EAA4E;IAC5E,IAAI,KAAK,GAAG,CAAC,IAAI,gBAAgB,CAAC,EAAE,EAAE,KAAK,CAAC,GAAG,iBAAiB;QAAE,cAAc,CAAC,EAAE,CAAC,CAAC;AACvF,CAAC;AAED,oEAAoE;AACpE,MAAM,CAAC,MAAM,uBAAuB,GAAG,0BAA0B,CAAC;AAElE,SAAS,gBAAgB,CAAC,EAAgB,EAAE,KAAa;IACvD,MAAM,GAAG,GAAG,EAAE;SACX,OAAO,CACN;;6CAEuC,CACxC;SACA,GAAG,CAAC,uBAAuB,EAAE,KAAK,CAAkB,CAAC;IACxD,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACvB,CAAC;AAED,SAAS,cAAc,CAAC,EAAgB;IACtC,EAAE,CAAC,OAAO,CACR;kCAC8B,CAC/B,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAC;AACtC,CAAC;AAED;;;;;GAKG;AACH,SAAS,gBAAgB,CAAC,EAAgB;IACxC,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,sCAAsC,CAAC,CAAC,GAAG,EAA0B,CAAC;IAC7F,OAAO,GAAG,CAAC,CAAC,KAAK,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,eAAe,CAAC,EAAE,CAAC,CAAC;AAC/D,CAAC;AAUD;;;;;;;GAOG;AACH,MAAM,UAAU,mBAAmB,CAAC,EAAgB,EAAE,GAAW;IAC/D,MAAM,CAAC,GAAG,EAAE;SACT,OAAO,CACN;8EACwE,CACzE;SACA,GAAG,CAAC,GAAG,CAAsD,CAAC;IACjE,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpB,MAAM,CAAC,GACL,CAAC,CAAC,KAAK,KAAK,IAAI;QACd,CAAC,CAAC,SAAS;QACX,CAAC,CAAE,EAAE,CAAC,OAAO,CAAC,0DAA0D,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAEjF,CAAC;IACT,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACrF,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,eAAe,CAC7B,EAAgB,EAChB,KAAe,EACf,IAA2B;IAE3B,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC,CAAC,oBAAoB;IAC9D,IAAI,gBAAgB,CAAC,EAAE,CAAC;QAAE,cAAc,CAAC,EAAE,CAAC,CAAC;IAC7C,IACE,EAAE,CAAC,OAAO,CAAC,wCAAwC,CAAC,CAAC,GAAG,CAAC,4BAA4B,CAAC;QACtF,SAAS,EACT,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CACpB,kFAAkF,CACnF,CAAC;IACF,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK,SAAS,CAAC,CAAC;AAClF,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,aAAa,CAC3B,EAAgB,EAChB,KAAe,EACf,EAMC;IAED,MAAM,OAAO,GAAG,EAAE,CAAC,OAAO,IAAI,SAAS,CAAC;IACxC,EAAE,CAAC,OAAO,CACR,2GAA2G,CAC5G,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACxD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;YACzB,EAAE,CAAC,OAAO,CAAC,4CAA4C,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC5E,CAAC;QACD,EAAE,CAAC,OAAO,CAAC,0CAA0C,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACxE,CAAC;IACD,wEAAwE;IACxE,2EAA2E;IAC3E,gEAAgE;IAChE,EAAE,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC,GAAG,EAAE,CAAC;IACvC,MAAM,MAAM,GAAG,yBAAyB,CAAC,EAAE,CAAC,CAAC;IAC7C,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,EAAE,CAAC,OAAO,CAAC,iCAAiC,CAAC,CAAC,GAAG,EAAE,CAAC;QACpD,EAAE,CAAC,OAAO,CAAC,4CAA4C,CAAC,CAAC,GAAG,CAC1D,4BAA4B,EAC5B,uBAAuB,CACxB,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,GAAG,MAAM,CACjB,EAAE,CAAC,OAAO,CAAC,+CAA+C,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAChF,CAAC;QACF,IAAI,IAAI,GAAG,CAAC;YAAE,gBAAgB,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC;AACH,CAAC;AAUD;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,EAAgB;IACnD,MAAM,IAAI,GAAG,EAAE;SACZ,OAAO,CACN;;6BAEuB,CACxB;SACA,GAAG,EAAwE,CAAC;IAC/E,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,sDAAsD,CAAC,CAAC;IAC/E,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACpB,MAAM,KAAK,GAAG,mBAAmB,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAa,CAAC;QACzD,IAAI,KAAK,GAAuB,IAAI,CAAC;QACrC,IAAI,CAAC,CAAC,KAAK,EAAE,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7B,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC1D,IAAI,MAAM,CAAC,OAAO;oBAAE,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC;YAC1C,CAAC;YAAC,MAAM,CAAC;gBACP,KAAK,GAAG,IAAI,CAAC;YACf,CAAC;QACH,CAAC;QACD,OAAO;YACL,GAAG,KAAK;YACR,KAAK;YACL,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC;YAC3B,GAAG,EAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAA6B,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACzD,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CACnC;SACF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAUD;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CAAC,EAAgB,EAAE,GAAW,EAAE,GAAW;IACpE,MAAM,GAAG,GAAG,EAAE;SACX,OAAO,CACN,yFAAyF,CAC1F;SACA,GAAG,CAAC,GAAG,EAAE,GAAG,CAEF,CAAC;IACd,IAAI,CAAC,GAAG;QAAE,OAAO,SAAS,CAAC;IAC3B,OAAO;QACL,IAAI,EAAE,GAAG,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAiB;QAChF,KAAK,EAAE,GAAG,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAwB;QAC1F,MAAM,EACJ,GAAG,CAAC,WAAW,KAAK,IAAI;YACtB,CAAC,CAAC,IAAI;YACN,CAAC,CAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAqC;KACvE,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,iBAAiB,CAC/B,EAAgB,EAChB,GAAW,EACX,GAAW,EACX,GAAW,EACX,GAAW,EACX,MAAiD;IAEjD,MAAM,IAAI,GAAG,eAAe,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,eAAe,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC7C,MAAM,SAAS,GAAG,kBAAkB,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACnD,MAAM,KAAK,GACT,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,MAAM,GAAG,CAAC;QAC5D,CAAC,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;QACtC,CAAC,CAAC,IAAI,CAAC;IACX,EAAE,CAAC,OAAO,CACR;;;4EAGwE,CACzE,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC;AAC7F,CAAC"}

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

@@ -6,7 +6,10 @@
  *   triggers are dropped, `fn` runs its DDL or data rewrite, and the triggers
  *   are regenerated for the new schema, all in ONE transaction the bracket
  *   opens and commits itself. A second connection's write waits on the
- *   bracket's write lock and is captured by the reinstalled triggers.
+ *   bracket's write lock and is captured by the reinstalled triggers. A body
+ *   that rebuilds tables declares them, and the bracket applies rule 2 (A,
+ *   T12774): foreign keys off before BEGIN, a foreign_key_check that refuses
+ *   only new violations before COMMIT, and the FK mode restored after.
  * - {@link touchSet}: the tables a rewrite can change, generated rather than
  *   hand-written: the written tables, their FK-action children (CASCADE,
  *   SET NULL, SET DEFAULT on delete; CASCADE on update), and every table a
@@ -27,16 +30,41 @@ export declare class BracketTransactionError extends Error {
     readonly code = "E_SYNC_BRACKET_TXN";
     constructor(message: string);
 }
+/** A bracketed rebuild that would leave foreign-key violations it did not find. */
+export declare class BracketForeignKeyError extends Error {
+    readonly violations: readonly string[];
+    readonly code = "E_SYNC_BRACKET_FK_VIOLATION";
+    constructor(violations: readonly string[]);
+}
+/** Options of {@link withSyncTriggersSuspended}. */
+export interface SyncSuspensionOptions {
+    /**
+     * The tables `fn` rebuilds (create a copy, copy the rows, DROP the original,
+     * RENAME the copy), named as they are after the rebuild. Inside a
+     * transaction `PRAGMA foreign_keys` is a no-op, so without this a rebuild's
+     * DROP would cascade-delete child rows, uncaptured (§2.3a rule 2, A T12774).
+     * When non-empty, the bracket turns foreign keys off BEFORE its BEGIN,
+     * snapshots the violations of these tables and their FK children, refuses
+     * only violations the snapshot did not hold, and restores the FK mode after.
+     */
+    readonly rebuilds?: readonly string[];
+}
 /**
  * Run `fn` with the capture triggers dropped, in one transaction this
  * bracket opens and commits (§2.3a rule 1). The triggers are reinstalled for
  * the schema `fn` leaves, before COMMIT. When capture is off, `fn` still runs
  * in the bracket's transaction and nothing is dropped.
  *
+ * @param db - The store handle; must not be inside a transaction.
+ * @param scope - The store's scope (selects the capture triggers to reinstall).
+ * @param fn - The DDL or data rewrite. Must not end the transaction.
+ * @param options - {@link SyncSuspensionOptions}: declare rebuilt tables.
  * @throws {BracketTransactionError} When called inside a transaction, or when
  *   `fn` ends the bracket's transaction.
+ * @throws {BracketForeignKeyError} When a declared rebuild leaves new FK violations.
+ * @throws {ForeignKeysNotRestoredError} When the FK mode could not be restored.
  */
-export declare function withSyncTriggersSuspended<T>(db: DatabaseSync, scope: TableScope, fn: () => T): T;
+export declare function withSyncTriggersSuspended<T>(db: DatabaseSync, scope: TableScope, fn: () => T, options?: SyncSuspensionOptions): T;
 /**
  * The touch set of a rewrite of `tables` (NEW-8): the tables themselves, their
  * FK-action children, and every table a trigger on any member writes,

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

@@ -1 +1 @@
-{"version":3,"file":"structural.d.ts","sourceRoot":"","sources":["../../../src/store/sync/structural.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAOtD,+EAA+E;AAC/E,qBAAa,uBAAwB,SAAQ,KAAK;IAChD,QAAQ,CAAC,IAAI,wBAAwB;gBAEzB,OAAO,EAAE,MAAM;CAI5B;AAQD;;;;;;;;GAQG;AACH,wBAAgB,yBAAyB,CAAC,CAAC,EAAE,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAqChG;AAQD;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,EAAE,CA8C9E;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CACzB,EAAE,EAAE,YAAY,EAChB,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,SAAS,MAAM,EAAE,GACxB,MAAM,EAAE,CAWV;AAED,sDAAsD;AACtD,wBAAgB,aAAa,CAAC,EAAE,EAAE,YAAY,GAAG,MAAM,EAAE,CAOxD;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,CAAC,EACrC,EAAE,EAAE,YAAY,EAChB,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,SAAS,MAAM,EAAE,EACzB,EAAE,EAAE,MAAM,CAAC,GACV;IAAE,MAAM,EAAE,CAAC,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAA;CAAE,CAMlC"}
+{"version":3,"file":"structural.d.ts","sourceRoot":"","sources":["../../../src/store/sync/structural.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAatD,+EAA+E;AAC/E,qBAAa,uBAAwB,SAAQ,KAAK;IAChD,QAAQ,CAAC,IAAI,wBAAwB;gBAEzB,OAAO,EAAE,MAAM;CAI5B;AAED,mFAAmF;AACnF,qBAAa,sBAAuB,SAAQ,KAAK;IAGnC,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE;IAFlD,QAAQ,CAAC,IAAI,iCAAiC;gBAEzB,UAAU,EAAE,SAAS,MAAM,EAAE;CAOnD;AAED,oDAAoD;AACpD,MAAM,WAAW,qBAAqB;IACpC;;;;;;;;OAQG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACvC;AAYD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,yBAAyB,CAAC,CAAC,EACzC,EAAE,EAAE,YAAY,EAChB,KAAK,EAAE,UAAU,EACjB,EAAE,EAAE,MAAM,CAAC,EACX,OAAO,GAAE,qBAA0B,GAClC,CAAC,CA4BH;AA4DD;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,EAAE,CA8C9E;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CACzB,EAAE,EAAE,YAAY,EAChB,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,SAAS,MAAM,EAAE,GACxB,MAAM,EAAE,CAWV;AAED,sDAAsD;AACtD,wBAAgB,aAAa,CAAC,EAAE,EAAE,YAAY,GAAG,MAAM,EAAE,CAOxD;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,CAAC,EACrC,EAAE,EAAE,YAAY,EAChB,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,SAAS,MAAM,EAAE,EACzB,EAAE,EAAE,MAAM,CAAC,GACV;IAAE,MAAM,EAAE,CAAC,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAA;CAAE,CAMlC"}

package/dist/store/sync/structural.js

@@ -6,7 +6,10 @@
  *   triggers are dropped, `fn` runs its DDL or data rewrite, and the triggers
  *   are regenerated for the new schema, all in ONE transaction the bracket
  *   opens and commits itself. A second connection's write waits on the
- *   bracket's write lock and is captured by the reinstalled triggers.
+ *   bracket's write lock and is captured by the reinstalled triggers. A body
+ *   that rebuilds tables declares them, and the bracket applies rule 2 (A,
+ *   T12774): foreign keys off before BEGIN, a foreign_key_check that refuses
+ *   only new violations before COMMIT, and the FK mode restored after.
  * - {@link touchSet}: the tables a rewrite can change, generated rather than
  *   hand-written: the written tables, their FK-action children (CASCADE,
  *   SET NULL, SET DEFAULT on delete; CASCADE on update), and every table a
@@ -20,6 +23,7 @@
  * @task T12754
  * @module store/sync/structural
  */
+import { ForeignKeysNotRestoredError, foreignKeyScope, foreignKeyViolations, newViolations, } from '../migration-runner.js';
 import { isSqliteBusy } from '../with-retry.js';
 import { dropCaptureTriggers, installCaptureTriggers, syncSetTables } from './capture.js';
 import { readSyncFlags } from './flags.js';
@@ -33,7 +37,21 @@ export class BracketTransactionError extends Error {
         this.name = 'BracketTransactionError';
     }
 }
+/** A bracketed rebuild that would leave foreign-key violations it did not find. */
+export class BracketForeignKeyError extends Error {
+    violations;
+    code = 'E_SYNC_BRACKET_FK_VIOLATION';
+    constructor(violations) {
+        super(`A bracketed rebuild would leave ${violations.length} new foreign-key violation(s); ` +
+            `rolled back. First: ${violations.slice(0, 3).join('; ')}`);
+        this.violations = violations;
+        this.name = 'BracketForeignKeyError';
+    }
+}
 const MAX_BUSY_RETRIES = 5;
+function readForeignKeys(db) {
+    return Number(db.prepare('PRAGMA foreign_keys').get().foreign_keys);
+}
 function sleepMs(ms) {
     Atomics.wait(new Int32Array(new SharedArrayBuffer(4)), 0, 0, Math.round(ms));
 }
@@ -43,14 +61,50 @@ function sleepMs(ms) {
  * the schema `fn` leaves, before COMMIT. When capture is off, `fn` still runs
  * in the bracket's transaction and nothing is dropped.
  *
+ * @param db - The store handle; must not be inside a transaction.
+ * @param scope - The store's scope (selects the capture triggers to reinstall).
+ * @param fn - The DDL or data rewrite. Must not end the transaction.
+ * @param options - {@link SyncSuspensionOptions}: declare rebuilt tables.
  * @throws {BracketTransactionError} When called inside a transaction, or when
  *   `fn` ends the bracket's transaction.
+ * @throws {BracketForeignKeyError} When a declared rebuild leaves new FK violations.
+ * @throws {ForeignKeysNotRestoredError} When the FK mode could not be restored.
  */
-export function withSyncTriggersSuspended(db, scope, fn) {
+export function withSyncTriggersSuspended(db, scope, fn, options = {}) {
     if (db.isTransaction) {
         // @sync-invariant none:local-only programming-error guard on the local suspension bracket
         throw new BracketTransactionError('withSyncTriggersSuspended must open the only transaction');
     }
+    const rebuilds = options.rebuilds ?? [];
+    if (rebuilds.length === 0)
+        return bracket(db, scope, fn, []);
+    // Rule 2: FK off BEFORE BEGIN (a no-op inside one), restored after, always.
+    const prev = readForeignKeys(db);
+    db.exec('PRAGMA foreign_keys = OFF');
+    let out;
+    let failure;
+    let ok = false;
+    try {
+        out = bracket(db, scope, fn, rebuilds);
+        ok = true;
+    }
+    catch (err) {
+        failure = err;
+    }
+    if (db.isTransaction)
+        db.exec('ROLLBACK');
+    db.exec(`PRAGMA foreign_keys = ${prev}`);
+    const now = readForeignKeys(db);
+    if (now !== prev) {
+        // @sync-invariant none:local-only the suspension bracket restores this handle's FK mode; local only
+        throw Object.assign(new ForeignKeysNotRestoredError(prev, now), { cause: failure });
+    }
+    if (!ok)
+        throw failure;
+    return out;
+}
+/** The rule-1 bracket itself; `rebuilds` non-empty means FK is already off. */
+function bracket(db, scope, fn, rebuilds) {
     for (let attempt = 1;; attempt++) {
         try {
             db.exec('BEGIN IMMEDIATE');
@@ -65,6 +119,7 @@ export function withSyncTriggersSuspended(db, scope, fn) {
         let capture = false;
         try {
             capture = readSyncFlags(db)['sync.capture'] && hasTable(db, '_sync_capture');
+            const before = rebuilds.length > 0 ? foreignKeyViolations(db, foreignKeyScope(db, rebuilds)) : null;
             if (capture)
                 dropCaptureTriggers(db);
             const out = fn();
@@ -72,6 +127,13 @@ export function withSyncTriggersSuspended(db, scope, fn) {
                 // @sync-invariant none:local-only programming-error guard on the local suspension bracket
                 throw new BracketTransactionError('the bracket body ended its transaction');
             }
+            if (before !== null) {
+                // Pre-existing orphans never block; only violations the rebuild made do (NEW-1).
+                const added = newViolations(before, foreignKeyViolations(db, foreignKeyScope(db, rebuilds)));
+                // @sync-invariant none:local-only a rebuild that adds FK violations is refused locally before commit
+                if (added.length > 0)
+                    throw new BracketForeignKeyError(added);
+            }
             if (capture)
                 installCaptureTriggers(db, scope);
             db.exec('COMMIT');

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

@@ -1 +1 @@
-{"version":3,"file":"structural.js","sourceRoot":"","sources":["../../../src/store/sync/structural.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAIH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC1F,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAE3D,+EAA+E;AAC/E,MAAM,OAAO,uBAAwB,SAAQ,KAAK;IACvC,IAAI,GAAG,oBAAoB,CAAC;IAErC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAC;IACxC,CAAC;CACF;AAED,MAAM,gBAAgB,GAAG,CAAC,CAAC;AAE3B,SAAS,OAAO,CAAC,EAAU;IACzB,OAAO,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,iBAAiB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AAC/E,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,yBAAyB,CAAI,EAAgB,EAAE,KAAiB,EAAE,EAAW;IAC3F,IAAI,EAAE,CAAC,aAAa,EAAE,CAAC;QACrB,0FAA0F;QAC1F,MAAM,IAAI,uBAAuB,CAAC,0DAA0D,CAAC,CAAC;IAChG,CAAC;IACD,KAAK,IAAI,OAAO,GAAG,CAAC,GAAI,OAAO,EAAE,EAAE,CAAC;QAClC,IAAI,CAAC;YACH,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAC7B,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,qEAAqE;YACrE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,OAAO,IAAI,gBAAgB;gBAAE,MAAM,GAAG,CAAC;YACjE,OAAO,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;YAClC,SAAS;QACX,CAAC;QACD,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,IAAI,CAAC;YACH,OAAO,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,QAAQ,CAAC,EAAE,EAAE,eAAe,CAAC,CAAC;YAC7E,IAAI,OAAO;gBAAE,mBAAmB,CAAC,EAAE,CAAC,CAAC;YACrC,MAAM,GAAG,GAAG,EAAE,EAAE,CAAC;YACjB,IAAI,CAAC,EAAE,CAAC,aAAa,EAAE,CAAC;gBACtB,0FAA0F;gBAC1F,MAAM,IAAI,uBAAuB,CAAC,wCAAwC,CAAC,CAAC;YAC9E,CAAC;YACD,IAAI,OAAO;gBAAE,sBAAsB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAC/C,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAClB,OAAO,GAAG,CAAC;QACb,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,EAAE,CAAC,aAAa,EAAE,CAAC;gBACrB,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACtB,CAAC;iBAAM,IAAI,OAAO,EAAE,CAAC;gBACnB,iEAAiE;gBACjE,oEAAoE;gBACpE,sBAAsB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YACpC,CAAC;YACD,MAAM,GAAG,CAAC;QACZ,CAAC;IACH,CAAC;AACH,CAAC;AAQD;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,EAAgB,EAAE,MAAyB;IAClE,MAAM,GAAG,GACP,EAAE;SACC,OAAO,CACN,uFAAuF,CACxF;SACA,GAAG,EACP,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACrB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;IAC9B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAuB,CAAC;IAChD,KAAK,MAAM,KAAK,IAAI,GAAG,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,iCAAiC,KAAK,IAAI,CAAC,CAAC,GAAG,EAAwB,CAAC;QAC/F,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;YACrB,MAAM,IAAI,GACR,+BAA+B,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;YACtF,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC;gBAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;YAC/D,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,EAAE;SAChB,OAAO,CAAC,0EAA0E,CAAC;SACnF,GAAG,EAAuC,CAAC;IAC9C,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,OAAO,IAAI,EAAE,CAAC;QACZ,IAAI,GAAG,KAAK,CAAC;QACb,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;YACzB,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;gBACtC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAChB,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBACX,IAAI,GAAG,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;gBAC5B,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;oBAAE,SAAS;gBACxC,KAAK,MAAM,CAAC,IAAI,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC9C,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;wBACnC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;wBACX,IAAI,GAAG,IAAI,CAAC;oBACd,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACzB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CACzB,EAAgB,EAChB,KAAiB,EACjB,MAAyB;IAEzB,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,YAAY,CAAC;QAAE,OAAO,EAAE,CAAC;IAC3C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACvC,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CACnB,mEAAmE;QACjE,yFAAyF,CAC5F,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,MAAM;QAAE,EAAE,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC7D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,sDAAsD;AACtD,MAAM,UAAU,aAAa,CAAC,EAAgB;IAC5C,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,YAAY,CAAC;QAAE,OAAO,EAAE,CAAC;IAC3C,OACE,EAAE;SACC,OAAO,CAAC,oFAAoF,CAAC;SAC7F,GAAG,EACP,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CACnC,EAAgB,EAChB,KAAiB,EACjB,MAAyB,EACzB,EAAW;IAEX,MAAM,OAAO,GAAG,GAAG,EAAE,CAAE,EAAE,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC,GAAG,EAAoB,CAAC,CAAC,CAAC;IAC3F,MAAM,MAAM,GAAG,OAAO,EAAE,CAAC;IACzB,MAAM,MAAM,GAAG,EAAE,EAAE,CAAC;IACpB,MAAM,OAAO,GAAG,OAAO,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;IACzF,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AAC7B,CAAC"}
+{"version":3,"file":"structural.js","sourceRoot":"","sources":["../../../src/store/sync/structural.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAIH,OAAO,EACL,2BAA2B,EAC3B,eAAe,EACf,oBAAoB,EACpB,aAAa,GACd,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC1F,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAE3D,+EAA+E;AAC/E,MAAM,OAAO,uBAAwB,SAAQ,KAAK;IACvC,IAAI,GAAG,oBAAoB,CAAC;IAErC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAC;IACxC,CAAC;CACF;AAED,mFAAmF;AACnF,MAAM,OAAO,sBAAuB,SAAQ,KAAK;IAG1B;IAFZ,IAAI,GAAG,6BAA6B,CAAC;IAE9C,YAAqB,UAA6B;QAChD,KAAK,CACH,mCAAmC,UAAU,CAAC,MAAM,iCAAiC;YACnF,uBAAuB,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC7D,CAAC;QAJiB,eAAU,GAAV,UAAU,CAAmB;QAKhD,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAC;IACvC,CAAC;CACF;AAgBD,MAAM,gBAAgB,GAAG,CAAC,CAAC;AAE3B,SAAS,eAAe,CAAC,EAAgB;IACvC,OAAO,MAAM,CAAE,EAAE,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC,GAAG,EAA+B,CAAC,YAAY,CAAC,CAAC;AACpG,CAAC;AAED,SAAS,OAAO,CAAC,EAAU;IACzB,OAAO,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,iBAAiB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AAC/E,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,yBAAyB,CACvC,EAAgB,EAChB,KAAiB,EACjB,EAAW,EACX,UAAiC,EAAE;IAEnC,IAAI,EAAE,CAAC,aAAa,EAAE,CAAC;QACrB,0FAA0F;QAC1F,MAAM,IAAI,uBAAuB,CAAC,0DAA0D,CAAC,CAAC;IAChG,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC;IACxC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IAC7D,4EAA4E;IAC5E,MAAM,IAAI,GAAG,eAAe,CAAC,EAAE,CAAC,CAAC;IACjC,EAAE,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;IACrC,IAAI,GAAkB,CAAC;IACvB,IAAI,OAAgB,CAAC;IACrB,IAAI,EAAE,GAAG,KAAK,CAAC;IACf,IAAI,CAAC;QACH,GAAG,GAAG,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;QACvC,EAAE,GAAG,IAAI,CAAC;IACZ,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,GAAG,GAAG,CAAC;IAChB,CAAC;IACD,IAAI,EAAE,CAAC,aAAa;QAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC1C,EAAE,CAAC,IAAI,CAAC,yBAAyB,IAAI,EAAE,CAAC,CAAC;IACzC,MAAM,GAAG,GAAG,eAAe,CAAC,EAAE,CAAC,CAAC;IAChC,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;QACjB,oGAAoG;QACpG,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,2BAA2B,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;IACtF,CAAC;IACD,IAAI,CAAC,EAAE;QAAE,MAAM,OAAO,CAAC;IACvB,OAAO,GAAQ,CAAC;AAClB,CAAC;AAED,+EAA+E;AAC/E,SAAS,OAAO,CACd,EAAgB,EAChB,KAAiB,EACjB,EAAW,EACX,QAA2B;IAE3B,KAAK,IAAI,OAAO,GAAG,CAAC,GAAI,OAAO,EAAE,EAAE,CAAC;QAClC,IAAI,CAAC;YACH,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAC7B,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,qEAAqE;YACrE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,OAAO,IAAI,gBAAgB;gBAAE,MAAM,GAAG,CAAC;YACjE,OAAO,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;YAClC,SAAS;QACX,CAAC;QACD,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,IAAI,CAAC;YACH,OAAO,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,QAAQ,CAAC,EAAE,EAAE,eAAe,CAAC,CAAC;YAC7E,MAAM,MAAM,GACV,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,oBAAoB,CAAC,EAAE,EAAE,eAAe,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACvF,IAAI,OAAO;gBAAE,mBAAmB,CAAC,EAAE,CAAC,CAAC;YACrC,MAAM,GAAG,GAAG,EAAE,EAAE,CAAC;YACjB,IAAI,CAAC,EAAE,CAAC,aAAa,EAAE,CAAC;gBACtB,0FAA0F;gBAC1F,MAAM,IAAI,uBAAuB,CAAC,wCAAwC,CAAC,CAAC;YAC9E,CAAC;YACD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBACpB,iFAAiF;gBACjF,MAAM,KAAK,GAAG,aAAa,CACzB,MAAM,EACN,oBAAoB,CAAC,EAAE,EAAE,eAAe,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CACxD,CAAC;gBACF,qGAAqG;gBACrG,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;oBAAE,MAAM,IAAI,sBAAsB,CAAC,KAAK,CAAC,CAAC;YAChE,CAAC;YACD,IAAI,OAAO;gBAAE,sBAAsB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAC/C,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAClB,OAAO,GAAG,CAAC;QACb,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,EAAE,CAAC,aAAa,EAAE,CAAC;gBACrB,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACtB,CAAC;iBAAM,IAAI,OAAO,EAAE,CAAC;gBACnB,iEAAiE;gBACjE,oEAAoE;gBACpE,sBAAsB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YACpC,CAAC;YACD,MAAM,GAAG,CAAC;QACZ,CAAC;IACH,CAAC;AACH,CAAC;AAQD;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,EAAgB,EAAE,MAAyB;IAClE,MAAM,GAAG,GACP,EAAE;SACC,OAAO,CACN,uFAAuF,CACxF;SACA,GAAG,EACP,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACrB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;IAC9B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAuB,CAAC;IAChD,KAAK,MAAM,KAAK,IAAI,GAAG,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,iCAAiC,KAAK,IAAI,CAAC,CAAC,GAAG,EAAwB,CAAC;QAC/F,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;YACrB,MAAM,IAAI,GACR,+BAA+B,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;YACtF,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC;gBAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;YAC/D,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,EAAE;SAChB,OAAO,CAAC,0EAA0E,CAAC;SACnF,GAAG,EAAuC,CAAC;IAC9C,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,OAAO,IAAI,EAAE,CAAC;QACZ,IAAI,GAAG,KAAK,CAAC;QACb,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC;YACzB,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;gBACtC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAChB,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBACX,IAAI,GAAG,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;gBAC5B,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;oBAAE,SAAS;gBACxC,KAAK,MAAM,CAAC,IAAI,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC9C,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;wBACnC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;wBACX,IAAI,GAAG,IAAI,CAAC;oBACd,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACzB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CACzB,EAAgB,EAChB,KAAiB,EACjB,MAAyB;IAEzB,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,YAAY,CAAC;QAAE,OAAO,EAAE,CAAC;IAC3C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACvC,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CACnB,mEAAmE;QACjE,yFAAyF,CAC5F,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,MAAM;QAAE,EAAE,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC7D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,sDAAsD;AACtD,MAAM,UAAU,aAAa,CAAC,EAAgB;IAC5C,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,YAAY,CAAC;QAAE,OAAO,EAAE,CAAC;IAC3C,OACE,EAAE;SACC,OAAO,CAAC,oFAAoF,CAAC;SAC7F,GAAG,EACP,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CACnC,EAAgB,EAChB,KAAiB,EACjB,MAAyB,EACzB,EAAW;IAEX,MAAM,OAAO,GAAG,GAAG,EAAE,CAAE,EAAE,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC,GAAG,EAAoB,CAAC,CAAC,CAAC;IAC3F,MAAM,MAAM,GAAG,OAAO,EAAE,CAAC;IACzB,MAAM,MAAM,GAAG,EAAE,EAAE,CAAC;IACpB,MAAM,OAAO,GAAG,OAAO,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;IACzF,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AAC7B,CAAC"}

package/dist/store/sync/timestamp-canon.d.ts

@@ -0,0 +1,44 @@
+/**
+ * The pure half of the uniform timestamp format (journal spec §1.8, R3, M4;
+ * T12986): the strict canonicalizer and the captured timestamp columns. It
+ * has no runtime imports, so the Gate B fingerprint script
+ * (`scripts/fingerprint-store.mjs --canon-timestamps`) loads this file
+ * directly and applies the very function the sealer applies on the wire
+ * (T12987). {@link module:store/sync/timestamps} re-exports it.
+ *
+ * @module store/sync/timestamp-canon
+ * @task T12986
+ * @task T12987
+ */
+import type { TableScope } from '@cleocode/contracts';
+/**
+ * The canonical wire form of a stored timestamp,
+ * `YYYY-MM-DDTHH:MM:SS.sssZ`, or `null` when the value is refused.
+ *
+ * Fractions beyond milliseconds are truncated, never rounded, so a carry can
+ * never change the second. Pure: two replicas always agree.
+ *
+ * @example
+ * ```ts
+ * canonicalStoreTimestamp('2026-09-14 19:56:01');          // '2026-09-14T19:56:01.000Z'
+ * canonicalStoreTimestamp('2026-09-14T21:56:01.5+02:00');  // '2026-09-14T19:56:01.500Z'
+ * canonicalStoreTimestamp('2026-09-14T19:56:01');          // null (zoneless)
+ * canonicalStoreTimestamp('2026-09-14');                   // null (date only)
+ * ```
+ */
+export declare function canonicalStoreTimestamp(value: string): string | null;
+/**
+ * Captured timestamp columns per sync-set table. The claim-lease columns
+ * (`claimed_at`, `lease_expires_at`) are local-only and are not captured, so
+ * they are not here. A test pins this map against every captured `*_at`
+ * column of the sync set.
+ */
+export declare const SYNC_TIMESTAMP_COLUMNS: Readonly<Record<TableScope, Readonly<Record<string, readonly string[]>>>>;
+/**
+ * Columns the one-time rewrite never touches: `tasks_tasks.updated_at` is the
+ * #1698 CAS token, and rewriting it would invalidate a caller's `--if-match`.
+ */
+export declare const CANON_EXCLUDED_COLUMNS: Readonly<Record<TableScope, Readonly<Record<string, readonly string[]>>>>;
+/** The captured timestamp columns of `table` (empty when it has none). */
+export declare function timestampColumns(scope: TableScope, table: string): ReadonlySet<string>;
+//# sourceMappingURL=timestamp-canon.d.ts.map

package/dist/store/sync/timestamp-canon.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"timestamp-canon.d.ts","sourceRoot":"","sources":["../../../src/store/sync/timestamp-canon.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AActD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CA+BpE;AAMD;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAAQ,CAC3C,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC,CAYhE,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,sBAAsB,EAAE,QAAQ,CAC3C,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC,CAIhE,CAAC;AAEF,0EAA0E;AAC1E,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAGtF"}