@cleocode/core 2026.10.4 → 2026.10.5

package/dist/store/sync/apply/write-api.js

@@ -0,0 +1,416 @@
+/**
+ * The apply frame's write API (T12344; journal spec §3.2 "The API", §3.3).
+ *
+ * The ONLY calls that write synced rows during apply. Each performs the SQL
+ * and, in the same transaction, records what it wrote in `_sync_apply_intent`
+ * through {@link recordApplyIntents}, from the STORED value: every write uses
+ * `RETURNING` with the same SQL `enc()` the capture triggers use, so an intent
+ * is byte-equal to what the trigger captures after column affinity, defaults,
+ * CHECK coercions and trigger rewrites. The sealer then subtracts each apply
+ * frame's intents from its captures, so an applied remote change is never
+ * echoed back with fresh HLCs (§3.3).
+ *
+ * Rules, all enforced here:
+ * - INSERT, UPDATE and DELETE only. Never `REPLACE` / `INSERT OR REPLACE`: it
+ *   deletes the old row first, so its capture is a D + I with no `*D` intent
+ *   and the D would seal (gate 28 bans it too). Nothing in the apply module
+ *   writes raw SQL outside this file (K11, test-enforced).
+ * - Values are LOCAL values: references are already translated to local keys
+ *   (the applier resolves uids before it calls this API).
+ * - An insert records `*I` plus an intent for every non-NULL stored captured
+ *   column, read back with `RETURNING`; captures omit NULLs.
+ * - A secret column records `<secret>`, which {@link recordApplyIntents}
+ *   binds to the capture the write produced. Intents are recorded right
+ *   after each write, before the frame writes that column again.
+ * - Without a capture frame (capture off) the writes run and no intent is
+ *   recorded: there are no captures to subtract.
+ *
+ * @module store/sync/apply/write-api
+ * @task T12344
+ */
+import { BIRTH_FP_COLUMN, UID_COLUMN } from '../../row-identity-registry.js';
+import { INTENT_DELETE, INTENT_INSERT, INTENT_REKEY, recordApplyIntents, SECRET_INTENT, } from '../apply-intent.js';
+import { captureTableDef, enc } from '../capture.js';
+import { moveFieldState } from '../field-leave.js';
+import { compressFieldHlcs, fieldHlcsOf, moveRowMeta, readRowMeta, upsertRowMeta, upsertRowMetaFromFields, } from '../row-meta.js';
+import { decodeEnc } from '../sealer-values.js';
+import { isTriggerClassSuspended } from '../trigger-classes.js';
+import { localChildKeys, syncSetChildKeys } from './fk.js';
+/** A write the API refuses (unknown table or column, a missing row). */
+export class ApplyWriteError extends Error {
+    code = 'E_SYNC_APPLY_WRITE';
+    constructor(message) {
+        super(message);
+        this.name = 'ApplyWriteError';
+    }
+}
+/** Quote an SQL identifier. */
+function ident(name) {
+    return `"${name.replaceAll('"', '""')}"`;
+}
+/**
+ * A typed wire value as a node:sqlite parameter: `$i` as a BigInt, `$r` as a
+ * number (`Inf`, `+Inf`, `-Inf` accepted), `$b` as a Buffer.
+ *
+ * @param v - The wire value.
+ * @returns The parameter.
+ */
+export function wireToSql(v) {
+    // A wire number is a safe integer (§2.6; REALs travel as `$r`). node:sqlite
+    // binds a JS number as REAL, which a TEXT column then stores as '42.0';
+    // bind integers as BigInt so they keep integer storage.
+    if (typeof v === 'number')
+        return Number.isInteger(v) ? BigInt(v) : v;
+    if (v === null || typeof v === 'string')
+        return v;
+    if ('$i' in v)
+        return BigInt(v.$i);
+    if ('$r' in v) {
+        const t = v.$r.trim();
+        if (/^\+?Inf$/.test(t))
+            return Number.POSITIVE_INFINITY;
+        if (t === '-Inf')
+            return Number.NEGATIVE_INFINITY;
+        return Number(t);
+    }
+    return Buffer.from(v.$b, 'base64');
+}
+/**
+ * Bind the write API to a store, scope and apply frame.
+ *
+ * @param db - The store, inside the frame's transaction.
+ * @param scope - The store's scope.
+ * @param frame - The apply frame id, or null when capture is off.
+ * @param assertActive - Throws once the frame has ended.
+ * @returns The API.
+ */
+export function createApplyWriteApi(db, scope, frame, assertActive) {
+    const defs = new Map();
+    const defOf = (table) => {
+        let def = defs.get(table);
+        if (!def) {
+            def = captureTableDef(db, scope, table);
+            if (!def) {
+                // @sync-invariant none:input-shape the apply API writes only sync-set tables of this store
+                throw new ApplyWriteError(`${table} is not a sync-set table of this ${scope} store`);
+            }
+            defs.set(table, def);
+        }
+        return def;
+    };
+    const checkColumns = (def, cols) => {
+        const known = new Set([...def.columns, ...def.identity]);
+        const bad = cols.filter((c) => c === UID_COLUMN || !known.has(c));
+        if (bad.length > 0) {
+            // @sync-invariant none:input-shape the merge engine refuses unknown columns before any write
+            throw new ApplyWriteError(`${def.table}: cannot write ${bad.join(', ')}`);
+        }
+    };
+    const localOnly = new Map();
+    /** Columns of `table` capture never records (minus the uid, which identifies the row). */
+    const localOnlyColumns = (table) => {
+        let cols = localOnly.get(table);
+        if (!cols) {
+            const def = defOf(table);
+            const captured = new Set([...def.columns, ...def.identity, UID_COLUMN]);
+            cols = db.prepare('SELECT name FROM pragma_table_info(?)').all(table)
+                .map((r) => r.name)
+                .filter((c) => !captured.has(c));
+            localOnly.set(table, cols);
+        }
+        return cols;
+    };
+    let localKeys;
+    const keyCols = new Map();
+    /** The columns identifying a row of `table`: `rowid`, or a WITHOUT ROWID table's primary key. */
+    const rowKeyColumns = (table) => {
+        let cols = keyCols.get(table);
+        if (!cols) {
+            const wr = db
+                .prepare("SELECT wr FROM pragma_table_list WHERE schema = 'main' AND name = ?")
+                .get(table);
+            cols =
+                wr?.wr === 1
+                    ? db
+                        .prepare('SELECT name FROM pragma_table_info(?) WHERE pk > 0 ORDER BY pk')
+                        .all(table).map((r) => r.name)
+                    : ['rowid'];
+            keyCols.set(table, cols);
+        }
+        return cols;
+    };
+    /** Rows of `table` where `col = v`, with `rowid` when the table has one. */
+    // Integers are read as BigInt so a snapshot keeps every 64-bit value (T13272).
+    const rowsWhere = (table, col, v) => {
+        const st = db.prepare(`SELECT ${rowKeyColumns(table)[0] === 'rowid' ? 'rowid AS "rowid", ' : ''}* FROM main.${ident(table)} WHERE ${ident(col)} = ?`);
+        st.setReadBigInts(true);
+        return st.all(v);
+    };
+    const collectDescendants = (table, row, out, depth) => {
+        localKeys ??= localChildKeys(db, scope);
+        for (const key of localKeys.get(table) ?? []) {
+            const v = row[key.to];
+            if (v === undefined || v === null)
+                continue;
+            const kcols = rowKeyColumns(key.child);
+            for (const kid of rowsWhere(key.child, key.from, v)) {
+                if (key.onDelete === 'CASCADE') {
+                    const values = {};
+                    for (const [c, x] of Object.entries(kid))
+                        if (c !== 'rowid')
+                            values[c] = x;
+                    out.rows.push({ table: key.child, values });
+                    if (depth < 32)
+                        collectDescendants(key.child, kid, out, depth + 1);
+                }
+                else {
+                    const where = {};
+                    for (const c of kcols)
+                        where[c] = kid[c];
+                    out.cleared.push({ table: key.child, where, column: key.from, value: v });
+                }
+            }
+        }
+    };
+    const rowExists = (table, uid) => db.prepare(`SELECT 1 FROM main.${ident(table)} WHERE ${ident(UID_COLUMN)} = ?`).get(uid) !==
+        undefined;
+    let childKeys;
+    /** The live sync-set rows referencing `table`/`uid` through a foreign key. */
+    const children = (table, uid) => {
+        childKeys ??= syncSetChildKeys(db, scope);
+        const out = [];
+        for (const key of childKeys.get(table) ?? []) {
+            const parent = db
+                .prepare(`SELECT ${ident(key.to)} AS v FROM main.${ident(table)} WHERE ${ident(UID_COLUMN)} = ?`)
+                .get(uid);
+            if (!parent || parent.v === null)
+                continue;
+            const rows = db
+                .prepare(`SELECT ${ident(UID_COLUMN)} AS uid FROM main.${ident(key.child)} WHERE ${ident(key.from)} = ? AND ${ident(UID_COLUMN)} IS NOT NULL`)
+                .all(parent.v);
+            for (const r of rows)
+                out.push({ key, uid: r.uid });
+        }
+        return out;
+    };
+    // An intent mirrors a capture: while capture is suspended (a rebase rewind
+    // or replay, §3.5 Rule 4) nothing is captured, so nothing is recorded, and
+    // the incoming op's own intents stay the ones its captures are matched to.
+    const record = (intents) => {
+        if (frame === null || intents.length === 0)
+            return;
+        if (isTriggerClassSuspended(db, 'capture'))
+            return;
+        recordApplyIntents(db, frame, intents);
+    };
+    const intentFor = (def, uid, col, stored) => ({
+        tbl: def.table,
+        uid,
+        col,
+        enc: def.secret.has(col) ? SECRET_INTENT : stored,
+    });
+    const returning = (cols) => cols.map((c, i) => `${enc(ident(c))} AS c${i}`).join(', ');
+    const unpack = (row, cols) => {
+        const out = {};
+        cols.forEach((c, i) => {
+            out[c] = String(row[`c${i}`]);
+        });
+        return out;
+    };
+    return {
+        writeFields(table, uid, values) {
+            assertActive();
+            const def = defOf(table);
+            const cols = Object.keys(values).sort();
+            if (cols.length === 0)
+                return {};
+            checkColumns(def, cols);
+            const row = db
+                .prepare(`UPDATE main.${ident(table)} SET ${cols.map((c) => `${ident(c)} = ?`).join(', ')} ` +
+                `WHERE ${ident(UID_COLUMN)} = ? RETURNING ${returning(cols)}`)
+                .get(...cols.map((c) => wireToSql(values[c])), uid);
+            if (!row) {
+                // @sync-invariant none:input-shape the merge engine sends updates only for live rows; a missing one is a caller bug
+                throw new ApplyWriteError(`${table}: no row with uid ${uid}`);
+            }
+            const stored = unpack(row, cols);
+            record(cols.map((c) => intentFor(def, uid, c, stored[c])));
+            return stored;
+        },
+        insertRow(table, uid, values) {
+            assertActive();
+            const def = defOf(table);
+            const cols = Object.keys(values).sort();
+            checkColumns(def, cols);
+            // The insert capture reads identity from the live row; a trigger-filled
+            // identity column would have no intent and seal as residual (N4).
+            const noIdentity = def.identity.filter((c) => c !== UID_COLUMN && (values[c] === undefined || values[c] === null));
+            if (noIdentity.length > 0) {
+                // @sync-invariant none:input-shape an applied insert carries its identity; nothing is written
+                throw new ApplyWriteError(`${table}: insert of ${uid} lacks ${noIdentity.join(', ')}`);
+            }
+            const all = def.columns;
+            const row = db
+                .prepare(`INSERT INTO main.${ident(table)} (${[UID_COLUMN, ...cols].map(ident).join(', ')}) ` +
+                `VALUES (${['?', ...cols.map(() => '?')].join(', ')}) RETURNING ${returning(all)}`)
+                .get(uid, ...cols.map((c) => wireToSql(values[c])));
+            const stored = unpack(row, all);
+            record([
+                { tbl: table, uid, col: INTENT_INSERT, enc: '' },
+                ...all
+                    .filter((c) => stored[c] !== 'NULL')
+                    .map((c) => intentFor(def, uid, c, stored[c])),
+            ]);
+            return stored;
+        },
+        deleteRow(table, uid) {
+            assertActive();
+            defOf(table);
+            const nulled = children(table, uid).filter((c) => c.key.onDelete === 'SET NULL');
+            const res = db
+                .prepare(`DELETE FROM main.${ident(table)} WHERE ${ident(UID_COLUMN)} = ?`)
+                .run(uid);
+            if (Number(res.changes) === 0)
+                return false;
+            record([
+                { tbl: table, uid, col: INTENT_DELETE, enc: '' },
+                ...nulled.map((c) => ({ tbl: c.key.child, uid: c.uid, col: c.key.from, enc: 'NULL' })),
+            ]);
+            return true;
+        },
+        adoptNaturalRow(table, uid, localKey) {
+            assertActive();
+            const def = defOf(table);
+            if (rowExists(table, uid) || def.key.some((k) => !(k in localKey)))
+                return false;
+            // The uid is an identity column: capture never fires on it. The local key
+            // is UNIQUE, so 0 or 1 row matches.
+            return (Number(db
+                .prepare(`UPDATE main.${ident(table)} SET ${ident(UID_COLUMN)} = ? WHERE ${ident(UID_COLUMN)} IS NULL AND ${def.key.map((k) => `${ident(k)} IS ?`).join(' AND ')}`)
+                .run(uid, ...def.key.map((k) => wireToSql(localKey[k]))).changes) === 1);
+        },
+        rekeyRow(table, uid, newUid, newBfp) {
+            assertActive();
+            const def = defOf(table);
+            const setBfp = newBfp !== null && def.identity.includes(BIRTH_FP_COLUMN);
+            const res = db
+                .prepare(`UPDATE main.${ident(table)} SET ${ident(UID_COLUMN)} = ?` +
+                (setBfp ? `, ${ident(BIRTH_FP_COLUMN)} = ?` : '') +
+                ` WHERE ${ident(UID_COLUMN)} = ?`)
+                .run(...(setBfp ? [newUid, newBfp, uid] : [newUid, uid]));
+            if (Number(res.changes) === 0)
+                return false;
+            record([{ tbl: table, uid, col: INTENT_REKEY, enc: newUid }]);
+            if (newUid !== uid || newBfp !== null)
+                moveRowMeta(db, table, uid, newUid, newBfp);
+            moveFieldState(db, table, uid, newUid);
+            return true;
+        },
+        readLocalOnly(table, uid) {
+            assertActive();
+            const cols = localOnlyColumns(table);
+            if (cols.length === 0)
+                return rowExists(table, uid) ? {} : null;
+            const row = db
+                .prepare(`SELECT ${cols.map(ident).join(', ')} FROM main.${ident(table)} WHERE ${ident(UID_COLUMN)} = ?`)
+                .get(uid);
+            return row ?? null;
+        },
+        writeLocalOnly(table, uid, values) {
+            assertActive();
+            const allowed = new Set(localOnlyColumns(table));
+            const cols = Object.keys(values).filter((c) => allowed.has(c));
+            if (cols.length === 0)
+                return;
+            db.prepare(`UPDATE main.${ident(table)} SET ${cols.map((c) => `${ident(c)} = ?`).join(', ')} WHERE ${ident(UID_COLUMN)} = ?`).run(...cols.map((c) => values[c]), uid);
+        },
+        readLocalDescendants(table, uid) {
+            assertActive();
+            defOf(table);
+            const out = { rows: [], cleared: [] };
+            const [root] = rowsWhere(table, UID_COLUMN, uid);
+            if (root)
+                collectDescendants(table, root, out, 0);
+            return out;
+        },
+        writeLocalDescendants(snapshot) {
+            assertActive();
+            for (const r of snapshot.rows) {
+                const cols = Object.keys(r.values);
+                db.prepare(`INSERT INTO main.${ident(r.table)} (${cols.map(ident).join(', ')}) VALUES (${cols.map(() => '?').join(', ')}) ON CONFLICT DO NOTHING`).run(...cols.map((c) => r.values[c]));
+            }
+            for (const c of snapshot.cleared) {
+                const keys = Object.keys(c.where);
+                db.prepare(`UPDATE main.${ident(c.table)} SET ${ident(c.column)} = ? WHERE ${keys.map((k) => `${ident(k)} = ?`).join(' AND ')}`).run(c.value, ...keys.map((k) => c.where[k]));
+            }
+        },
+        childRows(table, uid) {
+            assertActive();
+            defOf(table);
+            return children(table, uid);
+        },
+        readRow(table, uid) {
+            assertActive();
+            const def = defOf(table);
+            const cols = def.columns;
+            const row = db
+                .prepare(`SELECT ${returning(cols)} FROM main.${ident(table)} WHERE ${ident(UID_COLUMN)} = ?`)
+                .get(uid);
+            if (!row)
+                return null;
+            const out = {};
+            for (const [c, e] of Object.entries(unpack(row, cols)))
+                out[c] = decodeEnc(e);
+            return out;
+        },
+        rowMeta(table, uid) {
+            assertActive();
+            defOf(table);
+            return readRowMeta(db, table, uid);
+        },
+        setRowMeta(table, uid, meta) {
+            assertActive();
+            return upsertRowMetaFromFields(db, defOf(table), { tbl: table, uid, ...meta });
+        },
+        setMergedRowMeta(table, uid, meta) {
+            assertActive();
+            const def = defOf(table);
+            const prev = readRowMeta(db, table, uid);
+            let hlc;
+            let fhlc = null;
+            if (meta.tombstone !== null) {
+                hlc = meta.tombstone;
+            }
+            else {
+                const fields = prev && !prev.deleted ? fieldHlcsOf(def, prev) : {};
+                for (const c of def.columns) {
+                    const at = meta.fieldHlc[c];
+                    if (!def.identity.includes(c) && at !== undefined)
+                        fields[c] = at;
+                }
+                const missing = def.columns.filter((c) => !def.identity.includes(c) && !fields[c]);
+                if (missing.length > 0) {
+                    // @sync-invariant none:input-shape the applier names every field of a row's first live meta; nothing is written
+                    throw new ApplyWriteError(`row meta for ${table}/${uid}: misses ${missing.join(', ')}`);
+                }
+                hlc = Object.values(fields).reduce((m, h) => (h > m ? h : m));
+                fhlc = compressFieldHlcs(def, fields, hlc);
+            }
+            upsertRowMeta(db, {
+                tbl: table,
+                uid,
+                hlc,
+                fhlc,
+                origin: meta.origin,
+                actor: meta.actor,
+                version: (prev?.version ?? 0) + 1,
+                deleted: meta.tombstone !== null,
+                keyJson: meta.keyJson,
+                chash: meta.chash,
+                bfp: meta.bfp,
+            });
+            return hlc;
+        },
+    };
+}
+//# sourceMappingURL=write-api.js.map

