@cleocode/core 2026.9.26 → 2026.10.2

package/dist/store/sync/identity-fill.js

@@ -0,0 +1,85 @@
+/**
+ * The open-time row-identity fill under capture (journal spec §2.3a rule 1;
+ * the S2 capture interactions of T12806 and T12801).
+ *
+ * The fill, the refill of pre-release fingerprints and the graveyard re-link
+ * are DERIVED rewrites: every value they write is a deterministic function of
+ * the store (spec §12.1), and a refill runs only before any uid has synced.
+ * Capturing them would journal one K and one F per filled row under shadow
+ * capture. So on a store with the sync schema they run inside
+ * {@link withSyncTriggersSuspended}, and the tables they wrote are marked
+ * suspect, for the sealer's repair diff (S3).
+ *
+ * One exception is journaled: a row whose identity a CAPTURED write cleared
+ * (a snapshot-overwrite import, K old → NULL) gets the K that records its
+ * new uid ({@link captureRemints}), in a `remint` frame, so the pair nets to
+ * old → new instead of leaving the new identity unjournaled.
+ *
+ * @task T12343
+ * @module store/sync/identity-fill
+ */
+import { getLogger } from '../../logger.js';
+import { prepareRowIdentity, ROW_IDENTITY } from '../row-identity.js';
+import { captureRemints, clearCaptureFrame, finishCaptureFrame, openCaptureFrame, } from './capture.js';
+import { readSyncFlags } from './flags.js';
+import { hasTable } from './schema.js';
+import { markSuspect, touchSet, withSyncTriggersSuspended } from './structural.js';
+/** The tables a fill report says were written. */
+export function filledTables(scope, report) {
+    const written = new Set();
+    const add = (counts) => {
+        for (const [key, n] of Object.entries(counts)) {
+            if (n > 0)
+                written.add(key.split('.')[0]);
+        }
+    };
+    add(report.filled);
+    add(report.fingerprinted);
+    add(report.refsFilled);
+    if (report.relinked > 0)
+        written.add('tasks_task_acceptance_criteria');
+    if (report.refill === 'cleared') {
+        for (const spec of ROW_IDENTITY[scope])
+            written.add(spec.table);
+    }
+    return [...written];
+}
+/**
+ * Run the open-time identity fill ({@link prepareRowIdentity}). With
+ * `sync.capture` on: with the capture triggers dropped, the written tables
+ * marked suspect, and re-mint K captures for identities a captured write
+ * cleared. With it off: exactly {@link prepareRowIdentity}, even when the
+ * sync tables exist (`cleo project link` creates them, T13025).
+ *
+ * Never throws, like {@link prepareRowIdentity}: a failed bracket (busy,
+ * a broken sync schema) is logged and reported as no fill.
+ */
+export function prepareRowIdentityUnderCapture(db, scope, options = {}) {
+    const capture = readSyncFlags(db)['sync.capture'] && hasTable(db, '_sync_capture');
+    if (!capture) {
+        return { report: prepareRowIdentity(db, scope, options), suspect: [], remints: {} };
+    }
+    try {
+        return bracketedFill(db, scope, options);
+    }
+    catch (err) {
+        getLogger('row-identity').warn({ scope, err: err instanceof Error ? err.message : String(err) }, 'identity fill under capture failed; the store opens without it (T13025)');
+        return { report: null, suspect: [], remints: {} };
+    }
+}
+function bracketedFill(db, scope, options) {
+    return withSyncTriggersSuspended(db, scope, () => {
+        const report = prepareRowIdentity(db, scope, options);
+        const suspect = report ? markSuspect(db, scope, touchSet(db, filledTables(scope, report))) : [];
+        const frame = openCaptureFrame(db, 'remint');
+        try {
+            const remints = captureRemints(db, scope);
+            finishCaptureFrame(db, frame);
+            return { report, suspect, remints };
+        }
+        finally {
+            clearCaptureFrame(db, frame);
+        }
+    });
+}
+//# sourceMappingURL=identity-fill.js.map

package/dist/store/sync/identity-fill.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"identity-fill.js","sourceRoot":"","sources":["../../../src/store/sync/identity-fill.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAIH,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,kBAAkB,EAAE,YAAY,EAAyB,MAAM,oBAAoB,CAAC;AAC7F,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,gBAAgB,GACjB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,iBAAiB,CAAC;AAWnF,kDAAkD;AAClD,MAAM,UAAU,YAAY,CAAC,KAAiB,EAAE,MAAwB;IACtE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,GAAG,GAAG,CAAC,MAAwC,EAAE,EAAE;QACvD,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9C,IAAI,CAAC,GAAG,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAW,CAAC,CAAC;QACtD,CAAC;IACH,CAAC,CAAC;IACF,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACnB,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IAC1B,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACvB,IAAI,MAAM,CAAC,QAAQ,GAAG,CAAC;QAAE,OAAO,CAAC,GAAG,CAAC,gCAAgC,CAAC,CAAC;IACvE,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAChC,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC;AACtB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,8BAA8B,CAC5C,EAAgB,EAChB,KAAiB,EACjB,UAAoD,EAAE;IAEtD,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,QAAQ,CAAC,EAAE,EAAE,eAAe,CAAC,CAAC;IACnF,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,EAAE,MAAM,EAAE,kBAAkB,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IACtF,CAAC;IACD,IAAI,CAAC;QACH,OAAO,aAAa,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC3C,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,SAAS,CAAC,cAAc,CAAC,CAAC,IAAI,CAC5B,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAChE,yEAAyE,CAC1E,CAAC;QACF,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IACpD,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CACpB,EAAgB,EAChB,KAAiB,EACjB,OAAiD;IAEjD,OAAO,yBAAyB,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE;QAC/C,MAAM,MAAM,GAAG,kBAAkB,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QACtD,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,EAAE,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAChG,MAAM,KAAK,GAAG,gBAAgB,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;QAC7C,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,cAAc,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAC1C,kBAAkB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAC9B,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;QACtC,CAAC;gBAAS,CAAC;YACT,iBAAiB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC"}

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

