@inerrata-corporation/errata 2.0.0-dev.91 → 2.0.0-dev.93

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"];
   }
 });
 
@@ -18218,6 +18299,23 @@ function mintPatternNode(store, name2, ts) {
   }
   return id;
 }
+function titleCaseDomain(name2) {
+  return name2.replace(/\s+/g, " ").trim().split(" ").map((w) => w.length > 0 ? w[0].toUpperCase() + w.slice(1) : w).join(" ");
+}
+function mintDomainNode(store, name2, ts) {
+  const display = titleCaseDomain(name2);
+  const id = `dom_${digest({ domain: display.toLowerCase() })}`.slice(0, 56);
+  if (!store.getNode(id)) {
+    store.mergeNode(
+      buildNode(id, "Domain", display, ts, {
+        source: "convo",
+        provisional: true,
+        canonicalId: genericCanonicalId("dom", { type: "Domain", description: display })
+      })
+    );
+  }
+  return id;
+}
 function resolveFileNode(store, path2, workspaceId2) {
   const want = path2.trim().replace(/^\.?\//, "");
   for (const n of store.findNodesByLabel("File")) {
@@ -18437,6 +18535,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 +20729,7 @@ __export(src_exports2, {
   buildLanguageIndex: () => buildLanguageIndex,
   buildPackageIndex: () => buildPackageIndex,
   buildPrincipleSync: () => buildPrincipleSync,
+  buildSymbolIndex: () => buildSymbolIndex,
   causalChain: () => causalChain,
   claimId: () => claimId,
   clearRevisit: () => clearRevisit,
@@ -20658,12 +20758,15 @@ __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,
+  mintDomainNode: () => mintDomainNode,
   mintPatternNode: () => mintPatternNode,
   openGraphStore: () => openGraphStore,
   osNodeId: () => osNodeId,
@@ -20796,12 +20899,19 @@ function buildSnapshot(opts) {
   const causalNudge = recent.length >= 2 && recent.every(
     (r) => opts.store.outEdges(r.node.id, ["CAUSED_BY"]).length === 0 && opts.store.inEdges(r.node.id, ["CAUSED_BY"]).length === 0
   );
+  const abstractUndomained = recent.filter((r) => {
+    const grounded = opts.store.outEdges(r.node.id, ["ANCHORED_AT", "OCCURS_IN", "DEPENDS_ON"]).length > 0;
+    const hasDomain = opts.store.outEdges(r.node.id, ["PERTAIN_TO"]).length > 0;
+    return !grounded && !hasDomain;
+  });
+  const domainNudge = abstractUndomained.length >= 2;
   return {
     profile: opts.profile,
     profileContext,
     recentProblems: recent,
     recentResolved,
     ...causalNudge ? { causalNudge } : {},
+    ...domainNudge ? { domainNudge } : {},
     motifs,
     reviewCount: opts.reviewCount,
     reviewUiUrl: opts.reviewUiUrl,
@@ -20962,6 +21072,11 @@ function renderSnapshot(s) {
           "_None of these problems are causally linked yet \u2014 if one caused another (or your report says so in prose), bind them with `(cause:#slug \u2026)` / `(cause:[handle])`. Trace can only follow edges you declare._"
         );
       }
+      if (s.domainNudge) {
+        lines.push(
+          "_Some of these are abstract (no code anchor) and belong to no topic \u2014 name the area each is about with `(domain: The Area)` (e.g. `(domain: Observability)`). Without it an abstract problem is an invisible island; the Domain is where problems in the same area cluster and stay findable._"
+        );
+      }
     }
     if (s.recentResolved.length > 0) {
       lines.push("_Recently resolved \u2014 solved here; jumping-off points, not live defects:_");
@@ -24843,6 +24958,9 @@ function linkBullet(ref) {
     `    \xB7 ${TAG_EXAMPLE.pattern()} \u2014 name the general shape it instantiates (e.g. (pattern: unbounded`,
     "      queue growth under backpressure)) \u2014 this works with NO code anchor, and two agents naming",
     "      the same pattern converge on one node. Cite a shown Pattern by handle: (pattern:[handle]).",
+    `    \xB7 ${TAG_EXAMPLE.domain()} \u2014 name the ABSTRACT AREA it's about (e.g. (domain: Observability),`,
+    "      (domain: Community Detection)). An abstract problem with no code anchor NEEDS this or it's",
+    "      an invisible island: the Domain is the topic other problems in the area cluster on. Title Case.",
     `    \xB7 (aids:[${ref}],\u2026) \u2014 your FIX could also help these other, even unrelated, problems.`,
     "      A hypothesis, not a claim \u2014 it's recorded as may-resolve and checked by whoever tries it.",
     `    \xB7 when your fix relates to a PRIOR solution you were primed with (a problem's`,
@@ -24911,6 +25029,9 @@ var init_agent_signals = __esm({
       // DIFFERENT relevant priors is the target shape (see linkBullet).
       instance: (ref) => `(instance:[${ref}],[another],[a-third])`,
       pattern: () => `(pattern: name the general shape)`,
+      // DOMAIN — the abstract area a problem is about; the concept layer an
+      // anchor-less problem clusters on. Mints/resolves a Domain by name.
+      domain: () => `(domain: The Area)`,
       aids: (ref) => `(aids:[${ref}])`
     };
     GLOSS = {
@@ -25287,7 +25408,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 +25447,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"],
@@ -49246,6 +49367,7 @@ 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 DOMAIN_RE = /\(\s*domain:\s*([^()\n]{3,}?)\s*\)/gi;
 var CAUSE_TEXT_MIN = 8;
 var FLAG_RE = /\[([!?])(?:#([a-z][\w-]{0,63})\s+)?\s*([^\]\n]{8,}?)\s*(?:@\s*([^\s\]]+?)(?::(\d+))?\s*)?\]/g;
 var CONSTRAINT_MIN = 8;
@@ -49268,7 +49390,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,
@@ -49435,6 +49557,12 @@ function parseInlineTags(text) {
         }
       }
     }
+    DOMAIN_RE.lastIndex = 0;
+    let dm;
+    while ((dm = DOMAIN_RE.exec(sentence)) !== null) {
+      const raw3 = dm[1].replace(/\s+/g, " ").trim();
+      if (raw3.length >= 3) out2.push({ kind: "domain", domainText: raw3, sentence: sfield });
+    }
     CONSTRAINT_RE.lastIndex = 0;
     let c;
     while ((c = CONSTRAINT_RE.exec(sentence)) !== null) {
@@ -49568,7 +49696,7 @@ function harvestInlineTags(store, text, opts) {
   const source = opts.sourceId ? store.getNode(opts.sourceId) : null;
   const mintPriors = opts.mintPriors ?? true;
   const touched = opts.sessionTouchedIds ?? /* @__PURE__ */ new Set();
-  const plan = { priorEdges: 0, problems: [], fixes: [], triages: [], attempts: [], unresolvedFixes: [], transfers: [], solutionLinks: [], instances: [], patterns: [], refutes: [], corroborations: [] };
+  const plan = { priorEdges: 0, problems: [], fixes: [], triages: [], attempts: [], unresolvedFixes: [], transfers: [], solutionLinks: [], instances: [], patterns: [], domains: [], refutes: [], corroborations: [] };
   const tags = parseInlineTags(text);
   const symptomSeqs = tags.filter((t) => (t.kind === "problem" || t.kind === "todo" || t.kind === "constraint") && t.statement).map((t) => ({ seq: t.seq ?? -1, statement: t.statement, threadId: t.threadId })).sort((a, b) => a.seq - b.seq);
   const bindSymptom = (seq, threadId) => {
@@ -49699,6 +49827,15 @@ function harvestInlineTags(store, text, opts) {
       } else if (tag.patternText) {
         plan.patterns.push({ patternText: tag.patternText, ...bound });
       }
+    } else if (tag.kind === "domain") {
+      const b = bindSymptom(tag.seq, tag.threadId);
+      plan.domains.push({
+        domainText: tag.domainText,
+        ...b.statement ? { boundStatement: b.statement } : {},
+        ...b.problemId ? { problemId: b.problemId } : {},
+        ...tag.threadId ? { threadId: tag.threadId } : {},
+        evidence: b.evidence
+      });
     } else if (tag.kind === "attempt" || tag.kind === "failure") {
       for (const h of tag.refuteHandles ?? []) {
         const nodeId = resolveHandle(store, h, opts.handleMap);
@@ -51301,7 +51438,7 @@ function startLoopLagMonitor(thresholdMs = 1e3) {
 }
 
 // src/engine.ts
-var DAEMON_VERSION = true ? "2.0.0-dev.91" : "2.0.0-alpha.0";
+var DAEMON_VERSION = true ? "2.0.0-dev.93" : "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;
@@ -52128,6 +52265,13 @@ function createWorkspaceEngine(opts) {
           if (!patternId || patternId === pid) continue;
           mintCiteEdge(pid, patternId, "INSTANCE_OF", pt.evidence === "witnessed" ? 0.4 : 0.3, { patternCite: true, evidence: pt.evidence });
         }
+        for (const d of plan.domains) {
+          const pid = bindPid(d);
+          if (!pid) continue;
+          const domainId = mintDomainNode(store, d.domainText, t);
+          if (domainId === pid) continue;
+          mintCiteEdge(pid, domainId, "PERTAIN_TO", d.evidence === "witnessed" ? 0.4 : 0.3, { domainCite: true, evidence: d.evidence });
+        }
         for (const inst of plan.instances) {
           const pid = bindPid(inst);
           if (!pid) continue;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@inerrata-corporation/errata",
-  "version": "2.0.0-dev.91",
+  "version": "2.0.0-dev.93",
   "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;
@@ -26090,12 +26091,19 @@ function buildSnapshot(opts) {
   const causalNudge = recent.length >= 2 && recent.every(
     (r) => opts.store.outEdges(r.node.id, ["CAUSED_BY"]).length === 0 && opts.store.inEdges(r.node.id, ["CAUSED_BY"]).length === 0
   );
+  const abstractUndomained = recent.filter((r) => {
+    const grounded = opts.store.outEdges(r.node.id, ["ANCHORED_AT", "OCCURS_IN", "DEPENDS_ON"]).length > 0;
+    const hasDomain = opts.store.outEdges(r.node.id, ["PERTAIN_TO"]).length > 0;
+    return !grounded && !hasDomain;
+  });
+  const domainNudge = abstractUndomained.length >= 2;
   return {
     profile: opts.profile,
     profileContext,
     recentProblems: recent,
     recentResolved,
     ...causalNudge ? { causalNudge } : {},
+    ...domainNudge ? { domainNudge } : {},
     motifs,
     reviewCount: opts.reviewCount,
     reviewUiUrl: opts.reviewUiUrl,