@inerrata-corporation/errata 2.0.17-dev.3426 → 2.0.17-dev.3435

package/consolidate-worker.mjs

@@ -15884,13 +15884,13 @@ function loadNodeSqlite() {
     process.emitWarning = original;
   }
 }
-function openDatabase(path) {
-  const db = new DatabaseSync(path);
+function openDatabase(path, opts) {
+  const db = opts ? new DatabaseSync(path, opts) : new DatabaseSync(path);
   try {
     db.exec("PRAGMA foreign_keys = ON");
   } catch {
   }
-  if (path !== ":memory:") {
+  if (path !== ":memory:" && !opts?.readOnly) {
     try {
       db.exec("PRAGMA journal_mode = WAL");
       db.exec("PRAGMA synchronous = NORMAL");
@@ -16157,8 +16157,9 @@ init_src2();
 init_src();
 
 // ../../packages/local-graph/src/history-cache-floor.ts
+var HISTORY_CACHE_FLOOR_KEY = "history-cache-withdrawal-floor-3";
 function installHistoryCacheFloor(db) {
-  const key = "history-cache-withdrawal-floor-3";
+  const key = HISTORY_CACHE_FLOOR_KEY;
   if (db.prepare("SELECT value FROM store_meta WHERE key = ?").get(key)) return;
   db.transaction(() => {
     db.exec("DROP TRIGGER IF EXISTS history_cache_nodes_insert; DROP TRIGGER IF EXISTS history_cache_nodes_update;");
@@ -16320,6 +16321,7 @@ function localEdgeViolation(fromLabel, type, toLabel) {
   return verdict.ok ? null : verdict.reason ?? "edge rule violation";
 }
 var SCHEMA_VERSION = 6;
+var SESSION_REPAIR_KEY = "session-evidence-v1";
 var SESSION_EVIDENCE_PREDICATE = SESSION_EVIDENCE_FIELDS.map((field) => `instr(attrs_json, '${JSON.stringify(field)}') > 0`).join(" OR ");
 var SCHEMA_SQL = `
 CREATE TABLE IF NOT EXISTS schema_version (
@@ -16531,10 +16533,10 @@ var SqliteGraphStore = class {
     }
     this.db.exec(TEMPORAL_INDEX_SQL);
     installHistoryCacheFloor(this.db);
-    if (!this.db.prepare("SELECT value FROM store_meta WHERE key = 'session-evidence-v1'").get()) {
+    if (!this.db.prepare("SELECT value FROM store_meta WHERE key = ?").get(SESSION_REPAIR_KEY)) {
       this.db.transaction(() => {
         this.repairSessionAliases();
-        this.db.prepare("INSERT OR REPLACE INTO store_meta (key, value) VALUES ('session-evidence-v1', 'done')").run();
+        this.db.prepare("INSERT OR REPLACE INTO store_meta (key, value) VALUES (?, 'done')").run(SESSION_REPAIR_KEY);
       });
     }
     this.stmts = {
@@ -16729,6 +16731,34 @@ var SqliteGraphStore = class {
     const seqRow = this.db.prepare("SELECT value FROM store_meta WHERE key = 'ingest_seq'").get();
     this.ingestSeq = seqRow ? Number(seqRow.value) : 0;
   }
+  strandedSymbols() {
+    return this.db.prepare(`
+      SELECT f.id AS fileId, e.to_id AS symbolId
+      -- Start from the small File population. An unconstrained JOIN lets
+      -- SQLite start at edges_live and visit every live edge in the graph.
+      FROM nodes f CROSS JOIN edges e ON e.from_id = f.id
+      LEFT JOIN nodes t ON t.id = e.to_id
+      WHERE f.label = 'File' AND f.valid_to IS NULL AND e.valid_to IS NULL
+        AND e.type IN ('DEFINES', 'CONTAINS')
+        AND (t.id IS NULL OR t.valid_to IS NOT NULL)
+    `).all();
+  }
+  fileIndexStates(ids) {
+    if (ids.length === 0) return [];
+    if (ids.length > 500) throw new RangeError("fileIndexStates accepts at most 500 ids per read");
+    const rows = this.db.prepare(`
+      SELECT f.id, f.last_updated_at AS lastUpdatedAt, f.valid_to AS validTo,
+        CASE WHEN count(e.id) = 0 THEN
+          (json_type(f.attrs_json, '$.symbolCount') IN ('integer','real') AND json_extract(f.attrs_json, '$.symbolCount') = 0)
+          OR json_type(f.attrs_json, '$.indexSkipped') = 'text'
+        ELSE max(CASE WHEN t.id IS NULL OR t.valid_to IS NOT NULL THEN 1 ELSE 0 END) = 0 END AS complete
+      FROM nodes f
+      LEFT JOIN edges e ON e.from_id = f.id AND e.valid_to IS NULL AND e.type IN ('DEFINES','CONTAINS')
+      LEFT JOIN nodes t ON t.id = e.to_id
+      WHERE f.id IN (${ids.map(() => "?").join(",")}) GROUP BY f.id
+    `).all(...ids);
+    return rows.map((row) => ({ ...row, complete: row.complete === 1 }));
+  }
   /** Forward-migrate the on-disk schema to the current SCHEMA_VERSION. */
   migrate(from) {
     this.db.transaction(() => {
@@ -18265,17 +18295,8 @@ var STALL_MIN_SPAN_MS = 60 * 60 * 1e3;
 
 // src/reconcile.ts
 init_src3();
-function isLive(n) {
-  return n != null && (n.validTo ?? null) === null;
-}
 function findStrandedSymbols(store) {
-  const stranded = [];
-  for (const file2 of store.findNodesByLabel("File")) {
-    for (const e of store.outEdges(file2.id, ["DEFINES", "CONTAINS"])) {
-      if (!isLive(store.getNode(e.to))) stranded.push({ fileId: file2.id, symbolId: e.to });
-    }
-  }
-  return stranded;
+  return store.strandedSymbols();
 }
 
 // src/package-index.ts
@@ -19592,7 +19613,8 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
     sidecarNoLexicon: 0,
     sidecarNoSummary: 0,
     fileRefsSubstituted: 0,
-    fileRefLexiconMisses: 0
+    fileRefLexiconMisses: 0,
+    collapsedEdges: 0
   };
   const sharedCauses = /* @__PURE__ */ new Map();
   const causalQueue = store.findNodesByLabel("Problem").filter(
@@ -19817,7 +19839,13 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
     ];
     const dedup = /* @__PURE__ */ new Map();
     for (const e of rawOuts) dedup.set(`${e.type}>${e.to}`, e);
-    const outs = [...dedup.values()].map((e) => ({ e, wireTo: semanticEndpoints.get(e.to) })).filter((x) => x.wireTo != null);
+    const outs = [...dedup.values()].map((e) => ({ e, wireTo: semanticEndpoints.get(e.to) })).filter((x) => {
+      if (x.wireTo === wireFrom) {
+        composition.collapsedEdges++;
+        return false;
+      }
+      return x.wireTo != null;
+    });
     if (outs.length === 0) continue;
     const dg = digest(outs.map(({ e, wireTo }) => `${e.type}>${wireTo}`).sort());
     const owner = nodeOf(sourceId);

package/errata.mjs

@@ -17838,13 +17838,13 @@ function loadNodeSqlite() {
     process.emitWarning = original;
   }
 }
-function openDatabase(path2) {
-  const db = new DatabaseSync(path2);
+function openDatabase(path2, opts) {
+  const db = opts ? new DatabaseSync(path2, opts) : new DatabaseSync(path2);
   try {
     db.exec("PRAGMA foreign_keys = ON");
   } catch {
   }
-  if (path2 !== ":memory:") {
+  if (path2 !== ":memory:" && !opts?.readOnly) {
     try {
       db.exec("PRAGMA journal_mode = WAL");
       db.exec("PRAGMA synchronous = NORMAL");
@@ -17945,7 +17945,7 @@ var init_src2 = __esm({
 
 // ../../packages/local-graph/src/history-cache-floor.ts
 function installHistoryCacheFloor(db) {
-  const key = "history-cache-withdrawal-floor-3";
+  const key = HISTORY_CACHE_FLOOR_KEY;
   if (db.prepare("SELECT value FROM store_meta WHERE key = ?").get(key)) return;
   db.transaction(() => {
     db.exec("DROP TRIGGER IF EXISTS history_cache_nodes_insert; DROP TRIGGER IF EXISTS history_cache_nodes_update;");
@@ -18001,9 +18001,11 @@ function installHistoryCacheFloor(db) {
     db.prepare("INSERT INTO store_meta(key,value) VALUES (?,?)").run(key, "installed");
   });
 }
+var HISTORY_CACHE_FLOOR_KEY;
 var init_history_cache_floor = __esm({
   "../../packages/local-graph/src/history-cache-floor.ts"() {
     "use strict";
+    HISTORY_CACHE_FLOOR_KEY = "history-cache-withdrawal-floor-3";
   }
 });
 
@@ -18095,6 +18097,23 @@ function localEdgeViolation(fromLabel, type, toLabel) {
   const verdict = isValidEdge(fromLabel, type, toLabel);
   return verdict.ok ? null : verdict.reason ?? "edge rule violation";
 }
+function graphStoreNeedsPreparation(path2) {
+  if (path2 === ":memory:") return false;
+  let db;
+  try {
+    db = openDatabase(path2, { readOnly: true });
+    if (db.prepare("SELECT version FROM schema_version LIMIT 1").get()?.["version"] !== SCHEMA_VERSION) return true;
+    const indexes = new Set(db.prepare("SELECT name FROM sqlite_master WHERE type = 'index'").all().map((r) => r["name"]));
+    for (const match2 of (SCHEMA_SQL + TEMPORAL_INDEX_SQL).matchAll(/CREATE INDEX IF NOT EXISTS (\w+)/g)) {
+      if (!indexes.has(match2[1])) return true;
+    }
+    return [SESSION_REPAIR_KEY, HISTORY_CACHE_FLOOR_KEY].some((key) => !db.prepare("SELECT value FROM store_meta WHERE key = ?").get(key));
+  } catch {
+    return true;
+  } finally {
+    db?.close();
+  }
+}
 function encodeEmbedding(emb) {
   if (!emb || emb.length === 0) return null;
   const f = Float32Array.from(emb);
@@ -18155,7 +18174,7 @@ function rowToEdge(r) {
 function openGraphStore(opts) {
   return new SqliteGraphStore(opts);
 }
-var LOCAL_RULE_OVERRIDES, SCHEMA_VERSION, SESSION_EVIDENCE_PREDICATE, SCHEMA_SQL, TEMPORAL_INDEX_SQL, FINGERPRINT_INDEXED_LABELS, SqliteGraphStore;
+var LOCAL_RULE_OVERRIDES, SCHEMA_VERSION, SESSION_REPAIR_KEY, SESSION_EVIDENCE_PREDICATE, SCHEMA_SQL, TEMPORAL_INDEX_SQL, FINGERPRINT_INDEXED_LABELS, SqliteGraphStore;
 var init_store = __esm({
   "../../packages/local-graph/src/store.ts"() {
     "use strict";
@@ -18186,6 +18205,7 @@ var init_store = __esm({
       REGRESSION_OF: { from: ["Problem"], to: ["Problem"] }
     };
     SCHEMA_VERSION = 6;
+    SESSION_REPAIR_KEY = "session-evidence-v1";
     SESSION_EVIDENCE_PREDICATE = SESSION_EVIDENCE_FIELDS.map((field) => `instr(attrs_json, '${JSON.stringify(field)}') > 0`).join(" OR ");
     SCHEMA_SQL = `
 CREATE TABLE IF NOT EXISTS schema_version (
@@ -18340,10 +18360,10 @@ CREATE INDEX IF NOT EXISTS nodes_anchor_hint_path ON nodes(json_extract(attrs_js
         }
         this.db.exec(TEMPORAL_INDEX_SQL);
         installHistoryCacheFloor(this.db);
-        if (!this.db.prepare("SELECT value FROM store_meta WHERE key = 'session-evidence-v1'").get()) {
+        if (!this.db.prepare("SELECT value FROM store_meta WHERE key = ?").get(SESSION_REPAIR_KEY)) {
           this.db.transaction(() => {
             this.repairSessionAliases();
-            this.db.prepare("INSERT OR REPLACE INTO store_meta (key, value) VALUES ('session-evidence-v1', 'done')").run();
+            this.db.prepare("INSERT OR REPLACE INTO store_meta (key, value) VALUES (?, 'done')").run(SESSION_REPAIR_KEY);
           });
         }
         this.stmts = {
@@ -18538,6 +18558,34 @@ CREATE INDEX IF NOT EXISTS nodes_anchor_hint_path ON nodes(json_extract(attrs_js
         const seqRow = this.db.prepare("SELECT value FROM store_meta WHERE key = 'ingest_seq'").get();
         this.ingestSeq = seqRow ? Number(seqRow.value) : 0;
       }
+      strandedSymbols() {
+        return this.db.prepare(`
+      SELECT f.id AS fileId, e.to_id AS symbolId
+      -- Start from the small File population. An unconstrained JOIN lets
+      -- SQLite start at edges_live and visit every live edge in the graph.
+      FROM nodes f CROSS JOIN edges e ON e.from_id = f.id
+      LEFT JOIN nodes t ON t.id = e.to_id
+      WHERE f.label = 'File' AND f.valid_to IS NULL AND e.valid_to IS NULL
+        AND e.type IN ('DEFINES', 'CONTAINS')
+        AND (t.id IS NULL OR t.valid_to IS NOT NULL)
+    `).all();
+      }
+      fileIndexStates(ids) {
+        if (ids.length === 0) return [];
+        if (ids.length > 500) throw new RangeError("fileIndexStates accepts at most 500 ids per read");
+        const rows = this.db.prepare(`
+      SELECT f.id, f.last_updated_at AS lastUpdatedAt, f.valid_to AS validTo,
+        CASE WHEN count(e.id) = 0 THEN
+          (json_type(f.attrs_json, '$.symbolCount') IN ('integer','real') AND json_extract(f.attrs_json, '$.symbolCount') = 0)
+          OR json_type(f.attrs_json, '$.indexSkipped') = 'text'
+        ELSE max(CASE WHEN t.id IS NULL OR t.valid_to IS NOT NULL THEN 1 ELSE 0 END) = 0 END AS complete
+      FROM nodes f
+      LEFT JOIN edges e ON e.from_id = f.id AND e.valid_to IS NULL AND e.type IN ('DEFINES','CONTAINS')
+      LEFT JOIN nodes t ON t.id = e.to_id
+      WHERE f.id IN (${ids.map(() => "?").join(",")}) GROUP BY f.id
+    `).all(...ids);
+        return rows.map((row) => ({ ...row, complete: row.complete === 1 }));
+      }
       /** Forward-migrate the on-disk schema to the current SCHEMA_VERSION. */
       migrate(from) {
         this.db.transaction(() => {
@@ -23353,7 +23401,7 @@ function triageOf(l2, q, mathOpts) {
   if (!triage) return { triage: "", presenting: presentingId, routes: [] };
   const seen = triage.attrs["perContextSeen"] ?? {};
   const buckets = q.context ? triageContextBuckets(canonicalizeContext(q.context)) : [];
-  const active2 = new Set(q.activeProblemIds ?? []);
+  const active3 = new Set(q.activeProblemIds ?? []);
   const routes = [];
   for (const e of l2.outEdges(triageId, [...ROUTE_EDGE_TYPES])) {
     const perContext = e.attrs["perContext"] ?? {};
@@ -23374,13 +23422,13 @@ function triageOf(l2, q, mathOpts) {
     }
     const post = triagePosterior(counts, buckets, mathOpts);
     let probability = post.probability;
-    if (active2.size > 0) {
+    if (active3.size > 0) {
       const neighbors = /* @__PURE__ */ new Set([
         ...l2.outEdges(e.to).map((x) => x.to),
         ...l2.inEdges(e.to).map((x) => x.from)
       ]);
       let hits = 0;
-      for (const id of active2) if (neighbors.has(id)) hits++;
+      for (const id of active3) if (neighbors.has(id)) hits++;
       if (hits > 0) probability = Math.min(1, probability * (1 + COOCCUR_BONUS * Math.tanh(hits)));
     }
     const cause = l2.getNode(e.to);
@@ -24990,6 +25038,7 @@ __export(src_exports2, {
   foldSameAnchorProblem: () => foldSameAnchorProblem,
   formatMechanismStatus: () => formatMechanismStatus,
   getClaim: () => getClaim,
+  graphStoreNeedsPreparation: () => graphStoreNeedsPreparation,
   harvestAbstractionFences: () => harvestAbstractionFences,
   harvestTriageFences: () => harvestTriageFences,
   hasStarvedMechanism: () => hasStarvedMechanism,
@@ -25123,7 +25172,7 @@ function buildSnapshot(opts) {
     node: p,
     anchors: opts.store.outEdges(p.id, ["MANIFESTED_IN", "EVIDENCED_BY"])
   }));
-  const recent3 = openPool.slice(0, RECENT_OPEN);
+  const recent4 = openPool.slice(0, RECENT_OPEN);
   const constraintPool = stillOpen.filter((p) => isConstraintProblem(p)).sort((a, b) => b.lastUpdatedAt - a.lastUpdatedAt).slice(0, RECENT_CONSTRAINTS * SCOPE_POOL_FACTOR);
   const recentConstraints = constraintPool.slice(0, RECENT_CONSTRAINTS);
   const regressions = problems.filter((p) => p.attrs["resolvedAt"] == null && p.attrs["mergedInto"] === void 0).flatMap(
@@ -25195,10 +25244,10 @@ function buildSnapshot(opts) {
     packages: opts.profile.stack.map((name2) => ({ name: name2, node: matchNode(pkgNodes, pkgBase(name2)) })),
     tools: toolNodes.map((node2) => ({ name: String(node2.attrs["name"] ?? node2.description), node: node2 }))
   };
-  const causalNudge = recent3.length >= 2 && recent3.every(
+  const causalNudge = recent4.length >= 2 && recent4.every(
     (r) => opts.store.outEdges(r.node.id, ["CAUSED_BY"]).length === 0 && opts.store.inEdges(r.node.id, ["CAUSED_BY"]).length === 0
   );
-  const abstractUndomained = recent3.filter((r) => {
+  const abstractUndomained = recent4.filter((r) => {
     const grounded = opts.store.outEdges(r.node.id, ["ANCHORED_AT", "OCCURS_IN", "DEPENDS_ON"]).length > 0;
     const hasDomain = opts.store.outEdges(r.node.id, ["PERTAIN_TO"]).length > 0;
     return !grounded && !hasDomain;
@@ -25207,7 +25256,7 @@ function buildSnapshot(opts) {
   return {
     profile: opts.profile,
     profileContext,
-    recentProblems: recent3,
+    recentProblems: recent4,
     recentResolved,
     recentConstraints,
     regressions,
@@ -26597,11 +26646,27 @@ var init_client = __esm({
           }
         }
         for (const edgeChunk of chunkArray(pendingEdges, MAX_EDGES_PER_PAYLOAD)) {
-          const rewritten = edgeChunk.map((e) => ({
+          const projected = edgeChunk.map((e) => ({
             ...e,
             from: echoedCloudId.get(e.from) ?? e.from,
             to: echoedCloudId.get(e.to) ?? e.to
           }));
+          const rewritten = projected.filter((e, i2) => {
+            if (e.from !== e.to) return true;
+            const original = edgeChunk[i2];
+            merged.edges.push({
+              from: original.from,
+              to: original.to,
+              type: original.type,
+              decision: "rejected",
+              reason: "endpoints collapsed to the same cloud node"
+            });
+            return false;
+          });
+          if (rewritten.length === 0) {
+            emit([], 0);
+            continue;
+          }
           const r = await this.ingestWire(toWirePayload({ ...batch, nodes: [], edges: rewritten }, randomUUID()));
           emit([], summarizeIngestResult(r).accepted);
           merged.edges.push(...r.edges);
@@ -43231,58 +43296,32 @@ function listSourceFiles(root) {
 }
 async function findStaleFiles(store, rootPath, workspaceId2) {
   const stale = [];
-  const pending = [];
-  const allTargets = [];
+  let pending = [];
+  const check2 = () => {
+    const states = new Map(store.fileIndexStates(pending.map((f) => f.id)).map((s) => [s.id, s]));
+    for (const f of pending) {
+      const state = states.get(f.id);
+      if (!state || state.validTo !== null || state.lastUpdatedAt < f.mtimeMs || !state.complete) stale.push(f.abs);
+    }
+    pending = [];
+  };
   let scanned = 0;
   for (const abs of listSourceFiles(rootPath)) {
-    if (++scanned % SCAN_YIELD_EVERY === 0) await new Promise((r) => setImmediate(r));
-    let mtimeMs;
     try {
-      mtimeMs = statSync4(abs).mtimeMs;
+      const rel = relative3(rootPath, abs).split(sep2).join("/");
+      pending.push({ abs, id: fileNodeId(workspaceId2, rel), mtimeMs: statSync4(abs).mtimeMs });
     } catch {
-      continue;
     }
-    const rel = relative3(rootPath, abs).split(sep2).join("/");
-    const fnode = store.getNode(fileNodeId(workspaceId2, rel));
-    if (!fnode) {
-      stale.push(abs);
-    } else if ((fnode.validTo ?? null) !== null) {
-      stale.push(abs);
-    } else if (fnode.lastUpdatedAt < mtimeMs) {
-      stale.push(abs);
-    } else {
-      const edges = store.outEdges(fnode.id, ["DEFINES", "CONTAINS"]);
-      if (edges.length === 0) {
-        const converged = fnode.attrs["symbolCount"] === 0 || typeof fnode.attrs["indexSkipped"] === "string";
-        if (!converged) stale.push(abs);
-      } else {
-        const targets = edges.map((e) => e.to);
-        pending.push({ abs, targets });
-        allTargets.push(...targets);
-      }
+    if (++scanned % SCAN_YIELD_EVERY === 0) {
+      check2();
+      await new Promise((resolve9) => setImmediate(resolve9));
     }
   }
-  const live3 = /* @__PURE__ */ new Set();
-  for (let i2 = 0; i2 < allTargets.length; i2 += LIVENESS_CHUNK) {
-    for (const id of store.liveNodeIds(allTargets.slice(i2, i2 + LIVENESS_CHUNK))) live3.add(id);
-    if (i2 + LIVENESS_CHUNK < allTargets.length) await new Promise((r) => setImmediate(r));
-  }
-  for (const { abs, targets } of pending) {
-    if (targets.some((id) => !live3.has(id))) stale.push(abs);
-  }
+  check2();
   return stale;
 }
-function isLive(n) {
-  return n != null && (n.validTo ?? null) === null;
-}
 function findStrandedSymbols(store) {
-  const stranded = [];
-  for (const file2 of store.findNodesByLabel("File")) {
-    for (const e of store.outEdges(file2.id, ["DEFINES", "CONTAINS"])) {
-      if (!isLive(store.getNode(e.to))) stranded.push({ fileId: file2.id, symbolId: e.to });
-    }
-  }
-  return stranded;
+  return store.strandedSymbols();
 }
 function reapOrphanedFiles(store, rootPath, workspaceId2, ignoreDirs = []) {
   const ignores = /* @__PURE__ */ new Set([...DEFAULT_IGNORES, ...ignoreDirs]);
@@ -43344,7 +43383,7 @@ async function reconcileStaleFiles(store, rootPath, workspaceId2) {
   }
   return total;
 }
-var IGNORED, SOURCE_RE, SCAN_YIELD_EVERY, LIVENESS_CHUNK, ORPHAN_REAP_MAX_FRACTION, ORPHAN_REAP_MIN_ALLOWANCE;
+var IGNORED, SOURCE_RE, SCAN_YIELD_EVERY, ORPHAN_REAP_MAX_FRACTION, ORPHAN_REAP_MIN_ALLOWANCE;
 var init_reconcile = __esm({
   "src/reconcile.ts"() {
     "use strict";
@@ -43352,7 +43391,6 @@ var init_reconcile = __esm({
     IGNORED = /[\\/](?:\.git|node_modules|\.errata|dist|__pycache__)(?:[\\/]|$)/;
     SOURCE_RE = /\.(ts|tsx|js|jsx|mjs|cjs|py)$/i;
     SCAN_YIELD_EVERY = 100;
-    LIVENESS_CHUNK = 4e3;
     ORPHAN_REAP_MAX_FRACTION = 0.25;
     ORPHAN_REAP_MIN_ALLOWANCE = 50;
   }
@@ -72709,13 +72747,13 @@ function esc3(s) {
 function slug(name2) {
   return name2.toLowerCase().replace(/[^a-z0-9]+/g, "-").replace(/^-+|-+$/g, "") || "repo";
 }
-function isLive3(verb) {
+function isLive2(verb) {
   return LIVE_VERBS.has(verb);
 }
 function nextHtml(n, opts) {
   if (!n) return "";
   const cmd2 = `errata ${n.verb}${n.arg ? " " + n.arg : ""}`;
-  const live3 = isLive3(n.verb);
+  const live3 = isLive2(n.verb);
   if (!live3 && !opts.includeFutureVerbs) return "";
   const hint = n.hint ? ` \u2014 ${esc3(n.hint)}` : "";
   const cls = live3 ? "next" : "next soon";
@@ -78352,14 +78390,42 @@ import { Worker } from "node:worker_threads";
 // src/pass-gate.ts
 var QUEUE_WARN_MS = 12e4;
 var chain = Promise.resolve();
+var nextId = 0;
+var waiting = /* @__PURE__ */ new Map();
+var active = null;
+var recent2 = [];
+function heavyPassState() {
+  const now = Date.now();
+  return {
+    active: active ? { label: active.label, runningMs: now - active.startedAt, waitedMs: active.waitedMs } : null,
+    waiting: waiting.size,
+    pending: [...waiting.values()].slice(0, 32).map((p) => ({ label: p.label, waitedMs: now - p.queuedAt })),
+    recent: [...recent2]
+  };
+}
 function withHeavyPassSlot(label, fn) {
   const queuedAt = Date.now();
-  const run3 = chain.then(() => {
+  const id = nextId++;
+  waiting.set(id, { label, queuedAt });
+  const run3 = chain.then(async () => {
     const waited = Date.now() - queuedAt;
+    waiting.delete(id);
+    const startedAt = Date.now();
+    active = { label, startedAt, waitedMs: waited };
     if (waited > QUEUE_WARN_MS) {
       console.warn(`[errata] heavy-pass slot: ${label} waited ${Math.round(waited / 1e3)}s`);
     }
-    return fn();
+    let failed = false;
+    try {
+      return await fn();
+    } catch (err2) {
+      failed = true;
+      throw err2;
+    } finally {
+      recent2.push({ label, waitedMs: waited, durationMs: Date.now() - startedAt, failed });
+      if (recent2.length > 16) recent2.shift();
+      active = null;
+    }
   });
   chain = run3.then(
     () => void 0,
@@ -78378,6 +78444,12 @@ var PassWorker = class {
   pending = /* @__PURE__ */ new Map();
   nextId = 1;
   stopped = false;
+  /** Open/migrate/index the database on the worker before the serving thread
+   * opens its connection. Additive indexes and one-time repairs can take tens
+   * of seconds on an existing workspace; a prepared reopen is cheap. */
+  prepareStore() {
+    return this.call("prepareStore");
+  }
   /** Run the nightly graph-math + induction pass on the worker. */
   nightly() {
     return this.call("nightly");
@@ -81326,7 +81398,7 @@ ${GITIGNORE_LINES.join("\n")}
 var INTENT_TTL_MS = 15 * 60 * 1e3;
 function createIntentState(ttlMs = INTENT_TTL_MS) {
   const bySession = /* @__PURE__ */ new Map();
-  let recent3 = null;
+  let recent4 = null;
   const live3 = (s, nowMs) => s !== void 0 && nowMs - s.atMs < ttlMs;
   return {
     set(sessionId, text, nowMs) {
@@ -81334,8 +81406,8 @@ function createIntentState(ttlMs = INTENT_TTL_MS) {
       if (!trimmed) return false;
       const prev = bySession.get(sessionId);
       bySession.set(sessionId, { text: trimmed, atMs: nowMs });
-      const changed = !(recent3 && recent3.text === trimmed);
-      recent3 = { sessionId, text: trimmed, atMs: nowMs };
+      const changed = !(recent4 && recent4.text === trimmed);
+      recent4 = { sessionId, text: trimmed, atMs: nowMs };
       if (!changed && prev && prev.text === trimmed) return false;
       return changed;
     },
@@ -81344,12 +81416,12 @@ function createIntentState(ttlMs = INTENT_TTL_MS) {
       return live3(s, nowMs) ? s.text : void 0;
     },
     mostRecent(nowMs) {
-      if (!recent3) return void 0;
-      return nowMs - recent3.atMs < ttlMs ? recent3.text : void 0;
+      if (!recent4) return void 0;
+      return nowMs - recent4.atMs < ttlMs ? recent4.text : void 0;
     },
     clear(sessionId) {
       bySession.delete(sessionId);
-      if (recent3?.sessionId === sessionId) recent3 = null;
+      if (recent4?.sessionId === sessionId) recent4 = null;
     }
   };
 }
@@ -81357,19 +81429,19 @@ function createIntentState(ttlMs = INTENT_TTL_MS) {
 // src/working-file-state.ts
 function createWorkingFileState() {
   const bySession = /* @__PURE__ */ new Map();
-  let recent3 = null;
+  let recent4 = null;
   return {
     set(sessionId, rel) {
       bySession.set(sessionId, rel);
-      if (rel === recent3) return false;
-      recent3 = rel;
+      if (rel === recent4) return false;
+      recent4 = rel;
       return true;
     },
     get(sessionId) {
       return bySession.get(sessionId);
     },
     mostRecent() {
-      return recent3;
+      return recent4;
     }
   };
 }
@@ -81475,11 +81547,11 @@ function pendingFor(queue, channel) {
 }
 function partitionReplayable(queue, channel, isShipped) {
   const replay2 = [];
-  const waiting = [];
+  const waiting2 = [];
   for (const w of pendingFor(queue, channel)) {
-    (isShipped(w.nodeId) ? replay2 : waiting).push(w);
+    (isShipped(w.nodeId) ? replay2 : waiting2).push(w);
   }
-  return { replay: replay2, waiting };
+  return { replay: replay2, waiting: waiting2 };
 }
 function retireWitnesses(queue, channel, settledKeys) {
   return queue.filter((w) => !(w.channel === channel && settledKeys.has(w.witnessKey)));
@@ -81749,25 +81821,25 @@ import { join as join34 } from "node:path";
 // src/loop-lag.ts
 var HEARTBEAT_MS = 500;
 var RECENT_PASS_LIMIT = 12;
-var active = /* @__PURE__ */ new Map();
+var active2 = /* @__PURE__ */ new Map();
 var nextPassId = 1;
 var started = false;
-var recent2 = [];
+var recent3 = [];
 function markPass(name2) {
   const id = nextPassId++;
   const startedAt = Date.now();
-  active.set(id, { name: name2, startedAt });
+  active2.set(id, { name: name2, startedAt });
   let ended = false;
   return () => {
     if (ended) return;
     ended = true;
-    active.delete(id);
-    recent2.unshift({ name: name2, ms: Date.now() - startedAt, endedAt: Date.now() });
-    if (recent2.length > RECENT_PASS_LIMIT) recent2.pop();
+    active2.delete(id);
+    recent3.unshift({ name: name2, ms: Date.now() - startedAt, endedAt: Date.now() });
+    if (recent3.length > RECENT_PASS_LIMIT) recent3.pop();
   };
 }
 function oldestActive() {
-  for (const p of active.values()) return p;
+  for (const p of active2.values()) return p;
   return null;
 }
 function passState() {
@@ -81776,8 +81848,8 @@ function passState() {
   return {
     current: oldest?.name ?? "idle",
     runningMs: oldest === null ? null : now - oldest.startedAt,
-    active: [...active.values()].map((p) => ({ name: p.name, runningMs: now - p.startedAt })),
-    recent: [...recent2]
+    active: [...active2.values()].map((p) => ({ name: p.name, runningMs: now - p.startedAt })),
+    recent: [...recent3]
   };
 }
 function describeHolders(running, finished, windowStart, now) {
@@ -81796,7 +81868,7 @@ function startLoopLagMonitor(thresholdMs = 1e3) {
     const now = Date.now();
     const lag = now - last - HEARTBEAT_MS;
     if (lag > thresholdMs) {
-      const who = describeHolders(active.values(), recent2, last, now);
+      const who = describeHolders(active2.values(), recent3, last, now);
       console.warn(
         `[loop-lag] ${(/* @__PURE__ */ new Date()).toISOString()} event loop held ~${(lag / 1e3).toFixed(1)}s during "${who}"`
       );
@@ -82087,7 +82159,7 @@ function createWatchBreaker(deps) {
 }
 
 // src/engine.ts
-var DAEMON_VERSION = true ? "2.0.17-dev.3426" : "2.0.0-alpha.0";
+var DAEMON_VERSION = true ? "2.0.17-dev.3435" : "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;
@@ -83821,15 +83893,15 @@ function createWorkspaceEngine(opts) {
           }
           witnessQueue = healed;
           fresh = routedFresh;
-          const { replay: queued, waiting } = partitionReplayable(witnessQueue, channel, isShipped);
+          const { replay: queued, waiting: waiting2 } = partitionReplayable(witnessQueue, channel, isShipped);
           if (fresh.length === 0 && queued.length === 0) {
             if (undeliverable > 0) {
               saveWitnessQueue(witnessQueuePath(paths.configDir), witnessQueue);
               appendWitnessLedger(paths.configDir, { ts: Date.now(), channel, undeliverable, parked: pendingFor(witnessQueue, channel).length });
               console.log(`[errata] ${channel}: ${undeliverable} witness(es) retired \u2014 cited node class never ships (counted, not parked)`);
             }
-            if (waiting.length > 0) {
-              console.log(`[errata] ${channel}: ${waiting.length} parked awaiting node drain`);
+            if (waiting2.length > 0) {
+              console.log(`[errata] ${channel}: ${waiting2.length} parked awaiting node drain`);
             }
             return;
           }
@@ -83888,7 +83960,7 @@ function createWorkspaceEngine(opts) {
             appendPassLedger(paths.configDir, "witness-queue", 0, {
               recovered,
               replayed: queued.length,
-              awaitingDrain: waiting.length,
+              awaitingDrain: waiting2.length,
               parked: pendingFor(witnessQueue, channel).length,
               expiredTtl: enq.dropped.expiredTtl,
               exhaustedAttempts: enq.dropped.exhaustedAttempts,
@@ -83897,7 +83969,7 @@ function createWorkspaceEngine(opts) {
             });
           }
           console.log(
-            `[errata] ${channel}: ${formatDisposition({ recorded, unmatched, duplicate, selfGated })}` + (queued.length > 0 ? ` (incl. ${queued.length} replayed)` : "") + (waiting.length > 0 ? ` (${waiting.length} awaiting drain)` : "")
+            `[errata] ${channel}: ${formatDisposition({ recorded, unmatched, duplicate, selfGated })}` + (queued.length > 0 ? ` (incl. ${queued.length} replayed)` : "") + (waiting2.length > 0 ? ` (${waiting2.length} awaiting drain)` : "")
           );
           appendWitnessLedger(paths.configDir, {
             ts: Date.now(),
@@ -83907,7 +83979,7 @@ function createWorkspaceEngine(opts) {
             duplicate,
             selfGated,
             parked: pendingFor(witnessQueue, channel).length,
-            awaitingDrain: waiting.length,
+            awaitingDrain: waiting2.length,
             ...undeliverable > 0 ? { undeliverable } : {}
           });
         };
@@ -85560,7 +85632,8 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
     sidecarNoLexicon: 0,
     sidecarNoSummary: 0,
     fileRefsSubstituted: 0,
-    fileRefLexiconMisses: 0
+    fileRefLexiconMisses: 0,
+    collapsedEdges: 0
   };
   const sharedCauses = /* @__PURE__ */ new Map();
   const causalQueue = store.findNodesByLabel("Problem").filter(
@@ -85785,7 +85858,13 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
     ];
     const dedup = /* @__PURE__ */ new Map();
     for (const e of rawOuts) dedup.set(`${e.type}>${e.to}`, e);
-    const outs = [...dedup.values()].map((e) => ({ e, wireTo: semanticEndpoints.get(e.to) })).filter((x) => x.wireTo != null);
+    const outs = [...dedup.values()].map((e) => ({ e, wireTo: semanticEndpoints.get(e.to) })).filter((x) => {
+      if (x.wireTo === wireFrom) {
+        composition.collapsedEdges++;
+        return false;
+      }
+      return x.wireTo != null;
+    });
     if (outs.length === 0) continue;
     const dg = digest(outs.map(({ e, wireTo }) => `${e.type}>${wireTo}`).sort());
     const owner = nodeOf(sourceId);
@@ -86115,6 +86194,19 @@ var ConsolidateWorker = class {
   }
 };
 
+// src/prepare-store.ts
+init_src5();
+async function prepareStore(path2, root, workspaceId2) {
+  if (!import.meta.url.endsWith(".mjs") || path2 === ":memory:") return;
+  if (!graphStoreNeedsPreparation(path2)) return;
+  const worker = new PassWorker({ castaliaPath: path2, workspaceRoot: root, workspaceId: workspaceId2 });
+  try {
+    await worker.prepareStore();
+  } finally {
+    await worker.stop();
+  }
+}
+
 // src/multi.ts
 init_paths();
 
@@ -86551,11 +86643,11 @@ function cachedMap(cache2, store, key, build) {
 }
 async function lookupLive(store, m, id) {
   const first = (await m.get()).get(id);
-  if (first && isLive2(store, first)) return first;
+  if (first && isLive(store, first)) return first;
   const second = (await m.refresh()).get(id);
-  return second && isLive2(store, second) ? second : null;
+  return second && isLive(store, second) ? second : null;
 }
-function isLive2(store, id) {
+function isLive(store, id) {
   const n = store.getNode(id);
   return n !== null && (n.validTo === null || n.validTo === void 0);
 }
@@ -87589,6 +87681,10 @@ async function walk10(root, input, client, opts, readBlob) {
   const launched = /* @__PURE__ */ new Map();
   const cap = opts.maxUnits;
   const edgeParked = /* @__PURE__ */ new Set();
+  const parkedEarlier = new Set((profile.historyStage?.coverageGaps ?? []).filter((g) => g.reason === "edge-blocked").map((g) => `${g.sha}/${g.subIndex}`));
+  units.forEach((u, j) => {
+    if (parkedEarlier.has(`${u.sha}/${u.subIndex}`)) edgeParked.add(j);
+  });
   const predecessor = (k) => {
     for (let j = k - 1; j >= 0; j--) if (!units[j].skip && !edgeParked.has(j)) return units[j];
     return void 0;
@@ -87654,7 +87750,7 @@ async function walk10(root, input, client, opts, readBlob) {
     let ahead = 0;
     for (let j = k + 1; j < units.length && ahead < lookahead; j++) {
       if (cap !== void 0 && processed + (j - k) >= cap) break;
-      if (units[j].skip) continue;
+      if (units[j].skip || edgeParked.has(j)) continue;
       ahead += 1;
       await launch(j);
     }
@@ -87675,6 +87771,13 @@ async function walk10(root, input, client, opts, readBlob) {
       log(`[errata] history ${label} skipped (${u.skip})`);
       continue;
     }
+    if (edgeParked.has(k)) {
+      profile = stage(profile, { state: dryRun ? "extracting" : "contributing", unitsDone: doneSoFar, counts, ...lastInPosition ? { watermarkSha: positionSha } : {} }, now);
+      persist(profile);
+      processed += 1;
+      log(`[errata] history ${label}: edge-blocked on an earlier run; gap kept, not re-sent`);
+      continue;
+    }
     const { body: body2, prepMs } = await prepare(k);
     profile = stage(profile, { state: dryRun ? "extracting" : "contributing", unitsDone: doneSoFar - 1, lastError: void 0 }, now);
     persist(profile);
@@ -88806,6 +88909,7 @@ async function startMultiDaemon(opts = {}) {
   };
   const sharedDbPath = sharedStorePath();
   ensureParent(sharedDbPath);
+  await prepareStore(sharedDbPath, process.cwd(), "shared");
   const sharedStore = openGraphStore({ path: sharedDbPath });
   const bundledRun = import.meta.url.endsWith(".mjs");
   const consolidateWorker = bundledRun && sharedDbPath !== ":memory:" ? new ConsolidateWorker() : null;
@@ -88964,8 +89068,13 @@ async function startMultiDaemon(opts = {}) {
       }
     }
   };
-  const buildRecord = (entry) => {
+  let stopping = false;
+  const buildRecord = async (entry) => {
     const id = entry.id;
+    const castaliaPath = workspacePaths(entry.path).castalia;
+    ensureParent(castaliaPath);
+    await prepareStore(castaliaPath, entry.path, id);
+    if (stopping) throw new Error("daemon stopping");
     const wsIdentity = identityFor(entry);
     let wsCloud = cloud;
     if (wsIdentity.rule === "workspace-binding") {
@@ -89048,7 +89157,7 @@ async function startMultiDaemon(opts = {}) {
   if (opts.eagerWorkspaces ?? EAGER_WORKSPACES_AT_BOOT) {
     for (const entry of entries) {
       try {
-        records.push(buildRecord(entry));
+        records.push(await buildRecord(entry));
       } catch (err2) {
         console.warn(`[errata] skipping ${entry.name} (${entry.path}): ${err2 instanceof Error ? err2.message : err2}`);
       }
@@ -89066,14 +89175,24 @@ async function startMultiDaemon(opts = {}) {
   }
   const app = new Hono2();
   const enqueueWakeIndex = serialQueue();
+  const attaching = /* @__PURE__ */ new Map();
   const attachWorkspace = (root) => {
+    const norm = normPath(root);
+    const pending = attaching.get(norm);
+    if (pending) return pending;
+    const run3 = attachWorkspaceOnce(root).finally(() => attaching.delete(norm));
+    attaching.set(norm, run3);
+    return run3;
+  };
+  const attachWorkspaceOnce = async (root) => {
+    if (stopping) return { attached: false, id: null, reason: "daemon-stopping" };
     const norm = normPath(root);
     if (records.some((r) => normPath(r.root) === norm)) return { attached: false, id: null, reason: "already-watched" };
     const entry = listWorkspaceEntries().find((e) => normPath(e.path) === norm);
     if (!entry) return { attached: false, id: null, reason: "not-registered" };
     let rec;
     try {
-      rec = buildRecord(entry);
+      rec = await buildRecord(entry);
     } catch (err2) {
       return { attached: false, id: null, reason: err2 instanceof Error ? err2.message : "build-failed" };
     }
@@ -89117,7 +89236,7 @@ async function startMultiDaemon(opts = {}) {
     }
     const root = typeof body2["path"] === "string" ? body2["path"] : null;
     if (!root) return c.json({ error: "path-required" }, 400);
-    return c.json(attachWorkspace(root));
+    return c.json(await attachWorkspace(root));
   });
   app.post("/api/notify-test", (c) => {
     notify("Errata \xB7 test", "Fired from the daemon \u2014 if you see this, daemon toasts render.");
@@ -89202,6 +89321,7 @@ async function startMultiDaemon(opts = {}) {
       // pegged daemon is only diagnosable by attaching a CPU profiler to the
       // live process — see watch-census.ts for the incident that proved it.
       pass: passState(),
+      heavyPass: heavyPassState(),
       watch: watchCensus(),
       // Registered but with no engine running (WS-cold-start). Listed so a cold
       // daemon is legible as "nothing has needed waking yet" rather than as
@@ -89245,7 +89365,7 @@ async function startMultiDaemon(opts = {}) {
         if (!main2) continue;
         owner = ownerOf(records, main2);
         if (!owner && listWorkspaceEntries().some((e) => pickOwnerRoot([e.path], main2))) {
-          if (attachWorkspace(main2).attached) owner = ownerOf(records, main2);
+          if ((await attachWorkspace(main2)).attached) owner = ownerOf(records, main2);
         }
         if (owner) break;
       }
@@ -89253,7 +89373,7 @@ async function startMultiDaemon(opts = {}) {
     if (!owner && others.length > 0) {
       const registryRoots = listWorkspaceEntries().map((e) => e.path);
       const registered = others.map((p) => pickOwnerRoot(registryRoots, p)).find((r) => r != null);
-      if (registered && attachWorkspace(registered).attached) {
+      if (registered && (await attachWorkspace(registered)).attached) {
         owner = records.find((r) => r.root === registered) ?? null;
         if (owner) console.log(`[errata] woke workspace ${owner.entry.name}`);
       }
@@ -89262,7 +89382,7 @@ async function startMultiDaemon(opts = {}) {
       const missPath = pathInBody(body2);
       const registeredRoot = missPath ? pickOwnerRoot(listWorkspaceEntries().map((e) => e.path), missPath) : null;
       const wakeRoot = registeredRoot ?? (missPath ? findGitRoot(missPath) : null);
-      if (wakeRoot && attachWorkspace(wakeRoot).attached) {
+      if (wakeRoot && (await attachWorkspace(wakeRoot)).attached) {
         owner = ownerOf(records, missPath) ?? null;
         if (owner) console.log(`[errata] woke workspace ${owner.entry.name}`);
       }
@@ -89271,7 +89391,7 @@ async function startMultiDaemon(opts = {}) {
       const root = sessionAffinity.rootFor(body2["session_id"]);
       if (root) {
         owner = records.find((r) => r.root === root) ?? null;
-        if (!owner && attachWorkspace(root).attached) owner = records.find((r) => r.root === root) ?? null;
+        if (!owner && (await attachWorkspace(root)).attached) owner = records.find((r) => r.root === root) ?? null;
       }
     }
     if (!owner) {
@@ -89409,9 +89529,11 @@ async function startMultiDaemon(opts = {}) {
     });
     candidates.forEach((c, i2) => {
       const wake = setTimeout(() => {
-        if (attachWorkspace(c.path).attached) {
-          console.log(`[errata] woke workspace ${c.name} \u2014 recent Codex/Gemini/OpenCode transcript (headless capture)`);
-        }
+        void attachWorkspace(c.path).then((result) => {
+          if (result.attached) {
+            console.log(`[errata] woke workspace ${c.name} \u2014 recent Codex/Gemini/OpenCode transcript (headless capture)`);
+          }
+        });
       }, wakeDelay(i2));
       wake.unref?.();
     });
@@ -89497,7 +89619,7 @@ async function startMultiDaemon(opts = {}) {
         saveProfile(root, profile);
       }
       registerWorkspace(profile, root);
-      attachWorkspace(root);
+      await attachWorkspace(root);
     },
     // eslint-disable-next-line no-console
     log: (line) => console.log(line)
@@ -90434,6 +90556,7 @@ async function startMultiDaemon(opts = {}) {
       boundaryListeners.push(cb);
     },
     async stop() {
+      stopping = true;
       clearInterval(idleSweep);
       clearInterval(codexWake);
       clearInterval(anchorPull);
@@ -90448,6 +90571,7 @@ async function startMultiDaemon(opts = {}) {
       );
       updatePoller?.stop();
       healthSentinel.stop();
+      await Promise.allSettled(attaching.values());
       for (const r of records) await r.engine.stop();
       if (consolidateWorker) await consolidateWorker.stop();
       try {
@@ -90528,18 +90652,18 @@ async function runUse(action, ctx) {
   }
 }
 function runClear(ctx) {
-  const active2 = ctx.getActiveAgent();
+  const active3 = ctx.getActiveAgent();
   ctx.clearActiveAgent();
-  if (active2) {
-    ctx.log(`no longer acting as ${active2.handle} \u2014 the daemon acts as your default identity`);
+  if (active3) {
+    ctx.log(`no longer acting as ${active3.handle} \u2014 the daemon acts as your default identity`);
   } else {
     ctx.log(`already on the default identity \u2014 nothing to clear`);
   }
   return 0;
 }
 async function runShow(ctx) {
-  const active2 = ctx.getActiveAgent();
-  ctx.log(active2 ? `active agent: ${active2.handle} (id ${active2.id})` : `active agent: (default identity)`);
+  const active3 = ctx.getActiveAgent();
+  ctx.log(active3 ? `active agent: ${active3.handle} (id ${active3.id})` : `active agent: (default identity)`);
   if (!ctx.loggedIn) {
     ctx.log(`  log in to list the agents you can act as:  errata login`);
     return 0;
@@ -90551,7 +90675,7 @@ async function runShow(ctx) {
     ctx.log(`  couldn't list actable agents: ${errText(err2)}`);
     return 1;
   }
-  printActable(resp, active2, ctx);
+  printActable(resp, active3, ctx);
   return 0;
 }
 async function runSet(handle2, ctx) {
@@ -90580,7 +90704,7 @@ async function runSet(handle2, ctx) {
   ctx.log(`now acting as ${match2.handle} (id ${match2.id}) \u2014 saved; persists across daemon restarts`);
   return 0;
 }
-function printActable(resp, active2, ctx) {
+function printActable(resp, active3, ctx) {
   if (resp.agents.length === 0) {
     ctx.log(`  (no agents you can act as)`);
     return;
@@ -90588,7 +90712,7 @@ function printActable(resp, active2, ctx) {
   ctx.log(`  agents you can act as:`);
   for (const a of resp.agents) {
     const marks = [];
-    if (active2 && a.id === active2.id) marks.push("active");
+    if (active3 && a.id === active3.id) marks.push("active");
     if (a.id === resp.defaultAgentId) marks.push("default");
     const suffix = marks.length ? `  (${marks.join(", ")})` : "";
     const scope = a.scope ? ` \xB7 ${a.scope}` : "";
@@ -92271,9 +92395,9 @@ async function cmdStatus() {
   } else {
     console.log(`    logged in: yes (${cfg.email}) \u2014 key capability enforced by Console installation/scopes`);
   }
-  const active2 = getActiveAgent(cfg);
+  const active3 = getActiveAgent(cfg);
   console.log(
-    `    active agent: ${active2 ? `${active2.handle} (acting-as; \`errata use --none\` to clear)` : "default identity"}`
+    `    active agent: ${active3 ? `${active3.handle} (acting-as; \`errata use --none\` to clear)` : "default identity"}`
   );
   const inspection = await inspectCloudEndpoint(cfg.cloudUrl);
   const decision = evaluateCloudEndpoint(cfg.cloudUrl, inspection);
@@ -92393,8 +92517,8 @@ async function cmdWhoami(args2) {
     return;
   }
   try {
-    const active2 = getActiveAgent(cfg);
-    const response = await resolveWhoami(authedCloudClient(cfg), active2?.handle ?? null);
+    const active3 = getActiveAgent(cfg);
+    const response = await resolveWhoami(authedCloudClient(cfg), active3?.handle ?? null);
     if (args2.includes("--json")) {
       console.log(JSON.stringify(response, null, 2));
       return;

package/package.json

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

package/pass-worker.mjs

@@ -16283,13 +16283,13 @@ function loadNodeSqlite() {
     process.emitWarning = original;
   }
 }
-function openDatabase(path) {
-  const db = new DatabaseSync(path);
+function openDatabase(path, opts) {
+  const db = opts ? new DatabaseSync(path, opts) : new DatabaseSync(path);
   try {
     db.exec("PRAGMA foreign_keys = ON");
   } catch {
   }
-  if (path !== ":memory:") {
+  if (path !== ":memory:" && !opts?.readOnly) {
     try {
       db.exec("PRAGMA journal_mode = WAL");
       db.exec("PRAGMA synchronous = NORMAL");
@@ -25171,8 +25171,9 @@ init_src2();
 init_src();
 
 // ../../packages/local-graph/src/history-cache-floor.ts
+var HISTORY_CACHE_FLOOR_KEY = "history-cache-withdrawal-floor-3";
 function installHistoryCacheFloor(db) {
-  const key = "history-cache-withdrawal-floor-3";
+  const key = HISTORY_CACHE_FLOOR_KEY;
   if (db.prepare("SELECT value FROM store_meta WHERE key = ?").get(key)) return;
   db.transaction(() => {
     db.exec("DROP TRIGGER IF EXISTS history_cache_nodes_insert; DROP TRIGGER IF EXISTS history_cache_nodes_update;");
@@ -25334,6 +25335,7 @@ function localEdgeViolation(fromLabel, type, toLabel) {
   return verdict.ok ? null : verdict.reason ?? "edge rule violation";
 }
 var SCHEMA_VERSION = 6;
+var SESSION_REPAIR_KEY = "session-evidence-v1";
 var SESSION_EVIDENCE_PREDICATE = SESSION_EVIDENCE_FIELDS.map((field) => `instr(attrs_json, '${JSON.stringify(field)}') > 0`).join(" OR ");
 var SCHEMA_SQL = `
 CREATE TABLE IF NOT EXISTS schema_version (
@@ -25545,10 +25547,10 @@ var SqliteGraphStore = class {
     }
     this.db.exec(TEMPORAL_INDEX_SQL);
     installHistoryCacheFloor(this.db);
-    if (!this.db.prepare("SELECT value FROM store_meta WHERE key = 'session-evidence-v1'").get()) {
+    if (!this.db.prepare("SELECT value FROM store_meta WHERE key = ?").get(SESSION_REPAIR_KEY)) {
       this.db.transaction(() => {
         this.repairSessionAliases();
-        this.db.prepare("INSERT OR REPLACE INTO store_meta (key, value) VALUES ('session-evidence-v1', 'done')").run();
+        this.db.prepare("INSERT OR REPLACE INTO store_meta (key, value) VALUES (?, 'done')").run(SESSION_REPAIR_KEY);
       });
     }
     this.stmts = {
@@ -25743,6 +25745,34 @@ var SqliteGraphStore = class {
     const seqRow = this.db.prepare("SELECT value FROM store_meta WHERE key = 'ingest_seq'").get();
     this.ingestSeq = seqRow ? Number(seqRow.value) : 0;
   }
+  strandedSymbols() {
+    return this.db.prepare(`
+      SELECT f.id AS fileId, e.to_id AS symbolId
+      -- Start from the small File population. An unconstrained JOIN lets
+      -- SQLite start at edges_live and visit every live edge in the graph.
+      FROM nodes f CROSS JOIN edges e ON e.from_id = f.id
+      LEFT JOIN nodes t ON t.id = e.to_id
+      WHERE f.label = 'File' AND f.valid_to IS NULL AND e.valid_to IS NULL
+        AND e.type IN ('DEFINES', 'CONTAINS')
+        AND (t.id IS NULL OR t.valid_to IS NOT NULL)
+    `).all();
+  }
+  fileIndexStates(ids) {
+    if (ids.length === 0) return [];
+    if (ids.length > 500) throw new RangeError("fileIndexStates accepts at most 500 ids per read");
+    const rows = this.db.prepare(`
+      SELECT f.id, f.last_updated_at AS lastUpdatedAt, f.valid_to AS validTo,
+        CASE WHEN count(e.id) = 0 THEN
+          (json_type(f.attrs_json, '$.symbolCount') IN ('integer','real') AND json_extract(f.attrs_json, '$.symbolCount') = 0)
+          OR json_type(f.attrs_json, '$.indexSkipped') = 'text'
+        ELSE max(CASE WHEN t.id IS NULL OR t.valid_to IS NOT NULL THEN 1 ELSE 0 END) = 0 END AS complete
+      FROM nodes f
+      LEFT JOIN edges e ON e.from_id = f.id AND e.valid_to IS NULL AND e.type IN ('DEFINES','CONTAINS')
+      LEFT JOIN nodes t ON t.id = e.to_id
+      WHERE f.id IN (${ids.map(() => "?").join(",")}) GROUP BY f.id
+    `).all(...ids);
+    return rows.map((row) => ({ ...row, complete: row.complete === 1 }));
+  }
   /** Forward-migrate the on-disk schema to the current SCHEMA_VERSION. */
   migrate(from) {
     this.db.transaction(() => {
@@ -29118,48 +29148,30 @@ function listSourceFiles(root) {
   return gitSourceFiles(root) ?? walkSource(root);
 }
 var SCAN_YIELD_EVERY = 100;
-var LIVENESS_CHUNK = 4e3;
 async function findStaleFiles(store2, rootPath, workspaceId) {
   const stale = [];
-  const pending = [];
-  const allTargets = [];
+  let pending = [];
+  const check2 = () => {
+    const states = new Map(store2.fileIndexStates(pending.map((f) => f.id)).map((s) => [s.id, s]));
+    for (const f of pending) {
+      const state = states.get(f.id);
+      if (!state || state.validTo !== null || state.lastUpdatedAt < f.mtimeMs || !state.complete) stale.push(f.abs);
+    }
+    pending = [];
+  };
   let scanned = 0;
   for (const abs of listSourceFiles(rootPath)) {
-    if (++scanned % SCAN_YIELD_EVERY === 0) await new Promise((r) => setImmediate(r));
-    let mtimeMs;
     try {
-      mtimeMs = statSync3(abs).mtimeMs;
+      const rel = relative2(rootPath, abs).split(sep2).join("/");
+      pending.push({ abs, id: fileNodeId(workspaceId, rel), mtimeMs: statSync3(abs).mtimeMs });
     } catch {
-      continue;
     }
-    const rel = relative2(rootPath, abs).split(sep2).join("/");
-    const fnode = store2.getNode(fileNodeId(workspaceId, rel));
-    if (!fnode) {
-      stale.push(abs);
-    } else if ((fnode.validTo ?? null) !== null) {
-      stale.push(abs);
-    } else if (fnode.lastUpdatedAt < mtimeMs) {
-      stale.push(abs);
-    } else {
-      const edges = store2.outEdges(fnode.id, ["DEFINES", "CONTAINS"]);
-      if (edges.length === 0) {
-        const converged = fnode.attrs["symbolCount"] === 0 || typeof fnode.attrs["indexSkipped"] === "string";
-        if (!converged) stale.push(abs);
-      } else {
-        const targets = edges.map((e) => e.to);
-        pending.push({ abs, targets });
-        allTargets.push(...targets);
-      }
+    if (++scanned % SCAN_YIELD_EVERY === 0) {
+      check2();
+      await new Promise((resolve) => setImmediate(resolve));
     }
   }
-  const live = /* @__PURE__ */ new Set();
-  for (let i2 = 0; i2 < allTargets.length; i2 += LIVENESS_CHUNK) {
-    for (const id of store2.liveNodeIds(allTargets.slice(i2, i2 + LIVENESS_CHUNK))) live.add(id);
-    if (i2 + LIVENESS_CHUNK < allTargets.length) await new Promise((r) => setImmediate(r));
-  }
-  for (const { abs, targets } of pending) {
-    if (targets.some((id) => !live.has(id))) stale.push(abs);
-  }
+  check2();
   return stale;
 }
 async function reconcileStaleFiles(store2, rootPath, workspaceId) {
@@ -29574,6 +29586,9 @@ port.on("message", (msg) => {
 });
 function runPass(msg) {
   switch (msg.kind) {
+    case "prepareStore":
+      return void 0;
+    // opening the connection above completed all preparation
     case "semanticMaintenance":
       return runWorkspaceMaintenance(store, init2.workspaceId);
     case "liveness":