@@ -0,0 +1,27 @@
+/**
+ * Removing the change journal from a store (journal spec §2.3a rules 4 and 10).
+ *
+ * {@link dropSyncMachinery} is the ONLY code allowed to drop `_sync_*`
+ * tables; gate 36 forbids `DROP TABLE _sync_…` anywhere else. It drops every
+ * capture trigger first, then the tables, in one transaction, so no state
+ * with a trigger but without `_sync_capture` is ever committed.
+ *
+ * It never drops `cleo_trigger_suspend`: that table is schema-owned, and the
+ * owned guard and side-effect triggers read it (C2). Nor does anything else;
+ * gate 36 forbids dropping it.
+ *
+ * @task T12819
+ * @module store/sync/machinery
+ */
+import type { DatabaseSync } from 'node:sqlite';
+/** What {@link dropSyncMachinery} removed. */
+export interface DroppedSyncMachinery {
+    readonly triggers: string[];
+    readonly tables: string[];
+}
+/**
+ * Drop every capture trigger, then every `_sync_*` table, in one
+ * transaction (a savepoint when the caller holds one).
+ */
+export declare function dropSyncMachinery(db: DatabaseSync): DroppedSyncMachinery;
+//# sourceMappingURL=machinery.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"machinery.d.ts","sourceRoot":"","sources":["../../../src/store/sync/machinery.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAIhD,8CAA8C;AAC9C,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,EAAE,EAAE,YAAY,GAAG,oBAAoB,CAuBxE"}

package/dist/store/sync/machinery.js

@@ -0,0 +1,44 @@
+/**
+ * Removing the change journal from a store (journal spec §2.3a rules 4 and 10).
+ *
+ * {@link dropSyncMachinery} is the ONLY code allowed to drop `_sync_*`
+ * tables; gate 36 forbids `DROP TABLE _sync_…` anywhere else. It drops every
+ * capture trigger first, then the tables, in one transaction, so no state
+ * with a trigger but without `_sync_capture` is ever committed.
+ *
+ * It never drops `cleo_trigger_suspend`: that table is schema-owned, and the
+ * owned guard and side-effect triggers read it (C2). Nor does anything else;
+ * gate 36 forbids dropping it.
+ *
+ * @task T12819
+ * @module store/sync/machinery
+ */
+import { removeCaptureStamp } from './capture.js';
+import { CAPTURE_TRIGGER_PREFIX, TRIGGER_SUSPEND_TABLE } from './trigger-classes.js';
+/**
+ * Drop every capture trigger, then every `_sync_*` table, in one
+ * transaction (a savepoint when the caller holds one).
+ */
+export function dropSyncMachinery(db) {
+    const names = (type, prefix) => db
+        .prepare('SELECT name FROM main.sqlite_master WHERE type = ? AND substr(name, 1, length(?)) = ? ORDER BY name')
+        .all(type, prefix, prefix).map((r) => r.name);
+    const triggers = names('trigger', CAPTURE_TRIGGER_PREFIX);
+    const tables = names('table', '_sync_').filter((t) => t !== TRIGGER_SUSPEND_TABLE);
+    const nested = db.isTransaction;
+    removeCaptureStamp(db);
+    db.exec(nested ? 'SAVEPOINT drop_sync_machinery' : 'BEGIN IMMEDIATE');
+    try {
+        for (const t of triggers)
+            db.exec(`DROP TRIGGER IF EXISTS "${t}"`);
+        for (const t of tables)
+            db.exec(`DROP TABLE IF EXISTS "${t}"`);
+        db.exec(nested ? 'RELEASE drop_sync_machinery' : 'COMMIT');
+    }
+    catch (err) {
+        db.exec(nested ? 'ROLLBACK TO drop_sync_machinery; RELEASE drop_sync_machinery' : 'ROLLBACK');
+        throw err;
+    }
+    return { triggers, tables };
+}
+//# sourceMappingURL=machinery.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"machinery.js","sourceRoot":"","sources":["../../../src/store/sync/machinery.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAGH,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAQrF;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,EAAgB;IAChD,MAAM,KAAK,GAAG,CAAC,IAAyB,EAAE,MAAc,EAAE,EAAE,CAExD,EAAE;SACC,OAAO,CACN,qGAAqG,CACtG;SACA,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAC5B,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACvB,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,EAAE,sBAAsB,CAAC,CAAC;IAC1D,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,qBAAqB,CAAC,CAAC;IACnF,MAAM,MAAM,GAAG,EAAE,CAAC,aAAa,CAAC;IAChC,kBAAkB,CAAC,EAAE,CAAC,CAAC;IACvB,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC;IACtE,IAAI,CAAC;QACH,KAAK,MAAM,CAAC,IAAI,QAAQ;YAAE,EAAE,CAAC,IAAI,CAAC,2BAA2B,CAAC,GAAG,CAAC,CAAC;QACnE,KAAK,MAAM,CAAC,IAAI,MAAM;YAAE,EAAE,CAAC,IAAI,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC;QAC/D,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC7D,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,8DAA8D,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAC9F,MAAM,GAAG,CAAC;IACZ,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AAC9B,CAAC"}

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

