@cleocode/core 2026.5.133 → 2026.5.134

package/dist/store/exodus/verify.js

@@ -0,0 +1,168 @@
+/**
+ * Exodus verification engine.
+ *
+ * `runExodusVerify()` checks equivalence between source legacy DBs and the
+ * consolidated dual-scope `cleo.db` after a migration.
+ *
+ * ## Equivalence checks (AC7)
+ *
+ * Per-table:
+ *   1. `COUNT(*)` parity — source and target row counts must match.
+ *   2. Ordered canonical-JSON digest — SELECT all rows ORDER BY rowid, JSON-
+ *      stringify each row, SHA-256 the concatenation (truncated to 32 hex).
+ *
+ * @task T11248 (E5 · AC7 · SG-DB-SUBSTRATE-V2)
+ * @saga T11242
+ */
+import { existsSync } from 'node:fs';
+import { createRequire } from 'node:module';
+import { getLogger } from '../../logger.js';
+import { openCleoDbSnapshot } from '../open-cleo-db.js';
+const log = getLogger('exodus-verify');
+const _require = createRequire(import.meta.url);
+// ---------------------------------------------------------------------------
+// Digest helper (AC7)
+// ---------------------------------------------------------------------------
+/**
+ * Compute an ordered canonical-JSON SHA-256 digest (32 hex chars) for all rows
+ * in a table.
+ *
+ * Rows are fetched `ORDER BY rowid` so the ordering is deterministic. Each row
+ * is canonicalized as `JSON.stringify(row)` and appended to the hash.
+ */
+function computeTableDigest(db, tableName) {
+    const { createHash } = _require('node:crypto');
+    const hasher = createHash('sha256');
+    const rows = db.prepare(`SELECT * FROM "${tableName}" ORDER BY rowid`).all();
+    for (const row of rows) {
+        hasher.update(JSON.stringify(row));
+    }
+    return {
+        count: rows.length,
+        hash: hasher.digest('hex').slice(0, 32),
+    };
+}
+// ---------------------------------------------------------------------------
+// Table listing
+// ---------------------------------------------------------------------------
+function listTables(db) {
+    const rows = db
+        .prepare("SELECT name FROM sqlite_master WHERE type='table' AND name NOT LIKE 'sqlite_%' AND name NOT LIKE '__drizzle_%' ORDER BY name")
+        .all();
+    return rows.map((r) => r.name);
+}
+// ---------------------------------------------------------------------------
+// Main verify runner
+// ---------------------------------------------------------------------------
+/**
+ * Run equivalence verification after an exodus migration.
+ *
+ * Opens source DBs read-only and the consolidated target DBs read-only, then
+ * compares row counts and canonical-JSON digests per table.
+ *
+ * @param sources        - Legacy source descriptors (from `buildExodusPlan()`).
+ * @param projectDbPath  - Absolute path to the consolidated project `cleo.db`.
+ * @param globalDbPath   - Absolute path to the consolidated global `cleo.db`.
+ * @param onProgress     - Optional progress callback.
+ *
+ * @returns {@link ExodusVerifyResult}
+ *
+ * @task T11248 (AC7)
+ */
+export function runExodusVerify(sources, projectDbPath, globalDbPath, onProgress) {
+    const tableResults = [];
+    let overallOk = true;
+    // Check target DBs exist
+    if (!existsSync(projectDbPath)) {
+        return {
+            ok: false,
+            tables: [],
+            error: `Consolidated project cleo.db not found at ${projectDbPath}. Run 'cleo exodus migrate' first.`,
+        };
+    }
+    if (!existsSync(globalDbPath)) {
+        return {
+            ok: false,
+            tables: [],
+            error: `Consolidated global cleo.db not found at ${globalDbPath}. Run 'cleo exodus migrate' first.`,
+        };
+    }
+    const projectSnap = openCleoDbSnapshot(projectDbPath, { readOnly: true });
+    const globalSnap = openCleoDbSnapshot(globalDbPath, { readOnly: true });
+    try {
+        for (const src of sources) {
+            if (!existsSync(src.path)) {
+                onProgress?.(`Skipping ${src.name} (not present)`);
+                continue;
+            }
+            const srcSnap = openCleoDbSnapshot(src.path, { readOnly: true });
+            const targetSnap = src.targetScope === 'project' ? projectSnap : globalSnap;
+            const scope = src.targetScope;
+            try {
+                const sourceTables = listTables(srcSnap.db);
+                const targetTables = new Set(listTables(targetSnap.db));
+                for (const tableName of sourceTables) {
+                    onProgress?.(`Verifying ${src.name}.${tableName}…`);
+                    if (!targetTables.has(tableName)) {
+                        // Table missing in target (E6 will populate it — treat as skipped rows = 0)
+                        const srcResult = computeTableDigest(srcSnap.db, tableName);
+                        const result = {
+                            tableName,
+                            scope,
+                            sourceCount: srcResult.count,
+                            targetCount: 0,
+                            sourceHash: srcResult.hash,
+                            targetHash: '',
+                            hashMatch: srcResult.count === 0, // only ok if source was empty
+                            countMatch: srcResult.count === 0,
+                        };
+                        if (!result.countMatch) {
+                            overallOk = false;
+                            log.warn({ tableName, sourceDb: src.name }, 'Table missing in consolidated DB');
+                        }
+                        tableResults.push(result);
+                        continue;
+                    }
+                    const srcDigest = computeTableDigest(srcSnap.db, tableName);
+                    const tgtDigest = computeTableDigest(targetSnap.db, tableName);
+                    const countMatch = srcDigest.count === tgtDigest.count;
+                    const hashMatch = srcDigest.hash === tgtDigest.hash;
+                    if (!countMatch || !hashMatch) {
+                        overallOk = false;
+                        log.warn({
+                            tableName,
+                            srcCount: srcDigest.count,
+                            tgtCount: tgtDigest.count,
+                            countMatch,
+                            hashMatch,
+                        }, 'Equivalence check failed');
+                    }
+                    tableResults.push({
+                        tableName,
+                        scope,
+                        sourceCount: srcDigest.count,
+                        targetCount: tgtDigest.count,
+                        sourceHash: srcDigest.hash,
+                        targetHash: tgtDigest.hash,
+                        hashMatch,
+                        countMatch,
+                    });
+                }
+            }
+            finally {
+                srcSnap.close();
+            }
+        }
+    }
+    catch (err) {
+        const error = err instanceof Error ? err.message : String(err);
+        log.error({ err }, 'Exodus verify failed');
+        return { ok: false, tables: tableResults, error };
+    }
+    finally {
+        projectSnap.close();
+        globalSnap.close();
+    }
+    return { ok: overallOk, tables: tableResults };
+}
+//# sourceMappingURL=verify.js.map

