@inerrata-corporation/errata 2.0.22-dev.4430 → 2.0.22-dev.4530

package/consolidate-worker.mjs

@@ -15790,7 +15790,7 @@ var init_history_temporal = __esm({
 });
 
 // ../../packages/shared/src/history-revision.ts
-var Sha, HistoryRevisionRequestSchema;
+var Sha, HistoryRevisionRequestSchema, HistoryCarryRequestSchema, HISTORY_REVIEW_BUDGET, HISTORY_REVIEW_POLICY;
 var init_history_revision = __esm({
   "../../packages/shared/src/history-revision.ts"() {
     "use strict";
@@ -15810,6 +15810,17 @@ var init_history_revision = __esm({
         dependencyContext: HistoryDependencyContextSchema.optional()
       })).max(50)
     });
+    HistoryCarryRequestSchema = external_exports.strictObject({
+      fromCommit: Sha,
+      atCommit: Sha,
+      parents: external_exports.array(external_exports.strictObject({ commit: Sha, parents: external_exports.array(Sha).max(32) })).max(8192),
+      /** Every symbol in a file the range changed, both sides; `null` = too many to name, treat all as changed. */
+      changedSymbols: external_exports.array(external_exports.string().regex(/^sym_[a-f0-9]{8,64}$/)).max(5e3).nullable(),
+      /** Manifests the range changed; `null` = a lockfile (or too many manifests) changed, treat all as changed. */
+      changedManifests: external_exports.array(external_exports.string().regex(/^hmanifest_[a-f0-9]{32}$/)).max(512).nullable()
+    });
+    HISTORY_REVIEW_BUDGET = 48e3;
+    HISTORY_REVIEW_POLICY = `reviewer-view-${HISTORY_REVIEW_BUDGET}`;
   }
 });
 
@@ -17093,6 +17104,114 @@ function textIndexReady(db) {
   return db.prepare("SELECT value FROM store_meta WHERE key = ?").get(TEXT_INDEX_KEY)?.["value"] === "installed";
 }
 
