@inerrata-corporation/errata 2.0.2-dev.336 → 2.0.2-dev.338

package/errata.mjs

@@ -18744,6 +18744,28 @@ function closeDesignProblem(store, problemId, fixNote, t) {
   });
   return true;
 }
+function reopenAutoClosedProblems(store, t) {
+  const report = { reopened: 0, alreadySuspect: 0, agentDescribed: 0 };
+  for (const p of store.findNodesByLabel("Problem")) {
+    if (p.attrs["resolvedAt"] == null) continue;
+    if (p.attrs["resolvedAs"] != null) continue;
+    if (p.attrs["mergedInto"] !== void 0) continue;
+    const sols = store.outEdges(p.id, ["SOLVED_BY"]).map((e) => store.getNode(e.to)).filter((n) => n !== null);
+    if (sols.length === 0) continue;
+    if (!sols.every((s) => String(s.description ?? "").startsWith(AUTO_MINT_PREFIX))) {
+      report.agentDescribed++;
+      continue;
+    }
+    if (p.attrs["resolutionSuspect"] === true) report.alreadySuspect++;
+    const attrs = { ...p.attrs };
+    delete attrs["resolvedAt"];
+    attrs["reopenedFrom"] = "auto-close";
+    attrs["reopenedAt"] = t;
+    store.updateNode(p.id, { attrs, lastUpdatedAt: t });
+    report.reopened++;
+  }
+  return report;
+}
 function designProblemId(statement) {
   return identityId({ kind: "DesignProblem", statement });
 }
@@ -18773,7 +18795,7 @@ function retractDesignProblem(store, problemId, resolvedAs, reason, t) {
   }
   return true;
 }