package/dist/store/exodus/verify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.js","sourceRoot":"","sources":["../../../src/store/exodus/verify.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAE5C,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAQxD,MAAM,GAAG,GAAG,SAAS,CAAC,eAAe,CAAC,CAAC;AAEvC,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAEhD,8EAA8E;AAC9E,sBAAsB;AACtB,8EAA8E;AAE9E;;;;;;GAMG;AACH,SAAS,kBAAkB,CAAC,EAAgB,EAAE,SAAiB;IAC7D,MAAM,EAAE,UAAU,EAAE,GAAG,QAAQ,CAAC,aAAa,CAAiC,CAAC;IAC/E,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAEpC,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,kBAAkB,SAAS,kBAAkB,CAAC,CAAC,GAAG,EAAe,CAAC;IAE1F,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;IACrC,CAAC;IAED,OAAO;QACL,KAAK,EAAE,IAAI,CAAC,MAAM;QAClB,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;KACxC,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,gBAAgB;AAChB,8EAA8E;AAE9E,SAAS,UAAU,CAAC,EAAgB;IAClC,MAAM,IAAI,GAAG,EAAE;SACZ,OAAO,CACN,8HAA8H,CAC/H;SACA,GAAG,EAA6B,CAAC;IACpC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AACjC,CAAC;AAED,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,eAAe,CAC7B,OAA6B,EAC7B,aAAqB,EACrB,YAAoB,EACpB,UAAkC;IAElC,MAAM,YAAY,GAAwB,EAAE,CAAC;IAC7C,IAAI,SAAS,GAAG,IAAI,CAAC;IAErB,yBAAyB;IACzB,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;QAC/B,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,EAAE;YACV,KAAK,EAAE,6CAA6C,aAAa,oCAAoC;SACtG,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAC9B,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,EAAE;YACV,KAAK,EAAE,4CAA4C,YAAY,oCAAoC;SACpG,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,kBAAkB,CAAC,aAAa,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1E,MAAM,UAAU,GAAG,kBAAkB,CAAC,YAAY,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IAExE,IAAI,CAAC;QACH,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1B,UAAU,EAAE,CAAC,YAAY,GAAG,CAAC,IAAI,gBAAgB,CAAC,CAAC;gBACnD,SAAS;YACX,CAAC;YAED,MAAM,OAAO,GAAG,kBAAkB,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;YACjE,MAAM,UAAU,GACd,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC;YAC3D,MAAM,KAAK,GAAgB,GAAG,CAAC,WAAW,CAAC;YAE3C,IAAI,CAAC;gBACH,MAAM,YAAY,GAAG,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;gBAC5C,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;gBAExD,KAAK,MAAM,SAAS,IAAI,YAAY,EAAE,CAAC;oBACrC,UAAU,EAAE,CAAC,aAAa,GAAG,CAAC,IAAI,IAAI,SAAS,GAAG,CAAC,CAAC;oBAEpD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;wBACjC,4EAA4E;wBAC5E,MAAM,SAAS,GAAG,kBAAkB,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;wBAC5D,MAAM,MAAM,GAAsB;4BAChC,SAAS;4BACT,KAAK;4BACL,WAAW,EAAE,SAAS,CAAC,KAAK;4BAC5B,WAAW,EAAE,CAAC;4BACd,UAAU,EAAE,SAAS,CAAC,IAAI;4BAC1B,UAAU,EAAE,EAAE;4BACd,SAAS,EAAE,SAAS,CAAC,KAAK,KAAK,CAAC,EAAE,8BAA8B;4BAChE,UAAU,EAAE,SAAS,CAAC,KAAK,KAAK,CAAC;yBAClC,CAAC;wBACF,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;4BACvB,SAAS,GAAG,KAAK,CAAC;4BAClB,GAAG,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,kCAAkC,CAAC,CAAC;wBAClF,CAAC;wBACD,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;wBAC1B,SAAS;oBACX,CAAC;oBAED,MAAM,SAAS,GAAG,kBAAkB,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;oBAC5D,MAAM,SAAS,GAAG,kBAAkB,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;oBAE/D,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,KAAK,SAAS,CAAC,KAAK,CAAC;oBACvD,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,CAAC;oBAEpD,IAAI,CAAC,UAAU,IAAI,CAAC,SAAS,EAAE,CAAC;wBAC9B,SAAS,GAAG,KAAK,CAAC;wBAClB,GAAG,CAAC,IAAI,CACN;4BACE,SAAS;4BACT,QAAQ,EAAE,SAAS,CAAC,KAAK;4BACzB,QAAQ,EAAE,SAAS,CAAC,KAAK;4BACzB,UAAU;4BACV,SAAS;yBACV,EACD,0BAA0B,CAC3B,CAAC;oBACJ,CAAC;oBAED,YAAY,CAAC,IAAI,CAAC;wBAChB,SAAS;wBACT,KAAK;wBACL,WAAW,EAAE,SAAS,CAAC,KAAK;wBAC5B,WAAW,EAAE,SAAS,CAAC,KAAK;wBAC5B,UAAU,EAAE,SAAS,CAAC,IAAI;wBAC1B,UAAU,EAAE,SAAS,CAAC,IAAI;wBAC1B,SAAS;wBACT,UAAU;qBACX,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;oBAAS,CAAC;gBACT,OAAO,CAAC,KAAK,EAAE,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,KAAK,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC/D,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,EAAE,sBAAsB,CAAC,CAAC;QAC3C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;IACpD,CAAC;YAAS,CAAC;QACT,WAAW,CAAC,KAAK,EAAE,CAAC;QACpB,UAAU,CAAC,KAAK,EAAE,CAAC;IACrB,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;AACjD,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cleocode/core",
-  "version": "2026.5.133",
+  "version": "2026.5.134",
   "description": "CLEO core business logic kernel — tasks, sessions, memory, orchestration, lifecycle, with bundled SQLite store",
   "type": "module",
   "main": "./dist/index.js",
