@inerrata-corporation/errata 2.0.0-dev.90 → 2.0.0-dev.92

package/errata.mjs

@@ -17918,11 +17918,90 @@ function linkProblemToLanguages(store, problemId, text, ts, index) {
   }
   return linked;
 }
-function deriveContextFromStatement(store, problemId, text, ts, pkgIndex) {
-  return {
-    packages: linkProblemToPackages(store, problemId, text, ts, pkgIndex).linked,
-    languages: linkProblemToLanguages(store, problemId, text, ts)
+function isShapedSymbol(name2) {
+  if (name2.length < SYMBOL_MIN_LEN) return false;
+  return name2 !== name2.toLowerCase() || name2.includes("_") || name2.includes(".");
+}
+function buildSymbolIndex(store) {
+  const idx = /* @__PURE__ */ new Map();
+  const ambiguous = /* @__PURE__ */ new Set();
+  for (const label of SYMBOL_LABELS) {
+    for (const n of store.findNodesByLabel(label)) {
+      const name2 = n.description?.trim();
+      if (!name2 || ambiguous.has(name2) || !isShapedSymbol(name2)) continue;
+      if (idx.has(name2)) {
+        idx.delete(name2);
+        ambiguous.add(name2);
+      } else {
+        idx.set(name2, n);
+      }
+    }
+  }
+  return idx;
+}
+function matchSymbolsInText(text, index) {
+  const out2 = [];
+  for (const [name2, node2] of index) {
+    if (!text.includes(name2)) continue;
+    const bounded = new RegExp(`(?<![\\w$])${escapeRe3(name2)}(?![\\w$])`);
+    if (bounded.test(text)) out2.push(node2);
+  }
+  return out2;
+}
+function linkProblemToSymbols(store, problemId, text, ts, index) {
+  const p = store.getNode(problemId);
+  if (!p || p.label !== "Problem") return [];
+  const idx = index ?? buildSymbolIndex(store);
+  if (idx.size === 0) return [];
+  let fileByPath = null;
+  const fileFor2 = (relPath) => {
+    if (!fileByPath) {
+      fileByPath = /* @__PURE__ */ new Map();
+      for (const f of store.findNodesByLabel("File")) {
+        const rp = String(f.attrs["relPath"] ?? f.description ?? "");
+        if (rp) fileByPath.set(rp, f);
+      }
+    }
+    return fileByPath.get(relPath) ?? null;
   };
+  const already = new Set(store.outEdges(problemId, ["ANCHORED_AT"]).map((e) => e.to));
+  const linked = [];
+  for (const sym of matchSymbolsInText(text, idx)) {
+    const relPath = String(sym.attrs["relPath"] ?? "");
+    if (!relPath) continue;
+    const file2 = fileFor2(relPath);
+    if (!file2 || already.has(file2.id)) continue;
+    store.mergeEdge({
+      id: `edge_${digest({ from: problemId, type: "ANCHORED_AT", to: file2.id })}`.slice(0, 24),
+      from: problemId,
+      to: file2.id,
+      type: "ANCHORED_AT",
+      confidence: 0.3,
+      // soft — a lexical mention, below a witnessed anchor's 0.4
+      extractionSource: "daemon-extracted",
+      createdAt: ts,
+      lastSeenAt: ts,
+      navSuccesses: 0,
+      navFailures: 0,
+      // `mention` gates it out of resolveDesignProblems (fix-detection); the
+      // symbol name is kept for provenance + eventual symbol-level anchoring.
+      attrs: { provisional: true, mention: true, mentionSymbol: sym.description }
+    });
+    already.add(file2.id);
+    linked.push(file2.id);
+  }
+  return linked;
+}
+function deriveContextFromStatement(store, problemId, text, ts, pkgIndex) {
+  const packages = linkProblemToPackages(store, problemId, text, ts, pkgIndex).linked;
+  const languages = linkProblemToLanguages(store, problemId, text, ts);
+  const anchoredFiles = linkProblemToSymbols(store, problemId, text, ts);
+  if (anchoredFiles.length > 0) {
+    const ctx = deriveContextFromAnchors(store, problemId, ts, pkgIndex);
+    for (const l of ctx.languages) if (!languages.includes(l)) languages.push(l);
+    for (const pk of ctx.packages) if (!packages.includes(pk)) packages.push(pk);
+  }
+  return { packages, languages };
 }
 function problemText(store, p) {
   const parts2 = [p.description];
@@ -18045,7 +18124,7 @@ function backfillProblemContext(store, ts) {
   }
   return report;
 }
-var NAME_SEPARATOR, MIN_NAME_LEN, LANGUAGE_MIN_LEN;
+var NAME_SEPARATOR, MIN_NAME_LEN, LANGUAGE_MIN_LEN, SYMBOL_MIN_LEN, SYMBOL_LABELS;
 var init_problem_package_link = __esm({
   "../../packages/local-graph/src/problem-package-link.ts"() {
     "use strict";
@@ -18054,6 +18133,8 @@ var init_problem_package_link = __esm({
     NAME_SEPARATOR = /[@/\-._]/;
     MIN_NAME_LEN = 3;
     LANGUAGE_MIN_LEN = 4;
+    SYMBOL_MIN_LEN = 5;
+    SYMBOL_LABELS = ["Function", "Method", "Class", "Const"];
   }
 });
 
@@ -18437,6 +18518,7 @@ function resolveDesignProblems(store, t) {
     let symRelPath;
     let edited = false;
     for (const e of store.outEdges(p.id, ["ANCHORED_AT"])) {
+      if (e.attrs?.["mention"] === true) continue;
       const sym = store.getNode(e.to);
       if (sym && sym.lastUpdatedAt > p.createdAt) {
         edited = true;
@@ -20630,6 +20712,7 @@ __export(src_exports2, {
   buildLanguageIndex: () => buildLanguageIndex,
   buildPackageIndex: () => buildPackageIndex,
   buildPrincipleSync: () => buildPrincipleSync,
+  buildSymbolIndex: () => buildSymbolIndex,
   causalChain: () => causalChain,
   claimId: () => claimId,
   clearRevisit: () => clearRevisit,
@@ -20658,10 +20741,12 @@ __export(src_exports2, {
   isPlaceholderStatement: () => isPlaceholderStatement,
   linkProblemToLanguages: () => linkProblemToLanguages,
   linkProblemToPackages: () => linkProblemToPackages,
+  linkProblemToSymbols: () => linkProblemToSymbols,
   listNeedsRevisit: () => listNeedsRevisit,
   markRevisit: () => markRevisit,
   matchLanguagesInText: () => matchLanguagesInText,
   matchPackagesInText: () => matchPackagesInText,
+  matchSymbolsInText: () => matchSymbolsInText,
   mergeCloudCounts: () => mergeCloudCounts,
   mergeDuplicateProblems: () => mergeDuplicateProblems,
   mintPatternNode: () => mintPatternNode,
@@ -25287,7 +25372,7 @@ function isDistinctiveIdentifier(name2) {
 function buildSymbolLexicon(store, summariesByBodyHash2) {
   const lex = /* @__PURE__ */ new Map();
   const candidates = [];
-  for (const [label, kind] of SYMBOL_LABELS) {
+  for (const [label, kind] of SYMBOL_LABELS2) {
     for (const n of store.findNodesByLabel(label)) {
       const bodyHash = typeof n.attrs["bodyHash"] === "string" ? n.attrs["bodyHash"] : void 0;
       const summary = bodyHash ? summariesByBodyHash2?.get(bodyHash) : void 0;
@@ -25326,13 +25411,13 @@ function generalizeSymbols(text, lexicon, level = 1) {
   }
   return generalize(out2, { level }).text;
 }
-var SYMBOL_LABELS, KIND_PHRASE, RE_RESERVED2, escapeRe4, TOKEN_RE3;
+var SYMBOL_LABELS2, KIND_PHRASE, RE_RESERVED2, escapeRe4, TOKEN_RE3;
 var init_generalize_graph = __esm({
   "src/generalize-graph.ts"() {
     "use strict";
     init_src8();
     init_src();
-    SYMBOL_LABELS = [
+    SYMBOL_LABELS2 = [
       ["Function", "function"],
       ["Method", "method"],
       ["Class", "class"],
@@ -45370,12 +45455,13 @@ function extractExecutables(command) {
   return out2;
 }
 function observeCommandTools(store, command, ts) {
-  const result = { minted: [], reinforced: [] };
+  const result = { minted: [], reinforced: [], nodeIds: [] };
   const osName = currentOsName();
   for (const name2 of extractExecutables(command)) {
     if (!PUBLIC_TOOLS.has(name2)) continue;
     if (PLUMBING.has(name2)) continue;
     const id = toolNodeId(name2);
+    result.nodeIds.push(id);
     const existing = store.getNode(id);
     if (existing) {
       store.updateNode(id, {
@@ -45407,23 +45493,23 @@ function observeCommandTools(store, command, ts) {
         attrs: { name: name2, canonicalId: toolCanonicalId(name2), public: true }
       });
       result.minted.push(name2);
-      if (osName) {
-        const os2 = resolveOsNode(store, osName, ts);
-        store.mergeEdge({
-          id: `edge_${digest({ from: id, type: "RUNS_ON", to: os2.id })}`.slice(0, 24),
-          from: id,
-          to: os2.id,
-          type: "RUNS_ON",
-          confidence: 1,
-          // observed
-          extractionSource: "daemon-extracted",
-          createdAt: ts,
-          lastSeenAt: ts,
-          navSuccesses: 0,
-          navFailures: 0,
-          attrs: { observed: true }
-        });
-      }
+    }
+    if (osName) {
+      const os2 = resolveOsNode(store, osName, ts);
+      store.mergeEdge({
+        id: `edge_${digest({ from: id, type: "RUNS_ON", to: os2.id })}`.slice(0, 24),
+        from: id,
+        to: os2.id,
+        type: "RUNS_ON",
+        confidence: 1,
+        // observed
+        extractionSource: "daemon-extracted",
+        createdAt: ts,
+        lastSeenAt: ts,
+        navSuccesses: 0,
+        navFailures: 0,
+        attrs: { observed: true }
+      });
     }
   }
   return result;
@@ -45862,7 +45948,8 @@ function buildWebUi(deps) {
         ts: Date.now()
       });
       try {
-        observeCommandTools(deps.store, input["command"], Date.now());
+        const observed = observeCommandTools(deps.store, input["command"], Date.now());
+        deps.onToolsObserved?.(String(body2["session_id"] ?? ""), observed.nodeIds);
       } catch {
       }
       if (failed) recallCtx = recallForError(deps.store, stderr || combined);
@@ -49244,11 +49331,8 @@ var SUPERSEDES_PREFIX = /^\s*supersedes:(?:#([a-z][\w-]{0,63}))?\s*/i;
 var ALTERNATIVE_PREFIX = /^\s*alternative:(?:#([a-z][\w-]{0,63}))?\s*/i;
 var INSTANCE_PREFIX = /^\s*instance:\s*/i;
 var PATTERN_RE = /\(\s*pattern:\s*([^()\n]{3,}?)\s*\)/gi;
-var PATTERN_TEXT_MAX = 120;
 var CAUSE_TEXT_MIN = 8;
-var CAUSE_TEXT_MAX = 200;
 var FLAG_RE = /\[([!?])(?:#([a-z][\w-]{0,63})\s+)?\s*([^\]\n]{8,}?)\s*(?:@\s*([^\s\]]+?)(?::(\d+))?\s*)?\]/g;
-var FLAG_MAX = 200;
 var CONSTRAINT_MIN = 8;
 function clauseBefore(sentence, idx) {
   const win = sentence.slice(Math.max(0, idx - 80), idx);
@@ -49269,7 +49353,7 @@ function parseInlineTags(text) {
   let seqNo = -1;
   for (const raw2 of deFenced.split(/(?<=[.!?])\s+|\n+/)) {
     seqNo++;
-    if (raw2.length > 600) continue;
+    if (raw2.length > 2e4) continue;
     const seqStart = out2.length;
     const sentence = raw2.replace(
       /`[^`]*`/g,
@@ -49323,7 +49407,7 @@ function parseInlineTags(text) {
         } else {
           const raw3 = content.replace(/\s+/g, " ").trim();
           if (raw3.length >= CAUSE_TEXT_MIN) {
-            const causeText = raw3.length > CAUSE_TEXT_MAX ? `${raw3.slice(0, CAUSE_TEXT_MAX - 1).trimEnd()}\u2026` : raw3;
+            const causeText = raw3;
             out2.push({ kind: "triage", causeText, sentence: sfield, ...verbThread ? { threadId: verbThread } : {} });
           }
         }
@@ -49365,7 +49449,7 @@ function parseInlineTags(text) {
       if (raw3.length >= 8) {
         const segs = raw3.split(CAUSE_ARROW).map((s) => s.trim()).filter((s) => s.length > 0);
         const symptomRaw = segs.length > 1 ? segs[0] : raw3;
-        const statement = symptomRaw.length > FLAG_MAX ? `${symptomRaw.slice(0, FLAG_MAX - 1).trimEnd()}\u2026` : symptomRaw;
+        const statement = symptomRaw;
         const asFix = f[1] === "!" && /^(?:fixed|resolved)\s*[:,-]\s*/i.exec(statement);
         if (asFix) {
           const note = statement.slice(asFix[0].length).trim();
@@ -49397,7 +49481,7 @@ function parseInlineTags(text) {
     while ((a = ATTEMPT_RE.exec(sentence)) !== null) {
       const raw3 = a[3].replace(/\s+/g, " ").trim();
       if (raw3.length >= CONSTRAINT_MIN) {
-        const statement = raw3.length > FLAG_MAX ? `${raw3.slice(0, FLAG_MAX - 1).trimEnd()}\u2026` : raw3;
+        const statement = raw3;
         const isFailure = a[1].toLowerCase() === "failed";
         let refuteHandles;
         if (isFailure) {
@@ -49431,7 +49515,7 @@ function parseInlineTags(text) {
       } else {
         const raw3 = body2.replace(/\s+/g, " ").trim();
         if (raw3.length >= 3) {
-          const patternText = raw3.length > PATTERN_TEXT_MAX ? `${raw3.slice(0, PATTERN_TEXT_MAX - 1).trimEnd()}\u2026` : raw3;
+          const patternText = raw3;
           out2.push({ kind: "pattern", patternText, sentence: sfield });
         }
       }
@@ -49441,7 +49525,7 @@ function parseInlineTags(text) {
     while ((c = CONSTRAINT_RE.exec(sentence)) !== null) {
       const raw3 = c[1].replace(/\s+/g, " ").trim();
       if (raw3.length >= CONSTRAINT_MIN) {
-        const statement = raw3.length > FLAG_MAX ? `${raw3.slice(0, FLAG_MAX - 1).trimEnd()}\u2026` : raw3;
+        const statement = raw3;
         out2.push({ kind: "constraint", statement, sentence: sfield });
       }
     }
@@ -49540,6 +49624,7 @@ function mintPriorEdge(store, source, target, sentence, touched, ts) {
   if (anchorIds.size === 0 && (target.label === "Language" || target.label === "Package")) {
     for (const e of store.inEdges(target.id, STACK_GROUNDING_EDGES)) anchorIds.add(e.from);
   }
+  if (anchorIds.size === 0 && target.label === "Tool") anchorIds.add(target.id);
   const corroborated = tagEdgeCorroborated(anchorIds, touched, false);
   store.mergeEdge({
     id: `edge_${digest({ from: source.id, type, to: target.id, k: "priorTag" })}`.slice(0, 24),
@@ -49556,7 +49641,12 @@ function mintPriorEdge(store, source, target, sentence, touched, ts) {
     navFailures: 0,
     attrs: { provisional: true, priorTag: true, primingProvenance: true, corroborated }
   });
-  if (type === "CONCERNS") stampObservedOs(store, source.id, currentOsName(), ts);
+  if (type === "CONCERNS") {
+    try {
+      stampObservedOs(store, source.id, currentOsName(), ts);
+    } catch {
+    }
+  }
   return true;
 }
 function harvestInlineTags(store, text, opts) {
@@ -50871,6 +50961,34 @@ function createWorkingFileState() {
   };
 }
 
+// src/tool-run-state.ts
+var MAX_SESSIONS = 64;
+var MAX_TOOLS_PER_SESSION = 64;
+function createToolRunState() {
+  const bySession = /* @__PURE__ */ new Map();
+  return {
+    record(sessionId, toolNodeIds) {
+      if (!sessionId || toolNodeIds.length === 0) return;
+      let set2 = bySession.get(sessionId);
+      if (!set2) {
+        if (bySession.size >= MAX_SESSIONS) {
+          const oldest = bySession.keys().next().value;
+          if (oldest !== void 0) bySession.delete(oldest);
+        }
+        set2 = /* @__PURE__ */ new Set();
+        bySession.set(sessionId, set2);
+      }
+      for (const id of toolNodeIds) {
+        if (set2.size >= MAX_TOOLS_PER_SESSION) break;
+        set2.add(id);
+      }
+    },
+    get(sessionId) {
+      return bySession.get(sessionId) ?? /* @__PURE__ */ new Set();
+    }
+  };
+}
+
 // src/engine.ts
 init_paths();
 
@@ -51268,7 +51386,7 @@ function startLoopLagMonitor(thresholdMs = 1e3) {
 }
 
 // src/engine.ts
-var DAEMON_VERSION = true ? "2.0.0-dev.90" : "2.0.0-alpha.0";
+var DAEMON_VERSION = true ? "2.0.0-dev.92" : "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;
@@ -51549,6 +51667,7 @@ function createWorkspaceEngine(opts) {
     });
   }
   const workingFiles = createWorkingFileState();
+  const toolRuns = createToolRunState();
   let ctxRefreshTimer = null;
   let contextDirty = false;
   let remotePriors = [];
@@ -51918,12 +52037,14 @@ function createWorkspaceEngine(opts) {
       }
       try {
         const touchedFileId = turnFile ? resolveFileId(turnFile) : void 0;
+        const touched = new Set(toolRuns.get(sessionId));
+        if (touchedFileId) touched.add(touchedFileId);
         const plan = harvestInlineTags(store, turn.text, {
           sourceId: sessionLastProblem.get(sessionId),
           handleMap,
           ts: t,
           mintPriors: elicit,
-          ...touchedFileId ? { sessionTouchedIds: /* @__PURE__ */ new Set([touchedFileId]) } : {}
+          ...touched.size > 0 ? { sessionTouchedIds: touched } : {}
         });
         priorEdges += plan.priorEdges;
         const wf = workingFiles.get(sessionId);
@@ -52325,6 +52446,7 @@ function createWorkspaceEngine(opts) {
     webHooks: {
       onWorkingFileChanged,
       onHook: () => telemetry.count("hooks_fired"),
+      onToolsObserved: (sessionId, toolNodeIds) => toolRuns.record(sessionId, toolNodeIds),
       onHookEvent,
       onShellEvent,
       onToolError,

package/package.json

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

package/pass-worker.mjs

@@ -25215,6 +25215,7 @@ function resolveDesignProblems(store2, t) {
     let symRelPath;
     let edited = false;
     for (const e of store2.outEdges(p.id, ["ANCHORED_AT"])) {
+      if (e.attrs?.["mention"] === true) continue;
       const sym = store2.getNode(e.to);
       if (sym && sym.lastUpdatedAt > p.createdAt) {
         edited = true;