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

package/consolidate-worker.mjs

@@ -16630,6 +16630,9 @@ init_src2();
 // ../../packages/local-graph/src/problem-package-link.ts
 init_src();
 
+// ../../packages/local-graph/src/anchor-backfill.ts
+init_src();
+
 // ../../packages/local-graph/src/percolate.ts
 init_src2();
 var PERCOLATING_LABELS = ["Claim", "Problem", "Solution"];

package/errata.mjs

@@ -18597,6 +18597,9 @@ function reinforceSameAnchorProblem(store, relPath, workspaceId2, statement, sou
   }
   return existing.id;
 }
+function isAutoMinted(n) {
+  return n.label === "Solution" && String(n.description ?? "").startsWith(AUTO_MINT_PREFIX);
+}
 function priorsForFile(store, relPath) {
   const want = relPath.trim().replace(/^\.?\//, "");
   let file2 = null;
@@ -18623,7 +18626,7 @@ function priorsForFile(store, relPath) {
       } else if (n.attrs["resolvedAs"] == null && n.attrs["mergedInto"] === void 0 && e.attrs?.["anchorProvenance"] !== "legacy") {
         resolvedProblems.push(n);
       }
-    } else if (CITABLE_PRIOR_LABELS.has(n.label)) {
+    } else if (CITABLE_PRIOR_LABELS.has(n.label) && !isAutoMinted(n)) {
       related.set(n.id, n);
     }
   }
