@inerrata-corporation/errata 2.0.23-dev.4881 → 2.0.23-dev.4900

package/errata.mjs

@@ -58885,7 +58885,14 @@ function buildWebUi(deps) {
         }
       }
     }
-    if ((event === "PostToolUse" || event === "PreToolUse") && (recall || refreshed)) {
+    let taskPriors = null;
+    if ((event === "PostToolUse" || event === "PreToolUse") && audience.subagent === null && audience.sessionId && deps.takeTaskPriors) {
+      try {
+        taskPriors = deps.takeTaskPriors(audience.sessionId);
+      } catch {
+      }
+    }
+    if ((event === "PostToolUse" || event === "PreToolUse") && (recall || refreshed || taskPriors)) {
       const showCard = recallCardEnabled();
       const { sessionId, subagent } = audience;
       const raw2 = recall?.card ?? refreshed?.card ?? null;
@@ -58895,7 +58902,7 @@ function buildWebUi(deps) {
         else rememberCard(sessionId, card);
       }
       const line = showCard && recall && card ? renderRecallLine(card) : null;
-      const additionalContext = [recall?.context, refreshed?.additionalContext].filter(Boolean).join("\n\n");
+      const additionalContext = [recall?.context, refreshed?.additionalContext, taskPriors].filter(Boolean).join("\n\n");
       return c.json({
         ...line ? { systemMessage: line } : {},
         hookSpecificOutput: { hookEventName: hookEvent, additionalContext }
@@ -59004,6 +59011,15 @@ ${delta}${cue}`;
     const { sessionId: sid, contextKey: contextKey2, subagent, agentId } = hookAudience(body2);
     noteSessionFrom(c.req.header(ORIGIN_HEADER), body2);
     const hookEvent = String(body2["hook_event_name"] ?? "UserPromptSubmit");
+    if (hookEvent === "UserPromptSubmit" && subagent === null && sid && typeof body2["prompt"] === "string" && deps.onTaskPrompt) {
+      const prompt = body2["prompt"];
+      setImmediate(() => {
+        try {
+          deps.onTaskPrompt(sid, prompt);
+        } catch {
+        }
+      });
+    }
     const atPrompt = hookEvent === "UserPromptSubmit" || hookEvent === "SessionStart" || hookEvent === "SubagentStart";
     if (sid && recallCardEnabled() && atPrompt) {
       setImmediate(() => {
@@ -87529,6 +87545,100 @@ function createIntentState(ttlMs = INTENT_TTL_MS) {
   };
 }
 
+// src/engine.ts
+init_mcp();
+
+// src/task-priors.ts
+function taskPriorsEnabled(env2 = process.env) {
+  return /^(1|on|true|yes)$/i.test((env2["ERRATA_TASK_PRIORS"] ?? "").trim());
+}
+var TASK_PRIORS_FLOOR = 0.45;
+var TASK_PRIORS_BAND = 0.15;
+var TASK_PRIORS_MAX = 5;
+var TASK_QUERY_MAX_CHARS = 600;
+var KNOWLEDGE = /* @__PURE__ */ new Set(["Problem", "RootCause", "Solution", "Pattern", "Comment", "Claim", "Vulnerability"]);
+var clip2 = (s, n) => s.length > n ? `${s.slice(0, n - 1)}\u2026` : s;
+var oneLine2 = (s) => String(s ?? "").replace(/\s+/g, " ").trim();
+function pickTaskHits(result) {
+  const rows = Array.isArray(result) ? result : result?.results;
+  if (!Array.isArray(rows)) return [];
+  const relevanceOf = (r) => Number(r["why"]?.relevance ?? 0);
+  const knowledge = rows.filter((r) => KNOWLEDGE.has(String(r["label"] ?? "")));
+  const best = Math.max(0, ...knowledge.map(relevanceOf));
+  const cut = Math.max(TASK_PRIORS_FLOOR, best - TASK_PRIORS_BAND);
+  const hits = [];
+  for (const r of knowledge) {
+    const label = String(r["label"]);
+    const relevance = relevanceOf(r);
+    if (!(relevance >= cut)) continue;
+    const chain2 = r["chain"];
+    hits.push({
+      id: String(r["cite"] ?? r["id"]),
+      label,
+      text: oneLine2(r["name"] ?? r["description"]),
+      relevance,
+      ...typeof r["lifecycle"] === "string" ? { lifecycle: r["lifecycle"] } : {},
+      ...chain2?.cause?.text ? { cause: oneLine2(chain2.cause.text) } : {},
+      ...chain2?.fix?.text ? { fix: oneLine2(chain2.fix.text) } : {}
+    });
+    if (hits.length >= TASK_PRIORS_MAX) break;
+  }
+  return hits;
+}
+function renderTaskPriors(query, hits, addendum) {
+  const lines = [
+    addendum ? "### \u{1F3AF} errata \u2014 more for this task, from the Errata Network" : "### \u{1F3AF} errata \u2014 what the graph already knows about this task",
+    addendum ? "_The Network side of the search on your task finished; these weren't in the earlier list._" : `_errata searched its graph for your task ("${clip2(oneLine2(query), 120)}") \u2014 no need to run that search yourself. Check a prior against the code before relying on it, and cite what you use as ([id])._`
+  ];
+  for (const h of hits) {
+    lines.push(`- **${h.label}:** ${clip2(h.text, 220)} \`[${h.id}]\`${h.lifecycle ? ` \u2014 ${h.lifecycle}` : ""}`);
+    if (h.cause) lines.push(`  - cause: ${clip2(h.cause, 220)}`);
+    if (h.fix) lines.push(`  - fix: ${clip2(h.fix, 260)}`);
+  }
+  return lines.join("\n");
+}
+function createTaskPriors(search, opts) {
+  const sessions = /* @__PURE__ */ new Map();
+  const maxSessions = opts.maxSessions ?? 200;
+  const phase = async (sessionId, state, generation, network) => {
+    let result;
+    try {
+      result = await search(state.query, { network });
+    } catch {
+      return;
+    }
+    if (sessions.get(sessionId) !== state || state.generation !== generation) return;
+    const fresh = pickTaskHits(result).filter((h) => !state.sent.has(h.id));
+    if (fresh.length === 0) return;
+    for (const h of fresh) state.sent.add(h.id);
+    state.ready.push(renderTaskPriors(state.query, fresh, network && state.sent.size > fresh.length));
+  };
+  return {
+    /** The session was handed a task (its prompt) or restated it (an intent fence). */
+    start(sessionId, text) {
+      const query = oneLine2(text).slice(0, TASK_QUERY_MAX_CHARS);
+      if (!sessionId || query.length < 12) return;
+      const prev = sessions.get(sessionId);
+      if (prev?.query === query) return;
+      const state = { query, generation: (prev?.generation ?? 0) + 1, sent: prev?.sent ?? /* @__PURE__ */ new Set(), ready: prev?.ready ?? [] };
+      sessions.delete(sessionId);
+      sessions.set(sessionId, state);
+      if (sessions.size > maxSessions) sessions.delete(sessions.keys().next().value);
+      const generation = state.generation;
+      void phase(sessionId, state, generation, false).then(() => opts.network() ? phase(sessionId, state, generation, true) : void 0);
+    },
+    /** What is ready for this session's next tool hook, once; null when nothing is. */
+    take(sessionId) {
+      const state = sessions.get(sessionId);
+      if (!state || state.ready.length === 0) return null;
+      return state.ready.splice(0).join("\n\n");
+    },
+    end(sessionId) {
+      sessions.delete(sessionId);
+    }
+  };
+}
+
 // src/working-file-state.ts
 function createWorkingFileState() {
   const bySession = /* @__PURE__ */ new Map();
@@ -88321,7 +88431,7 @@ function createWatchBreaker(deps) {
 }
 
 // src/engine.ts
-var DAEMON_VERSION = true ? "2.0.23-dev.4881" : "2.0.0-alpha.0";
+var DAEMON_VERSION = true ? "2.0.23-dev.4900" : "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;
@@ -88756,6 +88866,16 @@ function createWorkspaceEngine(opts) {
     witnessParked: () => witnessQueue.length
   });
   const intents = createIntentState();
+  const taskPriorsOn = taskPriorsEnabled();
+  const taskPriors = createTaskPriors(
+    (query, { network }) => runTool(
+      "errata.search",
+      { query, limit: 10 },
+      store,
+      network ? { cloud, ...opts.generalizeSoft ? { generalizeSoft: opts.generalizeSoft } : {} } : {}
+    ),
+    { network: () => !opts.skipContextWriter && (opts.syncConsent ?? consentNow().sync) && typeof cloud.search === "function" }
+  );
   const subagents = createSubagentState();
   let subagentBase = null;
   let subagentBaseVersion = 0;
@@ -88800,7 +88920,7 @@ function createWorkspaceEngine(opts) {
       }
     }
   };
