@inerrata-corporation/errata 2.0.17-dev.3421 → 2.0.17-dev.3433

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
@@ -18618,6 +18639,17 @@ function sessionOriginKey(sessionId) {
   return "ws_" + createHash2("sha256").update(sessionId).digest("hex").slice(0, 12);
 }
 
+// src/session-registry.ts
+var SESSION_IDLE_MS = 20 * 6e4;
+function sessionsOf(node) {
+  const s = node.attrs["sources"];
+  return Array.isArray(s) ? s.filter((x) => typeof x === "string" && x.length > 0) : [];
+}
+function capturedOnlyBy(node, sessions) {
+  const recorded = sessionsOf(node);
+  return recorded.length > 0 && recorded.every((s) => sessions.has(s));
+}
+
 // src/public-symbols.ts
 import { readFileSync, readdirSync, existsSync } from "node:fs";
 import { join } from "node:path";
@@ -19496,6 +19528,7 @@ function shareableContext(n, wireId) {
 function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [], opts = {}) {
   const level = opts.level ?? 1;
   const noveltyOpts = opts.dedupCosine != null ? { dedupCosine: opts.dedupCosine } : {};
+  const quarantine = opts.quarantinedSessions?.length ? new Set(opts.quarantinedSessions) : null;
   const ignored = (text) => ignorePatterns.length > 0 && ignorePatterns.some((p) => text.toLowerCase().includes(p));
   const originSessionOf = (n) => {
     const key = sessionOriginKey(n.attrs["sources"]?.[0]);
@@ -19564,6 +19597,7 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
     candidates: 0,
     shipped: 0,
     cloudSourced: 0,
+    quarantined: 0,
     falsePositive: 0,
     ignored: 0,
     watermarked: 0,
@@ -19579,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(
@@ -19614,6 +19649,10 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
         composition.cloudSourced++;
         continue;
       }
+      if (quarantine && capturedOnlyBy(n, quarantine)) {
+        composition.quarantined++;
+        continue;
+      }
       if (n.attrs["resolvedAs"] === PROBLEM_RESOLUTION.FALSE_POSITIVE) {
         composition.falsePositive++;
         continue;
@@ -19800,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);
@@ -19945,7 +19990,8 @@ function buildDrainInstances(store, sharedStore, input) {
     },
     ...lexicon ? { lexicon } : {},
     ...fileLexicon ? { fileLexicon } : {},
-    ...input.project ? { project: input.project } : {}
+    ...input.project ? { project: input.project } : {},
+    ...input.quarantinedSessions?.length ? { quarantinedSessions: input.quarantinedSessions } : {}
   });
   return {
     batch,