@@ -18631,8 +18634,8 @@ function priorsForFile(store, relPath) {
   for (const p of [...openProblems, ...constraints, ...resolvedProblems]) {
     for (const e of store.outEdges(p.id, ["SOLVED_BY", "CAUSED_BY", "INSTANCE_OF"])) {
       const n = store.getNode(e.to);
-      if (n && CITABLE_PRIOR_LABELS.has(n.label)) related.set(n.id, n);
-      if (n && n.label === "Solution" && e.type === "SOLVED_BY") {
+      if (n && CITABLE_PRIOR_LABELS.has(n.label) && !isAutoMinted(n)) related.set(n.id, n);
+      if (n && n.label === "Solution" && e.type === "SOLVED_BY" && !isAutoMinted(n)) {
         const list = solutionsByProblem.get(p.id) ?? [];
         if (!list.some((s) => s.id === n.id)) list.push(n);
         solutionsByProblem.set(p.id, list);
@@ -18741,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 });
 }
@@ -18770,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;
@@ -18781,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;
@@ -18790,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++;
@@ -18864,6 +18887,80 @@ var init_design_problem = __esm({
 function isLegacyAnchor(attrs) {
   return attrs?.["captureTime"] === true && attrs["anchorProvenance"] === void 0;
 }
+function repairLegacyAnchorsFromStatement(store, ts) {
+  const report = {
+    repaired: [],
+    noPathNamed: 0,
+    pathUnknown: 0,
+    alreadyCorrect: 0
+  };
+  const byPath = /* @__PURE__ */ new Map();
+  for (const f of store.findNodesByLabel("File")) {
+    const path2 = String(f.attrs["relPath"] ?? f.description ?? "");
+    if (path2) byPath.set(path2, { id: f.id, path: path2 });
+  }
+  const resolvePath2 = (named) => {
+    const exact = byPath.get(named);
+    if (exact) return exact;
+    const hits = [...byPath.values()].filter(
+      (f) => f.path.endsWith(`/${named}`) || named.endsWith(`/${f.path}`)
+    );
+    return hits.length === 1 ? hits[0] : null;
+  };
+  for (const p of store.findNodesByLabel("Problem")) {
+    try {
+      const anchors = store.outEdges(p.id, ["ANCHORED_AT"]);
+      const legacy = anchors.filter((e) => e.attrs?.["anchorProvenance"] === "legacy");
+      if (legacy.length === 0) continue;
+      if (anchors.some((e) => e.attrs?.["anchorProvenance"] === "restated")) continue;
+      const named = [...String(p.description ?? "").matchAll(STATEMENT_PATH_RE)].map((m) => m[0]);
+      if (named.length === 0) {
+        report.noPathNamed++;
+        continue;
+      }
+      const guessedPaths = legacy.map((e) => {
+        const f = store.getNode(e.to);
+        return String(f?.attrs["relPath"] ?? f?.description ?? "");
+      });
+      if (named.some((x) => guessedPaths.some((g) => g.endsWith(x) || x.endsWith(g)))) {
+        report.alreadyCorrect++;
+        continue;
+      }
+      const target = named.map(resolvePath2).find((f) => f !== null);
+      if (!target) {
+        report.pathUnknown++;
+        continue;
+      }
+      store.mergeEdge({
+        id: `edge_${digest({ from: p.id, type: "ANCHORED_AT", to: target.id })}`.slice(0, 24),
+        from: p.id,
+        to: target.id,
+        type: "ANCHORED_AT",
+        // Same confidence a capture-time anchor enters at: the source is the
+        // agent's own statement either way, only the moment of reading differs.
+        confidence: 0.4,
+        extractionSource: "agent-observed",
+        createdAt: ts,
+        lastSeenAt: ts,
+        navSuccesses: 0,
+        navFailures: 0,
+        attrs: {
+          anchorProvenance: "restated",
+          restatedFrom: guessedPaths[0] ?? "",
+          restatedAt: ts
+        }
+      });
+      report.repaired.push({
+        problemId: p.id,
+        problem: p.description,
+        guessed: guessedPaths[0] ?? "",
+        restated: target.path
+      });
+    } catch {
+    }
+  }
+  return report;
+}
 function backfillLegacyAnchors(store, ts) {
   const report = {
     demotedEdges: 0,
@@ -18921,11 +19018,14 @@ function backfillLegacyAnchors(store, ts) {
   }
   return report;
 }
+var STATEMENT_PATH_RE;
 var init_anchor_backfill = __esm({
   "../../packages/local-graph/src/anchor-backfill.ts"() {
     "use strict";
+    init_src();
     init_justification();
     init_design_problem();
+    STATEMENT_PATH_RE = /(?:[\w.-]+\/)+[\w.-]+\.(?:ts|tsx|js|mjs|cjs|py|go|rs|java|rb|c|cpp|h)/g;
   }
 });
 
@@ -21070,6 +21170,7 @@ __export(src_exports2, {
   listNeedsRevisit: () => listNeedsRevisit,
   localEdgeViolation: () => localEdgeViolation,
   markDiscriminatorAsked: () => markDiscriminatorAsked,
+  markFixCandidates: () => markFixCandidates,
   markRevisit: () => markRevisit,
   matchLanguagesInText: () => matchLanguagesInText,
   matchPackagesInText: () => matchPackagesInText,
@@ -21099,9 +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,
@@ -21281,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 })),
@@ -21462,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(
@@ -27828,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,
@@ -53035,7 +53147,7 @@ function startLoopLagMonitor(thresholdMs = 1e3) {
 }
 
 // src/engine.ts
-var DAEMON_VERSION = true ? "2.0.2-dev.334" : "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;
@@ -53479,7 +53591,13 @@ function createWorkspaceEngine(opts) {
   const runNightlyInline = () => {
     try {
       const a = backfillLegacyAnchors(store, Date.now());
-      if (a.demotedEdges > 0 || a.suspects.length > 0) {
+      const rep = repairLegacyAnchorsFromStatement(store, Date.now());
+      if (rep.repaired.length > 0) {
+        console.log(
+          `[errata] re-anchored ${rep.repaired.length} legacy-guessed problem(s) onto the file their statement names`
+        );
+      }
+      if (a.demotedEdges > 0 || a.suspects.length > 0 || rep.repaired.length > 0) {
         logAnchorBackfill(a.demotedEdges, a.suspects.length);
         refreshContextNow();
       }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@inerrata-corporation/errata",
-  "version": "2.0.2-dev.334",
+  "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",
@@ -25310,6 +25273,9 @@ var CITABLE_PRIOR_LABELS = /* @__PURE__ */ new Set([
   "Technique",
   "AntiPattern"
 ]);
+function isAutoMinted(n) {
+  return n.label === "Solution" && String(n.description ?? "").startsWith(AUTO_MINT_PREFIX);
+}
 function priorsForFile(store2, relPath) {
   const want = relPath.trim().replace(/^\.?\//, "");
   let file2 = null;
@@ -25336,7 +25302,7 @@ function priorsForFile(store2, relPath) {
       } else if (n.attrs["resolvedAs"] == null && n.attrs["mergedInto"] === void 0 && e.attrs?.["anchorProvenance"] !== "legacy") {
         resolvedProblems.push(n);
       }
-    } else if (CITABLE_PRIOR_LABELS.has(n.label)) {
+    } else if (CITABLE_PRIOR_LABELS.has(n.label) && !isAutoMinted(n)) {
       related.set(n.id, n);
     }
   }
@@ -25344,8 +25310,8 @@ function priorsForFile(store2, relPath) {
   for (const p of [...openProblems, ...constraints, ...resolvedProblems]) {
     for (const e of store2.outEdges(p.id, ["SOLVED_BY", "CAUSED_BY", "INSTANCE_OF"])) {
       const n = store2.getNode(e.to);
-      if (n && CITABLE_PRIOR_LABELS.has(n.label)) related.set(n.id, n);
-      if (n && n.label === "Solution" && e.type === "SOLVED_BY") {
+      if (n && CITABLE_PRIOR_LABELS.has(n.label) && !isAutoMinted(n)) related.set(n.id, n);
+      if (n && n.label === "Solution" && e.type === "SOLVED_BY" && !isAutoMinted(n)) {
         const list = solutionsByProblem.get(p.id) ?? [];
         if (!list.some((s) => s.id === n.id)) list.push(n);
         solutionsByProblem.set(p.id, list);
@@ -25378,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;
@@ -25390,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;
@@ -25399,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++;
@@ -25425,9 +25411,85 @@ function resolveDesignProblems(store2, t) {
 }
 
 // ../../packages/local-graph/src/anchor-backfill.ts
+init_src();
 function isLegacyAnchor(attrs) {
   return attrs?.["captureTime"] === true && attrs["anchorProvenance"] === void 0;
 }
+var STATEMENT_PATH_RE = /(?:[\w.-]+\/)+[\w.-]+\.(?:ts|tsx|js|mjs|cjs|py|go|rs|java|rb|c|cpp|h)/g;
+function repairLegacyAnchorsFromStatement(store2, ts) {
+  const report = {
+    repaired: [],
+    noPathNamed: 0,
+    pathUnknown: 0,
+    alreadyCorrect: 0
+  };
+  const byPath = /* @__PURE__ */ new Map();
+  for (const f of store2.findNodesByLabel("File")) {
+    const path = String(f.attrs["relPath"] ?? f.description ?? "");
+    if (path) byPath.set(path, { id: f.id, path });
+  }
+  const resolvePath = (named) => {
+    const exact = byPath.get(named);
+    if (exact) return exact;
+    const hits = [...byPath.values()].filter(
+      (f) => f.path.endsWith(`/${named}`) || named.endsWith(`/${f.path}`)
+    );
+    return hits.length === 1 ? hits[0] : null;
+  };
+  for (const p of store2.findNodesByLabel("Problem")) {
+    try {
+      const anchors = store2.outEdges(p.id, ["ANCHORED_AT"]);
+      const legacy = anchors.filter((e) => e.attrs?.["anchorProvenance"] === "legacy");
+      if (legacy.length === 0) continue;
+      if (anchors.some((e) => e.attrs?.["anchorProvenance"] === "restated")) continue;
+      const named = [...String(p.description ?? "").matchAll(STATEMENT_PATH_RE)].map((m) => m[0]);
+      if (named.length === 0) {
+        report.noPathNamed++;
+        continue;
+      }
+      const guessedPaths = legacy.map((e) => {
+        const f = store2.getNode(e.to);
+        return String(f?.attrs["relPath"] ?? f?.description ?? "");
+      });
+      if (named.some((x) => guessedPaths.some((g) => g.endsWith(x) || x.endsWith(g)))) {
+        report.alreadyCorrect++;
+        continue;
+      }
+      const target = named.map(resolvePath).find((f) => f !== null);
+      if (!target) {
+        report.pathUnknown++;
+        continue;
+      }
+      store2.mergeEdge({
+        id: `edge_${digest({ from: p.id, type: "ANCHORED_AT", to: target.id })}`.slice(0, 24),
+        from: p.id,
+        to: target.id,
+        type: "ANCHORED_AT",
+        // Same confidence a capture-time anchor enters at: the source is the
+        // agent's own statement either way, only the moment of reading differs.
+        confidence: 0.4,
+        extractionSource: "agent-observed",
+        createdAt: ts,
+        lastSeenAt: ts,
+        navSuccesses: 0,
+        navFailures: 0,
+        attrs: {
+          anchorProvenance: "restated",
+          restatedFrom: guessedPaths[0] ?? "",
+          restatedAt: ts
+        }
+      });
+      report.repaired.push({
+        problemId: p.id,
+        problem: p.description,
+        guessed: guessedPaths[0] ?? "",
+        restated: target.path
+      });
+    } catch {
+    }
+  }
+  return report;
+}
 function backfillLegacyAnchors(store2, ts) {
   const report = {
     demotedEdges: 0,
@@ -26140,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,
@@ -26333,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 })),
@@ -26537,6 +26604,7 @@ function runNightly() {
     const a = backfillLegacyAnchors(store, Date.now());
     anchorsDemoted = a.demotedEdges;
     resolutionsSuspect = a.suspects.length;
+    repairLegacyAnchorsFromStatement(store, Date.now());
   } catch {
   }
   const report = runNightlyPipeline(store);