@inerrata-corporation/errata 2.0.2-dev.517 → 2.0.2-dev.532

package/package.json

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

package/pass-worker.mjs

@@ -16721,7 +16721,7 @@ async function scan(root, current, ignores, providers, out2) {
     }
   }
 }
-function gitListFiles(root, ignores, providers) {
+function gitListRelPaths(root, ignores) {
   let stdout;
   try {
     stdout = execFileSync(
@@ -16744,6 +16744,15 @@ function gitListFiles(root, ignores, providers) {
     if (segs.some((s) => ignores.has(s) || s.startsWith(".") && s.length > 1)) {
       continue;
     }
+    out2.push(rel);
+  }
+  return out2;
+}
+function gitListFiles(root, ignores, providers) {
+  const rels = gitListRelPaths(root, ignores);
+  if (rels === null) return null;
+  const out2 = [];
+  for (const rel of rels) {
     const abs = join(root, rel);
     let size;
     try {
@@ -24083,6 +24092,7 @@ var init_csharp_treesitter = __esm({
 // ../../packages/indexer/src/index.ts
 var src_exports = {};
 __export(src_exports, {
+  DEFAULT_IGNORES: () => DEFAULT_IGNORES,
   DRIFT_FORK_RATIO: () => DRIFT_FORK_RATIO,
   TreeSitterCSharpProvider: () => TreeSitterCSharpProvider,
   TreeSitterCppProvider: () => TreeSitterCppProvider,
@@ -24099,6 +24109,7 @@ __export(src_exports, {
   findInnermostScope: () => findInnermostScope,
   folderNodeId: () => folderNodeId,
   fromHex: () => fromHex,
+  gitListRelPaths: () => gitListRelPaths,
   hammingDistance: () => hammingDistance,
   hasForkedDrift: () => hasForkedDrift,
   incrementalReindex: () => incrementalReindex,
@@ -24969,6 +24980,10 @@ var SqliteGraphStore = class {
     if (!live) return null;
     const version2 = live.version ?? 1;
     const frozenId = `${liveId}@v${version2}`;
+    if (this.getNode(frozenId)) {
+      this.stmts.advanceLive.run({ live_id: liveId, t });
+      return frozenId;
+    }
     this.stmts.freezeCopy.run({ frozen_id: frozenId, live_id: liveId, t });
     this.mergeEdge({
       id: `edge_superseded_${frozenId}`,
@@ -25027,6 +25042,7 @@ var CAUSAL_FAMILY = [
 
 // ../../packages/local-graph/src/justification.ts
 init_src();
+init_src2();
 function addDependency(store2, opts) {
   const id = digest({ from: opts.fromId, type: "DEPENDS_ON", to: opts.toId });
   const attrs = { relation: opts.relation };
@@ -25057,15 +25073,22 @@ function markRevisit(store2, node, reason, ts, answeredWhen) {
       revisit: true,
       revisitReason: reason,
       revisitSinceTs: ts,
-      ...answeredWhen ? { revisitAnsweredWhen: answeredWhen } : {}
+      revisitAnsweredWhen: answeredWhen
     },
     lastUpdatedAt: ts
   });
 }
 var LEGACY_AUTO_CLOSE_ASK = "auto-closed off a pre-provenance anchor";
+var KNOWN_CONDITIONS = {
+  parentProblemOpen: true,
+  dependentStale: true
+};
+function isRevisitCondition(v) {
+  return typeof v === "string" && Object.prototype.hasOwnProperty.call(KNOWN_CONDITIONS, v);
+}
 function conditionOf(node) {
   const explicit = node.attrs["revisitAnsweredWhen"];
-  if (explicit === "parentProblemOpen") return explicit;
+  if (isRevisitCondition(explicit)) return explicit;
   if (String(node.attrs["revisitReason"] ?? "").startsWith(LEGACY_AUTO_CLOSE_ASK)) {
     return "parentProblemOpen";
   }
@@ -25073,23 +25096,32 @@ function conditionOf(node) {
 }
 function clearAnsweredRevisits(store2, ts) {
   const report = { cleared: 0, standing: 0 };
-  for (const node of store2.findNodesByLabel("Solution")) {
-    if (node.attrs["revisit"] !== true) continue;
-    if (conditionOf(node) !== "parentProblemOpen") {
-      report.standing++;
-      continue;
-    }
-    const parents = store2.inEdges(node.id, ["SOLVED_BY"]).map((e) => store2.getNode(e.from)).filter((n) => n !== null);
-    const answered = parents.every((p) => p.attrs["resolvedAt"] == null);
-    if (!answered) {
-      report.standing++;
-      continue;
+  for (const label of SEMANTIC_NODE_LABELS) {
+    for (const node of store2.findNodesByLabel(label)) {
+      if (node.attrs["revisit"] !== true) continue;
+      const condition = conditionOf(node);
+      if (condition === void 0 || !isRevisitAnswered(store2, node, condition)) {
+        report.standing++;
+        continue;
+      }
+      clearRevisit(store2, node.id, ts);
+      report.cleared++;
     }
-    clearRevisit(store2, node.id, ts);
-    report.cleared++;
   }
   return report;
 }
+function isRevisitAnswered(store2, node, condition) {
+  switch (condition) {
+    case "parentProblemOpen": {
+      const parents = store2.inEdges(node.id, ["SOLVED_BY"]).map((e) => store2.getNode(e.from)).filter((n) => n !== null && n.validTo == null);
+      return parents.every((p) => p.attrs["resolvedAt"] == null);
+    }
+    case "dependentStale": {
+      const since = Number(node.attrs["revisitSinceTs"] ?? 0);
+      return since > 0 && node.lastUpdatedAt > since;
+    }
+  }
+}
 function clearRevisit(store2, nodeId, ts) {
   const n = store2.getNode(nodeId);
   if (!n) return;
@@ -26224,6 +26256,9 @@ function rankToolsForHandles(store2, limit = 5) {
 // ../../packages/local-graph/src/principle-sync.ts
 init_src2();
 
+// ../../packages/local-graph/src/mechanism-liveness.ts
+var STALL_MIN_SPAN_MS = 60 * 60 * 1e3;
+
 // ../../packages/generalizer/src/generalizer.ts
 init_src2();
 init_src();
@@ -26343,7 +26378,7 @@ function promoteMotifs(store2, t) {
 }
 
 // ../../packages/generalizer/src/nightly.ts
-function runNightlyPipeline(store2) {
+function runGraphRescore(store2) {
   const started = Date.now();
   const allowedTypes = new Set(pagerankEdgeTypes());
   const nodeIds = [];
@@ -26426,11 +26461,6 @@ function runNightlyPipeline(store2) {
     for (const [id, c] of comm.community) store2.updateNode(id, { community: c });
   });
   const motifs = promoteMotifs(store2, started);
-  reopenAutoClosedProblems(store2, started);
-  const revisits = clearAnsweredRevisits(store2, started);
-  const fixCandidates = clearSettledFixCandidates(store2, started);
-  const designResolved = markFixCandidates(store2, started);
-  const cry = crystallize(store2, { ts: started });
   return {
     scoredNodes: scored,
     iterations: result.iterations,
@@ -26440,17 +26470,51 @@ function runNightlyPipeline(store2) {
     motifsPromoted: motifs.promoted,
     techniques: motifs.techniques,
     antipatterns: motifs.antipatterns,
-    skillsInduced: 0,
-    // skills are cloud-induced now (see above)
-    skillsRefreshed: 0,
+    durationMs: Date.now() - started
+  };
+}
+function runSemanticMaintenance(store2) {
+  const started = Date.now();
+  reopenAutoClosedProblems(store2, started);
+  const revisits = clearAnsweredRevisits(store2, started);
+  const fixCandidates = clearSettledFixCandidates(store2, started);
+  const designResolved = markFixCandidates(store2, started);
+  const cry = crystallize(store2, { ts: started });
+  return {
     designResolved,
     revisitsCleared: revisits.cleared,
+    revisitsStanding: revisits.standing,
     fixCandidatesSettled: fixCandidates.answered + fixCandidates.ignored + fixCandidates.unsubstantiated,
+    fixCandidates,
     claimsEvaluated: cry.evaluated,
     claimsDerived: cry.derived.length,
     durationMs: Date.now() - started
   };
 }
+function runNightlyPipeline(store2) {
+  const started = Date.now();
+  const rescore = runGraphRescore(store2);
+  const semantic = runSemanticMaintenance(store2);
+  return {
+    scoredNodes: rescore.scoredNodes,
+    iterations: rescore.iterations,
+    converged: rescore.converged,
+    landmarks: rescore.landmarks,
+    communities: rescore.communities,
+    motifsPromoted: rescore.motifsPromoted,
+    techniques: rescore.techniques,
+    antipatterns: rescore.antipatterns,
+    skillsInduced: 0,
+    // skills are cloud-induced now (see above)
+    skillsRefreshed: 0,
+    designResolved: semantic.designResolved,
+    revisitsCleared: semantic.revisitsCleared,
+    fixCandidatesSettled: semantic.fixCandidatesSettled,
+    claimsEvaluated: semantic.claimsEvaluated,
+    claimsDerived: semantic.claimsDerived,
+    durationMs: Date.now() - started
+  };
+}
 function codeAnchorProjection(store2, semanticIds, opts = {}) {
   const anchorToNodes = /* @__PURE__ */ new Map();
   for (const id of semanticIds) {
@@ -26761,6 +26825,8 @@ async function findStaleFiles(store2, rootPath, workspaceId) {
     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 {
@@ -26788,12 +26854,23 @@ async function reconcileStaleFiles(store2, rootPath, workspaceId) {
   const stale = await findStaleFiles(store2, rootPath, workspaceId);
   if (stale.length === 0) return 0;
   let total = 0;
+  let failedBatches = 0;
   const BATCH = 20;
   for (let i2 = 0; i2 < stale.length; i2 += BATCH) {
-    const r = await incrementalReindex(store2, rootPath, workspaceId, stale.slice(i2, i2 + BATCH));
-    total += r.filesReindexed;
+    try {
+      const r = await incrementalReindex(store2, rootPath, workspaceId, stale.slice(i2, i2 + BATCH));
+      total += r.filesReindexed;
+    } catch (err2) {
+      failedBatches++;
+      console.warn(
+        `[errata] reconcile: batch ${i2 / BATCH + 1} failed (${stale.slice(i2, i2 + BATCH).length} file(s) skipped): ${err2 instanceof Error ? err2.message : err2}`
+      );
+    }
     if (i2 + BATCH < stale.length) await new Promise((res) => setImmediate(res));
   }
+  if (failedBatches > 0) {
+    console.warn(`[errata] reconcile: ${failedBatches} batch(es) failed; ${total} file(s) reindexed`);
+  }
   return total;
 }