@inerrata-corporation/errata 2.0.8-dev.2914 → 2.0.8-dev.2916

package/consolidate-worker.mjs

@@ -16137,6 +16137,12 @@ CREATE UNIQUE INDEX IF NOT EXISTS edges_triple ON edges(from_id, type, to_id);
 `;
 var TEMPORAL_INDEX_SQL = `
 CREATE INDEX IF NOT EXISTS nodes_live ON nodes(label, valid_to);
+-- Covering + partial index for labelFingerprint over the instance labels: the
+-- live-push probe runs it per workspace on a timer, and each hit used to read
+-- its table row. Partial, so it maintains a few thousand rows instead of adding
+-- a write to every node write. Its label list is FINGERPRINT_INDEXED_LABELS.
+DROP INDEX IF EXISTS nodes_live_fingerprint;
+CREATE INDEX IF NOT EXISTS nodes_instance_fingerprint ON nodes(label, last_updated_at, last_reinforced_at_seq, created_at_seq) WHERE valid_to IS NULL AND label IN ('Problem','Solution','RootCause');
 CREATE INDEX IF NOT EXISTS nodes_logical ON nodes(logical_id, version);
 CREATE INDEX IF NOT EXISTS edges_live ON edges(valid_to);
 -- Expression index on the per-node relPath (stored in attrs_json) so the
@@ -16207,6 +16213,7 @@ function rowToEdge(r) {
     attrs: JSON.parse(r.attrs_json)
   };
 }
+var FINGERPRINT_INDEXED_LABELS = ["Problem", "Solution", "RootCause"];
 var SqliteGraphStore = class {
   db;
   // Typed edge lookups build their SQL from the number of types asked for, and
@@ -16683,6 +16690,32 @@ var SqliteGraphStore = class {
       attrs: JSON.parse(r.attrs_json)
     }));
   }