+// ../../packages/local-graph/src/exposure-attrs.ts
+var EXPOSURE_ATTRS = [
+  "shownCount",
+  "evictedCount",
+  "firstShownAt",
+  "firstEvictedAt",
+  "firstShownAtSeq",
+  "lastShownAtSeq",
+  "lastEvictedAtSeq",
+  "shownSinceTouch",
+  "shownSinceTouchAt",
+  "exposureLog",
+  "exposureLogStart",
+  "exposureLogSince",
+  "exposureFirst",
+  "exposureTrimmed"
+];
+var EXPOSURE_SCOPE = "exposure";
+
+// ../../packages/local-graph/src/change-feed.ts
+var CHANGE_FEED_KEY = "change-feed";
+var ANY_CHANGE = "*";
+var CHANGE_LOG_KEEP = 25e4;
+var PRUNED_TO_KEY = "change-log-pruned-to";
+function installChangeFeed(db) {
+  if (changeFeedInstalled(db)) return;
+  db.transaction(() => {
+    db.exec("CREATE TABLE IF NOT EXISTS change_seq (scope TEXT PRIMARY KEY, seq INTEGER NOT NULL) WITHOUT ROWID");
+    db.exec(`CREATE TABLE IF NOT EXISTS change_log (change_seq INTEGER PRIMARY KEY, kind TEXT NOT NULL, id TEXT NOT NULL,
+      label TEXT, from_id TEXT, to_id TEXT)`);
+    for (const name of ["nodes", "edges"].flatMap((t) => ["insert", "update", "delete"].map((op) => `change_feed_${t}_${op}`))) {
+      db.exec(`DROP TRIGGER IF EXISTS ${name}`);
+    }
+    const changed = (table) => columns(db, table).map((c) => `OLD."${c}" IS NOT NEW."${c}"`).join(" OR ");
+    const strip = (row) => `json_remove(${row}.attrs_json, ${EXPOSURE_ATTRS.map((a) => `'$.${a}'`).join(", ")})`;
+    const exposureOnly = `(${columns(db, "nodes").filter((c) => c !== "attrs_json").map((c) => `OLD."${c}" IS NEW."${c}"`).join(" AND ")}
+      AND CASE WHEN json_valid(OLD.attrs_json) AND json_valid(NEW.attrs_json) THEN ${strip("OLD")} IS ${strip("NEW")} ELSE 0 END)`;
+    const bump = (...scopes) => `INSERT INTO change_seq(scope, seq) VALUES ${scopes.map((s) => `(${s}, 1)`).join(", ")}
+      ON CONFLICT(scope) DO UPDATE SET seq = seq + 1;`;
+    const seq = `(SELECT seq FROM change_seq WHERE scope = '*')`;
+    const logNode = (row) => `INSERT INTO change_log(change_seq, kind, id, label) VALUES (${seq}, 'node', ${row}.id, ${row}.label);`;
+    const logEdge = (row) => `INSERT INTO change_log(change_seq, kind, id, label, from_id, to_id) VALUES (${seq}, 'edge', ${row}.id, ${row}.type, ${row}.from_id, ${row}.to_id);`;
+    const node = (row) => `'node:' || ${row}.label`;
+    const edge = (row) => `'edge:' || ${row}.type`;
+    db.exec(`CREATE TRIGGER change_feed_nodes_insert AFTER INSERT ON nodes BEGIN ${bump(`'*'`, node("NEW"))} ${logNode("NEW")} END;`);
+    db.exec(`CREATE TRIGGER change_feed_nodes_update AFTER UPDATE ON nodes WHEN ${changed("nodes")} BEGIN
+      ${bump(`'*'`)}
+      INSERT INTO change_seq(scope, seq) SELECT CASE WHEN ${exposureOnly} THEN '${EXPOSURE_SCOPE}' ELSE ${node("NEW")} END, 1 WHERE 1
+        ON CONFLICT(scope) DO UPDATE SET seq = seq + 1;
+      INSERT INTO change_seq(scope, seq) SELECT ${node("OLD")}, 1 WHERE OLD.label IS NOT NEW.label
+        ON CONFLICT(scope) DO UPDATE SET seq = seq + 1;
+      ${logNode("NEW")}
+    END;`);
+    db.exec(`CREATE TRIGGER change_feed_nodes_delete AFTER DELETE ON nodes BEGIN ${bump(`'*'`, node("OLD"))} ${logNode("OLD")} END;`);
+    db.exec(`CREATE TRIGGER change_feed_edges_insert AFTER INSERT ON edges BEGIN ${bump(`'*'`, edge("NEW"))} ${logEdge("NEW")} END;`);
+    db.exec(`CREATE TRIGGER change_feed_edges_update AFTER UPDATE ON edges WHEN ${changed("edges")} BEGIN
+      ${bump(`'*'`, edge("NEW"))}
+      INSERT INTO change_seq(scope, seq) SELECT ${edge("OLD")}, 1 WHERE OLD.type IS NOT NEW.type
+        ON CONFLICT(scope) DO UPDATE SET seq = seq + 1;
+      ${logEdge("NEW")}
+    END;`);
+    db.exec(`CREATE TRIGGER change_feed_edges_delete AFTER DELETE ON edges BEGIN ${bump(`'*'`, edge("OLD"))} ${logEdge("OLD")} END;`);
+    db.prepare("INSERT OR REPLACE INTO store_meta(key, value) VALUES (?, ?)").run(PRUNED_TO_KEY, String(readChangeSeq(db)));
+    db.prepare("INSERT OR REPLACE INTO store_meta(key, value) VALUES (?, ?)").run(CHANGE_FEED_KEY, columnSignature(db));
+  });
+}
+function readChangeSeq(db, scopes = [ANY_CHANGE]) {
+  if (!scopes.length) return 0;
+  const row = db.prepare(`SELECT coalesce(sum(seq), 0) AS n FROM change_seq WHERE scope IN (${scopes.map(() => "?").join(",")})`).get(...scopes);
+  return Number(row?.n ?? 0);
+}
+function changeLogCovers(db, sinceSeq) {
+  const prunedTo = Number(db.prepare("SELECT value FROM store_meta WHERE key = ?").get(PRUNED_TO_KEY)?.["value"] ?? NaN);
+  return Number.isFinite(prunedTo) && sinceSeq >= prunedTo;
+}
+function readLineageChangedFiles(db, sinceSeq) {
+  if (!changeLogCovers(db, sinceSeq)) return null;
+  const rows = db.prepare(LINEAGE_CHANGED_FILES_SQL).all({ s: sinceSeq });
+  return rows.map((r) => r.id);
+}
+var LINEAGE_CHANGED_FILES_SQL = `
+  SELECT id FROM change_log WHERE change_seq > :s AND kind = 'node' AND label = 'File'
+  UNION SELECT from_id FROM change_log WHERE change_seq > :s AND kind = 'edge' AND label IN ('DEFINES','CONTAINS')
+  UNION SELECT e.from_id FROM (SELECT DISTINCT id FROM change_log WHERE change_seq > :s AND kind = 'node') c
+    CROSS JOIN edges e ON e.to_id = c.id AND e.type IN ('DEFINES','CONTAINS')
+`;
+function pruneChangeLog(db) {
+  const max = Number(db.prepare("SELECT coalesce(max(change_seq), 0) AS n FROM change_log").get()?.["n"] ?? 0);
+  const cut = max - CHANGE_LOG_KEEP;
+  if (cut <= 0) return 0;
+  let removed = 0;
+  db.transaction(() => {
+    removed = Number(db.prepare("DELETE FROM change_log WHERE change_seq <= ?").run(cut).changes);
+    const prev = Number(db.prepare("SELECT value FROM store_meta WHERE key = ?").get(PRUNED_TO_KEY)?.["value"] ?? 0);
+    db.prepare("INSERT OR REPLACE INTO store_meta(key, value) VALUES (?, ?)").run(PRUNED_TO_KEY, String(Math.max(prev, cut)));
+  });
+  return removed;
+}
+function changeFeedInstalled(db) {
+  return db.prepare("SELECT value FROM store_meta WHERE key = ?").get(CHANGE_FEED_KEY)?.["value"] === columnSignature(db);
+}
+function columns(db, table) {
+  return db.prepare(`SELECT name FROM pragma_table_info('${table}') ORDER BY cid`).all().map((r) => r.name);
+}
+function columnSignature(db) {
+  return `5|${columns(db, "nodes").join(",")}|${columns(db, "edges").join(",")}|${EXPOSURE_ATTRS.join(",")}`;
+}
+
 // ../../packages/local-graph/src/lineage-integrity.ts
 var statements = /* @__PURE__ */ new WeakMap();
 function stmt(db, sql) {
@@ -17880,6 +17999,7 @@ var SqliteGraphStore = class {
       });
     }
     installLineageIntegrityRepair(this.db);