package/dist/store/sync/apply/write-api.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"write-api.js","sourceRoot":"","sources":["../../../../src/store/sync/apply/write-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAKH,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAC7E,OAAO,EAEL,aAAa,EACb,aAAa,EACb,YAAY,EACZ,kBAAkB,EAClB,aAAa,GACd,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAwB,eAAe,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AAC3E,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EACL,iBAAiB,EACjB,WAAW,EACX,WAAW,EAEX,WAAW,EACX,aAAa,EACb,uBAAuB,GACxB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAAiB,cAAc,EAAE,gBAAgB,EAAE,MAAM,SAAS,CAAC;AAE1E,wEAAwE;AACxE,MAAM,OAAO,eAAgB,SAAQ,KAAK;IAC/B,IAAI,GAAG,oBAAoB,CAAC;IAErC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;IAChC,CAAC;CACF;AAED,+BAA+B;AAC/B,SAAS,KAAK,CAAC,IAAY;IACzB,OAAO,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC;AAC3C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CAAC,CAAkB;IAC1C,4EAA4E;IAC5E,wEAAwE;IACxE,wDAAwD;IACxD,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IAClD,IAAI,IAAI,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACnC,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;QACd,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QACtB,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;YAAE,OAAO,MAAM,CAAC,iBAAiB,CAAC;QACxD,IAAI,CAAC,KAAK,MAAM;YAAE,OAAO,MAAM,CAAC,iBAAiB,CAAC;QAClD,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;AACrC,CAAC;AAiKD;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CACjC,EAAgB,EAChB,KAAiB,EACjB,KAAoB,EACpB,YAAwB;IAExB,MAAM,IAAI,GAAG,IAAI,GAAG,EAA2B,CAAC;IAChD,MAAM,KAAK,GAAG,CAAC,KAAa,EAAmB,EAAE;QAC/C,IAAI,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC1B,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,GAAG,GAAG,eAAe,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;YACxC,IAAI,CAAC,GAAG,EAAE,CAAC;gBACT,2FAA2F;gBAC3F,MAAM,IAAI,eAAe,CAAC,GAAG,KAAK,oCAAoC,KAAK,QAAQ,CAAC,CAAC;YACvF,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACvB,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,MAAM,YAAY,GAAG,CAAC,GAAoB,EAAE,IAAuB,EAAQ,EAAE;QAC3E,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,OAAO,EAAE,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,UAAU,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAClE,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnB,6FAA6F;YAC7F,MAAM,IAAI,eAAe,CAAC,GAAG,GAAG,CAAC,KAAK,kBAAkB,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC9C,0FAA0F;IAC1F,MAAM,gBAAgB,GAAG,CAAC,KAAa,EAAY,EAAE;QACnD,IAAI,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YACzB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,OAAO,EAAE,GAAG,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;YACxE,IAAI,GACF,EAAE,CAAC,OAAO,CAAC,uCAAuC,CAAC,CAAC,GAAG,CAAC,KAAK,CAC9D;iBACE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;iBAClB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACnC,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC7B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,IAAI,SAA+D,CAAC;IACpE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC5C,iGAAiG;IACjG,MAAM,aAAa,GAAG,CAAC,KAAa,EAAY,EAAE;QAChD,IAAI,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,EAAE,GAAG,EAAE;iBACV,OAAO,CAAC,qEAAqE,CAAC;iBAC9E,GAAG,CAAC,KAAK,CAA+B,CAAC;YAC5C,IAAI;gBACF,EAAE,EAAE,EAAE,KAAK,CAAC;oBACV,CAAC,CACG,EAAE;yBACC,OAAO,CAAC,gEAAgE,CAAC;yBACzE,GAAG,CAAC,KAAK,CACb,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;oBACtB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAChB,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC3B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,4EAA4E;IAC5E,+EAA+E;IAC/E,MAAM,SAAS,GAAG,CAAC,KAAa,EAAE,GAAW,EAAE,CAAgB,EAAE,EAAE;QACjE,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CACnB,UAAU,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,eAAe,KAAK,CAAC,KAAK,CAAC,UAAU,KAAK,CAAC,GAAG,CAAC,MAAM,CAC/H,CAAC;QACF,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;QACxB,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAyC,CAAC;IAC3D,CAAC,CAAC;IACF,MAAM,kBAAkB,GAAG,CACzB,KAAa,EACb,GAA4C,EAC5C,GAGC,EACD,KAAa,EACP,EAAE;QACR,SAAS,KAAK,cAAc,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QACxC,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;YAC7C,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACtB,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,IAAI;gBAAE,SAAS;YAC5C,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACvC,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;gBACpD,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC/B,MAAM,MAAM,GAAkC,EAAE,CAAC;oBACjD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;wBAAE,IAAI,CAAC,KAAK,OAAO;4BAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;oBAC3E,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;oBAC5C,IAAI,KAAK,GAAG,EAAE;wBAAE,kBAAkB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;gBACrE,CAAC;qBAAM,CAAC;oBACN,MAAM,KAAK,GAAkC,EAAE,CAAC;oBAChD,KAAK,MAAM,CAAC,IAAI,KAAK;wBAAE,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAkB,CAAC;oBAC1D,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;gBAC5E,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,KAAa,EAAE,GAAW,EAAW,EAAE,CACxD,EAAE,CAAC,OAAO,CAAC,sBAAsB,KAAK,CAAC,KAAK,CAAC,UAAU,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;QACxF,SAAS,CAAC;IACZ,IAAI,SAA+D,CAAC;IACpE,8EAA8E;IAC9E,MAAM,QAAQ,GAAG,CACf,KAAa,EACb,GAAW,EAC8C,EAAE;QAC3D,SAAS,KAAK,gBAAgB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAC1C,MAAM,GAAG,GAA0C,EAAE,CAAC;QACtD,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;YAC7C,MAAM,MAAM,GAAG,EAAE;iBACd,OAAO,CACN,UAAU,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,mBAAmB,KAAK,CAAC,KAAK,CAAC,UAAU,KAAK,CAAC,UAAU,CAAC,MAAM,CACxF;iBACA,GAAG,CAAC,GAAG,CAAqC,CAAC;YAChD,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,CAAC,KAAK,IAAI;gBAAE,SAAS;YAC3C,MAAM,IAAI,GAAG,EAAE;iBACZ,OAAO,CACN,UAAU,KAAK,CAAC,UAAU,CAAC,qBAAqB,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,KAAK,CAAC,UAAU,CAAC,cAAc,CACrI;iBACA,GAAG,CAAC,MAAM,CAAC,CAAC,CAA2B,CAAC;YAC3C,KAAK,MAAM,CAAC,IAAI,IAAI;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;QACtD,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,2EAA2E;IAC3E,2EAA2E;IAC3E,2EAA2E;IAC3E,MAAM,MAAM,GAAG,CAAC,OAAsB,EAAQ,EAAE;QAC9C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QACnD,IAAI,uBAAuB,CAAC,EAAE,EAAE,SAAS,CAAC;YAAE,OAAO;QACnD,kBAAkB,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IACzC,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAChB,GAAoB,EACpB,GAAW,EACX,GAAW,EACX,MAAc,EACD,EAAE,CAAC,CAAC;QACjB,GAAG,EAAE,GAAG,CAAC,KAAK;QACd,GAAG;QACH,GAAG;QACH,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM;KAClD,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,CAAC,IAAuB,EAAU,EAAE,CACpD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,CACb,GAA4B,EAC5B,IAAuB,EACC,EAAE;QAC1B,MAAM,GAAG,GAA2B,EAAE,CAAC;QACvC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACpB,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QACH,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IAEF,OAAO;QACL,WAAW,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM;YAC5B,YAAY,EAAE,CAAC;YACf,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YACzB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;YACxC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,EAAE,CAAC;YACjC,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACxB,MAAM,GAAG,GAAG,EAAE;iBACX,OAAO,CACN,eAAe,KAAK,CAAC,KAAK,CAAC,QAAQ,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;gBACjF,SAAS,KAAK,CAAC,UAAU,CAAC,kBAAkB,SAAS,CAAC,IAAI,CAAC,EAAE,CAChE;iBACA,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAoB,CAAC,CAAC,EAAE,GAAG,CAE1D,CAAC;YACd,IAAI,CAAC,GAAG,EAAE,CAAC;gBACT,oHAAoH;gBACpH,MAAM,IAAI,eAAe,CAAC,GAAG,KAAK,qBAAqB,GAAG,EAAE,CAAC,CAAC;YAChE,CAAC;YACD,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACjC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAW,CAAC,CAAC,CAAC,CAAC;YACrE,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,SAAS,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM;YAC1B,YAAY,EAAE,CAAC;YACf,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YACzB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;YACxC,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACxB,wEAAwE;YACxE,kEAAkE;YAClE,MAAM,UAAU,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,CACpC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,UAAU,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAC3E,CAAC;YACF,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1B,8FAA8F;gBAC9F,MAAM,IAAI,eAAe,CAAC,GAAG,KAAK,eAAe,GAAG,UAAU,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACzF,CAAC;YACD,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC;YACxB,MAAM,GAAG,GAAG,EAAE;iBACX,OAAO,CACN,oBAAoB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,EAAE,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;gBAClF,WAAW,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,SAAS,CAAC,GAAG,CAAC,EAAE,CACrF;iBACA,GAAG,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAoB,CAAC,CAAC,CAGtE,CAAC;YACF,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YAChC,MAAM,CAAC;gBACL,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,aAAa,EAAE,GAAG,EAAE,EAAE,EAAE;gBAChD,GAAG,GAAG;qBACH,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC;qBACnC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAW,CAAC,CAAC;aAC3D,CAAC,CAAC;YACH,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,SAAS,CAAC,KAAK,EAAE,GAAG;YAClB,YAAY,EAAE,CAAC;YACf,KAAK,CAAC,KAAK,CAAC,CAAC;YACb,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC;YACjF,MAAM,GAAG,GAAG,EAAE;iBACX,OAAO,CAAC,oBAAoB,KAAK,CAAC,KAAK,CAAC,UAAU,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC;iBAC1E,GAAG,CAAC,GAAG,CAAC,CAAC;YACZ,IAAI,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC5C,MAAM,CAAC;gBACL,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,aAAa,EAAE,GAAG,EAAE,EAAE,EAAE;gBAChD,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC;aACvF,CAAC,CAAC;YACH,OAAO,IAAI,CAAC;QACd,CAAC;QAED,eAAe,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ;YAClC,YAAY,EAAE,CAAC;YACf,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YACzB,IAAI,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;YACjF,0EAA0E;YAC1E,oCAAoC;YACpC,OAAO,CACL,MAAM,CACJ,EAAE;iBACC,OAAO,CACN,eAAe,KAAK,CAAC,KAAK,CAAC,QAAQ,KAAK,CAAC,UAAU,CAAC,cAAc,KAAK,CAAC,UAAU,CAAC,gBAAgB,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAC1J;iBACA,GAAG,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAoB,CAAC,CAAC,CAAC,CAAC,OAAO,CACtF,KAAK,CAAC,CACR,CAAC;QACJ,CAAC;QAED,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM;YACjC,YAAY,EAAE,CAAC;YACf,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YACzB,MAAM,MAAM,GAAG,MAAM,KAAK,IAAI,IAAI,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;YACzE,MAAM,GAAG,GAAG,EAAE;iBACX,OAAO,CACN,eAAe,KAAK,CAAC,KAAK,CAAC,QAAQ,KAAK,CAAC,UAAU,CAAC,MAAM;gBACxD,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjD,UAAU,KAAK,CAAC,UAAU,CAAC,MAAM,CACpC;iBACA,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YAC5D,IAAI,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC5C,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;YAC9D,IAAI,MAAM,KAAK,GAAG,IAAI,MAAM,KAAK,IAAI;gBAAE,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;YACnF,cAAc,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;YACvC,OAAO,IAAI,CAAC;QACd,CAAC;QAED,aAAa,CAAC,KAAK,EAAE,GAAG;YACtB,YAAY,EAAE,CAAC;YACf,MAAM,IAAI,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;YACrC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YAChE,MAAM,GAAG,GAAG,EAAE;iBACX,OAAO,CACN,UAAU,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,KAAK,CAAC,KAAK,CAAC,UAAU,KAAK,CAAC,UAAU,CAAC,MAAM,CAChG;iBACA,GAAG,CAAC,GAAG,CAA8C,CAAC;YACzD,OAAO,GAAG,IAAI,IAAI,CAAC;QACrB,CAAC;QAED,cAAc,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM;YAC/B,YAAY,EAAE,CAAC;YACf,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC;YACjD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/D,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO;YAC9B,EAAE,CAAC,OAAO,CACR,eAAe,KAAK,CAAC,KAAK,CAAC,QAAQ,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,KAAK,CAAC,UAAU,CAAC,MAAM,CAClH,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAkB,CAAC,EAAE,GAAG,CAAC,CAAC;QAC7D,CAAC;QAED,oBAAoB,CAAC,KAAK,EAAE,GAAG;YAC7B,YAAY,EAAE,CAAC;YACf,KAAK,CAAC,KAAK,CAAC,CAAC;YACb,MAAM,GAAG,GAGL,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;YACjD,IAAI,IAAI;gBAAE,kBAAkB,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;YAClD,OAAO,GAAG,CAAC;QACb,CAAC;QAED,qBAAqB,CAAC,QAAQ;YAC5B,YAAY,EAAE,CAAC;YACf,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;gBAC9B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;gBACnC,EAAE,CAAC,OAAO,CACR,oBAAoB,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,0BAA0B,CACvI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAkB,CAAC,CAAC,CAAC;YAC1D,CAAC;YACD,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;gBACjC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAClC,EAAE,CAAC,OAAO,CACR,eAAe,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,cAAc,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CACrH,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAkB,CAAC,CAAC,CAAC;YAClE,CAAC;QACH,CAAC;QAED,SAAS,CAAC,KAAK,EAAE,GAAG;YAClB,YAAY,EAAE,CAAC;YACf,KAAK,CAAC,KAAK,CAAC,CAAC;YACb,OAAO,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC9B,CAAC;QAED,OAAO,CAAC,KAAK,EAAE,GAAG;YAChB,YAAY,EAAE,CAAC;YACf,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YACzB,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC;YACzB,MAAM,GAAG,GAAG,EAAE;iBACX,OAAO,CACN,UAAU,SAAS,CAAC,IAAI,CAAC,cAAc,KAAK,CAAC,KAAK,CAAC,UAAU,KAAK,CAAC,UAAU,CAAC,MAAM,CACrF;iBACA,GAAG,CAAC,GAAG,CAAwC,CAAC;YACnD,IAAI,CAAC,GAAG;gBAAE,OAAO,IAAI,CAAC;YACtB,MAAM,GAAG,GAAoC,EAAE,CAAC;YAChD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBAAE,GAAG,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YAC9E,OAAO,GAAG,CAAC;QACb,CAAC;QAED,OAAO,CAAC,KAAK,EAAE,GAAG;YAChB,YAAY,EAAE,CAAC;YACf,KAAK,CAAC,KAAK,CAAC,CAAC;YACb,OAAO,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QACrC,CAAC;QAED,UAAU,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI;YACzB,YAAY,EAAE,CAAC;YACf,OAAO,uBAAuB,CAAC,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;QACjF,CAAC;QAED,gBAAgB,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI;YAC/B,YAAY,EAAE,CAAC;YACf,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YACzB,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;YACzC,IAAI,GAAW,CAAC;YAChB,IAAI,IAAI,GAAkB,IAAI,CAAC;YAC/B,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;gBAC5B,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC;YACvB,CAAC;iBAAM,CAAC;gBACN,MAAM,MAAM,GAA2B,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC3F,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;oBAC5B,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;oBAC5B,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,SAAS;wBAAE,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;gBACpE,CAAC;gBACD,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;gBACnF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACvB,gHAAgH;oBAChH,MAAM,IAAI,eAAe,CAAC,gBAAgB,KAAK,IAAI,GAAG,YAAY,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAC1F,CAAC;gBACD,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC9D,IAAI,GAAG,iBAAiB,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;YAC7C,CAAC;YACD,aAAa,CAAC,EAAE,EAAE;gBAChB,GAAG,EAAE,KAAK;gBACV,GAAG;gBACH,GAAG;gBACH,IAAI;gBACJ,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,OAAO,EAAE,CAAC,IAAI,EAAE,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC;gBACjC,OAAO,EAAE,IAAI,CAAC,SAAS,KAAK,IAAI;gBAChC,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,GAAG,EAAE,IAAI,CAAC,GAAG;aACd,CAAC,CAAC;YACH,OAAO,GAAG,CAAC;QACb,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/store/sync/apply-intent.d.ts

@@ -0,0 +1,117 @@
+/**
+ * Apply intents and echo subtraction (journal spec §3.3; H1, N1; T12757).
+ *
+ * An apply frame writes remote ops into the store, and the capture triggers
+ * capture those writes like any other. Sealing them as local writes would
+ * echo every remote change back with fresh HLCs, which corrupts LWW. Exact
+ * image matching under-drops: partial LWW, `$inc` applied as an absolute
+ * value, re-encrypted secrets, remaps and normalisation all make the capture
+ * differ from the incoming op.
+ *
+ * So the apply records what it actually wrote, per (frame, tbl, uid, col),
+ * with the exact `enc()` of the stored value ({@link recordApplyIntents}),
+ * and the sealer subtracts it from the frame's captures field by field
+ * ({@link subtractApplyIntents}). What remains is residual: fields the apply
+ * did not write, or wrote with a different value (a validator side effect, a
+ * re-mint, a trigger cascade, an interleaved writer). Only the residual is
+ * sealed, as local writes with new HLCs.
+ *
+ * Writing intents belongs to the apply API (T12344); the sealer half lives
+ * here so the contract is fixed before apply lands.
+ *
+ * @task T12757
+ * @module store/sync/apply-intent
+ */
+import type { DatabaseSync } from 'node:sqlite';
+/** `col` of the intent for a row insert. */
+export declare const INTENT_INSERT = "*I";
+/** `col` of the intent for a row delete. */
+export declare const INTENT_DELETE = "*D";
+/** `col` of the intent for a re-key; its `enc` is the new uid. */
+export declare const INTENT_REKEY = "*K";
+/** `enc` recorded for a secret column (the capture holds `<changed>`). */
+export declare const SECRET_INTENT = "<secret>";
+/** One thing an apply frame wrote. */
+export interface ApplyIntent {
+    /** Table written. */
+    readonly tbl: string;
+    /** The row's uid (before a re-key, for `*K`). */
+    readonly uid: string;
+    /** A column name, or {@link INTENT_INSERT} / {@link INTENT_DELETE} / {@link INTENT_REKEY}. */
+    readonly col: string;
+    /**
+     * `enc()` of the stored value, computed by the same SQL `enc()` as the
+     * capture triggers (use `RETURNING`); {@link SECRET_INTENT} for a secret
+     * column ({@link recordApplyIntents} binds it to the capture the write
+     * produced); the new uid for `*K`; `''` for `*I` and `*D`. An insert
+     * records `*I` plus one intent for EVERY column it wrote: a captured column
+     * without an intent is treated as something the apply did not write.
+     */
+    readonly enc: string;
+}
+/**
+ * Columns a persistent trigger derives deterministically from a replicated
+ * change, so every replica writes them identically when it applies the op
+ * (§3.3). In an apply frame their residual changes are dropped rather than
+ * sealed. Keyed by table. Empty until a trigger writing a sync-set column is
+ * declared here.
+ */
+export declare const SYNC_TRIGGER_DERIVED_COLUMNS: ReadonlyMap<string, ReadonlySet<string>>;
+/**
+ * Record what an apply wrote, in the caller's (apply frame) transaction.
+ * A later write to the same (frame, tbl, uid, col) replaces the earlier
+ * intent: the capture of the last write is what the sealer compares.
+ *
+ * @param db - The store, inside the apply frame's transaction.
+ * @param frame - The apply frame's id (`openCaptureFrame(db, 'apply', …)`).
+ * @param intents - The writes.
+ */
+export declare function recordApplyIntents(db: DatabaseSync, frame: string, intents: readonly ApplyIntent[]): void;
+/** The intents of one frame, keyed `tbl \0 uid \0 col`. */
+export type FrameIntents = ReadonlyMap<string, string>;
+/** Load one frame's intents. */
+export declare function loadFrameIntents(db: DatabaseSync, frame: string): FrameIntents;
+/** The capture fields subtraction reads. */
+export interface IntentCapture {
+    readonly seq: number;
+    readonly tbl: string;
+    readonly op: 'I' | 'U' | 'D' | 'K';
+    readonly img: string;
+}
+/** What {@link subtractApplyIntents} left of a frame's captures. */
+export interface IntentSubtraction<C extends IntentCapture> {
+    /** Captures with residual fields, their image cut down to the residual. */
+    readonly residual: C[];
+    /** Captures the apply fully explains. They are consumed, never sealed. */
+    readonly removed: C[];
+}
+/**
+ * Subtract a frame's intents from its captures (§3.3), against the frame's
+ * NET value per (row, column): within one frame, only the last capture that
+ * changes a column carries it; an earlier change of the same column is
+ * superseded (netting would collapse it) and never seals on its own.
+ *
+ * - **U:** each column whose net after-value equals the intent is removed,
+ *   and so is every superseded change. A capture with no column left is
+ *   removed.
+ * - **I:** with a `*I` intent (the apply records an intent for EVERY column
+ *   it inserted), a column is removed when its net value equals its intent
+ *   or a later capture supersedes it. A column with no intent is something
+ *   the apply did not write (a local default, a trigger fill) and stays
+ *   residual. With nothing residual the insert is removed; otherwise the
+ *   residual columns remain as an update from the intent value (`NULL` when
+ *   there is none). An I without `*I` is a local insert and stays whole.
+ * - **D:** removed when a `*D` intent exists.
+ * - **K:** removed when a `*K` intent names the same new uid.
+ * - Residual changes to {@link SYNC_TRIGGER_DERIVED_COLUMNS} are dropped.
+ *
+ * Nothing the apply did not write is ever removed: a column with no intent,
+ * or whose net value differs, is residual; a capture with no intent for its
+ * row stays whole.
+ *
+ * @param captures - The frame's captures, in capture order.
+ * @param intents - The frame's intents ({@link loadFrameIntents}).
+ * @param uidOf - The uid of a capture's row, resolved as the sealer resolves it.
+ */
+export declare function subtractApplyIntents<C extends IntentCapture>(captures: readonly C[], intents: FrameIntents, uidOf: (c: C) => string | null): IntentSubtraction<C>;
+//# sourceMappingURL=apply-intent.d.ts.map

package/dist/store/sync/apply-intent.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"apply-intent.d.ts","sourceRoot":"","sources":["../../../src/store/sync/apply-intent.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAKhD,4CAA4C;AAC5C,eAAO,MAAM,aAAa,OAAO,CAAC;AAClC,4CAA4C;AAC5C,eAAO,MAAM,aAAa,OAAO,CAAC;AAClC,kEAAkE;AAClE,eAAO,MAAM,YAAY,OAAO,CAAC;AACjC,0EAA0E;AAC1E,eAAO,MAAM,aAAa,aAAa,CAAC;AAExC,sCAAsC;AACtC,MAAM,WAAW,WAAW;IAC1B,qBAAqB;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,iDAAiD;IACjD,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,8FAA8F;IAC9F,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB;;;;;;;OAOG;IACH,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;GAMG;AACH,eAAO,MAAM,4BAA4B,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAa,CAAC;AAEhG;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAChC,EAAE,EAAE,YAAY,EAChB,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,SAAS,WAAW,EAAE,GAC9B,IAAI,CA4BN;AAED,2DAA2D;AAC3D,MAAM,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAKvD,gCAAgC;AAChC,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,GAAG,YAAY,CAQ9E;AAED,4CAA4C;AAC5C,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;IACnC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,oEAAoE;AACpE,MAAM,WAAW,iBAAiB,CAAC,CAAC,SAAS,aAAa;IACxD,2EAA2E;IAC3E,QAAQ,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC;IACvB,0EAA0E;IAC1E,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;CACvB;AAqCD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,oBAAoB,CAAC,CAAC,SAAS,aAAa,EAC1D,QAAQ,EAAE,SAAS,CAAC,EAAE,EACtB,OAAO,EAAE,YAAY,EACrB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,GAAG,IAAI,GAC7B,iBAAiB,CAAC,CAAC,CAAC,CA2EtB"}