+  *iterateNodeIdentitiesByLabel(label, pageSize = 2e3) {
+    const page = this.db.prepare(
+      "SELECT rowid AS rid, id, json_extract(attrs_json, '$.relPath') AS relPath, json_extract(attrs_json, '$.qname') AS qname FROM nodes WHERE rowid > ? AND label = ? AND valid_to IS NULL ORDER BY rowid LIMIT ?"
+    );
+    let after = 0;
+    for (; ; ) {
+      const rows = page.all(after, label, pageSize);
+      for (const r of rows) {
+        yield {
+          id: r.id,
+          relPath: typeof r.relPath === "string" ? r.relPath : null,
+          qname: typeof r.qname === "string" ? r.qname : null
+        };
+      }
+      if (rows.length < pageSize) return;
+      after = rows[rows.length - 1].rid;
+    }
+  }
+  recentNodeIds(label, limit) {
+    const rows = this.db.prepare("SELECT id FROM nodes WHERE label = ? AND valid_to IS NULL ORDER BY last_updated_at DESC LIMIT ?").all(label, Math.max(0, limit));
+    return rows.map((r) => r.id);
+  }
+  hasLiveNodes() {
+    const r = this.db.prepare("SELECT EXISTS(SELECT 1 FROM nodes WHERE valid_to IS NULL) AS e").get();
+    return r.e === 1;
+  }
   findNodeIdentitiesByLabel(label) {
     const rows = this.stmts.identitiesByLabel.all(label);
     return rows.map((r) => ({
@@ -16830,6 +16863,15 @@ var SqliteGraphStore = class {
   }
   labelFingerprint(labels) {
     if (labels.length === 0) return "0";
+    if (labels.length === FINGERPRINT_INDEXED_LABELS.length && FINGERPRINT_INDEXED_LABELS.every((l) => labels.includes(l))) {
+      const r2 = this.db.prepare(
+        `SELECT COUNT(*) AS n, MAX(last_updated_at) AS t,
+                  MAX(COALESCE(last_reinforced_at_seq, created_at_seq, 0)) AS s
+             FROM nodes INDEXED BY nodes_instance_fingerprint
+            WHERE valid_to IS NULL AND label IN ('Problem','Solution','RootCause')`
+      ).get();
+      return `${r2.n}:${r2.t ?? 0}:${r2.s ?? 0}`;
+    }
     const r = this.db.prepare(
       `SELECT COUNT(*) AS n, MAX(last_updated_at) AS t,
                 MAX(COALESCE(last_reinforced_at_seq, created_at_seq, 0)) AS s

package/errata.mjs

@@ -17438,7 +17438,7 @@ function rowToEdge(r) {
 function openGraphStore(opts) {
   return new SqliteGraphStore(opts);
 }
-var LOCAL_RULE_OVERRIDES, SCHEMA_VERSION, SCHEMA_SQL, TEMPORAL_INDEX_SQL, SqliteGraphStore;
+var LOCAL_RULE_OVERRIDES, SCHEMA_VERSION, SCHEMA_SQL, TEMPORAL_INDEX_SQL, FINGERPRINT_INDEXED_LABELS, SqliteGraphStore;
 var init_store = __esm({
   "../../packages/local-graph/src/store.ts"() {
     "use strict";
@@ -17559,6 +17559,12 @@ CREATE UNIQUE INDEX IF NOT EXISTS edges_triple ON edges(from_id, type, to_id);
 `;
     TEMPORAL_INDEX_SQL = `
 CREATE INDEX IF NOT EXISTS nodes_live ON nodes(label, valid_to);
+-- Covering + partial index for labelFingerprint over the instance labels: the
+-- live-push probe runs it per workspace on a timer, and each hit used to read
+-- its table row. Partial, so it maintains a few thousand rows instead of adding
+-- a write to every node write. Its label list is FINGERPRINT_INDEXED_LABELS.
+DROP INDEX IF EXISTS nodes_live_fingerprint;
+CREATE INDEX IF NOT EXISTS nodes_instance_fingerprint ON nodes(label, last_updated_at, last_reinforced_at_seq, created_at_seq) WHERE valid_to IS NULL AND label IN ('Problem','Solution','RootCause');
 CREATE INDEX IF NOT EXISTS nodes_logical ON nodes(logical_id, version);
 CREATE INDEX IF NOT EXISTS edges_live ON edges(valid_to);
 -- Expression index on the per-node relPath (stored in attrs_json) so the
@@ -17572,6 +17578,7 @@ CREATE INDEX IF NOT EXISTS nodes_live_description ON nodes(description, label) W
 -- every edited file of every turn, and a scan parses every Problem's attrs.
 CREATE INDEX IF NOT EXISTS nodes_anchor_hint_path ON nodes(json_extract(attrs_json, '$.anchorHint.path')) WHERE valid_to IS NULL;
 `;
+    FINGERPRINT_INDEXED_LABELS = ["Problem", "Solution", "RootCause"];
     SqliteGraphStore = class {
       db;
       // Typed edge lookups build their SQL from the number of types asked for, and
@@ -18048,6 +18055,32 @@ CREATE INDEX IF NOT EXISTS nodes_anchor_hint_path ON nodes(json_extract(attrs_js
           attrs: JSON.parse(r.attrs_json)
         }));
       }
+      *iterateNodeIdentitiesByLabel(label, pageSize = 2e3) {
+        const page = this.db.prepare(
+          "SELECT rowid AS rid, id, json_extract(attrs_json, '$.relPath') AS relPath, json_extract(attrs_json, '$.qname') AS qname FROM nodes WHERE rowid > ? AND label = ? AND valid_to IS NULL ORDER BY rowid LIMIT ?"
+        );
+        let after = 0;
+        for (; ; ) {
+          const rows = page.all(after, label, pageSize);
+          for (const r of rows) {
+            yield {
+              id: r.id,
+              relPath: typeof r.relPath === "string" ? r.relPath : null,
+              qname: typeof r.qname === "string" ? r.qname : null
+            };
+          }
+          if (rows.length < pageSize) return;
+          after = rows[rows.length - 1].rid;
+        }
+      }
+      recentNodeIds(label, limit) {
+        const rows = this.db.prepare("SELECT id FROM nodes WHERE label = ? AND valid_to IS NULL ORDER BY last_updated_at DESC LIMIT ?").all(label, Math.max(0, limit));
+        return rows.map((r) => r.id);
+      }
+      hasLiveNodes() {
+        const r = this.db.prepare("SELECT EXISTS(SELECT 1 FROM nodes WHERE valid_to IS NULL) AS e").get();
+        return r.e === 1;
+      }
       findNodeIdentitiesByLabel(label) {
         const rows = this.stmts.identitiesByLabel.all(label);
         return rows.map((r) => ({
@@ -18195,6 +18228,15 @@ CREATE INDEX IF NOT EXISTS nodes_anchor_hint_path ON nodes(json_extract(attrs_js
       }
       labelFingerprint(labels) {
         if (labels.length === 0) return "0";
+        if (labels.length === FINGERPRINT_INDEXED_LABELS.length && FINGERPRINT_INDEXED_LABELS.every((l) => labels.includes(l))) {
+          const r2 = this.db.prepare(
+            `SELECT COUNT(*) AS n, MAX(last_updated_at) AS t,
+                  MAX(COALESCE(last_reinforced_at_seq, created_at_seq, 0)) AS s
+             FROM nodes INDEXED BY nodes_instance_fingerprint
+            WHERE valid_to IS NULL AND label IN ('Problem','Solution','RootCause')`
+          ).get();
+          return `${r2.n}:${r2.t ?? 0}:${r2.s ?? 0}`;
+        }
         const r = this.db.prepare(
           `SELECT COUNT(*) AS n, MAX(last_updated_at) AS t,
                 MAX(COALESCE(last_reinforced_at_seq, created_at_seq, 0)) AS s
@@ -23978,6 +24020,7 @@ __export(src_exports2, {
   CODE_REACH_EDGES: () => CODE_REACH_EDGES,
   CREDIT_FAMILY: () => CREDIT_FAMILY,
   DEFAULT_MIN_COVERAGE: () => DEFAULT_MIN_COVERAGE,
+  FINGERPRINT_INDEXED_LABELS: () => FINGERPRINT_INDEXED_LABELS,
   FIX_CANDIDATE_ASK_LIMIT: () => FIX_CANDIDATE_ASK_LIMIT,
   FOLD_EMBED_AUTO_COSINE: () => FOLD_EMBED_AUTO_COSINE,
   FOLD_JUDGE_MIN_COSINE: () => FOLD_JUDGE_MIN_COSINE,
@@ -80224,7 +80267,7 @@ function createWatchBreaker(deps) {
 }
 
 // src/engine.ts
-var DAEMON_VERSION = true ? "2.0.8-dev.2914" : "2.0.0-alpha.0";
+var DAEMON_VERSION = true ? "2.0.8-dev.2916" : "2.0.0-alpha.0";
 var IGNORED_PATH = /[\\/](?:\.git|node_modules|\.errata|\.claude|\.codex|\.cursor|\.turbo|\.next|dist|coverage|test-results|playwright-report|__pycache__)(?:[\\/]|$)/;
 var IGNORED_NOISE = /castalia\.db|eventlog\.sqlite|turn-cursors/;
 var GIT_OP_MUTE_MS = 4e3;
@@ -80791,7 +80834,7 @@ function createWorkspaceEngine(opts) {
     lastRemoteAt = now;
     try {
       const norm = normStackTokens;
-      const seed = store.findNodesByLabel("Problem").sort((a, b) => b.lastUpdatedAt - a.lastUpdatedAt).slice(0, 6).map((p) => p.id);
+      const seed = store.recentNodeIds("Problem", 6);
       const q = {
         stack: outboundStack(),
         domains: norm(profile.domains),
@@ -84130,7 +84173,7 @@ function buildReverseSymbolMap(opts) {
 function* reverseSymbolEntries(opts) {
   const { store, salt, projectId } = opts;
   for (const kind of ANCHOR_SYMBOL_KINDS2) {
-    for (const n of store.findNodeIdentitiesByLabel(kind)) {
+    for (const n of store.iterateNodeIdentitiesByLabel(kind)) {
       const { relPath, qname } = n;
       if (relPath === null || qname === null) continue;
       const sym = projectSymbolId(salt, projectId, relPath, qname, kind);
@@ -84138,7 +84181,7 @@ function* reverseSymbolEntries(opts) {
       yield [projectSaltedNodeId(sym, salt), n.id];
     }
   }
-  for (const n of store.findNodeIdentitiesByLabel("File")) {
+  for (const n of store.iterateNodeIdentitiesByLabel("File")) {
     if (n.relPath === null) continue;
     const sym = projectSymbolId(salt, projectId, n.relPath, FILE_ANCHOR_QNAME, "File");
     yield [sym, n.id];
@@ -84178,7 +84221,7 @@ function buildOwnKnowledgeMap(opts) {
 function* ownKnowledgeEntries(opts) {
   const { store, salt } = opts;
   for (const kind of ANCHOR_SOURCE_KINDS) {
-    for (const n of store.findNodeIdentitiesByLabel(kind)) {
+    for (const n of store.iterateNodeIdentitiesByLabel(kind)) {
       if (n.id.startsWith("projn_")) continue;
       yield [projectSaltedNodeId(n.id, salt), n.id];
     }
@@ -86489,7 +86532,7 @@ async function startMultiDaemon(opts = {}) {
       registerWorkspace(rec.engine.profile, rec.root);
     } catch {
     }
-    if (wakeIndexPlan(rec.engine.store.nodeCount(), opts.reindexOnStart !== false) === "full-index") {
+    if (wakeIndexPlan(rec.engine.store.hasLiveNodes() ? 1 : 0, opts.reindexOnStart !== false) === "full-index") {
       void enqueueWakeIndex(async () => {
         const done = markPass(`wake-index:${rec.entry.name}`);
         try {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@inerrata-corporation/errata",
-  "version": "2.0.8-dev.2914",
+  "version": "2.0.8-dev.2916",
   "description": "errata - local-first observation engine for AI coding agents",
   "type": "module",
   "bin": {

package/pass-worker.mjs

@@ -24519,6 +24519,12 @@ CREATE UNIQUE INDEX IF NOT EXISTS edges_triple ON edges(from_id, type, to_id);
 `;
 var TEMPORAL_INDEX_SQL = `
 CREATE INDEX IF NOT EXISTS nodes_live ON nodes(label, valid_to);
+-- Covering + partial index for labelFingerprint over the instance labels: the
+-- live-push probe runs it per workspace on a timer, and each hit used to read
+-- its table row. Partial, so it maintains a few thousand rows instead of adding
+-- a write to every node write. Its label list is FINGERPRINT_INDEXED_LABELS.
+DROP INDEX IF EXISTS nodes_live_fingerprint;
+CREATE INDEX IF NOT EXISTS nodes_instance_fingerprint ON nodes(label, last_updated_at, last_reinforced_at_seq, created_at_seq) WHERE valid_to IS NULL AND label IN ('Problem','Solution','RootCause');
 CREATE INDEX IF NOT EXISTS nodes_logical ON nodes(logical_id, version);
 CREATE INDEX IF NOT EXISTS edges_live ON edges(valid_to);
 -- Expression index on the per-node relPath (stored in attrs_json) so the
@@ -24589,6 +24595,7 @@ function rowToEdge(r) {
     attrs: JSON.parse(r.attrs_json)
   };
 }
+var FINGERPRINT_INDEXED_LABELS = ["Problem", "Solution", "RootCause"];
 var SqliteGraphStore = class {
   db;
   // Typed edge lookups build their SQL from the number of types asked for, and
@@ -25065,6 +25072,32 @@ var SqliteGraphStore = class {
       attrs: JSON.parse(r.attrs_json)
     }));
   }
+  *iterateNodeIdentitiesByLabel(label, pageSize = 2e3) {
+    const page = this.db.prepare(
+      "SELECT rowid AS rid, id, json_extract(attrs_json, '$.relPath') AS relPath, json_extract(attrs_json, '$.qname') AS qname FROM nodes WHERE rowid > ? AND label = ? AND valid_to IS NULL ORDER BY rowid LIMIT ?"
+    );
+    let after = 0;
+    for (; ; ) {
+      const rows = page.all(after, label, pageSize);
+      for (const r of rows) {
+        yield {
+          id: r.id,
+          relPath: typeof r.relPath === "string" ? r.relPath : null,
+          qname: typeof r.qname === "string" ? r.qname : null
+        };
+      }
+      if (rows.length < pageSize) return;
+      after = rows[rows.length - 1].rid;
+    }
+  }
+  recentNodeIds(label, limit) {
+    const rows = this.db.prepare("SELECT id FROM nodes WHERE label = ? AND valid_to IS NULL ORDER BY last_updated_at DESC LIMIT ?").all(label, Math.max(0, limit));
+    return rows.map((r) => r.id);
+  }
+  hasLiveNodes() {
+    const r = this.db.prepare("SELECT EXISTS(SELECT 1 FROM nodes WHERE valid_to IS NULL) AS e").get();
+    return r.e === 1;
+  }
   findNodeIdentitiesByLabel(label) {
     const rows = this.stmts.identitiesByLabel.all(label);
     return rows.map((r) => ({
@@ -25212,6 +25245,15 @@ var SqliteGraphStore = class {
   }
   labelFingerprint(labels) {
     if (labels.length === 0) return "0";
+    if (labels.length === FINGERPRINT_INDEXED_LABELS.length && FINGERPRINT_INDEXED_LABELS.every((l) => labels.includes(l))) {
+      const r2 = this.db.prepare(
+        `SELECT COUNT(*) AS n, MAX(last_updated_at) AS t,
+                  MAX(COALESCE(last_reinforced_at_seq, created_at_seq, 0)) AS s
+             FROM nodes INDEXED BY nodes_instance_fingerprint
+            WHERE valid_to IS NULL AND label IN ('Problem','Solution','RootCause')`
+      ).get();
+      return `${r2.n}:${r2.t ?? 0}:${r2.s ?? 0}`;
+    }
     const r = this.db.prepare(
       `SELECT COUNT(*) AS n, MAX(last_updated_at) AS t,
                 MAX(COALESCE(last_reinforced_at_seq, created_at_seq, 0)) AS s