@@ -399,16 +399,16 @@
     "write-file-atomic": "^7.0.1",
     "yaml": "^2.8.3",
     "zod": "^4.3.6",
-    "@cleocode/adapters": "2026.5.133",
-    "@cleocode/caamp": "2026.5.133",
-    "@cleocode/contracts": "2026.5.133",
-    "@cleocode/agents": "2026.5.133",
-    "@cleocode/lafs": "2026.5.133",
-    "@cleocode/nexus": "2026.5.133",
-    "@cleocode/paths": "2026.5.133",
-    "@cleocode/skills": "2026.5.133",
-    "@cleocode/utils": "2026.5.122",
-    "@cleocode/worktree": "2026.5.133"
+    "@cleocode/adapters": "2026.5.134",
+    "@cleocode/agents": "2026.5.134",
+    "@cleocode/lafs": "2026.5.134",
+    "@cleocode/caamp": "2026.5.134",
+    "@cleocode/contracts": "2026.5.134",
+    "@cleocode/nexus": "2026.5.134",
+    "@cleocode/paths": "2026.5.134",
+    "@cleocode/skills": "2026.5.134",
+    "@cleocode/worktree": "2026.5.134",
+    "@cleocode/utils": "2026.5.122"
   },
   "engines": {
     "node": ">=24.16.0"
@@ -440,7 +440,7 @@
   },
   "optionalDependencies": {
     "llmtxt": "^2026.5.15",
-    "@cleocode/studio": "^2026.5.133"
+    "@cleocode/studio": "^2026.5.134"
   },
   "scripts": {
     "build": "tsc",