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

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
@@ -18174,6 +18216,15 @@ function generalize(text, opts = {}) {
 // src/instance-ingest.ts
 init_src();
 
+// src/instance-receipts.ts
+function receiptMap(attrs) {
+  const value = attrs["instanceReceipts"];
+  return value && typeof value === "object" && !Array.isArray(value) ? value : {};
+}
+function instanceReceipt(n, destination) {
+  return destination ? receiptMap(n.attrs)[destination] ?? {} : n.attrs;
+}
+
 // src/contribution-ready.ts
 function cosine2(a, b) {
   if (a.length === 0 || a.length !== b.length) return 0;
@@ -19043,8 +19094,8 @@ function stripCodebaseScope(scope) {
   delete s["codebase"];
   return s;
 }
-function contributedWireId(n) {
-  const cloudId = n.attrs["cloudNodeId"];
+function contributedWireId(n, destinationKey) {
+  const cloudId = instanceReceipt(n, destinationKey)["cloudNodeId"];
   return isMembraneSaltedId(cloudId) ? cloudId : n.id;
 }
 var WIRE_CANONICAL_ID_MIN = 6;
@@ -19188,10 +19239,26 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
     fileRefsSubstituted: 0,
     fileRefLexiconMisses: 0
   };
+  const sharedCauses = /* @__PURE__ */ new Map();
+  const causalQueue = store.findNodesByLabel("Problem").filter(
+    (n) => n.attrs["source"] !== "cloud" && n.attrs["resolvedAs"] !== PROBLEM_RESOLUTION.FALSE_POSITIVE && !ignored(n.description)
+  ).map((n) => n.id);
+  const causalSeen = new Set(causalQueue);
+  for (let i = 0; i < causalQueue.length; i++) {
+    const id = causalQueue[i];
+    for (const e of [...store.outEdges(id, ["CAUSED_BY"]), ...opts.sharedStore?.outEdges(id, ["CAUSED_BY"]) ?? []]) {
+      if (causalSeen.has(e.to)) continue;
+      causalSeen.add(e.to);
+      const cause = nodeOf(e.to);
+      if (!cause || cause.label !== "RootCause" || cause.attrs["source"] === "cloud" || ignored(cause.description)) continue;
+      sharedCauses.set(cause.id, cause);
+      causalQueue.push(cause.id);
+    }
+  }
   for (const label of INSTANCE_LABELS) {
     const ref = [];
     includedByLabel.set(label, ref);
-    const population = label === "RootCause" && opts.sharedStore ? [...store.findNodesByLabel(label), ...opts.sharedStore.findNodesByLabel(label)] : store.findNodesByLabel(label);
+    const population = label === "RootCause" && opts.sharedStore ? [...store.findNodesByLabel(label), ...sharedCauses.values()] : store.findNodesByLabel(label);
     for (const n of population) {
       if (seen.has(n.id)) continue;
       if (walked.has(n.id)) continue;
@@ -19209,18 +19276,18 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
         composition.ignored++;
         continue;
       }
-      const contributedAtSeq = n.attrs["contributedAtSeq"];
+      const contributedAtSeq = instanceReceipt(n, opts.destinationKey)["contributedAtSeq"];
       if (typeof contributedAtSeq === "number" && (n.lastReinforcedAtSeq ?? 0) <= contributedAtSeq) {
         composition.watermarked++;
         anchorSources.add(n.id);
-        semanticEndpoints.set(n.id, contributedWireId(n));
+        semanticEndpoints.set(n.id, contributedWireId(n, opts.destinationKey));
         continue;
       }
       if (label === "Solution" && n.description.startsWith(AUTO_MINT_PREFIX)) {
         composition.autoMint++;
         continue;
       }
-      if (isTerminallyRefused(n)) {
+      if (isTerminallyRefused({ ...n, attrs: instanceReceipt(n, opts.destinationKey) })) {
         composition.terminalRefused++;
         continue;
       }
@@ -19279,9 +19346,9 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
     }
     const dg = digest(targets.map(({ e, wireId }) => `${e.type}>${wireId}`).sort());
     const sourceNode = nodeOf(sourceId);
-    if (sourceNode?.attrs["anchorsContributedDigest"] === dg) continue;
+    if ((sourceNode && instanceReceipt(sourceNode, opts.destinationKey)["anchorsContributedDigest"]) === dg) continue;
     anchorDigests[sourceId] = dg;
-    const wireFrom = seen.has(sourceId) || !sourceNode ? sourceId : contributedWireId(sourceNode);
+    const wireFrom = seen.has(sourceId) || !sourceNode ? sourceId : contributedWireId(sourceNode, opts.destinationKey);
     for (const { e, t, wireId } of targets) {
       const reject = unshippableReason(wireId, t.label);
       if (reject) {
@@ -19310,7 +19377,7 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
     for (const sourceId of anchorSources) {
       const source = nodeOf(sourceId);
       if (!source) continue;
-      const wireFrom = seen.has(sourceId) ? sourceId : contributedWireId(source);
+      const wireFrom = seen.has(sourceId) ? sourceId : contributedWireId(source, opts.destinationKey);
       const planned = [];
       for (const e of store.outEdges(sourceId, ["ANCHORED_AT"])) {
         const target = nodeOf(e.to);
@@ -19345,7 +19412,7 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
       const dg = digest(
         planned.map(({ symId, wireAttrs }) => `ANCHORED_AT>${symId}>${JSON.stringify(wireAttrs)}`).sort()
       );
-      if (source.attrs["projectAnchorsContributedDigest"] === dg) continue;
+      if (instanceReceipt(source, opts.destinationKey)["projectAnchorsContributedDigest"] === dg) continue;
       projectAnchorDigests[sourceId] = dg;
       for (const { e, target, symId, wireAttrs } of planned) {
         if (!contextSeen.has(symId)) {
@@ -19391,7 +19458,7 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
     if (outs.length === 0) continue;
     const dg = digest(outs.map(({ e, wireTo }) => `${e.type}>${wireTo}`).sort());
     const owner = nodeOf(sourceId);
-    const digestSkip = owner?.attrs["semanticEdgesContributedDigest"] === dg;
+    const digestSkip = (owner && instanceReceipt(owner, opts.destinationKey)["semanticEdgesContributedDigest"]) === dg;
     if (!digestSkip) semanticEdgeDigests[sourceId] = dg;
     for (const { e, wireTo } of outs) {
       if (digestSkip && !shippedById.has(e.to)) continue;
@@ -19448,7 +19515,7 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
   for (const wn of nodes) {
     if (wn.label !== "RootCause" && wn.label !== "Solution") continue;
     const src = nodeOf(wn.id);
-    if (typeof src?.attrs["contributedAtSeq"] === "number") continue;
+    if (src && typeof instanceReceipt(src, opts.destinationKey)["contributedAtSeq"] === "number") continue;
     if (bindingEndpoints.has(wn.id)) continue;
     heldOrphans.add(wn.id);
   }
@@ -19526,6 +19593,7 @@ function buildDrainInstances(store, sharedStore, input) {
     ...input.includePackages !== void 0 ? { includePackages: input.includePackages } : {},
     workspaceRoot: input.workspaceRoot,
     sharedStore,
+    destinationKey: input.destinationKey,
     onComposition: (c) => {
       composition = c;
     },

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.2929" : "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),
@@ -82670,6 +82713,40 @@ async function listenServer(fetchFn, port) {
 init_registry();
 init_identity2();
 
+// src/instance-receipts.ts
+import { createHash as createHash16 } from "node:crypto";
+var FIELDS = ["contributedAtSeq", "cloudNodeId", "anchorsContributedDigest", "projectAnchorsContributedDigest", "semanticEdgesContributedDigest", "shipRefusedSinceSeq", "shipRefusedCount", "shipRefusedReason", "shipRefusedFingerprint"];
+function instanceDestinationKey(input) {
+  return createHash16("sha256").update(JSON.stringify([
+    input.workspace,
+    input.cloudUrl.replace(/\/+$/, ""),
+    input.installationId ?? input.profileName ?? "default",
+    input.projectId ?? null,
+    input.writeTarget?.visibility ?? null,
+    input.writeTarget?.org_id ?? null,
+    input.writeTarget?.team_id ?? null
+  ])).digest("hex");
+}
+function receiptMap(attrs) {
+  const value = attrs["instanceReceipts"];
+  return value && typeof value === "object" && !Array.isArray(value) ? value : {};
+}
+function instanceReceipt(n, destination) {
+  return destination ? receiptMap(n.attrs)[destination] ?? {} : n.attrs;
+}
+function updateInstanceReceipt(n, destination, patch, mirrorLegacy) {
+  const receipt = { ...instanceReceipt(n, destination), ...patch };
+  const attrs = { ...n.attrs, instanceReceipts: { ...receiptMap(n.attrs), [destination]: receipt } };
+  if (mirrorLegacy) for (const field of FIELDS) {
+    if (field in receipt) attrs[field] = receipt[field];
+    else delete attrs[field];
+  }
+  return attrs;
+}
+function instanceReceiptSequence(n) {
+  return Math.max(n.lastReinforcedAtSeq ?? 0, n.createdAtSeq ?? 0);
+}
+
 // src/multi.ts
 init_dist();
 init_src5();
@@ -83074,8 +83151,8 @@ function compositionCounters(c) {
     ...Object.fromEntries(buckets.map((b) => [`sidecarDrop_${b}`, sidecarDropReasons[b] ?? 0]))
   };
 }
-function contributedWireId(n) {
-  const cloudId = n.attrs["cloudNodeId"];
+function contributedWireId(n, destinationKey) {
+  const cloudId = instanceReceipt(n, destinationKey)["cloudNodeId"];
   return isMembraneSaltedId(cloudId) ? cloudId : n.id;
 }
 var WIRE_CANONICAL_ID_MIN = 6;
@@ -83219,10 +83296,26 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
     fileRefsSubstituted: 0,
     fileRefLexiconMisses: 0
   };
+  const sharedCauses = /* @__PURE__ */ new Map();
+  const causalQueue = store.findNodesByLabel("Problem").filter(
+    (n) => n.attrs["source"] !== "cloud" && n.attrs["resolvedAs"] !== PROBLEM_RESOLUTION.FALSE_POSITIVE && !ignored(n.description)
+  ).map((n) => n.id);
+  const causalSeen = new Set(causalQueue);
+  for (let i2 = 0; i2 < causalQueue.length; i2++) {
+    const id = causalQueue[i2];
+    for (const e of [...store.outEdges(id, ["CAUSED_BY"]), ...opts.sharedStore?.outEdges(id, ["CAUSED_BY"]) ?? []]) {
+      if (causalSeen.has(e.to)) continue;
+      causalSeen.add(e.to);
+      const cause = nodeOf(e.to);
+      if (!cause || cause.label !== "RootCause" || cause.attrs["source"] === "cloud" || ignored(cause.description)) continue;
+      sharedCauses.set(cause.id, cause);
+      causalQueue.push(cause.id);
+    }
+  }
   for (const label of INSTANCE_LABELS) {
     const ref = [];
     includedByLabel.set(label, ref);
-    const population = label === "RootCause" && opts.sharedStore ? [...store.findNodesByLabel(label), ...opts.sharedStore.findNodesByLabel(label)] : store.findNodesByLabel(label);
+    const population = label === "RootCause" && opts.sharedStore ? [...store.findNodesByLabel(label), ...sharedCauses.values()] : store.findNodesByLabel(label);
     for (const n of population) {
       if (seen.has(n.id)) continue;
       if (walked.has(n.id)) continue;
@@ -83240,18 +83333,18 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
         composition.ignored++;
         continue;
       }
-      const contributedAtSeq = n.attrs["contributedAtSeq"];
+      const contributedAtSeq = instanceReceipt(n, opts.destinationKey)["contributedAtSeq"];
       if (typeof contributedAtSeq === "number" && (n.lastReinforcedAtSeq ?? 0) <= contributedAtSeq) {
         composition.watermarked++;
         anchorSources.add(n.id);
-        semanticEndpoints.set(n.id, contributedWireId(n));
+        semanticEndpoints.set(n.id, contributedWireId(n, opts.destinationKey));
         continue;
       }
       if (label === "Solution" && n.description.startsWith(AUTO_MINT_PREFIX)) {
         composition.autoMint++;
         continue;
       }
-      if (isTerminallyRefused(n)) {
+      if (isTerminallyRefused({ ...n, attrs: instanceReceipt(n, opts.destinationKey) })) {
         composition.terminalRefused++;
         continue;
       }
@@ -83310,9 +83403,9 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
     }
     const dg = digest(targets.map(({ e, wireId }) => `${e.type}>${wireId}`).sort());
     const sourceNode = nodeOf(sourceId);
-    if (sourceNode?.attrs["anchorsContributedDigest"] === dg) continue;
+    if ((sourceNode && instanceReceipt(sourceNode, opts.destinationKey)["anchorsContributedDigest"]) === dg) continue;
     anchorDigests[sourceId] = dg;
-    const wireFrom = seen.has(sourceId) || !sourceNode ? sourceId : contributedWireId(sourceNode);
+    const wireFrom = seen.has(sourceId) || !sourceNode ? sourceId : contributedWireId(sourceNode, opts.destinationKey);
     for (const { e, t, wireId } of targets) {
       const reject = unshippableReason(wireId, t.label);
       if (reject) {
@@ -83341,7 +83434,7 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
     for (const sourceId of anchorSources) {
       const source = nodeOf(sourceId);
       if (!source) continue;
-      const wireFrom = seen.has(sourceId) ? sourceId : contributedWireId(source);
+      const wireFrom = seen.has(sourceId) ? sourceId : contributedWireId(source, opts.destinationKey);
       const planned = [];
       for (const e of store.outEdges(sourceId, ["ANCHORED_AT"])) {
         const target = nodeOf(e.to);
@@ -83376,7 +83469,7 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
       const dg = digest(
         planned.map(({ symId, wireAttrs }) => `ANCHORED_AT>${symId}>${JSON.stringify(wireAttrs)}`).sort()
       );
-      if (source.attrs["projectAnchorsContributedDigest"] === dg) continue;
+      if (instanceReceipt(source, opts.destinationKey)["projectAnchorsContributedDigest"] === dg) continue;
       projectAnchorDigests[sourceId] = dg;
       for (const { e, target, symId, wireAttrs } of planned) {
         if (!contextSeen.has(symId)) {
@@ -83422,7 +83515,7 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
     if (outs.length === 0) continue;
     const dg = digest(outs.map(({ e, wireTo }) => `${e.type}>${wireTo}`).sort());
     const owner = nodeOf(sourceId);
-    const digestSkip = owner?.attrs["semanticEdgesContributedDigest"] === dg;
+    const digestSkip = (owner && instanceReceipt(owner, opts.destinationKey)["semanticEdgesContributedDigest"]) === dg;
     if (!digestSkip) semanticEdgeDigests[sourceId] = dg;
     for (const { e, wireTo } of outs) {
       if (digestSkip && !shippedById.has(e.to)) continue;
@@ -83479,7 +83572,7 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
   for (const wn of nodes) {
     if (wn.label !== "RootCause" && wn.label !== "Solution") continue;
     const src = nodeOf(wn.id);
-    if (typeof src?.attrs["contributedAtSeq"] === "number") continue;
+    if (src && typeof instanceReceipt(src, opts.destinationKey)["contributedAtSeq"] === "number") continue;
     if (bindingEndpoints.has(wn.id)) continue;
     heldOrphans.add(wn.id);
   }
@@ -83633,6 +83726,7 @@ function buildDrainInstances(store, sharedStore, input) {
     ...input.includePackages !== void 0 ? { includePackages: input.includePackages } : {},
     workspaceRoot: input.workspaceRoot,
     sharedStore,
+    destinationKey: input.destinationKey,
     onComposition: (c) => {
       composition = c;
     },
@@ -84130,7 +84224,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 +84232,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 +84272,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];
     }
@@ -85300,7 +85394,7 @@ async function startHistoryStage(root, input, client, walk11 = {}) {
 
 // src/link-flow.ts
 init_cloud_auth();
-import { createHash as createHash16 } from "node:crypto";
+import { createHash as createHash17 } from "node:crypto";
 import { execFileSync as execFileSync5 } from "node:child_process";
 import { existsSync as existsSync30, writeFileSync as writeFileSync23 } from "node:fs";
 import { join as join38 } from "node:path";
@@ -85594,7 +85688,7 @@ async function loginOAuthLoopback(opts) {
 
 // src/link-flow.ts
 function remoteFingerprint(locator) {
-  return createHash16("sha256").update(locator).digest("hex");
+  return createHash17("sha256").update(locator).digest("hex");
 }
 function isDecision(value) {
   if (!value || typeof value !== "object") return false;
@@ -86489,7 +86583,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 {
@@ -87311,6 +87405,7 @@ async function startMultiDaemon(opts = {}) {
       }
       const ignore2 = loadClaimIgnorePatterns(globalDir());
       const clientPool = /* @__PURE__ */ new Map();
+      const receiptContexts = /* @__PURE__ */ new Map();
       const poolFor = (identity) => {
         const k = identityKey(identity);
         let c = clientPool.get(k);
@@ -87453,7 +87548,26 @@ async function startMultiDaemon(opts = {}) {
             return res.accepted;
           });
         }
+        const receiptProfile = recordIdentity.profile ?? (cfg2.activeInstallationProfile ? cfg2.installationProfiles[cfg2.activeInstallationProfile] : void 0);
+        let receiptContext = receiptContexts.get(identityKey(recordIdentity));
+        if (!receiptContext) {
+          try {
+            receiptContext = await client.context();
+            receiptContexts.set(identityKey(recordIdentity), receiptContext);
+          } catch (err2) {
+            errors.push(`[${projectName}] instance destination unresolved: ${err2 instanceof Error ? err2.message : String(err2)}`);
+            continue;
+          }
+        }
+        const destinationKey = instanceDestinationKey({
+          workspace: r.id,
+          cloudUrl: opts.cloudUrl ?? receiptProfile?.cloudUrl ?? cfg2.cloudUrl,
+          installationId: receiptContext.context.installation_id ?? receiptContext.identity.credential_id,
+          projectId: project?.projectId,
+          writeTarget: project ? null : receiptContext.context.default_write_target
+        });
         const built = await buildInstanceBatch(r, {
+          destinationKey,
           profile: r.engine.profile,
           daemonVersion: DAEMON_VERSION,
           ignorePatterns: [...ignore2],
@@ -87498,7 +87612,6 @@ async function startMultiDaemon(opts = {}) {
               );
             }
             uploaded += res.accepted;
-            const seq = store.currentIngestSeq();
             const cloudIdByLocal = new Map(
               res.result.nodes.filter((rn) => rn.nodeId).map((rn) => [rn.canonicalId, rn.nodeId])
             );
@@ -87507,6 +87620,7 @@ async function startMultiDaemon(opts = {}) {
               if (rn.decision === "rejected") rejected.set(rn.canonicalId, rn.reason ?? "no reason given");
             }
             const rejectedEdges = res.result.edges.filter((re) => re.decision === "rejected");
+            const edgeReceiptsComplete = rejectedEdges.length === 0 && res.result.edges.length === instances.edges.length;
             if (rejectedEdges.length > 0) {
               const byReason = /* @__PURE__ */ new Map();
               for (const re of rejectedEdges) {
@@ -87537,17 +87651,17 @@ async function startMultiDaemon(opts = {}) {
               const owner = owningStore(id);
               if (!owner) return;
               const fp = refusalFingerprint(reason, owner.n.description);
-              const same = owner.n.attrs["shipRefusedFingerprint"] === fp;
-              const count = same ? Number(owner.n.attrs["shipRefusedCount"] ?? 0) + 1 : 1;
-              if (owner.n.attrs["shipRefusedSinceSeq"] !== void 0) repeat();
+              const same = instanceReceipt(owner.n, destinationKey)["shipRefusedFingerprint"] === fp;
+              const count = same ? Number(instanceReceipt(owner.n, destinationKey)["shipRefusedCount"] ?? 0) + 1 : 1;
+              if (instanceReceipt(owner.n, destinationKey)["shipRefusedSinceSeq"] !== void 0) repeat();
               owner.s.updateNode(id, {
-                attrs: {
-                  ...owner.n.attrs,
-                  ...same && owner.n.attrs["shipRefusedSinceSeq"] !== void 0 ? {} : { shipRefusedSinceSeq: seq },
+                attrs: updateInstanceReceipt(owner.n, destinationKey, {
+                  ...instanceReceipt(owner.n, destinationKey),
+                  ...same && instanceReceipt(owner.n, destinationKey)["shipRefusedSinceSeq"] !== void 0 ? {} : { shipRefusedSinceSeq: owner.s.currentIngestSeq() },
                   shipRefusedCount: count,
                   shipRefusedReason: reason,
                   shipRefusedFingerprint: fp
-                }
+                }, owner.s === store)
               });
               if (same && count === SHIP_TERMINAL_REFUSALS && !isRetryableRefusal(reason)) {
                 nowHeld.push({ id, reason });
@@ -87564,6 +87678,7 @@ async function startMultiDaemon(opts = {}) {
               const owner = owningStore(n.id);
               if (!owner || !["Problem", "Solution", "RootCause"].includes(owner.n.label)) return;
               if (blocked.has(n.id)) return;
+              if (!cloudIdByLocal.has(n.id)) return;
               if (rejected.has(n.id)) return;
               const cloudNodeId = cloudIdByLocal.get(n.id);
               const {
@@ -87572,37 +87687,41 @@ async function startMultiDaemon(opts = {}) {
                 shipRefusedReason: _clearedReason,
                 shipRefusedFingerprint: _clearedFp,
                 ...carried
-              } = owner.n.attrs;
+              } = instanceReceipt(owner.n, destinationKey);
               owner.s.updateNode(n.id, {
-                attrs: {
+                attrs: updateInstanceReceipt(owner.n, destinationKey, {
                   ...carried,
-                  contributedAtSeq: seq,
-                  ...cloudNodeId && cloudNodeId !== n.id ? { cloudNodeId } : {}
-                }
+                  shipRefusedSinceSeq: void 0,
+                  shipRefusedCount: void 0,
+                  shipRefusedReason: void 0,
+                  shipRefusedFingerprint: void 0,
+                  contributedAtSeq: instanceReceiptSequence(n),
+                  cloudNodeId
+                }, owner.s === store)
               });
             });
             await stampBatched(Object.entries(instances.anchorDigests), ([localId, dg]) => {
               const owner = owningStore(localId);
               if (!owner) return;
-              if (rejected.has(localId) || blocked.has(localId)) return;
+              if (!edgeReceiptsComplete || !instanceReceipt(owner.n, destinationKey)["cloudNodeId"] || rejected.has(localId) || blocked.has(localId)) return;
               owner.s.updateNode(localId, {
-                attrs: { ...owner.n.attrs, anchorsContributedDigest: dg }
+                attrs: updateInstanceReceipt(owner.n, destinationKey, { anchorsContributedDigest: dg }, owner.s === store)
               });
             });
             await stampBatched(Object.entries(instances.projectAnchorDigests), ([localId, dg]) => {
               const owner = owningStore(localId);
               if (!owner) return;
-              if (rejected.has(localId) || blocked.has(localId)) return;
+              if (!edgeReceiptsComplete || !instanceReceipt(owner.n, destinationKey)["cloudNodeId"] || rejected.has(localId) || blocked.has(localId)) return;
               owner.s.updateNode(localId, {
-                attrs: { ...owner.n.attrs, projectAnchorsContributedDigest: dg }
+                attrs: updateInstanceReceipt(owner.n, destinationKey, { projectAnchorsContributedDigest: dg }, owner.s === store)
               });
             });
             await stampBatched(Object.entries(instances.semanticEdgeDigests), ([localId, dg]) => {
               const owner = owningStore(localId);
               if (!owner) return;
-              if (rejected.has(localId) || blocked.has(localId)) return;
+              if (!edgeReceiptsComplete || !instanceReceipt(owner.n, destinationKey)["cloudNodeId"] || rejected.has(localId) || blocked.has(localId)) return;
               owner.s.updateNode(localId, {
-                attrs: { ...owner.n.attrs, semanticEdgesContributedDigest: dg }
+                attrs: updateInstanceReceipt(owner.n, destinationKey, { semanticEdgesContributedDigest: dg }, owner.s === store)
               });
             });
             appendPassLedger(r.engine.paths.configDir, "ship", Date.now() - shipStartedAt, {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@inerrata-corporation/errata",
-  "version": "2.0.8-dev.2914",
+  "version": "2.0.8-dev.2929",
   "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