@@ -0,0 +1,120 @@
+/**
+ * Netting inside one transaction (journal spec §2.4, R8, N8; S3b, T12985).
+ *
+ * The sealer builds one draft op per capture; {@link netTransaction} reduces a
+ * transaction's drafts to the ops a receiver needs. Netting is per (table,
+ * uid) (§2.4): drafts are first chained per (table, local key `rk`), because a
+ * re-key changes the uid but never the local key, and then chains with no K
+ * that carry the same uid merge, so a delete of one local row and an insert
+ * of another under the same uid (an AC relink) net to one U (T13035).
+ *
+ * Per chain:
+ *
+ * 1. **Re-keys.** Adjacent K ops collapse: K(x → NULL) followed by the fill's
+ *    K(NULL → y) is one K(x → y) (N8). A K whose old uid no sealed op ever
+ *    carried (no row meta) is **dropped**: every op of the chain then uses the
+ *    final uid, and the caller moves the row meta ({@link NetResult.renames}).
+ *    A K on a uid row meta knows is **kept** (T13035): ops sealed earlier on
+ *    the old uid are never rewritten, so the K is what links them to the new
+ *    uid. Ops before a kept K use the old uid, ops after it the new one.
+ * 2. **Net each stretch between kept K ops** (§2.4 table):
+ *
+ * | sequence | result |
+ * |---|---|
+ * | I, then any U | I with the final image |
+ * | U, U, … | one U: first before, last after per column; unchanged columns dropped; no op when nothing changed |
+ * | I … D | nothing |
+ * | D, then I | U of the non-key columns that differ, or nothing |
+ * | D, I, D | D, before-image from the first D |
+ * | U … D | D, before-image from the first U's before |
+ * | I on a uid row meta knows live, not deleted earlier in the transaction (foreign REPLACE) | U against it |
+ *
+ * 3. **Counters (§2.6).** On a U, a column declared in
+ *    {@link SYNC_COUNTER_COLUMNS} carries `{$inc: after − before}` instead of
+ *    the absolute value; the before-image keeps the old value.
+ *
+ * Each op keeps its first capture's `seq` (output order) and records its last
+ * capture's in `last`: the sealer takes the op's HLC time and local key from
+ * the last capture (T13037).
+ *
+ * Apply-intent subtraction (§3.3) needs `_sync_apply_intent`, which arrives
+ * with pull/apply (S5); {@link subtractIntents} is the seam and is a no-op
+ * until then, so the sealer refuses apply and rebase frames. Across
+ * transactions, the sealer drops the dead incarnation of a row that never got
+ * a uid (I … D, T13036); the rest of cross-transaction compaction is S4,
+ * where segment state exists.
+ *
+ * Pure: no database access; the caller supplies row-meta facts.
+ *
+ * @module store/sync/netting
+ * @task T12985
+ * @epic T12323
+ */
+import { type WireValue } from './sealer-values.js';
+/**
+ * In-place counter columns per table (§2.6, `SYNC_COUNTER_COLUMNS`): sealed
+ * as `{$inc: delta}` on update. Empty while no counter-bearing table is in
+ * the sync set (brain_patterns joins with T12894).
+ */
+export declare const SYNC_COUNTER_COLUMNS: Readonly<Record<string, readonly string[]>>;
+/** A counter delta on the wire (§2.6). */
+export interface IncValue {
+    readonly $inc: number;
+}
+/** A draft op: one capture, before netting. `u`/`nu` may be NULL mid-re-key. */
+export interface DraftOp {
+    readonly t: string;
+    /** Local key of the row (the capture's `rk`): stable across re-keys. */
+    readonly rk: string;
+    /** Capture seq, for ordering. */
+    readonly seq: number;
+    readonly o: 'I' | 'U' | 'D' | 'K';
+    /** Row uid; for K the OLD uid. NULL when not yet known. */
+    readonly u: string | null;
+    /** K only: the new uid (NULL for a clear). */
+    readonly nu?: string | null;
+    readonly bfp?: string;
+    readonly obfp?: string;
+    readonly k?: Record<string, WireValue>;
+    readonly a?: Record<string, WireValue | IncValue>;
+    readonly b?: Record<string, WireValue>;
+}
+/** A netted op, ready for an HLC. `last` is its last capture's seq. */
+export type NettedOp = Omit<DraftOp, 'rk'> & {
+    readonly u: string | null;
+    readonly last: number;
+};
+/** Row-meta facts the netting needs. */
+export interface MetaFacts {
+    /** Whether a persisted segment ever carried this uid (`sent = 1`). */
+    sent(table: string, uid: string): boolean;
+    /** Whether row meta knows this uid as a LIVE row (not a tombstone). */
+    live(table: string, uid: string): boolean;
+    /** Whether row meta knows this uid at all: some sealed op carried it. */
+    known(table: string, uid: string): boolean;
+}
+/** Netting options beyond row meta. */
+export interface NetOptions {
+    /** In-place counter columns per table (§2.6). */
+    readonly counters?: Readonly<Record<string, readonly string[]>>;
+    /** A table's key columns: a D-then-I U never carries them (§2.4). */
+    readonly keyColumns?: (table: string) => readonly string[];
+}
+/** What netting produced. */
+export interface NetResult {
+    readonly ops: NettedOp[];
+    /** Dropped re-keys: move row meta `from` → `to` without an op. */
+    readonly renames: ReadonlyArray<{
+        readonly t: string;
+        readonly from: string;
+        readonly to: string;
+    }>;
+}
+/** Intent subtraction (§3.3): the S5 seam. No apply intents exist before pull. */
+export declare function subtractIntents(ops: readonly DraftOp[]): DraftOp[];
+/**
+ * Net one transaction's drafts (§2.4). Output is ordered by each op's first
+ * capture seq; kept K ops sit between their chain's stretches.
+ */
+export declare function netTransaction(drafts: readonly DraftOp[], facts: MetaFacts, options?: NetOptions): NetResult;
+//# sourceMappingURL=netting.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"netting.d.ts","sourceRoot":"","sources":["../../../src/store/sync/netting.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmDG;AAEH,OAAO,EAAiB,KAAK,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAEnE;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAqB,CAAC;AAEnG,0CAA0C;AAC1C,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,gFAAgF;AAChF,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,wEAAwE;IACxE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,iCAAiC;IACjC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,CAAC,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;IAClC,2DAA2D;IAC3D,QAAQ,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,8CAA8C;IAC9C,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACvC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,GAAG,QAAQ,CAAC,CAAC;IAClD,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;CACxC;AAED,uEAAuE;AACvE,MAAM,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG;IAAE,QAAQ,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAElG,wCAAwC;AACxC,MAAM,WAAW,SAAS;IACxB,sEAAsE;IACtE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;IAC1C,uEAAuE;IACvE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;IAC1C,yEAAyE;IACzE,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CAC5C;AAED,uCAAuC;AACvC,MAAM,WAAW,UAAU;IACzB,iDAAiD;IACjD,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;IAChE,qEAAqE;IACrE,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,SAAS,MAAM,EAAE,CAAC;CAC5D;AAED,6BAA6B;AAC7B,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC;IACzB,kEAAkE;IAClE,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;QAC9B,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;QACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;KACrB,CAAC,CAAC;CACJ;AAoJD,kFAAkF;AAClF,wBAAgB,eAAe,CAAC,GAAG,EAAE,SAAS,OAAO,EAAE,GAAG,OAAO,EAAE,CAElE;AA+CD;;;GAGG;AACH,wBAAgB,cAAc,CAC5B,MAAM,EAAE,SAAS,OAAO,EAAE,EAC1B,KAAK,EAAE,SAAS,EAChB,OAAO,GAAE,UAAe,GACvB,SAAS,CAwFX"}

