@cleocode/core 2026.10.4 → 2026.10.5

package/dist/store/sync/flags.js

@@ -12,6 +12,14 @@
  * @task T12342
  * @module store/sync/flags
  */
+import { createHash } from 'node:crypto';
+import { existsSync, readdirSync, readFileSync } from 'node:fs';
+import { dirname, join } from 'node:path';
+import { legacyRowProjection } from '../exodus/column-transforms.js';
+import { resolveConsolidatedTableName } from '../exodus/table-name-map.js';
+import { PRIOR_RECOVERIES_TABLE_SQL, taskIdCollisionsSql, } from '../exodus/task-id-collision-sql.js';
+import { ROW_IDENTITY } from '../row-identity-registry.js';
+import { classifyTable, isPortableTableClass } from '../table-classification.js';
 import { ensureSyncSchema, hasTable } from './schema.js';
 /** The journal's flags, in slice order. */
 export const SYNC_FLAGS = [
@@ -67,6 +75,350 @@ export function isSyncFlagOn(db, flag, env = process.env) {
         return false;
     return readSyncFlags(db)[flag];
 }
+/**
+ * The journal's sync set (§2.1): tables declared in ROW_IDENTITY that are
+ * portable and not frozen-legacy. Defined here, below the capture machinery
+ * (which imports this module), so the strand check can name it (T13225).
+ *
+ * @param scope - The store scope.
+ */
+export function syncSetTables(scope) {
+    return ROW_IDENTITY[scope]
+        .map((spec) => spec.table)
+        .filter((t) => {
+        const c = classifyTable(scope, t);
+        return (c.kind === 'entry' && isPortableTableClass(c.class) && c.entry.status !== 'frozen-legacy');
+    });
+}
+/** The remedy {@link LegacyOnlyStoreError} names while the store is a full strand. */
+export const LEGACY_ONLY_REMEDY = 'cleo doctor superseded-store --reconcile';
+/** The task extending the reconcile to partial strands (T13225). */
+export const PARTIAL_STRAND_FOLLOW_UP = 'T13309';
+/**
+ * The store's bare legacy rows the journal would never see (T13224, T13225).
+ *
+ * A pair is a bare table outside the sync set whose consolidated target is a
+ * sync-set table, so a bare table the runtime still reads (it is in the sync
+ * set itself) is never a source. Rows are compared by the twin's primary key,
+ * projected as the reconcile projects it ({@link legacyRowProjection}), the
+ * same proof as the superseded-store survey. A pair whose keys cannot be
+ * compared counts only while its twin is empty. Bare `tasks` rows shadowed by a
+ * different live task with the same id ({@link taskIdCollisionsSql}) count too.
+ *
+ * Dead bare tables are written by nothing since consolidation, so a missing row
+ * was never carried — unless a reconcile carried it and the runtime deleted it
+ * from the twin since, the normal life of every reconciled store. A bare table
+ * the store records as carried ({@link BARE_ACCOUNTS_TABLE}) whose key digest
+ * still matches ({@link bareTableDigest}) is therefore not a strand (T13319,
+ * T13320). The record lives in the store, never in files beside it, so a
+ * restored pre-reconcile snapshot is refused again.
+ *
+ * @returns One entry per stranded pair; empty when the journal sees every row.
+ */
+export function legacyStrands(db) {
+    const strands = [];
+    let accounted = null;
+    for (const { bare, table } of bareTwinPairs(db)) {
+        const { missing, shadowed } = strandCounts(db, bare, table);
+        if (missing === 0 && shadowed === 0)
+            continue;
+        // A reconcile carried this table, and it has not changed since (T13319).
+        accounted ??= recordedBareAccounts(db);
+        if (isAccounted(db, bare, accounted))
+            continue;
+        strands.push({ bareTable: bare, table, missing, shadowed });
+    }
+    return strands;
+}
+/**
+ * The bare tables outside the sync set whose consolidated target is a
+ * sync-set table, with rows, paired with that twin ({@link legacyStrands}).
+ */
+function bareTwinPairs(db) {
+    const syncSet = new Set(syncSetTables('project'));
+    const tables = db.prepare("SELECT name FROM main.sqlite_master WHERE type = 'table'").all().map((t) => t.name);
+    const present = new Set(tables);
+    const pairs = [];
+    for (const bare of tables) {
+        if (syncSet.has(bare))
+            continue;
+        const target = resolveConsolidatedTableName('tasks', bare);
+        if (target.kind !== 'mapped' || target.targetName === bare)
+            continue;
+        const table = target.targetName;
+        if (!syncSet.has(table) || !present.has(table) || !hasRows(db, bare))
+            continue;
+        pairs.push({ bare, table });
+    }
+    return pairs;
+}
+/** Rows of `bare` the twin `table` lacks by key, and bare tasks shadowed by a reused id. */
+function strandCounts(db, bare, table) {
+    const missing = hasRows(db, table) ? missingByKey(db, bare, table) : countRows(db, bare);
+    const shadowed = bare === 'tasks' && table === 'tasks_tasks' ? shadowedTasks(db) : 0;
+    return { missing: missing ?? 0, shadowed };
+}
+/** Prefix of a reconcile's run directory under `.cleo/` (T12319). */
+const RECONCILE_RUN_PREFIX = 'exodus-reconcile-';
+/** The receipt file in a reconcile run directory. */
+const RECONCILE_RECEIPT_FILE = 'reconcile-receipt.json';
+/** Logical source names a full reconcile gives the live store's bare family. */
+const BARE_FAMILY_SOURCE_PREFIX = 'tasks (cleo.db bare';
+/**
+ * Adopt reconcile receipts written before T13319 into the store's record of
+ * carried bare tables (T13320): a receipt file beside the store is audit
+ * only, never authority, so a bare table one names is recorded only when it
+ * compares clean RIGHT NOW (every bare key present in the twin, no shadowed
+ * task). A table that does not — a restored pre-reconcile snapshot, or rows
+ * deleted since the reconcile — stays a strand, for the bare-strands
+ * reconcile (T13309) to settle. Runs when a flag is turned on.
+ *
+ * @param db - The live project store, writable.
+ * @returns The bare tables adopted.
+ */
+export function adoptReconciledReceipts(db) {
+    const named = preRecordReceiptTables(db);
+    if (named.size === 0)
+        return [];
+    const recorded = new Set(recordedBareAccounts(db).map((r) => r.table));
+    const adopted = [];
+    for (const { bare, table } of bareTwinPairs(db)) {
+        const run = named.get(bare);
+        if (run === undefined || recorded.has(bare))
+            continue;
+        const { missing, shadowed } = strandCounts(db, bare, table);
+        if (missing !== 0 || shadowed !== 0)
+            continue;
+        recordBareAccounts(db, [bareTableDigest(db, 'main', bare)], run);
+        adopted.push(bare);
+    }
+    return adopted;
+}
+/**
+ * Bare tables named by `reconciled` receipts beside the store written before
+ * T13319 (no `accounted`): each table with the run directory that names it.
+ */
+function preRecordReceiptTables(db) {
+    const named = new Map();
+    const file = db.prepare('PRAGMA database_list').all().find((d) => d.name === 'main')?.file;
+    if (!file || !existsSync(dirname(file)))
+        return named;
+    const dir = dirname(file);
+    for (const run of readdirSync(dir)
+        .filter((n) => n.startsWith(RECONCILE_RUN_PREFIX))
+        .sort()) {
+        let receipt;
+        try {
+            receipt = JSON.parse(readFileSync(join(dir, run, RECONCILE_RECEIPT_FILE), 'utf8'));
+        }
+        catch {
+            continue;
+        }
+        if (!isRecord(receipt) || receipt.outcome !== 'reconciled' || 'accounted' in receipt)
+            continue;
+        for (const c of Array.isArray(receipt.before) ? receipt.before : []) {
+            if (isRecord(c) &&
+                typeof c.sourceDb === 'string' &&
+                c.sourceDb.startsWith(BARE_FAMILY_SOURCE_PREFIX) &&
+                typeof c.sourceTable === 'string') {
+                named.set(c.sourceTable, run);
+            }
+        }
+    }
+    return named;
+}
+/** Whether `value` is a plain object. */
+function isRecord(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value);
+}
+/** Whether any bare legacy row is stranded from the journal ({@link legacyStrands}). */
+export function isLegacyOnlyStore(db) {
+    return legacyStrands(db).length > 0;
+}
+/**
+ * The remedy for `strands`: the reconcile while `tasks_tasks` is empty (it
+ * copies the bare family only then), otherwise none yet ({@link
+ * PARTIAL_STRAND_FOLLOW_UP}).
+ */
+export function legacyStrandRemedy(db, strands) {
+    const counts = strands
+        .map((s) => `${s.bareTable} → ${s.table}: ${s.missing} missing` +
+        (s.shadowed > 0 ? `, ${s.shadowed} shadowed by a reused id` : ''))
+        .join('; ');
+    if (!hasTable(db, 'tasks_tasks') || !hasRows(db, 'tasks_tasks')) {
+        return `Stranded bare rows (${counts}). Run \`${LEGACY_ONLY_REMEDY}\` first.`;
+    }
+    return (`Stranded bare rows (${counts}). \`${LEGACY_ONLY_REMEDY}\` cannot yet copy bare rows ` +
+        `into a populated store; ${PARTIAL_STRAND_FOLLOW_UP} adds that. Keep the bare tables ` +
+        `until then.`);
+}
+/** Sync refused on a store with stranded bare rows ({@link legacyStrands}). */
+export class LegacyOnlyStoreError extends Error {
+    code = 'E_SYNC_LEGACY_ONLY_STORE';
+    /**
+     * @param flag - The flag being enabled.
+     * @param remedy - {@link legacyStrandRemedy} for the store.
+     */
+    constructor(flag, remedy) {
+        super(`E_SYNC_LEGACY_ONLY_STORE: ${flag} refused: this store holds rows only in the bare ` +
+            `legacy tables, where the journal would never see them. ${remedy}`);
+        this.name = 'LegacyOnlyStoreError';
+    }
+}
+/**
+ * {@link legacyStrands} decided once per `PRAGMA data_version` of a connection
+ * (T13319): the sealer asks on every batch, while a strand can only appear or
+ * clear through another connection's commit (bare tables are dead; a
+ * reconcile writes through its own connection). This connection's own writes
+ * never move `data_version`, and never strand a row.
+ */
+const strandsByConnection = new WeakMap();
+/**
+ * {@link legacyStrands}, reused while no other connection has committed.
+ *
+ * @param db - The store connection the sealer uses.
+ */
+export function legacyStrandsCached(db) {
+    const version = Number(db.prepare('PRAGMA data_version').get().data_version);
+    const hit = strandsByConnection.get(db);
+    if (hit && hit.version === version)
+        return hit.strands;
+    const strands = legacyStrands(db);
+    strandsByConnection.set(db, { version, strands });
+    return strands;
+}
+/**
+ * The store's own record of the bare tables a reconcile carried (T13320): one
+ * row per bare table with its key digest ({@link bareTableDigest}) when the
+ * run verified. It lives IN the store (local-only, `_exodus_recovery_*`), so
+ * it travels with backups and restores; a snapshot taken before the reconcile
+ * carries none, and its stranded rows are refused again.
+ */
+export const BARE_ACCOUNTS_TABLE = '_exodus_recovery_bare_accounts';
+/**
+ * The row count and key digest of a bare legacy table, by which the store
+ * records a reconcile carrying it (T13319). Its primary-key values are hashed in order
+ * — the rows a strand is judged by — so a row added since changes it, while a
+ * column the runtime adds to the dead table on open (its legacy upgrade does)
+ * does not. A keyless table hashes every column.
+ *
+ * @param db - Connection holding the table.
+ * @param schema - Schema the table lives in, e.g. `main`.
+ * @param table - The bare table.
+ */
+export function bareTableDigest(db, schema, table) {
+    const info = db.prepare(`PRAGMA "${schema}".table_info("${table}")`).all();
+    const pk = info
+        .filter((c) => c.pk > 0)
+        .sort((a, b) => a.pk - b.pk)
+        .map((c) => c.name);
+    const cols = (pk.length > 0 ? pk : info.map((c) => c.name)).map((c) => `quote("${c}")`);
+    const hash = createHash('sha256');
+    let rows = 0;
+    for (const row of db
+        .prepare(`SELECT ${cols.join(" || ',' || ")} AS r FROM "${schema}"."${table}" ORDER BY 1`)
+        .iterate()) {
+        hash.update(`${row.r}\n`);
+        rows++;
+    }
+    return { table, rows, digest: hash.digest('hex') };
+}
+/** The bare tables this store records as carried by a reconcile (T13320). */
+function recordedBareAccounts(db) {
+    if (!hasTable(db, BARE_ACCOUNTS_TABLE))
+        return [];
+    return db
+        .prepare(`SELECT bare_table AS "table", rows, digest FROM main."${BARE_ACCOUNTS_TABLE}"`)
+        .all().map((r) => ({ table: r.table, rows: Number(r.rows), digest: r.digest }));
+}
+/**
+ * Record, in the store, that a verified reconcile run carried `accounts`
+ * (T13320). Upserts per bare table, so a later run's digest replaces an
+ * earlier one; `run` names the receipt directory that did it.
+ *
+ * @param db - The live project store, writable.
+ * @param accounts - Key digests of the bare tables the run carried.
+ * @param run - The reconcile's run directory name.
+ * @param now - When the run verified.
+ */
+export function recordBareAccounts(db, accounts, run, now = new Date()) {
+    db.exec(`CREATE TABLE IF NOT EXISTS main."${BARE_ACCOUNTS_TABLE}" (` +
+        'bare_table TEXT PRIMARY KEY, rows INTEGER NOT NULL, digest TEXT NOT NULL, ' +
+        'run TEXT NOT NULL, recorded_at TEXT NOT NULL)');
+    const upsert = db.prepare(`INSERT INTO main."${BARE_ACCOUNTS_TABLE}" (bare_table, rows, digest, run, recorded_at) ` +
+        'VALUES (?, ?, ?, ?, ?) ON CONFLICT(bare_table) DO UPDATE SET rows = excluded.rows, ' +
+        'digest = excluded.digest, run = excluded.run, recorded_at = excluded.recorded_at');
+    const at = now.toISOString();
+    // A savepoint, so a caller already inside a transaction can record too.
+    db.exec('SAVEPOINT bare_accounts');
+    try {
+        for (const a of accounts)
+            upsert.run(a.table, a.rows, a.digest, run, at);
+        db.exec('RELEASE bare_accounts');
+    }
+    catch (error) {
+        db.exec('ROLLBACK TO bare_accounts');
+        db.exec('RELEASE bare_accounts');
+        throw error;
+    }
+}
+/** Whether `bare` is unchanged since the store recorded a reconcile carrying it. */
+function isAccounted(db, bare, records) {
+    const mine = records.find((r) => r.table === bare);
+    if (mine === undefined)
+        return false;
+    const now = bareTableDigest(db, 'main', bare);
+    return mine.rows === now.rows && mine.digest === now.digest;
+}
+/** Whether `table` holds at least one row. */
+function hasRows(db, table) {
+    const row = db.prepare(`SELECT EXISTS (SELECT 1 FROM main."${table}") AS n`).get();
+    return row.n === 1;
+}
+function countRows(db, table) {
+    return db.prepare(`SELECT COUNT(*) AS n FROM main."${table}"`).get().n;
+}
+function columns(db, table) {
+    return db.prepare(`PRAGMA main.table_info("${table}")`).all();
+}
+/**
+ * Bare rows whose twin primary key is absent from the twin, or `null` when the
+ * bare table cannot produce every key column.
+ */
+function missingByKey(db, bare, table) {
+    const pk = columns(db, table)
+        .filter((c) => c.pk > 0)
+        .sort((a, b) => a.pk - b.pk)
+        .map((c) => c.name);
+    const bareCols = new Set(columns(db, bare).map((c) => c.name));
+    const projection = legacyRowProjection(table, bare);
+    const keyOf = (c) => {
+        const project = projection.get(c);
+        if (project)
+            return project((name) => `s."${name}"`);
+        return bareCols.has(c) ? `s."${c}"` : null;
+    };
+    if (pk.length === 0 || !pk.every((c) => keyOf(c) !== null))
+        return null;
+    const match = pk.map((c) => `t."${c}" = ${keyOf(c)}`).join(' AND ');
+    return db
+        .prepare(`SELECT COUNT(*) AS n FROM main."${bare}" s ` +
+        `WHERE NOT EXISTS (SELECT 1 FROM main."${table}" t WHERE ${match})`)
+        .get().n;
+}
+/** Bare `tasks` rows shadowed by a different live task with their id. */
+function shadowedTasks(db) {
+    const distinguishing = (t) => {
+        const names = new Set(columns(db, t).map((c) => c.name));
+        return names.has('title') && names.has('created_at') && names.has('type');
+    };
+    if (!distinguishing('tasks') || !distinguishing('tasks_tasks'))
+        return 0;
+    db.exec(PRIOR_RECOVERIES_TABLE_SQL);
+    return db
+        .prepare(`SELECT COUNT(*) AS n FROM (${taskIdCollisionsSql('main.tasks')}) WHERE recoveredAs IS NULL`)
+        .get().n;
+}
 /**
  * Persist a flag. Turning one on first applies the sync schema; turning one
  * off on a store without the schema writes nothing.
@@ -84,6 +436,14 @@ export function setSyncFlag(db, flag, on, options = {}) {
         // @sync-invariant none:local-only a local operator cannot turn on an unfinished journal slice; a per-store setting, not synced rows
         throw Object.assign(new Error(`E_SYNC_FLAG_UNRELEASED: ${flag} cannot be enabled until its slices land (T12343: S3b–S3d for sync.seal)`), { code: 'E_SYNC_FLAG_UNRELEASED' });
     }
+    // A pre-T13319 receipt counts only for a bare table clean right now (T13320).
+    if (on)
+        adoptReconciledReceipts(db);
+    const strands = on ? legacyStrands(db) : [];
+    if (strands.length > 0) {
+        // @sync-invariant none:local-only enabling sync on a store whose rows the journal cannot see is refused; a per-store setting
+        throw new LegacyOnlyStoreError(flag, legacyStrandRemedy(db, strands));
+    }
     if (!on && !hasTable(db, '_sync_meta'))
         return false;
     if (readSyncFlags(db)[flag] === on)

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

@@ -1 +1 @@
-{"version":3,"file":"flags.js","sourceRoot":"","sources":["../../../src/store/sync/flags.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAEzD,2CAA2C;AAC3C,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,cAAc;IACd,WAAW;IACX,WAAW;IACX,WAAW;IACX,aAAa;CACL,CAAC;AAQX,MAAM,OAAO,GAAkB,MAAM,CAAC,MAAM,CAC1C,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAA8B,CACnF,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAA0B,IAAI,GAAG,CAAC;IAC7D,WAAW;IACX,WAAW;IACX,WAAW;IACX,aAAa;CACd,CAAC,CAAC;AAEH,8EAA8E;AAC9E,MAAM,UAAU,aAAa,CAAC,IAAc;IAC1C,OAAO,aAAa,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;AACjE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,EAAgB;IAC5C,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,YAAY,CAAC;QAAE,OAAO,OAAO,CAAC;IAChD,MAAM,IAAI,GAAG,EAAE;SACZ,OAAO,CACN,mDAAmD,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC3F;SACA,GAAG,CAAC,GAAG,UAAU,CAA4C,CAAC;IACjE,MAAM,GAAG,GAA8B,EAAE,GAAG,OAAO,EAAE,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,KAAK,GAAG,CAAC;IACnD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,aAAa,CAAC,EAAgB;IAC5C,OAAO,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AACxD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAC1B,EAAgB,EAChB,IAAc,EACd,MAAyB,OAAO,CAAC,GAAG;IAEpC,IAAI,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG;QAAE,OAAO,KAAK,CAAC;IACnD,OAAO,aAAa,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;AACjC,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CACzB,EAAgB,EAChB,IAAc,EACd,EAAW,EACX,UAA0E,EAAE;IAE5E,4HAA4H;IAC5H,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,IAAI,EAAE,CAAC,CAAC;IAC9E,IAAI,EAAE,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,eAAe,KAAK,IAAI,EAAE,CAAC;QACzE,oIAAoI;QACpI,MAAM,MAAM,CAAC,MAAM,CACjB,IAAI,KAAK,CACP,2BAA2B,IAAI,0EAA0E,CAC1G,EACD,EAAE,IAAI,EAAE,wBAAwB,EAAE,CACnC,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,YAAY,CAAC;QAAE,OAAO,KAAK,CAAC;IACrD,IAAI,aAAa,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IACjD,gBAAgB,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,UAAU,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,CAAC,OAAO,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IACxD,EAAE,CAAC,OAAO,CACR,mEAAmE;QACjE,yFAAyF,CAC5F,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACnC,OAAO,IAAI,CAAC;AACd,CAAC"}
+{"version":3,"file":"flags.js","sourceRoot":"","sources":["../../../src/store/sync/flags.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAG1C,OAAO,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AACrE,OAAO,EAAE,4BAA4B,EAAE,MAAM,6BAA6B,CAAC;AAC3E,OAAO,EACL,0BAA0B,EAC1B,mBAAmB,GACpB,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AACjF,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAEzD,2CAA2C;AAC3C,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,cAAc;IACd,WAAW;IACX,WAAW;IACX,WAAW;IACX,aAAa;CACL,CAAC;AAQX,MAAM,OAAO,GAAkB,MAAM,CAAC,MAAM,CAC1C,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAA8B,CACnF,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAA0B,IAAI,GAAG,CAAC;IAC7D,WAAW;IACX,WAAW;IACX,WAAW;IACX,aAAa;CACd,CAAC,CAAC;AAEH,8EAA8E;AAC9E,MAAM,UAAU,aAAa,CAAC,IAAc;IAC1C,OAAO,aAAa,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;AACjE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,EAAgB;IAC5C,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,YAAY,CAAC;QAAE,OAAO,OAAO,CAAC;IAChD,MAAM,IAAI,GAAG,EAAE;SACZ,OAAO,CACN,mDAAmD,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC3F;SACA,GAAG,CAAC,GAAG,UAAU,CAA4C,CAAC;IACjE,MAAM,GAAG,GAA8B,EAAE,GAAG,OAAO,EAAE,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,KAAK,GAAG,CAAC;IACnD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,aAAa,CAAC,EAAgB;IAC5C,OAAO,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AACxD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAC1B,EAAgB,EAChB,IAAc,EACd,MAAyB,OAAO,CAAC,GAAG;IAEpC,IAAI,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG;QAAE,OAAO,KAAK,CAAC;IACnD,OAAO,aAAa,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;AACjC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,KAAiB;IAC7C,OAAO,YAAY,CAAC,KAAK,CAAC;SACvB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;SACzB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACZ,MAAM,CAAC,GAAG,aAAa,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAClC,OAAO,CACL,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,oBAAoB,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,eAAe,CAC1F,CAAC;IACJ,CAAC,CAAC,CAAC;AACP,CAAC;AAED,sFAAsF;AACtF,MAAM,CAAC,MAAM,kBAAkB,GAAG,0CAA0C,CAAC;AAE7E,oEAAoE;AACpE,MAAM,CAAC,MAAM,wBAAwB,GAAG,QAAQ,CAAC;AAoBjD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,aAAa,CAAC,EAAgB;IAC5C,MAAM,OAAO,GAAmB,EAAE,CAAC;IACnC,IAAI,SAAS,GAAsC,IAAI,CAAC;IACxD,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC;QAChD,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,YAAY,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAC5D,IAAI,OAAO,KAAK,CAAC,IAAI,QAAQ,KAAK,CAAC;YAAE,SAAS;QAC9C,yEAAyE;QACzE,SAAS,KAAK,oBAAoB,CAAC,EAAE,CAAC,CAAC;QACvC,IAAI,WAAW,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC;YAAE,SAAS;QAC/C,OAAO,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;GAGG;AACH,SAAS,aAAa,CAAC,EAAgB;IACrC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC;IAClD,MAAM,MAAM,GACV,EAAE,CAAC,OAAO,CAAC,0DAA0D,CAAC,CAAC,GAAG,EAG3E,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACrB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC;IAChC,MAAM,KAAK,GAA2C,EAAE,CAAC;IACzD,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAChC,MAAM,MAAM,GAAG,4BAA4B,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC3D,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI;YAAE,SAAS;QACrE,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC;QAChC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC;YAAE,SAAS;QAC/E,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4FAA4F;AAC5F,SAAS,YAAY,CACnB,EAAgB,EAChB,IAAY,EACZ,KAAa;IAEb,MAAM,OAAO,GAAG,OAAO,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACzF,MAAM,QAAQ,GAAG,IAAI,KAAK,OAAO,IAAI,KAAK,KAAK,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrF,OAAO,EAAE,OAAO,EAAE,OAAO,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC;AAC7C,CAAC;AAED,qEAAqE;AACrE,MAAM,oBAAoB,GAAG,mBAAmB,CAAC;AAEjD,qDAAqD;AACrD,MAAM,sBAAsB,GAAG,wBAAwB,CAAC;AAExD,gFAAgF;AAChF,MAAM,yBAAyB,GAAG,qBAAqB,CAAC;AAExD;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,uBAAuB,CAAC,EAAgB;IACtD,MAAM,KAAK,GAAG,sBAAsB,CAAC,EAAE,CAAC,CAAC;IACzC,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAChC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACvE,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC;QAChD,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,GAAG,KAAK,SAAS,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACtD,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,YAAY,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAC5D,IAAI,OAAO,KAAK,CAAC,IAAI,QAAQ,KAAK,CAAC;YAAE,SAAS;QAC9C,kBAAkB,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;GAGG;AACH,SAAS,sBAAsB,CAAC,EAAgB;IAC9C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,IAAI,GACR,EAAE,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC,GAAG,EACvC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,IAAI,CAAC;IACvC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACtD,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1B,KAAK,MAAM,GAAG,IAAI,WAAW,CAAC,GAAG,CAAC;SAC/B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,oBAAoB,CAAC,CAAC;SACjD,IAAI,EAAE,EAAE,CAAC;QACV,IAAI,OAAgB,CAAC;QACrB,IAAI,CAAC;YACH,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,sBAAsB,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;QACrF,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,OAAO,KAAK,YAAY,IAAI,WAAW,IAAI,OAAO;YAAE,SAAS;QAC/F,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YACpE,IACE,QAAQ,CAAC,CAAC,CAAC;gBACX,OAAO,CAAC,CAAC,QAAQ,KAAK,QAAQ;gBAC9B,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,yBAAyB,CAAC;gBAChD,OAAO,CAAC,CAAC,WAAW,KAAK,QAAQ,EACjC,CAAC;gBACD,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,yCAAyC;AACzC,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,iBAAiB,CAAC,EAAgB;IAChD,OAAO,aAAa,CAAC,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;AACtC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,EAAgB,EAAE,OAAgC;IACnF,MAAM,MAAM,GAAG,OAAO;SACnB,GAAG,CACF,CAAC,CAAC,EAAE,EAAE,CACJ,GAAG,CAAC,CAAC,SAAS,MAAM,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,OAAO,UAAU;QACnD,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,0BAA0B,CAAC,CAAC,CAAC,EAAE,CAAC,CACpE;SACA,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,CAAC;QAChE,OAAO,uBAAuB,MAAM,YAAY,kBAAkB,WAAW,CAAC;IAChF,CAAC;IACD,OAAO,CACL,uBAAuB,MAAM,QAAQ,kBAAkB,+BAA+B;QACtF,2BAA2B,wBAAwB,mCAAmC;QACtF,aAAa,CACd,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IACpC,IAAI,GAAG,0BAA0B,CAAC;IAE3C;;;OAGG;IACH,YAAY,IAAY,EAAE,MAAc;QACtC,KAAK,CACH,6BAA6B,IAAI,mDAAmD;YAClF,0DAA0D,MAAM,EAAE,CACrE,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;IACrC,CAAC;CACF;AAED;;;;;;GAMG;AACH,MAAM,mBAAmB,GAAG,IAAI,OAAO,EAGpC,CAAC;AAEJ;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,EAAgB;IAClD,MAAM,OAAO,GAAG,MAAM,CACnB,EAAE,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC,GAAG,EAA+B,CAAC,YAAY,CACnF,CAAC;IACF,MAAM,GAAG,GAAG,mBAAmB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACxC,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,KAAK,OAAO;QAAE,OAAO,GAAG,CAAC,OAAO,CAAC;IACvD,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;IAClC,mBAAmB,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;IAClD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,gCAAgC,CAAC;AASpE;;;;;;;;;;GAUG;AACH,MAAM,UAAU,eAAe,CAC7B,EAAgB,EAChB,MAAc,EACd,KAAa;IAEb,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,WAAW,MAAM,iBAAiB,KAAK,IAAI,CAAC,CAAC,GAAG,EAGtE,CAAC;IACH,MAAM,EAAE,GAAG,IAAI;SACZ,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;SACvB,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;SAC3B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,MAAM,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACxF,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAClC,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,MAAM,GAAG,IAAI,EAAE;SACjB,OAAO,CAAC,UAAU,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,eAAe,MAAM,MAAM,KAAK,cAAc,CAAC;SACzF,OAAO,EAA6B,EAAE,CAAC;QACxC,IAAI,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,EAAE,CAAC;IACT,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AACrD,CAAC;AAED,6EAA6E;AAC7E,SAAS,oBAAoB,CAAC,EAAgB;IAC5C,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,mBAAmB,CAAC;QAAE,OAAO,EAAE,CAAC;IAClD,OACE,EAAE;SACC,OAAO,CAAC,yDAAyD,mBAAmB,GAAG,CAAC;SACxF,GAAG,EACP,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAC7E,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,kBAAkB,CAChC,EAAgB,EAChB,QAA+C,EAC/C,GAAW,EACX,MAAY,IAAI,IAAI,EAAE;IAEtB,EAAE,CAAC,IAAI,CACL,oCAAoC,mBAAmB,KAAK;QAC1D,4EAA4E;QAC5E,+CAA+C,CAClD,CAAC;IACF,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CACvB,qBAAqB,mBAAmB,iDAAiD;QACvF,qFAAqF;QACrF,kFAAkF,CACrF,CAAC;IACF,MAAM,EAAE,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC;IAC7B,wEAAwE;IACxE,EAAE,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACnC,IAAI,CAAC;QACH,KAAK,MAAM,CAAC,IAAI,QAAQ;YAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QACzE,EAAE,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IACnC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,EAAE,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;QACrC,EAAE,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QACjC,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,oFAAoF;AACpF,SAAS,WAAW,CAAC,EAAgB,EAAE,IAAY,EAAE,OAAmC;IACtF,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;IACnD,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACrC,MAAM,GAAG,GAAG,eAAe,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAC9C,OAAO,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC;AAC9D,CAAC;AAED,8CAA8C;AAC9C,SAAS,OAAO,CAAC,EAAgB,EAAE,KAAa;IAC9C,MAAM,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,sCAAsC,KAAK,SAAS,CAAC,CAAC,GAAG,EAE/E,CAAC;IACF,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;AACrB,CAAC;AAED,SAAS,SAAS,CAAC,EAAgB,EAAE,KAAa;IAChD,OAAQ,EAAE,CAAC,OAAO,CAAC,mCAAmC,KAAK,GAAG,CAAC,CAAC,GAAG,EAAoB,CAAC,CAAC,CAAC;AAC5F,CAAC;AAED,SAAS,OAAO,CAAC,EAAgB,EAAE,KAAa;IAC9C,OAAO,EAAE,CAAC,OAAO,CAAC,2BAA2B,KAAK,IAAI,CAAC,CAAC,GAAG,EAGzD,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CAAC,EAAgB,EAAE,IAAY,EAAE,KAAa;IACjE,MAAM,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,KAAK,CAAC;SAC1B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;SACvB,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;SAC3B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACtB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/D,MAAM,UAAU,GAAG,mBAAmB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,CAAC,CAAS,EAAiB,EAAE;QACzC,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,OAAO;YAAE,OAAO,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC;QACrD,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7C,CAAC,CAAC;IACF,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACxE,MAAM,KAAK,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpE,OACE,EAAE;SACC,OAAO,CACN,mCAAmC,IAAI,MAAM;QAC3C,yCAAyC,KAAK,aAAa,KAAK,GAAG,CACtE;SACA,GAAG,EACP,CAAC,CAAC,CAAC;AACN,CAAC;AAED,yEAAyE;AACzE,SAAS,aAAa,CAAC,EAAgB;IACrC,MAAM,cAAc,GAAG,CAAC,CAAS,EAAW,EAAE;QAC5C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACzD,OAAO,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC5E,CAAC,CAAC;IACF,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC,aAAa,CAAC;QAAE,OAAO,CAAC,CAAC;IACzE,EAAE,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IACpC,OACE,EAAE;SACC,OAAO,CACN,8BAA8B,mBAAmB,CAAC,YAAY,CAAC,6BAA6B,CAC7F;SACA,GAAG,EACP,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CACzB,EAAgB,EAChB,IAAc,EACd,EAAW,EACX,UAA0E,EAAE;IAE5E,4HAA4H;IAC5H,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,IAAI,EAAE,CAAC,CAAC;IAC9E,IAAI,EAAE,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,eAAe,KAAK,IAAI,EAAE,CAAC;QACzE,oIAAoI;QACpI,MAAM,MAAM,CAAC,MAAM,CACjB,IAAI,KAAK,CACP,2BAA2B,IAAI,0EAA0E,CAC1G,EACD,EAAE,IAAI,EAAE,wBAAwB,EAAE,CACnC,CAAC;IACJ,CAAC;IACD,8EAA8E;IAC9E,IAAI,EAAE;QAAE,uBAAuB,CAAC,EAAE,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5C,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,6HAA6H;QAC7H,MAAM,IAAI,oBAAoB,CAAC,IAAI,EAAE,kBAAkB,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,YAAY,CAAC;QAAE,OAAO,KAAK,CAAC;IACrD,IAAI,aAAa,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IACjD,gBAAgB,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,UAAU,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,CAAC,OAAO,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IACxD,EAAE,CAAC,OAAO,CACR,mEAAmE;QACjE,yFAAyF,CAC5F,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACnC,OAAO,IAAI,CAAC;AACd,CAAC"}

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

@@ -0,0 +1,197 @@
+/**
+ * Held rows (journal spec §3.5 Rule 5; T13193 R-3, T13269).
+ *
+ * A local op a scoped rebase cannot replay stays rewound and is held until
+ * its echo is decided: the stream refused it (a dangling reference, a typed
+ * rule, a guard, a post-apply check), so it is sent and sequenced as usual,
+ * and the stream applies or voids it. While held:
+ *
+ * - its row meta carries `held = 1`, so the ledger check, the repair diff
+ *   and the Gate D manifest skip the row (no spurious repair D for a held
+ *   insert, whose meta has no live row);
+ * - `_sync_ledger` moves by the op's row-count effect, in both `live` and
+ *   `held`, so `live = count(*) + held` keeps holding;
+ * - its row undo records when, why (the conflict preview `cleo show` returns
+ *   with `E_SYNC_HELD`), and, for an insert, what the rewind kept that the
+ *   stream cannot bring back (local-only columns, FK children outside the
+ *   sync set), restored if the insert applies later.
+ *
+ * A rebase that rewinds a held op lifts the hold first and decides again.
+ * A held transaction's echo never takes the own-echo fast path, so its echo
+ * is always decided in a rebase, whose rewind lifts the hold.
+ *
+ * @task T13193
+ * @module store/sync/held
+ */
+import type { DatabaseSync, SQLInputValue } from 'node:sqlite';
+import { LedgerOp, type LedgerWireValue } from '@cleocode/contracts/ledger';
+import type { LAFSError } from '@cleocode/lafs';
+import { CleoError } from '../../errors.js';
+import type { LocalDescendants } from './apply/write-api.js';
+import { type RowMetaFull } from './row-meta.js';
+/** What a rewound insert kept that the stream cannot bring back (R7-2). */
+export interface KeptRow {
+    /** Its local-only columns, or null when the row had none to keep. */
+    readonly local: Record<string, SQLInputValue> | null;
+    /** Its FK children outside the sync set, removed by the rewind's DELETE. */
+    readonly descendants: LocalDescendants;
+}
+/** One op to hold. */
+export interface HoldInput {
+    readonly txn: string;
+    readonly idx: number;
+    readonly op: LedgerOp;
+    /** Whether the op's row exists now (after the rewind). */
+    readonly exists: boolean;
+    /** What refused the replay (the conflict preview). */
+    readonly reason: string;
+    /** The row's meta as the op left it, before the rewind (an insert's meta). */
+    readonly afterMeta: RowMetaFull | null;
+    readonly kept: KeptRow | null;
+    readonly nowIso: string;
+}
+/** A held op, as its row undo records it. */
+export interface HeldOp {
+    readonly txn: string;
+    readonly idx: number;
+    readonly tbl: string;
+    readonly uid: string;
+    readonly at: string;
+    readonly reason: string;
+    /** The row-count effect the ledger moved by while held. */
+    readonly effect: number;
+    readonly kept: KeptRow | null;
+}
+/**
+ * Account a rebase's own row-count change to `table` (a rewind's delete or
+ * re-insert, a replay's insert or delete). Rewind and replay write with
+ * capture suspended, so the sealer never sees them; without this the ledger
+ * would drift by every rewound insert whose echo then applies.
+ *
+ * @param db - The store, inside the rebase frame.
+ * @param table - Sync-set table.
+ * @param delta - Rows added (positive) or removed (negative).
+ */
+export declare function accountRebaseRows(db: DatabaseSync, table: string, delta: number): void;
+/**
+ * Hold an op the replay left rewound: mark its row meta held (creating it
+ * from the op's after-meta for an insert, whose rewind removed it), move the
+ * ledger by its row-count effect, and record the hold on its row undo.
+ *
+ * @param db - The store, inside the rebase frame.
+ * @param h - The op and why it is held.
+ */
+export declare function holdOp(db: DatabaseSync, h: HoldInput): void;
+/**
+ * The hold on a local op, or null when it is not held.
+ *
+ * @param db - The store.
+ * @param txn - The local transaction.
+ * @param idx - The op's index.
+ */
+export declare function heldOp(db: DatabaseSync, txn: string, idx: number): HeldOp | null;
+/**
+ * Lift the hold on a local op: reverse its ledger effect, clear `held` in
+ * its row meta, and clear the hold (what it kept stays, for a later apply).
+ *
+ * @param db - The store, inside the frame.
+ * @param txn - The local transaction.
+ * @param idx - The op's index.
+ */
+export declare function unholdOp(db: DatabaseSync, txn: string, idx: number): void;
+/**
+ * Whether a local transaction has a held op.
+ *
+ * @param db - The store.
+ * @param txn - The local transaction.
+ */
+export declare function txnHasHold(db: DatabaseSync, txn: string): boolean;
+/** A held insert, as `cleo show` reports it. */
+export interface HeldInsert {
+    readonly table: string;
+    readonly uid: string;
+    readonly txn: string;
+    readonly heldAt: string;
+    /** The conflict preview: what refused the replay. */
+    readonly reason: string;
+    /** The values the insert would write (its sealed after-image, references as uids). */
+    readonly values: Readonly<Record<string, LedgerWireValue>>;
+}
+/**
+ * Every held op, oldest first (for `cleo sync status` and `cleo doctor`).
+ *
+ * @param db - The store.
+ * @returns The holds, or none when the journal has no row undo.
+ */
+export declare function listHeldOps(db: DatabaseSync): HeldOp[];
+/** A hold older than this many days is a long hold `cleo doctor sync-journal` lists (§3.5 Rule 5). */
+export declare const HELD_WARN_DAYS = 7;
+/** A held op as the status and doctor surfaces report it (no kept snapshot). */
+export interface HeldSummary {
+    readonly txn: string;
+    readonly idx: number;
+    readonly table: string;
+    readonly uid: string;
+    readonly heldAt: string;
+    /** What refused the replay (the conflict preview). */
+    readonly reason: string;
+}
+/** Every hold in a store, and those older than the warn age. */
+export interface HoldsReport {
+    readonly total: number;
+    /** The oldest hold's time, or null when none. */
+    readonly oldestAt: string | null;
+    /** Holds older than {@link HoldsReport.warnDays}, oldest first. */
+    readonly long: readonly HeldSummary[];
+    readonly warnDays: number;
+}
+/**
+ * The store's holds for `cleo cloud status` and `cleo doctor sync-journal`
+ * (§3.5 Rule 5): how many, the oldest, and the long ones with their reason.
+ *
+ * @param db - The store (a read-only snapshot is fine).
+ * @param nowMs - The current time (epoch ms).
+ * @param warnDays - The long-hold age. @defaultValue HELD_WARN_DAYS
+ * @returns The report; empty when the journal has no row undo.
+ */
+export declare function holdsReport(db: DatabaseSync, nowMs: number, warnDays?: number): HoldsReport;
+/**
+ * The held insert into `table` whose sealed values carry `column = value`
+ * (a held row is absent, so `cleo show` finds it here), or null.
+ *
+ * @param db - The store.
+ * @param table - Sync-set table.
+ * @param column - A column of the insert's after-image (for tasks, `id`).
+ * @param value - The value it must carry.
+ * @returns The held insert, or null.
+ */
+export declare function findHeldInsert(db: DatabaseSync, table: string, column: string, value: string): HeldInsert | null;
+/**
+ * The held insert of task `id` in this project's store, or null (also when
+ * the store cannot be read: the caller's not-found stands).
+ *
+ * @param id - The task id (`T…`).
+ * @param cwd - The project directory.
+ * @returns The held insert, or null.
+ */
+export declare function findHeldTask(id: string, cwd?: string): Promise<HeldInsert | null>;
+/**
+ * `cleo show` of a row a rebase holds (§3.5 Rule 5): not `E_NOT_FOUND`, but
+ * `E_SYNC_HELD`, with the held values and the conflict preview. The insert
+ * is sent and the stream decides it: applied (its parent came back) or
+ * voided with a visible conflict.
+ */
+export declare class SyncHeldError extends CleoError {
+    /** Stable string error code for envelope `codeName` / log correlation. */
+    readonly codeName: "E_SYNC_HELD";
+    /** The held insert. */
+    readonly held: HeldInsert;
+    /**
+     * @param id - The id the caller asked for.
+     * @param held - The held insert.
+     */
+    constructor(id: string, held: HeldInsert);
+    /** The LAFS error, coded `E_SYNC_HELD`. */
+    toLAFSError(): LAFSError;
+}
+//# sourceMappingURL=held.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"held.d.ts","sourceRoot":"","sources":["../../../src/store/sync/held.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAE/D,OAAO,EAAE,QAAQ,EAAE,KAAK,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAC5E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,EAAE,KAAK,WAAW,EAAmC,MAAM,eAAe,CAAC;AAGlF,2EAA2E;AAC3E,MAAM,WAAW,OAAO;IACtB,qEAAqE;IACrE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,GAAG,IAAI,CAAC;IACrD,4EAA4E;IAC5E,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC;CACxC;AAED,sBAAsB;AACtB,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC;IACtB,0DAA0D;IAC1D,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,sDAAsD;IACtD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,8EAA8E;IAC9E,QAAQ,CAAC,SAAS,EAAE,WAAW,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,6CAA6C;AAC7C,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,2DAA2D;IAC3D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,CAAC;CAC/B;AAgFD;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAAC,EAAE,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAEtF;AAED;;;;;;;GAOG;AACH,wBAAgB,MAAM,CAAC,EAAE,EAAE,YAAY,EAAE,CAAC,EAAE,SAAS,GAAG,IAAI,CAiB3D;AAED;;;;;;GAMG;AACH,wBAAgB,MAAM,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAQhF;AA0BD;;;;;;;GAOG;AACH,wBAAgB,QAAQ,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI,CASzE;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAMjE;AAED,gDAAgD;AAChD,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,qDAAqD;IACrD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,sFAAsF;IACtF,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC;CAC5D;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,EAAE,EAAE,YAAY,GAAG,MAAM,EAAE,CAUtD;AAED,sGAAsG;AACtG,eAAO,MAAM,cAAc,IAAI,CAAC;AAEhC,gFAAgF;AAChF,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,sDAAsD;IACtD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,gEAAgE;AAChE,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,iDAAiD;IACjD,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,mEAAmE;IACnE,QAAQ,CAAC,IAAI,EAAE,SAAS,WAAW,EAAE,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CACzB,EAAE,EAAE,YAAY,EAChB,KAAK,EAAE,MAAM,EACb,QAAQ,SAAiB,GACxB,WAAW,CAkBb;AAED;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAC5B,EAAE,EAAE,YAAY,EAChB,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,GACZ,UAAU,GAAG,IAAI,CAgCnB;AAED;;;;;;;GAOG;AACH,wBAAsB,YAAY,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC,CAOvF;AAED;;;;;GAKG;AACH,qBAAa,aAAc,SAAQ,SAAS;IAC1C,0EAA0E;IAC1E,QAAQ,CAAC,QAAQ,EAAG,aAAa,CAAU;IAC3C,uBAAuB;IACvB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAE1B;;;OAGG;gBACS,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU;IAmBxC,2CAA2C;IAClC,WAAW,IAAI,SAAS;CAGlC"}