+    installChangeFeed(this.db);
     this.stmts = {
       insertNode: this.db.prepare(`
         INSERT INTO nodes (
@@ -18667,12 +18787,39 @@ var SqliteGraphStore = class {
   mutationCount() {
     return this.mutations;
   }
+  changeStamp() {
+    const { data_version } = this.db.pragma("data_version");
+    const { n } = this.db.prepare("SELECT total_changes() AS n").get();
+    return `${data_version}:${n}`;
+  }
+  changeSeq(scopes) {
+    return readChangeSeq(this.db, scopes);
+  }
+  lineageChangedFiles(sinceSeq) {
+    return readLineageChangedFiles(this.db, sinceSeq);
+  }
+  pruneChangeLog() {
+    return pruneChangeLog(this.db);
+  }
+  fileRowStates(ids) {
+    if (ids.length === 0) return [];
+    if (ids.length > 500) throw new RangeError("fileRowStates accepts at most 500 ids per read");
+    return this.db.prepare(`SELECT id, last_updated_at AS lastUpdatedAt, valid_to AS validTo FROM nodes WHERE id IN (${ids.map(() => "?").join(",")})`).all(...ids);
+  }
+  // Read and advanced in SQL, never from a per-connection copy: pass workers and
+  // MCP processes open their own connections and advance the same row, so a
+  // copy loaded at open went stale, and `copy + 1` wrote a duplicate or a
+  // backwards seq from whichever connection had fallen behind.
   currentIngestSeq() {
+    const row = this.db.prepare("SELECT value FROM store_meta WHERE key = 'ingest_seq'").get();
+    this.ingestSeq = row ? Number(row.value) : 0;
     return this.ingestSeq;
   }
   nextIngestSeq() {
-    this.ingestSeq += 1;
-    this.stmts.setIngestSeq.run({ v: String(this.ingestSeq) });
+    const row = this.db.prepare(
+      "INSERT INTO store_meta (key, value) VALUES ('ingest_seq', '1') ON CONFLICT(key) DO UPDATE SET value = CAST(value AS INTEGER) + 1 RETURNING value"
+    ).get();
+    this.ingestSeq = Number(row.value);
     return this.ingestSeq;
   }
   edgeCount() {
@@ -19712,10 +19859,14 @@ function buildContextIngest(store, profile, daemonVersion, ignorePatterns = [],
     }
   }
   if (nodes.length === 0) return null;
+  const contributed = (id) => {
+    const n = store.getNode(id);
+    return !!n && (n.label === "Package" || n.label === "Language") && n.attrs["source"] !== "cloud" && typeof n.attrs["contributedAtSeq"] === "number" && !ignored(n.description) && !ignored(String(n.attrs["name"] ?? ""));
+  };
   const edges = [];
   for (const id of seen) {
     for (const e of store.outEdges(id, ["DEPENDS_ON"])) {
-      if (seen.has(e.to)) edges.push({ ...e, attrs: {} });
+      if (seen.has(e.to) || contributed(e.to)) edges.push({ ...e, attrs: {} });
     }
   }
   const base = {