-function resolveDesignProblems(store, t) {
+function markFixCandidates(store, t) {
   let resolved = 0;
   for (const p of store.findNodesByLabel("Problem")) {
     if (!p.id.startsWith("dprob_")) continue;
@@ -18784,6 +18806,7 @@ function resolveDesignProblems(store, t) {
     let edited = false;
     for (const e of store.outEdges(p.id, ["ANCHORED_AT"])) {
       if (e.attrs?.["mention"] === true) continue;
+      if (e.attrs?.["anchorProvenance"] === "legacy") continue;
       const sym = store.getNode(e.to);
       if (sym && sym.lastUpdatedAt > p.createdAt) {
         edited = true;
@@ -18793,24 +18816,21 @@ function resolveDesignProblems(store, t) {
       }
     }
     if (!edited) continue;
-    if (store.outEdges(p.id, ["SOLVED_BY"]).length === 0) {
-      const solId = `dfix_${digest({ problemId: p.id, edit: t })}`.slice(0, 56);
-      store.mergeNode(
-        buildNode(solId, "Solution", `${AUTO_MINT_PREFIX}${symName}`, t, {
-          source: "convo",
-          provisional: false,
-          // AC-resolution-attrs: the resolving symbol/file as STRUCTURED data, not
-          // just prose — the F2 join key downstream backfills and the viz read.
-          resolvedSymbols: [symName],
-          ...symRelPath ? { resolvedRelPath: symRelPath } : {}
-        })
-      );
-      mergeEdge(store, p.id, solId, "SOLVED_BY", t);
-      for (const ae of store.outEdges(p.id, ["ANCHORED_AT"]))
-        mergeEdge(store, solId, ae.to, "ANCHORED_AT", t);
-    }
+    if (p.attrs["fixCandidateAt"] !== void 0) continue;
+    if (store.outEdges(p.id, ["SOLVED_BY"]).some((e) => {
+      const s = store.getNode(e.to);
+      return s !== null && !String(s.description ?? "").startsWith(AUTO_MINT_PREFIX);
+    }))
+      continue;
     store.updateNode(p.id, {
-      attrs: { ...p.attrs, provisional: false, resolvedAt: t },
+      attrs: {
+        ...p.attrs,
+        // The cue, kept as structured data so the render can name the file it is
+        // asking about. Deliberately NOT `resolvedAt` — this is a question.
+        fixCandidateAt: t,
+        fixCandidateSymbol: symName,
+        ...symRelPath ? { fixCandidateFile: symRelPath } : {}
+      },
       lastUpdatedAt: t
     });
     resolved++;
@@ -21150,6 +21170,7 @@ __export(src_exports2, {
   listNeedsRevisit: () => listNeedsRevisit,
   localEdgeViolation: () => localEdgeViolation,
   markDiscriminatorAsked: () => markDiscriminatorAsked,
+  markFixCandidates: () => markFixCandidates,
   markRevisit: () => markRevisit,
   matchLanguagesInText: () => matchLanguagesInText,
   matchPackagesInText: () => matchPackagesInText,
@@ -21179,10 +21200,10 @@ __export(src_exports2, {
   recordTriageObservation: () => recordTriageObservation,
   reinforceSameAnchorProblem: () => reinforceSameAnchorProblem,
   relateClaims: () => relateClaims,
+  reopenAutoClosedProblems: () => reopenAutoClosedProblems,
   repairLegacyAnchorsFromStatement: () => repairLegacyAnchorsFromStatement,
   resolveDesignProblemById: () => resolveDesignProblemById,
   resolveDesignProblemByStatement: () => resolveDesignProblemByStatement,
-  resolveDesignProblems: () => resolveDesignProblems,
   resolveOsNode: () => resolveOsNode,
   retractDesignProblemById: () => retractDesignProblemById,
   retractDesignProblemByStatement: () => retractDesignProblemByStatement,
@@ -21362,7 +21383,11 @@ function sliceForFile(store, relPath) {
   }
   const fp = priorsForFile(store, relPath);
   const priors = fp ? {
-    openProblems: fp.openProblems.slice(0, 3).map((p) => ({ id: p.id, description: p.description })),
+    openProblems: fp.openProblems.slice(0, 3).map((p) => ({
+      id: p.id,
+      description: p.description,
+      ...typeof p.attrs["fixCandidateFile"] === "string" ? { fixCandidateFile: p.attrs["fixCandidateFile"] } : {}
+    })),
     constraints: fp.constraints.slice(0, 2).map((c) => ({ id: c.id, description: c.description })),
     resolvedProblems: fp.resolvedProblems.slice(0, 3).map((p) => ({ id: p.id, description: p.description })),
     related: fp.related.slice(0, 4).map((n) => ({ id: n.id, label: n.label, description: n.description })),
@@ -21543,6 +21568,11 @@ function renderSnapshot(s) {
       );
       for (const p of w.priors.openProblems) {
         lines.push(`  - ${p.description} \u2192 \`(fix:[${p.id}])\` \xB7 \`([${p.id}])\``);
+        if (p.fixCandidateFile) {
+          lines.push(
+            `    - \`${p.fixCandidateFile}\` was edited after this was flagged. If that change fixed it, say so \u2014 \`(fix:[${p.id}])\`. If it did not, leave it open; nothing closes this but you.`
+          );
+        }
         const sols = w.priors.solutionsByProblem[p.id] ?? [];
         for (const s2 of sols) {
           lines.push(
@@ -27909,7 +27939,8 @@ function runNightlyPipeline(store) {
     for (const [id, c] of comm.community) store.updateNode(id, { community: c });
   });
   const motifs = promoteMotifs(store, started2);
-  const designResolved = resolveDesignProblems(store, started2);
+  reopenAutoClosedProblems(store, started2);
+  const designResolved = markFixCandidates(store, started2);
   const cry = crystallize(store, { ts: started2 });
   return {
     scoredNodes: scored,
@@ -53116,7 +53147,7 @@ function startLoopLagMonitor(thresholdMs = 1e3) {
 }
 
 // src/engine.ts
-var DAEMON_VERSION = true ? "2.0.2-dev.336" : "2.0.0-alpha.0";
+var DAEMON_VERSION = true ? "2.0.2-dev.338" : "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;

package/package.json

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

package/pass-worker.mjs

@@ -25266,43 +25266,6 @@ function backfillProblemContext(store2, ts) {
 function isConstraintProblem(node) {
   return node.attrs["kind"] === "constraint";
 }
-function buildNode(id, label, description, ts, attrs) {
-  return {
-    id,
-    label,
-    description,
-    extractionConfidence: 0.4,
-    // provisional: below the error-path's 0.6+
-    extractionSource: "agent-observed",
-    embedding: [],
-    cumulativeSurprise: 0,
-    peakSurprise: 0,
-    cumulativeHits: 1,
-    lastUpdatedAt: ts,
-    createdAt: ts,
-    memoryTier: "short-term",
-    pageRank: 0,
-    isLandmark: false,
-    community: null,
-    stability: "unstable",
-    attrs
-  };
-}
-function mergeEdge(store2, from, to, type, ts) {
-  store2.mergeEdge({
-    id: `edge_${digest({ from, type, to })}`.slice(0, 24),
-    from,
-    to,
-    type,
-    confidence: 0.4,
-    extractionSource: "agent-observed",
-    createdAt: ts,
-    lastSeenAt: ts,
-    navSuccesses: 0,
-    navFailures: 0,
-    attrs: { provisional: true }
-  });
-}
 var CITABLE_PRIOR_LABELS = /* @__PURE__ */ new Set([
   "Solution",
   "RootCause",
@@ -25381,8 +25344,30 @@ function recordAnchorHint(store2, problemId, relPath, provenance, ts) {
   });
   return true;
 }
+function reopenAutoClosedProblems(store2, t) {
+  const report = { reopened: 0, alreadySuspect: 0, agentDescribed: 0 };
+  for (const p of store2.findNodesByLabel("Problem")) {
+    if (p.attrs["resolvedAt"] == null) continue;
+    if (p.attrs["resolvedAs"] != null) continue;
+    if (p.attrs["mergedInto"] !== void 0) continue;
+    const sols = store2.outEdges(p.id, ["SOLVED_BY"]).map((e) => store2.getNode(e.to)).filter((n) => n !== null);
+    if (sols.length === 0) continue;
+    if (!sols.every((s) => String(s.description ?? "").startsWith(AUTO_MINT_PREFIX))) {
+      report.agentDescribed++;
+      continue;
+    }
+    if (p.attrs["resolutionSuspect"] === true) report.alreadySuspect++;
+    const attrs = { ...p.attrs };
+    delete attrs["resolvedAt"];
+    attrs["reopenedFrom"] = "auto-close";
+    attrs["reopenedAt"] = t;
+    store2.updateNode(p.id, { attrs, lastUpdatedAt: t });
+    report.reopened++;
+  }
+  return report;
+}
 var AUTO_MINT_PREFIX = "addressed by an edit to ";
-function resolveDesignProblems(store2, t) {
+function markFixCandidates(store2, t) {
   let resolved = 0;
   for (const p of store2.findNodesByLabel("Problem")) {
     if (!p.id.startsWith("dprob_")) continue;
@@ -25393,6 +25378,7 @@ function resolveDesignProblems(store2, t) {
     let edited = false;
     for (const e of store2.outEdges(p.id, ["ANCHORED_AT"])) {
       if (e.attrs?.["mention"] === true) continue;
+      if (e.attrs?.["anchorProvenance"] === "legacy") continue;
       const sym = store2.getNode(e.to);
       if (sym && sym.lastUpdatedAt > p.createdAt) {
         edited = true;
@@ -25402,24 +25388,21 @@ function resolveDesignProblems(store2, t) {
       }
     }
     if (!edited) continue;
-    if (store2.outEdges(p.id, ["SOLVED_BY"]).length === 0) {
-      const solId = `dfix_${digest({ problemId: p.id, edit: t })}`.slice(0, 56);
-      store2.mergeNode(
-        buildNode(solId, "Solution", `${AUTO_MINT_PREFIX}${symName}`, t, {
-          source: "convo",
-          provisional: false,
-          // AC-resolution-attrs: the resolving symbol/file as STRUCTURED data, not
-          // just prose — the F2 join key downstream backfills and the viz read.
-          resolvedSymbols: [symName],
-          ...symRelPath ? { resolvedRelPath: symRelPath } : {}
-        })
-      );
-      mergeEdge(store2, p.id, solId, "SOLVED_BY", t);
-      for (const ae of store2.outEdges(p.id, ["ANCHORED_AT"]))
-        mergeEdge(store2, solId, ae.to, "ANCHORED_AT", t);
-    }
+    if (p.attrs["fixCandidateAt"] !== void 0) continue;
+    if (store2.outEdges(p.id, ["SOLVED_BY"]).some((e) => {
+      const s = store2.getNode(e.to);
+      return s !== null && !String(s.description ?? "").startsWith(AUTO_MINT_PREFIX);
+    }))
+      continue;
     store2.updateNode(p.id, {
-      attrs: { ...p.attrs, provisional: false, resolvedAt: t },
+      attrs: {
+        ...p.attrs,
+        // The cue, kept as structured data so the render can name the file it is
+        // asking about. Deliberately NOT `resolvedAt` — this is a question.
+        fixCandidateAt: t,
+        fixCandidateSymbol: symName,
+        ...symRelPath ? { fixCandidateFile: symRelPath } : {}
+      },
       lastUpdatedAt: t
     });
     resolved++;
@@ -26219,7 +26202,8 @@ function runNightlyPipeline(store2) {
     for (const [id, c] of comm.community) store2.updateNode(id, { community: c });
   });
   const motifs = promoteMotifs(store2, started);
-  const designResolved = resolveDesignProblems(store2, started);
+  reopenAutoClosedProblems(store2, started);
+  const designResolved = markFixCandidates(store2, started);
   const cry = crystallize(store2, { ts: started });
   return {
     scoredNodes: scored,
@@ -26412,7 +26396,11 @@ function sliceForFile(store2, relPath) {
   }
   const fp = priorsForFile(store2, relPath);
   const priors = fp ? {
-    openProblems: fp.openProblems.slice(0, 3).map((p) => ({ id: p.id, description: p.description })),
+    openProblems: fp.openProblems.slice(0, 3).map((p) => ({
+      id: p.id,
+      description: p.description,
+      ...typeof p.attrs["fixCandidateFile"] === "string" ? { fixCandidateFile: p.attrs["fixCandidateFile"] } : {}
+    })),
     constraints: fp.constraints.slice(0, 2).map((c) => ({ id: c.id, description: c.description })),
     resolvedProblems: fp.resolvedProblems.slice(0, 3).map((p) => ({ id: p.id, description: p.description })),
     related: fp.related.slice(0, 4).map((n) => ({ id: n.id, label: n.label, description: n.description })),