-  const clip2 = (s, n) => s.length > n ? `${s.slice(0, n - 1)}\u2026` : s;
+  const clip3 = (s, n) => s.length > n ? `${s.slice(0, n - 1)}\u2026` : s;
   const pickReviewItems = () => {
     const shared = opts.sharedStore;
     if (!shared) return [];
@@ -88811,12 +88931,12 @@ function createWorkspaceEngine(opts) {
           return [{
             kind: "abstraction",
             candidate: small.candidate,
-            members: small.members.map((m) => ({ id: m.id, description: clip2(m.description, 110) }))
+            members: small.members.map((m) => ({ id: m.id, description: clip3(m.description, 110) }))
           }];
         }
       }
       const [d] = pendingDiscriminators(shared, { limit: 1 });
-      return d ? [{ kind: "discriminator", route: d.route, presenting: clip2(d.presenting, 140), cause: clip2(d.cause, 140) }] : [];
+      return d ? [{ kind: "discriminator", route: d.route, presenting: clip3(d.presenting, 140), cause: clip3(d.cause, 140) }] : [];
     } catch {
       return [];
     }
@@ -89330,9 +89450,17 @@ function createWorkspaceEngine(opts) {
     delete scoped.supersessionAsks;
     const asks = supersessionAsksFor(sessionId);
     if (asks.length > 0) scoped.supersessionAsks = asks;
+    if (taskPriorsOn) {
+      scoped.recentProblems = [];
+      scoped.recentResolved = [];
+      scoped.regressions = [];
+      scoped.recentConstraints = [];
+      scoped.motifs = [];
+      delete scoped.motifPool;
+    }
     const pendingUpdate = opts.pendingUpdate?.() ?? null;
     const daemonDistress = opts.daemonDistress?.() ?? null;
-    const reviewItems = pickReviewItems();
+    const reviewItems = taskPriorsOn ? [] : pickReviewItems();
     const sessionIntent = intent ? statedIntentFor(intent) : null;
     const sessionMotifSignal = motifSignalFor(scoped, sessionIntent);
     const { body: body2, snapshot } = assembleAgentContext({
@@ -89341,7 +89469,7 @@ function createWorkspaceEngine(opts) {
       ...atCommit ? { atCommit } : {},
       reviewCount: pendingCount(paths),
       reviewUiUrl: opts.reviewUrl(),
-      remote: remotePriors,
+      remote: taskPriorsOn ? [] : remotePriors,
       snapshot: scoped,
       ...elicit ? { edgeElicitation: { instruction: PRIOR_TAG_INSTRUCTION } } : {},
       ...pendingUpdate ? { pendingUpdate } : {},
@@ -89635,7 +89763,10 @@ function createWorkspaceEngine(opts) {
         const fenceAgent = turn.agentId ?? (sessionId.startsWith("agent-") ? sessionId.slice(6) : void 0);
         for (const fence of parseIntentFences(turn.text)) {
           if (fenceAgent) subagents.setIntent(fenceAgent, fence.intent, t);
-          else if (intents.set(sessionId, fence.intent, t)) refreshContextNow();
+          else if (intents.set(sessionId, fence.intent, t)) {
+            refreshContextNow();
+            if (taskPriorsOn) taskPriors.start(sessionId, fence.intent);
+          }
         }
         const plan = harvestInlineTags(store, turn.text, {
           sourceId: sessionLastProblem.get(sessionId),
@@ -90646,6 +90777,7 @@ B: ${b}`,
     return null;
   } : void 0;
   const onSessionEnd = (e) => {
+    taskPriors.end(e.sessionId);
     if (!designRollup) return;
     setImmediate(() => {
       const convo = readConversation(e.transcriptPath);
@@ -90775,6 +90907,10 @@ B: ${b}`,
       onSubagentStop,
       noteSession,
       sessionContext,
+      onTaskPrompt: (sessionId, prompt) => {
+        if (taskPriorsOn) taskPriors.start(sessionId, prompt);
+      },
+      takeTaskPriors: (sessionId) => taskPriorsOn ? taskPriors.take(sessionId) : null,
       onHook: () => telemetry.count("hooks_fired"),
       onToolsObserved: (sessionId, toolNodeIds) => toolRuns.record(sessionId, toolNodeIds),
       onKnowledgeShown: (sessionId, shown) => supersessionAsks.noteShown(sessionId, shown),
@@ -91282,6 +91418,9 @@ async function startDaemon(opts) {
     onSubagentStop: engine.webHooks.onSubagentStop,
     noteSession: engine.webHooks.noteSession,
     sessionContext: engine.webHooks.sessionContext,
+    // Task priors: the task, searched in the background; delivered on the next tool hook.
+    onTaskPrompt: engine.webHooks.onTaskPrompt,
+    takeTaskPriors: engine.webHooks.takeTaskPriors,
     onHook: engine.webHooks.onHook,
     onHookEvent: engine.webHooks.onHookEvent,
     onShellEvent: engine.webHooks.onShellEvent,
@@ -97006,6 +97145,9 @@ async function startMultiDaemon(opts = {}) {
     const engine = createWorkspaceEngine({
       workspaceRoot: entry.path,
       cloud: wsCloud,
+      // The worker's warm lexicon for searches the engine runs itself (task
+      // priors); without it each would build the symbol lexicon inline.
+      ...generalizeWorker ? { generalizeSoft: (text) => generalizeWorker.generalize(workspacePaths(entry.path).castalia, text).catch(() => void 0) } : {},
       apiKey: opts.apiKey,
       reviewUrl: () => `${baseUrl}/ws/${id}/review`,
       sharedStore,
@@ -97031,6 +97173,9 @@ async function startMultiDaemon(opts = {}) {
       // CAP-session-scope: per-session blocks + harness/fixture quarantine.
       noteSession: engine.webHooks.noteSession,
       sessionContext: engine.webHooks.sessionContext,
+      // Task priors: the task, searched in the background; delivered on the next tool hook.
+      onTaskPrompt: engine.webHooks.onTaskPrompt,
+      takeTaskPriors: engine.webHooks.takeTaskPriors,
       onHook: engine.webHooks.onHook,
       onHookEvent: engine.webHooks.onHookEvent,
       onShellEvent: engine.webHooks.onShellEvent,

package/package.json

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

package/resources/context-plugin/.codex-plugin/plugin.json

@@ -1,6 +1,6 @@
 {
   "name": "errata-context",
-  "version": "2.0.23-dev.4881",
+  "version": "2.0.23-dev.4900",
   "description": "A minimal 3D view of loaded Errata priors and recent graph bursts.",
   "author": {
     "name": "inErrata"

package/resources/context-plugin/SHA256SUMS

@@ -1,4 +1,4 @@
-d3a9c0cdb6333538569766d24e122085d18c71a8c767f1b9edd5d73491450f77  .codex-plugin/plugin.json
+71e234cc465af344aa5e0ba160f5e1a634188138cf1f6285d276185889fa4ad7  .codex-plugin/plugin.json
 a7bebae9fb01c838d6c75fc784129e28be571233fa66ff5ee8039b574f35ccf7  assets/icon.png
 fc38b64e4df1e0b72c35764bef6c4c05430d97c9009ad0ecc8a9e75b4deab232  configure-local.mjs
 73dc6028b3b070257c7c31f252d11e55a9e096f4aed0f187f10cb21716e1e6d7  dist/client.js