package/dist/store/sync/netting.js

@@ -0,0 +1,336 @@
+/**
+ * Netting inside one transaction (journal spec §2.4, R8, N8; S3b, T12985).
+ *
+ * The sealer builds one draft op per capture; {@link netTransaction} reduces a
+ * transaction's drafts to the ops a receiver needs. Netting is per (table,
+ * uid) (§2.4): drafts are first chained per (table, local key `rk`), because a
+ * re-key changes the uid but never the local key, and then chains with no K
+ * that carry the same uid merge, so a delete of one local row and an insert
+ * of another under the same uid (an AC relink) net to one U (T13035).
+ *
+ * Per chain:
+ *
+ * 1. **Re-keys.** Adjacent K ops collapse: K(x → NULL) followed by the fill's
+ *    K(NULL → y) is one K(x → y) (N8). A K whose old uid no sealed op ever
+ *    carried (no row meta) is **dropped**: every op of the chain then uses the
+ *    final uid, and the caller moves the row meta ({@link NetResult.renames}).
+ *    A K on a uid row meta knows is **kept** (T13035): ops sealed earlier on
+ *    the old uid are never rewritten, so the K is what links them to the new
+ *    uid. Ops before a kept K use the old uid, ops after it the new one.
+ * 2. **Net each stretch between kept K ops** (§2.4 table):
+ *
+ * | sequence | result |
+ * |---|---|
+ * | I, then any U | I with the final image |
+ * | U, U, … | one U: first before, last after per column; unchanged columns dropped; no op when nothing changed |
+ * | I … D | nothing |
+ * | D, then I | U of the non-key columns that differ, or nothing |
+ * | D, I, D | D, before-image from the first D |
+ * | U … D | D, before-image from the first U's before |
+ * | I on a uid row meta knows live, not deleted earlier in the transaction (foreign REPLACE) | U against it |
+ *
+ * 3. **Counters (§2.6).** On a U, a column declared in
+ *    {@link SYNC_COUNTER_COLUMNS} carries `{$inc: after − before}` instead of
+ *    the absolute value; the before-image keeps the old value.
+ *
+ * Each op keeps its first capture's `seq` (output order) and records its last
+ * capture's in `last`: the sealer takes the op's HLC time and local key from
+ * the last capture (T13037).
+ *
+ * Apply-intent subtraction (§3.3) needs `_sync_apply_intent`, which arrives
+ * with pull/apply (S5); {@link subtractIntents} is the seam and is a no-op
+ * until then, so the sealer refuses apply and rebase frames. Across
+ * transactions, the sealer drops the dead incarnation of a row that never got
+ * a uid (I … D, T13036); the rest of cross-transaction compaction is S4,
+ * where segment state exists.
+ *
+ * Pure: no database access; the caller supplies row-meta facts.
+ *
+ * @module store/sync/netting
+ * @task T12985
+ * @epic T12323
+ */
+import { canonicalJson } from './sealer-values.js';
+/**
+ * In-place counter columns per table (§2.6, `SYNC_COUNTER_COLUMNS`): sealed
+ * as `{$inc: delta}` on update. Empty while no counter-bearing table is in
+ * the sync set (brain_patterns joins with T12894).
+ */
+export const SYNC_COUNTER_COLUMNS = Object.freeze({});
+const same = (x, y) => canonicalJson(x) === canonicalJson(y);
+/** Collapse adjacent K ops of a chain: x→a then a→b is x→b (N8). */
+function collapseRekeys(chain) {
+    const out = [];
+    for (const op of chain) {
+        const prev = out[out.length - 1];
+        if (op.o === 'K' && prev?.o === 'K' && (prev.nu ?? null) === (op.u ?? null)) {
+            out[out.length - 1] = {
+                ...prev,
+                nu: op.nu ?? null,
+                ...(op.bfp !== undefined ? { bfp: op.bfp } : {}),
+            };
+            continue;
+        }
+        out.push(op);
+    }
+    return out;
+}
+function step(acc, op) {
+    const a = op.a ?? {};
+    const b = op.b ?? {};
+    switch (acc.s) {
+        case 'none':
+            if (op.o === 'I')
+                return { s: 'I', a: { ...a }, first: op };
+            if (op.o === 'U')
+                return { s: 'U', a: { ...a }, b: { ...b }, first: op };
+            return { s: 'D', b: { ...b }, first: op };
+        case 'gone':
+            // I … D, then more: start again from here.
+            return step({ s: 'none' }, op);
+        case 'I':
+            if (op.o === 'U')
+                return { ...acc, a: { ...acc.a, ...a } };
+            if (op.o === 'D')
+                return { s: 'gone', first: acc.first };
+            return { s: 'I', a: { ...a }, first: acc.first }; // I, I: the later image
+        case 'U':
+            if (op.o === 'U')
+                return { ...acc, a: { ...acc.a, ...a }, b: { ...b, ...acc.b } };
+            if (op.o === 'D')
+                return { s: 'D', b: { ...b, ...acc.b }, first: acc.first };
+            return { s: 'I', a: { ...a }, first: acc.first };
+        case 'D':
+            if (op.o === 'I')
+                return { s: 'DI', b: acc.b, a: { ...a }, first: acc.first, ins: op };
+            return acc; // D, D (or U after D): the first before-image stands
+        case 'DI':
+            if (op.o === 'U')
+                return { ...acc, a: { ...acc.a, ...a } };
+            if (op.o === 'D')
+                return { s: 'D', b: acc.b, first: acc.first };
+            return { ...acc, a: { ...a } };
+    }
+}
+function counterize(table, a, b, registry) {
+    const counters = registry[table];
+    if (!counters || counters.length === 0)
+        return a;
+    const out = { ...a };
+    for (const col of counters) {
+        const after = a[col];
+        const before = b[col];
+        if (typeof after === 'number' && typeof before === 'number')
+            out[col] = { $inc: after - before };
+    }
+    return out;
+}
+/** Turn one stretch's accumulator into at most one op. */
+function settle(acc, lastOp, uid, bfp, live, counters, keys) {
+    const base = (first) => ({
+        t: first.t,
+        seq: first.seq,
+        last: lastOp.seq,
+        u: uid,
+        ...(bfp !== undefined ? { bfp } : {}),
+        ...(first.k !== undefined ? { k: first.k } : {}),
+    });
+    switch (acc.s) {
+        case 'none':
+        case 'gone':
+            return null;
+        case 'I': {
+            // A foreign REPLACE: an insert of a uid row meta already knows as live.
+            if (uid !== null && acc.first.o === 'I' && live(acc.first.t, uid, acc.first.seq)) {
+                return { ...base(acc.first), o: 'U', a: acc.a };
+            }
+            return { ...base(acc.first), o: 'I', a: acc.a };
+        }
+        case 'U': {
+            const a = {};
+            const b = {};
+            for (const col of new Set([...Object.keys(acc.a), ...Object.keys(acc.b)])) {
+                if (same(acc.a[col] ?? null, acc.b[col] ?? null))
+                    continue;
+                if (col in acc.a)
+                    a[col] = acc.a[col];
+                if (col in acc.b)
+                    b[col] = acc.b[col];
+            }
+            if (Object.keys(a).length === 0)
+                return null;
+            return { ...base(acc.first), o: 'U', a: counterize(acc.first.t, a, b, counters), b };
+        }
+        case 'D':
+            return { ...base(acc.first), o: 'D', b: acc.b };
+        case 'DI': {
+            // D then I: never a tombstone plus an insert; the columns that differ.
+            const a = {};
+            const b = {};
+            for (const col of new Set([...Object.keys(acc.a), ...Object.keys(acc.b)])) {
+                if (keys.includes(col))
+                    continue;
+                const now = acc.a[col] ?? null;
+                const was = acc.b[col] ?? null;
+                if (same(now, was))
+                    continue;
+                a[col] = now;
+                b[col] = was;
+            }
+            if (Object.keys(a).length === 0)
+                return null;
+            return { ...base(acc.first), o: 'U', a: counterize(acc.first.t, a, b, counters), b };
+        }
+    }
+}
+/** Intent subtraction (§3.3): the S5 seam. No apply intents exist before pull. */
+export function subtractIntents(ops) {
+    return [...ops];
+}
+/**
+ * Chain drafts per (table, rk), then merge the chains that carry the same
+ * single uid (§2.4 nets per uid; T13035). A chain's uid is its one non-NULL
+ * uid, counting a fill's K(NULL → y) as y. A chain with a real re-key (a K
+ * from a non-NULL uid) stays on its own: its uid changes along the chain, so
+ * merging it by uid could put a collision loser's ops on the winner's row.
+ */
+function chainsOf(drafts) {
+    const byRk = new Map();
+    for (const d of drafts) {
+        const key = `${d.t}\u0000${d.rk}`;
+        let c = byRk.get(key);
+        if (!c) {
+            c = [];
+            byRk.set(key, c);
+        }
+        c.push(d);
+    }
+    const out = [];
+    const byUid = new Map();
+    for (const chain of byRk.values()) {
+        const rekeys = chain.some((d) => d.o === 'K' && d.u !== null);
+        const uids = new Set();
+        for (const d of chain) {
+            const u = d.o === 'K' ? (d.nu ?? null) : d.u;
+            if (u !== null)
+                uids.add(u);
+        }
+        const only = uids.size === 1 ? [...uids][0] : undefined;
+        if (rekeys || only === undefined) {
+            out.push(chain);
+            continue;
+        }
+        const key = `${chain[0]?.t}\u0000${only}`;
+        const into = byUid.get(key);
+        if (into) {
+            into.push(...chain);
+            into.sort((x, y) => x.seq - y.seq);
+        }
+        else {
+            byUid.set(key, chain);
+            out.push(chain);
+        }
+    }
+    return out;
+}
+/**
+ * Net one transaction's drafts (§2.4). Output is ordered by each op's first
+ * capture seq; kept K ops sit between their chain's stretches.
+ */
+export function netTransaction(drafts, facts, options = {}) {
+    const counters = options.counters ?? SYNC_COUNTER_COLUMNS;
+    const keyColumns = options.keyColumns ?? (() => []);
+    const input = subtractIntents(drafts);
+    // A uid deleted earlier in this transaction is not live for a later I,
+    // whatever row meta says (T13035): that I stays an I.
+    const deletedAt = new Map();
+    for (const d of input) {
+        if (d.o !== 'D' || d.u === null)
+            continue;
+        const key = `${d.t}\u0000${d.u}`;
+        if (!deletedAt.has(key))
+            deletedAt.set(key, d.seq);
+    }
+    const live = (t, u, seq) => {
+        const at = deletedAt.get(`${t}\u0000${u}`);
+        return (at === undefined || at > seq) && facts.live(t, u);
+    };
+    const out = [];
+    const renames = [];
+    for (const raw of chainsOf(input)) {
+        const chain = collapseRekeys(raw);
+        const keys = chain[0] ? keyColumns(chain[0].t) : [];
+        // The uid each stretch uses: a dropped K renames the whole chain to its
+        // final uid; a kept K splits it.
+        const kept = new Set();
+        let finalUid = null;
+        for (const op of chain) {
+            if (op.o !== 'K') {
+                finalUid = finalUid ?? op.u;
+                continue;
+            }
+            const from = op.u ?? null;
+            const to = op.nu ?? null;
+            if (from !== null && (facts.sent(op.t, from) || facts.known(op.t, from)))
+                kept.add(op);
+            // A K that keeps its uid (only birth_fp changed) renames nothing.
+            else if (from !== null && to !== null && from !== to)
+                renames.push({ t: op.t, from, to });
+            finalUid = to;
+        }
+        let acc = { s: 'none' };
+        let last = null;
+        // The birth_fp the stretch ends with: a dropped K's new value wins.
+        let bfp;
+        // Stretch uid: before a kept K its old uid; otherwise the uid after the
+        // last K in the stretch (a dropped K rewrites earlier ops).
+        const stretchUid = (start, end) => {
+            for (let i = end - 1; i >= start; i--) {
+                const op = chain[i];
+                if (op.o === 'K')
+                    return op.nu ?? null;
+            }
+            for (let i = start; i < end; i++) {
+                const op = chain[i];
+                if (op.u !== null)
+                    return op.u;
+            }
+            return null;
+        };
+        let start = 0;
+        const flush = (end) => {
+            if (last !== null) {
+                const keptAfter = chain[end] && kept.has(chain[end]) ? chain[end] : null;
+                const uid = keptAfter ? (keptAfter.u ?? null) : (stretchUid(start, end) ?? finalUid);
+                const settled = settle(acc, last, uid, bfp, live, counters, keys);
+                if (settled)
+                    out.push(settled);
+            }
+            acc = { s: 'none' };
+            last = null;
+            bfp = undefined;
+        };
+        chain.forEach((op, i) => {
+            if (op.o === 'K') {
+                if (kept.has(op)) {
+                    flush(i);
+                    const { rk: _rk, ...k } = op;
+                    out.push({ ...k, last: op.seq });
+                    start = i + 1;
+                }
+                else if (op.bfp !== undefined) {
+                    bfp = op.bfp;
+                }
+                return;
+            }
+            acc = step(acc, op);
+            last = op;
+            if (op.bfp !== undefined)
+                bfp = op.bfp;
+        });
+        flush(chain.length);
+    }
+    out.sort((x, y) => (x.seq ?? 0) - (y.seq ?? 0));
+    return { ops: out, renames };
+}
+//# sourceMappingURL=netting.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"netting.js","sourceRoot":"","sources":["../../../src/store/sync/netting.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmDG;AAEH,OAAO,EAAE,aAAa,EAAkB,MAAM,oBAAoB,CAAC;AAEnE;;;;GAIG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAgD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AA0DnG,MAAM,IAAI,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC,CAAC;AAExF,oEAAoE;AACpE,SAAS,cAAc,CAAC,KAAgB;IACtC,MAAM,GAAG,GAAc,EAAE,CAAC;IAC1B,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACjC,IAAI,EAAE,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,EAAE,CAAC,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC;YAC5E,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG;gBACpB,GAAG,IAAI;gBACP,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,IAAI;gBACjB,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACjD,CAAC;YACF,SAAS;QACX,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAqBD,SAAS,IAAI,CAAC,GAAQ,EAAE,EAAW;IACjC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACrB,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACrB,QAAQ,GAAG,CAAC,CAAC,EAAE,CAAC;QACd,KAAK,MAAM;YACT,IAAI,EAAE,CAAC,CAAC,KAAK,GAAG;gBAAE,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;YAC5D,IAAI,EAAE,CAAC,CAAC,KAAK,GAAG;gBAAE,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;YACzE,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;QAC5C,KAAK,MAAM;YACT,2CAA2C;YAC3C,OAAO,IAAI,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;QACjC,KAAK,GAAG;YACN,IAAI,EAAE,CAAC,CAAC,KAAK,GAAG;gBAAE,OAAO,EAAE,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC;YAC3D,IAAI,EAAE,CAAC,CAAC,KAAK,GAAG;gBAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC;YACzD,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,wBAAwB;QAC5E,KAAK,GAAG;YACN,IAAI,EAAE,CAAC,CAAC,KAAK,GAAG;gBAAE,OAAO,EAAE,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC;YAClF,IAAI,EAAE,CAAC,CAAC,KAAK,GAAG;gBAAE,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC;YAC7E,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC;QACnD,KAAK,GAAG;YACN,IAAI,EAAE,CAAC,CAAC,KAAK,GAAG;gBAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC;YACvF,OAAO,GAAG,CAAC,CAAC,qDAAqD;QACnE,KAAK,IAAI;YACP,IAAI,EAAE,CAAC,CAAC,KAAK,GAAG;gBAAE,OAAO,EAAE,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC;YAC3D,IAAI,EAAE,CAAC,CAAC,KAAK,GAAG;gBAAE,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC;YAChE,OAAO,EAAE,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC;IACnC,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CACjB,KAAa,EACb,CAAuC,EACvC,CAA4B,EAC5B,QAAqD;IAErD,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IACjC,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACjD,MAAM,GAAG,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;IACrB,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QACrB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QACtB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,MAAM,KAAK,QAAQ;YACzD,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,GAAG,MAAM,EAAE,CAAC;IACxC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,0DAA0D;AAC1D,SAAS,MAAM,CACb,GAAQ,EACR,MAAe,EACf,GAAkB,EAClB,GAAuB,EACvB,IAA0D,EAC1D,QAAqD,EACrD,IAAuB;IAEvB,MAAM,IAAI,GAAG,CAAC,KAAc,EAAE,EAAE,CAAC,CAAC;QAChC,CAAC,EAAE,KAAK,CAAC,CAAC;QACV,GAAG,EAAE,KAAK,CAAC,GAAG;QACd,IAAI,EAAE,MAAM,CAAC,GAAG;QAChB,CAAC,EAAE,GAAG;QACN,GAAG,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,GAAG,CAAC,KAAK,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACjD,CAAC,CAAC;IACH,QAAQ,GAAG,CAAC,CAAC,EAAE,CAAC;QACd,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM;YACT,OAAO,IAAI,CAAC;QACd,KAAK,GAAG,CAAC,CAAC,CAAC;YACT,wEAAwE;YACxE,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;gBACjF,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;YAClD,CAAC;YACD,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;QAClD,CAAC;QACD,KAAK,GAAG,CAAC,CAAC,CAAC;YACT,MAAM,CAAC,GAAyC,EAAE,CAAC;YACnD,MAAM,CAAC,GAA8B,EAAE,CAAC;YACxC,KAAK,MAAM,GAAG,IAAI,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1E,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;oBAAE,SAAS;gBAC3D,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC;oBAAE,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAyB,CAAC;gBAC9D,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC;oBAAE,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAc,CAAC;YACrD,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC7C,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QACvF,CAAC;QACD,KAAK,GAAG;YACN,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;QAClD,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,uEAAuE;YACvE,MAAM,CAAC,GAAyC,EAAE,CAAC;YACnD,MAAM,CAAC,GAA8B,EAAE,CAAC;YACxC,KAAK,MAAM,GAAG,IAAI,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1E,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;oBAAE,SAAS;gBACjC,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;gBAC/B,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;gBAC/B,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC;oBAAE,SAAS;gBAC7B,CAAC,CAAC,GAAG,CAAC,GAAG,GAA2B,CAAC;gBACrC,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;YACf,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC7C,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QACvF,CAAC;IACH,CAAC;AACH,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,eAAe,CAAC,GAAuB;IACrD,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC;AAClB,CAAC;AAED;;;;;;GAMG;AACH,SAAS,QAAQ,CAAC,MAA0B;IAC1C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC;QAClC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACtB,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,CAAC,GAAG,EAAE,CAAC;YACP,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACnB,CAAC;QACD,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACZ,CAAC;IACD,MAAM,GAAG,GAAgB,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC3C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;QAC9D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,IAAI,CAAC,KAAK,IAAI;gBAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9B,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACxD,IAAI,MAAM,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACjC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAChB,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;YACpB,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QACrC,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YACtB,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAC5B,MAA0B,EAC1B,KAAgB,EAChB,UAAsB,EAAE;IAExB,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,oBAAoB,CAAC;IAC1D,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACtC,uEAAuE;IACvE,sDAAsD;IACtD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI;YAAE,SAAS;QAC1C,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QACjC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,GAAW,EAAW,EAAE;QAC1D,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAC3C,OAAO,CAAC,EAAE,KAAK,SAAS,IAAI,EAAE,GAAG,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5D,CAAC,CAAC;IAEF,MAAM,GAAG,GAAe,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAmD,EAAE,CAAC;IACnE,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACpD,wEAAwE;QACxE,iCAAiC;QACjC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAW,CAAC;QAChC,IAAI,QAAQ,GAAkB,IAAI,CAAC;QACnC,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;YACvB,IAAI,EAAE,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBACjB,QAAQ,GAAG,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC;gBAC5B,SAAS;YACX,CAAC;YACD,MAAM,IAAI,GAAG,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC;YAC1B,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,IAAI,CAAC;YACzB,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;gBAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACvF,kEAAkE;iBAC7D,IAAI,IAAI,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,IAAI,IAAI,KAAK,EAAE;gBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;YAC1F,QAAQ,GAAG,EAAE,CAAC;QAChB,CAAC;QACD,IAAI,GAAG,GAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;QAC7B,IAAI,IAAI,GAAmB,IAAI,CAAC;QAChC,oEAAoE;QACpE,IAAI,GAAuB,CAAC;QAC5B,wEAAwE;QACxE,4DAA4D;QAC5D,MAAM,UAAU,GAAG,CAAC,KAAa,EAAE,GAAW,EAAiB,EAAE;YAC/D,KAAK,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAY,CAAC;gBAC/B,IAAI,EAAE,CAAC,CAAC,KAAK,GAAG;oBAAE,OAAO,EAAE,CAAC,EAAE,IAAI,IAAI,CAAC;YACzC,CAAC;YACD,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;gBACjC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAY,CAAC;gBAC/B,IAAI,EAAE,CAAC,CAAC,KAAK,IAAI;oBAAE,OAAO,EAAE,CAAC,CAAC,CAAC;YACjC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC;QACF,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,MAAM,KAAK,GAAG,CAAC,GAAW,EAAE,EAAE;YAC5B,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;gBAClB,MAAM,SAAS,GACb,KAAK,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAY,CAAC,CAAC,CAAC,CAAE,KAAK,CAAC,GAAG,CAAa,CAAC,CAAC,CAAC,IAAI,CAAC;gBACjF,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,QAAQ,CAAC,CAAC;gBACrF,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;gBAClE,IAAI,OAAO;oBAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACjC,CAAC;YACD,GAAG,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;YACpB,IAAI,GAAG,IAAI,CAAC;YACZ,GAAG,GAAG,SAAS,CAAC;QAClB,CAAC,CAAC;QACF,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE;YACtB,IAAI,EAAE,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBACjB,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;oBACjB,KAAK,CAAC,CAAC,CAAC,CAAC;oBACT,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC;oBAC7B,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;oBACjC,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC;gBAChB,CAAC;qBAAM,IAAI,EAAE,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;oBAChC,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC;gBACf,CAAC;gBACD,OAAO;YACT,CAAC;YACD,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YACpB,IAAI,GAAG,EAAE,CAAC;YACV,IAAI,EAAE,CAAC,GAAG,KAAK,SAAS;gBAAE,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC;QACzC,CAAC,CAAC,CAAC;QACH,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACtB,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAChD,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;AAC/B,CAAC"}