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

package/errata.mjs

@@ -18299,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")) {
@@ -20749,6 +20766,7 @@ __export(src_exports2, {
   matchSymbolsInText: () => matchSymbolsInText,
   mergeCloudCounts: () => mergeCloudCounts,
   mergeDuplicateProblems: () => mergeDuplicateProblems,
+  mintDomainNode: () => mintDomainNode,
   mintPatternNode: () => mintPatternNode,
   openGraphStore: () => openGraphStore,
   osNodeId: () => osNodeId,
@@ -20881,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,
@@ -21047,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:_");
@@ -24928,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`,
@@ -24996,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 = {
@@ -49331,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;
@@ -49520,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) {
@@ -49653,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) => {
@@ -49784,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);
@@ -51386,7 +51438,7 @@ function startLoopLagMonitor(thresholdMs = 1e3) {
 }
 
 // src/engine.ts
-var DAEMON_VERSION = true ? "2.0.0-dev.92" : "2.0.0-alpha.0";
+var DAEMON_VERSION = true ? "2.0.0-dev.94" : "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;
@@ -52213,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;
@@ -53067,8 +53126,8 @@ function noveltyAgainst(node2, neighbors, opts = {}) {
 // src/instance-ingest.ts
 var INSTANCE_LABELS = ["Problem", "Solution", "RootCause"];
 var INSTANCE_EDGES = ["CAUSED_BY", "SOLVED_BY"];
-var ANCHOR_EDGES = ["OCCURS_IN", "DEPENDS_ON"];
-var ANCHOR_TARGET_LABELS = ["Language", "Package"];
+var ANCHOR_EDGES = ["OCCURS_IN", "DEPENDS_ON", "PERTAIN_TO"];
+var ANCHOR_TARGET_LABELS = ["Language", "Package", "Domain"];
 function stripCodebaseScope(scope) {
   const s = { ...scope ?? {} };
   delete s["codebase"];
@@ -53079,21 +53138,20 @@ function wireContextId(n) {
     const name2 = String(n.attrs["name"] ?? "").trim() || n.description.trim() || n.id.replace(/^lang:/, "");
     return languageCanonicalId(name2);
   }
+  if (n.label === "Domain" && n.attrs["source"] !== "cloud") {
+    return String(n.attrs["canonicalId"] ?? n.id);
+  }
   return n.id;
 }
 function shareableContext(n, wireId) {
-  return {
-    ...n,
-    id: wireId,
-    embedding: [],
-    attrs: n.label === "Package" ? {
-      purl: n.attrs["purl"],
-      name: n.attrs["name"],
-      version: n.attrs["version"],
-      ecosystem: n.attrs["ecosystem"],
-      resolved: n.attrs["resolved"]
-    } : { name: n.attrs["name"] }
-  };
+  const attrs = n.label === "Package" ? {
+    purl: n.attrs["purl"],
+    name: n.attrs["name"],
+    version: n.attrs["version"],
+    ecosystem: n.attrs["ecosystem"],
+    resolved: n.attrs["resolved"]
+  } : n.label === "Domain" ? { name: n.description, canonicalId: n.attrs["canonicalId"] } : { name: n.attrs["name"] };
+  return { ...n, id: wireId, embedding: [], attrs };
 }
 function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [], opts = {}) {
   const level = opts.level ?? 1;
@@ -53149,6 +53207,7 @@ function buildInstanceIngest(store, profile, daemonVersion, ignorePatterns = [],
       if (!t || !ANCHOR_TARGET_LABELS.includes(t.label)) continue;
       if (e.type === "OCCURS_IN" && t.label !== "Language") continue;
       if (e.type === "DEPENDS_ON" && t.label !== "Package") continue;
+      if (e.type === "PERTAIN_TO" && t.label !== "Domain") continue;
       if (t.label === "Package" && opts.includePackages !== true) continue;
       if (ignored(t.description) || ignored(String(t.attrs["name"] ?? ""))) continue;
       targets.push({ e, t, wireId: wireContextId(t) });

package/package.json

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

package/pass-worker.mjs

@@ -26091,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,