@inerrata-corporation/errata 2.0.0-dev.83 → 2.0.0-dev.85

package/errata.mjs

@@ -17773,6 +17773,59 @@ function linkProblemToPackages(store, problemId, text, ts, index) {
   }
   return { linked };
 }
+function buildLanguageIndex(store) {
+  const idx = /* @__PURE__ */ new Map();
+  for (const n of store.findNodesByLabel("Language")) {
+    const name2 = String(n.attrs["name"] ?? n.description ?? "").trim().toLowerCase();
+    if (name2) idx.set(name2, n);
+  }
+  return idx;
+}
+function matchLanguagesInText(text, index) {
+  const hay = text.toLowerCase();
+  const out2 = [];
+  for (const [key, node2] of index) {
+    if (key.length < LANGUAGE_MIN_LEN) continue;
+    if (!hay.includes(key)) continue;
+    const bounded = new RegExp(`(?<![\\w@/.\\-])${escapeRe3(key)}(?![\\w])`);
+    if (bounded.test(hay)) out2.push(node2);
+  }
+  return out2;
+}
+function linkProblemToLanguages(store, problemId, text, ts, index) {
+  const p = store.getNode(problemId);
+  if (!p || p.label !== "Problem") return [];
+  const idx = index ?? buildLanguageIndex(store);
+  if (idx.size === 0) return [];
+  const already = new Set(store.outEdges(problemId, ["OCCURS_IN"]).map((e) => e.to));
+  const linked = [];
+  for (const node2 of matchLanguagesInText(text, idx)) {
+    if (already.has(node2.id)) continue;
+    store.mergeEdge({
+      id: `edge_${digest({ from: problemId, type: "OCCURS_IN", to: node2.id })}`.slice(0, 24),
+      from: problemId,
+      to: node2.id,
+      type: "OCCURS_IN",
+      confidence: 0.3,
+      // below the structural walk's 0.4 — a mention, not an anchor walk
+      extractionSource: "daemon-extracted",
+      createdAt: ts,
+      lastSeenAt: ts,
+      navSuccesses: 0,
+      navFailures: 0,
+      attrs: { provisional: true, mention: true }
+    });
+    already.add(node2.id);
+    linked.push(node2.id);
+  }
+  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 problemText(store, p) {
   const parts2 = [p.description];
   for (const e of store.outEdges(p.id, ["CAUSED_BY"])) {
@@ -17894,7 +17947,7 @@ function backfillProblemContext(store, ts) {
   }
   return report;
 }
-var NAME_SEPARATOR, MIN_NAME_LEN;
+var NAME_SEPARATOR, MIN_NAME_LEN, LANGUAGE_MIN_LEN;
 var init_problem_package_link = __esm({
   "../../packages/local-graph/src/problem-package-link.ts"() {
     "use strict";
@@ -17902,6 +17955,7 @@ var init_problem_package_link = __esm({
     init_justification();
     NAME_SEPARATOR = /[@/\-._]/;
     MIN_NAME_LEN = 3;
+    LANGUAGE_MIN_LEN = 4;
   }
 });
 
@@ -18191,7 +18245,7 @@ function solutionForProblem(store, problemId) {
   const e = store.outEdges(problemId, ["SOLVED_BY"])[0];
   return e ? e.to : null;
 }
-function anchorProblemToWorkingFile(store, problemId, relPath, workspaceId2, ts) {
+function anchorProblemToWorkingFile(store, problemId, relPath, workspaceId2, ts, provenance = "edited") {
   const p = store.getNode(problemId);
   if (!p || p.label !== "Problem") return false;
   if (!ANCHORABLE_CODE.test(relPath)) return false;
@@ -18204,14 +18258,23 @@ function anchorProblemToWorkingFile(store, problemId, relPath, workspaceId2, ts)
     from: problemId,
     to: file2.id,
     type: "ANCHORED_AT",
-    confidence: 0.3,
-    // soft: in-focus file is a heuristic, below F2's resolve-diff anchor (0.4)
+    // witnessed = the agent's own declaration, F2-grade; edited = soft heuristic.
+    confidence: provenance === "witnessed" ? 0.4 : 0.3,
     extractionSource: "agent-observed",
     createdAt: ts,
     lastSeenAt: ts,
     navSuccesses: 0,
     navFailures: 0,
-    attrs: { provisional: true, captureTime: true }
+    attrs: { provisional: true, captureTime: true, anchorProvenance: provenance }
+  });
+  return true;
+}
+function recordAnchorHint(store, problemId, relPath, provenance, ts) {
+  const p = store.getNode(problemId);
+  if (!p || p.label !== "Problem") return false;
+  if (p.attrs["anchorHint"]) return false;
+  store.updateNode(problemId, {
+    attrs: { ...p.attrs, anchorHint: { path: relPath, provenance, ts } }
   });
   return true;
 }
@@ -20300,6 +20363,7 @@ __export(src_exports2, {
   applyPulledPrinciples: () => applyPulledPrinciples,
   backfillProblemContext: () => backfillProblemContext,
   backfillProblemPackageLinks: () => backfillProblemPackageLinks,
+  buildLanguageIndex: () => buildLanguageIndex,
   buildPackageIndex: () => buildPackageIndex,
   buildPrincipleSync: () => buildPrincipleSync,
   causalChain: () => causalChain,
@@ -20312,6 +20376,7 @@ __export(src_exports2, {
   creditAssignment: () => creditAssignment,
   crystallize: () => crystallize,
   deriveContextFromAnchors: () => deriveContextFromAnchors,
+  deriveContextFromStatement: () => deriveContextFromStatement,
   designProblemId: () => designProblemId,
   detectLocalCommunities: () => detectLocalCommunities,
   edgeConductance: () => edgeConductance,
@@ -20327,8 +20392,10 @@ __export(src_exports2, {
   induceTriage: () => induceTriage,
   ingestDesignProblem: () => ingestDesignProblem,
   isPlaceholderStatement: () => isPlaceholderStatement,
+  linkProblemToLanguages: () => linkProblemToLanguages,
   linkProblemToPackages: () => linkProblemToPackages,
   listNeedsRevisit: () => listNeedsRevisit,
+  matchLanguagesInText: () => matchLanguagesInText,
   matchPackagesInText: () => matchPackagesInText,
   mergeCloudCounts: () => mergeCloudCounts,
   mergeDuplicateProblems: () => mergeDuplicateProblems,
@@ -20342,6 +20409,7 @@ __export(src_exports2, {
   priorsForFile: () => priorsForFile,
   propagateFactChange: () => propagateFactChange,
   propagateVersionChange: () => propagateVersionChange,
+  recordAnchorHint: () => recordAnchorHint,
   recordClaim: () => recordClaim,
   recordMisreadPrior: () => recordMisreadPrior,
   recordTriageObservation: () => recordTriageObservation,
@@ -24568,7 +24636,7 @@ var init_agent_signals = __esm({
     };
     GLOSS = {
       prior: "a prior we showed you helped \u2014 or this work sits in a primed language/package",
-      problem: "you hit a real problem \u2014 incidental, or the one you're fixing",
+      problem: "you hit a real problem \u2014 incidental, or the one you're fixing. About specific code? NAME the file in the tag: [!what's wrong @ src/file.ts:42] \u2014 we anchor to what you name, or to a file you edited this turn, never to one you merely read; a design/topic problem is fine with no @",
       fix: "your edit fixes a problem \u2014 cite the one we showed you, or just say how you fixed one you found yourself: (fix: what you changed)",
       constraint: "you made a design decision because requirements conflict or something's constrained \u2014 tag the tension, ESPECIALLY when your fix makes it 'only look' contradictory (a clean solution still hides a real trap the next agent needs)",
       triage: "you diagnosed a bug \u2014 SPLIT the symptom (what breaks \u2192 [!\u2026]) from the cause (the mechanism you'd change \u2192 (cause:\u2026)); if the line says WHY it breaks, it's a cause, not a problem",
@@ -37995,6 +38063,9 @@ function buildWebUi(deps) {
       stack: deps.profile.stack,
       nodes: deps.store.nodeCount(),
       edges: deps.store.edgeCount(),
+      // Ontology-gate refusals since daemon start (local EDGE_RULES at
+      // mergeEdge, #1153) — a misbehaving extractor shows here, never silently.
+      rejectedEdges: deps.store.rejectedEdgeCount,
       pendingReview: pendingCount(deps.paths),
       daemonVersion: deps.daemonVersion,
       endpoints: [
@@ -38026,6 +38097,7 @@ function buildWebUi(deps) {
       workspace: deps.profile.id,
       nodes: deps.store.nodeCount(),
       edges: deps.store.edgeCount(),
+      rejectedEdges: deps.store.rejectedEdgeCount,
       pendingReview: pendingCount(deps.paths),
       daemonVersion: deps.daemonVersion
     })
@@ -41398,12 +41470,27 @@ function parseDesignResolutions(text) {
   return out2;
 }
 var FILE_TOOLS = /* @__PURE__ */ new Set(["Read", "Edit", "Write", "MultiEdit", "NotebookEdit"]);
+var WRITE_TOOLS = /* @__PURE__ */ new Set(["Edit", "Write", "MultiEdit", "NotebookEdit"]);
+function isUserTurnBoundary(obj) {
+  if (obj.type !== "user") return false;
+  const content = obj.message?.content;
+  if (typeof content === "string") return content.trim().length > 0;
+  if (!Array.isArray(content)) return false;
+  const blocks = content;
+  if (blocks.some((b) => b["type"] === "tool_result")) return false;
+  return blocks.some((b) => b["type"] === "text");
+}
 function readAssistantTurns(transcriptPath, includeThinking = true, maxBytes = 2e6) {
   const raw2 = readTail(transcriptPath, maxBytes);
   if (!raw2) return [];
   const turns = [];
   const lines = raw2.split(/\r?\n/);
   let lastFile;
+  let lastFileIsWrite = false;
+  let lastFileTurnSeq = 0;
+  let editedFile;
+  let editedFileTurnSeq = 0;
+  let turnSeq = 0;
   for (let i2 = 0; i2 < lines.length; i2++) {
     const line = lines[i2];
     if (!line) continue;
@@ -41413,6 +41500,10 @@ function readAssistantTurns(transcriptPath, includeThinking = true, maxBytes = 2
     } catch {
       continue;
     }
+    if (isUserTurnBoundary(obj)) {
+      turnSeq++;
+      continue;
+    }
     if (obj.type !== "assistant" || !Array.isArray(obj.message?.content)) continue;
     const parts2 = [];
     for (const b of obj.message.content) {
@@ -41422,13 +41513,24 @@ function readAssistantTurns(transcriptPath, includeThinking = true, maxBytes = 2
       else if (b["type"] === "tool_use" && typeof b["name"] === "string" && FILE_TOOLS.has(b["name"])) {
         const input = b["input"];
         const fp = input && typeof input === "object" ? input["file_path"] : void 0;
-        if (typeof fp === "string" && fp) lastFile = fp;
+        if (typeof fp === "string" && fp) {
+          lastFile = fp;
+          lastFileIsWrite = WRITE_TOOLS.has(b["name"]);
+          lastFileTurnSeq = turnSeq;
+          if (lastFileIsWrite) {
+            editedFile = fp;
+            editedFileTurnSeq = turnSeq;
+          }
+        }
       }
     }
+    const provenance = lastFile ? lastFileTurnSeq === turnSeq ? lastFileIsWrite ? "edited" : "read" : "carried" : void 0;
     turns.push({
       uuid: String(obj.uuid ?? i2),
       text: parts2.join("\n\n"),
-      ...lastFile ? { workingFile: lastFile } : {}
+      ...lastFile ? { workingFile: lastFile } : {},
+      ...provenance ? { workingFileProvenance: provenance } : {},
+      ...editedFile && editedFileTurnSeq === turnSeq ? { editedFile } : {}
     });
   }
   return turns;
@@ -43529,7 +43631,7 @@ function startLoopLagMonitor(thresholdMs = 1e3) {
 }
 
 // src/engine.ts
-var DAEMON_VERSION = true ? "2.0.0-dev.83" : "2.0.0-alpha.0";
+var DAEMON_VERSION = true ? "2.0.0-dev.85" : "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;
@@ -44074,6 +44176,7 @@ function createWorkspaceEngine(opts) {
     for (const turn of items) {
       if (processedTurns++ > 0) await yieldToLoop();
       const turnFile = turn.workingFile ? toRel(turn.workingFile) : void 0;
+      const editedTurnFile = turn.editedFile ? toRel(turn.editedFile) : void 0;
       if (opts.sharedStore) {
         try {
           abstracted += harvestAbstractionFences(opts.sharedStore, turn.text, t).applied;
@@ -44099,12 +44202,19 @@ function createWorkspaceEngine(opts) {
           });
           if (r.created || r.corroborated) minted++;
           sessionLastProblem.set(sessionId, designProblemId(flag.problem));
-          const fencedAnchor = turnFile ?? workingFiles.get(sessionId);
-          if ((r.created || r.corroborated) && fencedAnchor) {
+          if (r.created || r.corroborated) {
             try {
-              if (anchorProblemToWorkingFile(store, r.problemId, fencedAnchor, profile.id, t)) {
-                deriveContextFromAnchors(store, r.problemId, t);
+              if (editedTurnFile) {
+                if (anchorProblemToWorkingFile(store, r.problemId, editedTurnFile, profile.id, t, "edited")) {
+                  deriveContextFromAnchors(store, r.problemId, t);
+                }
+              } else if (!flag.anchor) {
+                const hintPath = turnFile ?? workingFiles.get(sessionId);
+                if (hintPath) {
+                  recordAnchorHint(store, r.problemId, hintPath, turn.workingFileProvenance === "read" ? "read" : "carried", t);
+                }
               }
+              deriveContextFromStatement(store, r.problemId, flag.problem, t);
             } catch {
             }
           }
@@ -44163,10 +44273,13 @@ function createWorkspaceEngine(opts) {
         const threads = sessionThreads.get(sessionId) ?? /* @__PURE__ */ new Map();
         sessionThreads.set(sessionId, threads);
         for (const p of plan.problems) {
-          const anchorPath = p.location?.path ?? turnFile ?? wf;
-          if (anchorPath) {
+          const anchorPath = p.location?.path ?? editedTurnFile;
+          const anchorProvenance = p.location?.path ? "witnessed" : "edited";
+          const hintPath = anchorPath ? void 0 : turnFile ?? wf;
+          const dedupPath = anchorPath ?? hintPath;
+          if (dedupPath) {
             try {
-              const dupId = reinforceSameAnchorProblem(store, anchorPath, profile.id, p.statement, sessionId, t);
+              const dupId = reinforceSameAnchorProblem(store, dedupPath, profile.id, p.statement, sessionId, t);
               if (dupId) {
                 minted++;
                 sessionLastProblem.set(sessionId, dupId);
@@ -44187,13 +44300,16 @@ function createWorkspaceEngine(opts) {
             sessionLastProblem.set(sessionId, designProblemId(p.statement));
             inScopeProblemId = designProblemId(p.statement);
             if (p.threadId) threads.set(p.threadId, designProblemId(p.statement));
-            if (anchorPath) {
-              try {
-                if (anchorProblemToWorkingFile(store, r.problemId, anchorPath, profile.id, t)) {
+            try {
+              if (anchorPath) {
+                if (anchorProblemToWorkingFile(store, r.problemId, anchorPath, profile.id, t, anchorProvenance)) {
                   deriveContextFromAnchors(store, r.problemId, t);
                 }
-              } catch {
+              } else if (hintPath) {
+                recordAnchorHint(store, r.problemId, hintPath, turn.workingFileProvenance === "read" ? "read" : "carried", t);
               }
+              deriveContextFromStatement(store, r.problemId, p.statement, t);
+            } catch {
             }
           }
         }
@@ -44214,7 +44330,7 @@ function createWorkspaceEngine(opts) {
           }
           if (resolveDesignProblemById(store, pid, fx.fixNote, t)) {
             resolved++;
-            const fxAnchor = turnFile ?? wf;
+            const fxAnchor = editedTurnFile ?? turnFile ?? wf;
             if (fxAnchor) {
               try {
                 anchorProblemToDiff(store, pid, [fxAnchor], profile.id, t);

package/package.json

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