@inerrata-corporation/errata 2.0.0-dev.84 → 2.0.0-dev.86

package/consolidate-worker.mjs

@@ -54,6 +54,13 @@ var init_castalia = __esm({
       "Paradigm",
       "DataStructure",
       "AgentModel",
+      // An OS executable / CLI program (`powercfg`, `git`, `docker` — SP-tooltopic).
+      // NAME-keyed identity (`toolCanonicalId`), deliberately unversioned: `powercfg`
+      // is one node across Windows builds; OS scoping rides `RUNS_ON`, packaging rides
+      // `PROVIDED_BY → Package`. Registry-verified before public minting (tldr-pages
+      // is the deps.dev analog) — an unverifiable name (typo, org-internal CLI) is
+      // skipped, never minted, so the verifier doubles as the privacy membrane.
+      "Tool",
       // An OPAQUE anchor identity in a project's stratum (PJ-anchors · plan §6c).
       // Deliberately NOT one of the CODE_NODE_LABELS below — those are the local code
       // graph and never cross. A cloud `Symbol` carries the salted `sym_` id and a
@@ -98,6 +105,9 @@ var init_castalia = __esm({
       "PROVIDED_BY",
       "SUPPORTS",
       "RUNS_ON",
+      // Tool spine (SP-tooltopic): knowledge → Tool anchor ("before calling X
+      // consider Y"). Hub-suppressed like OCCURS_IN — see EDGE_RULES for endpoints.
+      "CONCERNS",
       "IMPLEMENTATION_OF",
       "SUPERSEDED_BY",
       // canonical direction (older → newer) — Finding 1 fixed
@@ -248,6 +258,9 @@ var init_castalia = __esm({
       PROVIDED_BY: 0.4,
       SUPPORTS: 0.4,
       RUNS_ON: 0.4,
+      // Tool spine (SP-tooltopic): knowledge → Tool anchor, hub-suppressed like
+      // OCCURS_IN — a `git` node collects hundreds of anchors like `typescript` does.
+      CONCERNS: 0.3,
       IMPLEMENTATION_OF: 0.5,
       SUPERSEDED_BY: 0,
       WRITTEN_IN: 0.3,
@@ -15173,6 +15186,15 @@ var init_edge_rules = __esm({
       OCCURS_IN: { to: ["Language"] },
       OCCURS_ON: { to: ["OperatingSystem"] },
       RUNS_ON: { to: ["OperatingSystem"] },
+      // ── Tool spine (SP-tooltopic) ──
+      // CONCERNS is the knowledge→executable anchor ("before calling X consider Y"):
+      // a Claim/Problem/Solution about a Tool hangs off its Tool node so it can be
+      // recalled at the moment of invocation. New type, so constraining it invents
+      // nothing. NOTE: `PROVIDED_BY` (Tool → Package packaging join) is deliberately
+      // NOT ruled here — the type pre-exists with broader extractor senses, and a
+      // new rule on an old type would reject legitimate live flows (reject-never-flip
+      // cuts both ways: only rule types you introduce or senses that are documented).
+      CONCERNS: { from: ["Problem", "Solution", "RootCause", "Claim", "Pattern"], to: ["Tool"] },
       OPERATES_ON: { from: ["Algorithm"], to: ["DataStructure"] },
       INVOLVES: { from: ["Problem", "Solution"], to: ["DataStructure"] },
       // ── Taxonomy (Track 4 Stream C: MITRE CWE `ChildOf` → `Weakness —IS_A→ Weakness`) ──
@@ -15247,6 +15269,9 @@ var init_wire = __esm({
       "Triage",
       "Claim",
       "AntiPattern",
+      // Tool spine (SP-tooltopic): OS executables, minted by the stream-T importer
+      // (tldr-verified) and referenced by agent CONCERNS anchors.
+      "Tool",
       // PJ-anchors (§6c): the OPAQUE project anchor identity — salted `sym_` id +
       // coarse kind, no path, no qualified name. Writable ONLY on a batch with a
       // verified projectId; the ingest door rejects it outright otherwise, so its

package/errata.mjs

@@ -104,6 +104,13 @@ var init_castalia = __esm({
       "Paradigm",
       "DataStructure",
       "AgentModel",
+      // An OS executable / CLI program (`powercfg`, `git`, `docker` — SP-tooltopic).
+      // NAME-keyed identity (`toolCanonicalId`), deliberately unversioned: `powercfg`
+      // is one node across Windows builds; OS scoping rides `RUNS_ON`, packaging rides
+      // `PROVIDED_BY → Package`. Registry-verified before public minting (tldr-pages
+      // is the deps.dev analog) — an unverifiable name (typo, org-internal CLI) is
+      // skipped, never minted, so the verifier doubles as the privacy membrane.
+      "Tool",
       // An OPAQUE anchor identity in a project's stratum (PJ-anchors · plan §6c).
       // Deliberately NOT one of the CODE_NODE_LABELS below — those are the local code
       // graph and never cross. A cloud `Symbol` carries the salted `sym_` id and a
@@ -148,6 +155,9 @@ var init_castalia = __esm({
       "PROVIDED_BY",
       "SUPPORTS",
       "RUNS_ON",
+      // Tool spine (SP-tooltopic): knowledge → Tool anchor ("before calling X
+      // consider Y"). Hub-suppressed like OCCURS_IN — see EDGE_RULES for endpoints.
+      "CONCERNS",
       "IMPLEMENTATION_OF",
       "SUPERSEDED_BY",
       // canonical direction (older → newer) — Finding 1 fixed
@@ -338,6 +348,9 @@ var init_castalia = __esm({
       PROVIDED_BY: 0.4,
       SUPPORTS: 0.4,
       RUNS_ON: 0.4,
+      // Tool spine (SP-tooltopic): knowledge → Tool anchor, hub-suppressed like
+      // OCCURS_IN — a `git` node collects hundreds of anchors like `typescript` does.
+      CONCERNS: 0.3,
       IMPLEMENTATION_OF: 0.5,
       SUPERSEDED_BY: 0,
       WRITTEN_IN: 0.3,
@@ -896,6 +909,12 @@ function genericCanonicalId(prefix, content) {
 function languageCanonicalId(name2) {
   return genericCanonicalId("Language", { name: name2.trim().toLowerCase() });
 }
+function toolCanonicalId(name2) {
+  return genericCanonicalId("Tool", { name: name2.trim().toLowerCase() });
+}
+function operatingSystemCanonicalId(name2) {
+  return genericCanonicalId("OperatingSystem", { name: name2.trim().toLowerCase() });
+}
 function packageCanonicalId(p) {
   const eco = p.ecosystem.toLowerCase();
   const name2 = eco === "npm" ? p.name.toLowerCase() : p.name;
@@ -15311,6 +15330,15 @@ var init_edge_rules = __esm({
       OCCURS_IN: { to: ["Language"] },
       OCCURS_ON: { to: ["OperatingSystem"] },
       RUNS_ON: { to: ["OperatingSystem"] },
+      // ── Tool spine (SP-tooltopic) ──
+      // CONCERNS is the knowledge→executable anchor ("before calling X consider Y"):
+      // a Claim/Problem/Solution about a Tool hangs off its Tool node so it can be
+      // recalled at the moment of invocation. New type, so constraining it invents
+      // nothing. NOTE: `PROVIDED_BY` (Tool → Package packaging join) is deliberately
+      // NOT ruled here — the type pre-exists with broader extractor senses, and a
+      // new rule on an old type would reject legitimate live flows (reject-never-flip
+      // cuts both ways: only rule types you introduce or senses that are documented).
+      CONCERNS: { from: ["Problem", "Solution", "RootCause", "Claim", "Pattern"], to: ["Tool"] },
       OPERATES_ON: { from: ["Algorithm"], to: ["DataStructure"] },
       INVOLVES: { from: ["Problem", "Solution"], to: ["DataStructure"] },
       // ── Taxonomy (Track 4 Stream C: MITRE CWE `ChildOf` → `Weakness —IS_A→ Weakness`) ──
@@ -15508,6 +15536,9 @@ var init_wire = __esm({
       "Triage",
       "Claim",
       "AntiPattern",
+      // Tool spine (SP-tooltopic): OS executables, minted by the stream-T importer
+      // (tldr-verified) and referenced by agent CONCERNS anchors.
+      "Tool",
       // PJ-anchors (§6c): the OPAQUE project anchor identity — salted `sym_` id +
       // coarse kind, no path, no qualified name. Writable ONLY on a batch with a
       // verified projectId; the ingest door rejects it outright otherwise, so its
@@ -15913,6 +15944,7 @@ __export(src_exports, {
   normalizeRepoLocator: () => normalizeRepoLocator,
   normalizeSymbolPath: () => normalizeSymbolPath,
   npmPurl: () => npmPurl,
+  operatingSystemCanonicalId: () => operatingSystemCanonicalId,
   packageCanonicalId: () => packageCanonicalId,
   pagerankEdgeTypes: () => pagerankEdgeTypes,
   parsePackageLockJson: () => parsePackageLockJson,
@@ -15931,6 +15963,7 @@ __export(src_exports, {
   summarizeIngestResult: () => summarizeIngestResult,
   summaryRejectionReason: () => summaryRejectionReason,
   toCloudAttrs: () => toCloudAttrs,
+  toolCanonicalId: () => toolCanonicalId,
   validateCastaliaPayload: () => validateCastaliaPayload,
   vetSidecarSummaries: () => vetSidecarSummaries
 });
@@ -17773,6 +17806,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 +17980,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 +17988,7 @@ var init_problem_package_link = __esm({
     init_justification();
     NAME_SEPARATOR = /[@/\-._]/;
     MIN_NAME_LEN = 3;
+    LANGUAGE_MIN_LEN = 4;
   }
 });
 
@@ -18191,7 +18278,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 +18291,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 +20396,7 @@ __export(src_exports2, {
   applyPulledPrinciples: () => applyPulledPrinciples,
   backfillProblemContext: () => backfillProblemContext,
   backfillProblemPackageLinks: () => backfillProblemPackageLinks,
+  buildLanguageIndex: () => buildLanguageIndex,
   buildPackageIndex: () => buildPackageIndex,
   buildPrincipleSync: () => buildPrincipleSync,
   causalChain: () => causalChain,
@@ -20312,6 +20409,7 @@ __export(src_exports2, {
   creditAssignment: () => creditAssignment,
   crystallize: () => crystallize,
   deriveContextFromAnchors: () => deriveContextFromAnchors,
+  deriveContextFromStatement: () => deriveContextFromStatement,
   designProblemId: () => designProblemId,
   detectLocalCommunities: () => detectLocalCommunities,
   edgeConductance: () => edgeConductance,
@@ -20327,8 +20425,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 +20442,7 @@ __export(src_exports2, {
   priorsForFile: () => priorsForFile,
   propagateFactChange: () => propagateFactChange,
   propagateVersionChange: () => propagateVersionChange,
+  recordAnchorHint: () => recordAnchorHint,
   recordClaim: () => recordClaim,
   recordMisreadPrior: () => recordMisreadPrior,
   recordTriageObservation: () => recordTriageObservation,
@@ -24568,7 +24669,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",
@@ -41402,12 +41503,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;
@@ -41417,6 +41533,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) {
@@ -41426,13 +41546,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;
@@ -43533,7 +43664,7 @@ function startLoopLagMonitor(thresholdMs = 1e3) {
 }
 
 // src/engine.ts
-var DAEMON_VERSION = true ? "2.0.0-dev.84" : "2.0.0-alpha.0";
+var DAEMON_VERSION = true ? "2.0.0-dev.86" : "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;
@@ -44078,6 +44209,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;
@@ -44103,12 +44235,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 {
             }
           }
@@ -44167,10 +44306,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);
@@ -44191,13 +44333,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 {
             }
           }
         }
@@ -44218,7 +44363,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.84",
+  "version": "2.0.0-dev.86",
   "description": "errata - local-first observation engine for AI coding agents",
   "type": "module",
   "bin": {

package/pass-worker.mjs

@@ -65,6 +65,13 @@ var init_castalia = __esm({
       "Paradigm",
       "DataStructure",
       "AgentModel",
+      // An OS executable / CLI program (`powercfg`, `git`, `docker` — SP-tooltopic).
+      // NAME-keyed identity (`toolCanonicalId`), deliberately unversioned: `powercfg`
+      // is one node across Windows builds; OS scoping rides `RUNS_ON`, packaging rides
+      // `PROVIDED_BY → Package`. Registry-verified before public minting (tldr-pages
+      // is the deps.dev analog) — an unverifiable name (typo, org-internal CLI) is
+      // skipped, never minted, so the verifier doubles as the privacy membrane.
+      "Tool",
       // An OPAQUE anchor identity in a project's stratum (PJ-anchors · plan §6c).
       // Deliberately NOT one of the CODE_NODE_LABELS below — those are the local code
       // graph and never cross. A cloud `Symbol` carries the salted `sym_` id and a
@@ -109,6 +116,9 @@ var init_castalia = __esm({
       "PROVIDED_BY",
       "SUPPORTS",
       "RUNS_ON",
+      // Tool spine (SP-tooltopic): knowledge → Tool anchor ("before calling X
+      // consider Y"). Hub-suppressed like OCCURS_IN — see EDGE_RULES for endpoints.
+      "CONCERNS",
       "IMPLEMENTATION_OF",
       "SUPERSEDED_BY",
       // canonical direction (older → newer) — Finding 1 fixed
@@ -299,6 +309,9 @@ var init_castalia = __esm({
       PROVIDED_BY: 0.4,
       SUPPORTS: 0.4,
       RUNS_ON: 0.4,
+      // Tool spine (SP-tooltopic): knowledge → Tool anchor, hub-suppressed like
+      // OCCURS_IN — a `git` node collects hundreds of anchors like `typescript` does.
+      CONCERNS: 0.3,
       IMPLEMENTATION_OF: 0.5,
       SUPERSEDED_BY: 0,
       WRITTEN_IN: 0.3,
@@ -15028,6 +15041,15 @@ var init_edge_rules = __esm({
       OCCURS_IN: { to: ["Language"] },
       OCCURS_ON: { to: ["OperatingSystem"] },
       RUNS_ON: { to: ["OperatingSystem"] },
+      // ── Tool spine (SP-tooltopic) ──
+      // CONCERNS is the knowledge→executable anchor ("before calling X consider Y"):
+      // a Claim/Problem/Solution about a Tool hangs off its Tool node so it can be
+      // recalled at the moment of invocation. New type, so constraining it invents
+      // nothing. NOTE: `PROVIDED_BY` (Tool → Package packaging join) is deliberately
+      // NOT ruled here — the type pre-exists with broader extractor senses, and a
+      // new rule on an old type would reject legitimate live flows (reject-never-flip
+      // cuts both ways: only rule types you introduce or senses that are documented).
+      CONCERNS: { from: ["Problem", "Solution", "RootCause", "Claim", "Pattern"], to: ["Tool"] },
       OPERATES_ON: { from: ["Algorithm"], to: ["DataStructure"] },
       INVOLVES: { from: ["Problem", "Solution"], to: ["DataStructure"] },
       // ── Taxonomy (Track 4 Stream C: MITRE CWE `ChildOf` → `Weakness —IS_A→ Weakness`) ──
@@ -15102,6 +15124,9 @@ var init_wire = __esm({
       "Triage",
       "Claim",
       "AntiPattern",
+      // Tool spine (SP-tooltopic): OS executables, minted by the stream-T importer
+      // (tldr-verified) and referenced by agent CONCERNS anchors.
+      "Tool",
       // PJ-anchors (§6c): the OPAQUE project anchor identity — salted `sym_` id +
       // coarse kind, no path, no qualified name. Writable ONLY on a batch with a
       // verified projectId; the ingest door rejects it outright otherwise, so its