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

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);
@@ -18864,6 +18867,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 +18998,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;
   }
 });
 
@@ -21099,6 +21179,7 @@ __export(src_exports2, {
   recordTriageObservation: () => recordTriageObservation,
   reinforceSameAnchorProblem: () => reinforceSameAnchorProblem,
   relateClaims: () => relateClaims,
+  repairLegacyAnchorsFromStatement: () => repairLegacyAnchorsFromStatement,
   resolveDesignProblemById: () => resolveDesignProblemById,
   resolveDesignProblemByStatement: () => resolveDesignProblemByStatement,
   resolveDesignProblems: () => resolveDesignProblems,
@@ -53035,7 +53116,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.336" : "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 +53560,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.336",
   "description": "errata - local-first observation engine for AI coding agents",
   "type": "module",
   "bin": {

package/pass-worker.mjs

@@ -25310,6 +25310,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 +25339,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 +25347,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);
@@ -25425,9 +25428,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,
@@ -26537,6 +26616,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);