@inerrata-corporation/errata 2.0.2-dev.455 → 2.0.2-dev.477

package/consolidate-worker.mjs

@@ -16688,6 +16688,9 @@ init_src();
 init_src();
 init_src();
 
+// ../../packages/local-graph/src/intent.ts
+init_src();
+
 // ../../packages/local-graph/src/anchor-backfill.ts
 init_src();
 init_src2();

package/errata.mjs

@@ -19272,6 +19272,31 @@ function markFixCandidates(store, t) {
   }
   return resolved;
 }
+function recordRenderLedger(store, ledger, seq, ts) {
+  const bump = (ids, field) => {
+    let n = 0;
+    for (const id of new Set(ids.map((i2) => i2.id))) {
+      const node2 = store.getNode(id);
+      if (!node2) continue;
+      const attrs = { ...node2.attrs };
+      attrs[field] = (attrs[field] ?? 0) + 1;
+      if (field === "shownCount") {
+        attrs["lastShownAtSeq"] = seq;
+        if (attrs["firstShownAtSeq"] === void 0) attrs["firstShownAtSeq"] = seq;
+      }
+      store.updateNode(id, { attrs, lastUpdatedAt: node2.lastUpdatedAt });
+      n++;
+    }
+    return n;
+  };
+  let shown = 0;
+  let evicted = 0;
+  store.transaction(() => {
+    shown = bump(ledger.shown, "shownCount");
+    evicted = bump(ledger.evicted, "evictedCount");
+  });
+  return { shown, evicted };
+}
 var DESIGN_PROMOTE_AT, STATEMENT_ALIAS_CAP, PATTERN_DEDUP_COSINE, PATTERN_ALIAS_CAP, DEDUP_STOPWORDS, SAME_ANCHOR_DEDUP_JACCARD, CITABLE_PRIOR_LABELS, MAX_ANCHOR_FILES, AUTO_MINT_PREFIX;
 var init_design_problem = __esm({
   "../../packages/local-graph/src/design-problem.ts"() {
@@ -19322,6 +19347,61 @@ var init_design_problem = __esm({
   }
 });
 
+// ../../packages/local-graph/src/intent.ts
+function parseIntentFences(text) {
+  const out2 = [];
+  const block = /```errata-intent[^\n]*\n([\s\S]*?)```/g;
+  let m;
+  while ((m = block.exec(text)) !== null) {
+    const lines = m[1].split(/\r?\n/);
+    const parts2 = [];
+    for (const line of lines) {
+      const kv = /^\s*intent\s*:\s*(.+?)\s*$/i.exec(line);
+      if (kv) parts2.push(kv[1].trim());
+      else if (parts2.length > 0 && line.trim()) parts2.push(line.trim());
+    }
+    const intent = parts2.join(" ").trim();
+    if (intent) out2.push({ intent });
+  }
+  return out2;
+}
+function searchByIntent(store, intent, opts) {
+  const limit = opts?.limit ?? 5;
+  const minCoverage = opts?.minCoverage ?? 0.25;
+  const want = new Set(conceptTokens(intent));
+  if (want.size < MIN_INTENT_TOKENS) return [];
+  const hits = [];
+  for (const label of RECALLABLE) {
+    for (const node2 of store.findNodesByLabel(label)) {
+      if (node2.attrs["mergedInto"] !== void 0) continue;
+      if (label === "Problem" && node2.attrs["resolvedAt"] != null && !isConstraintProblem(node2)) {
+        continue;
+      }
+      const bag = conceptTokens(node2.description ?? "");
+      if (bag.length === 0) continue;
+      const matched = bag.filter((t) => want.has(t));
+      if (matched.length === 0) continue;
+      const coverage = matched.length / want.size;
+      if (coverage < minCoverage) continue;
+      hits.push({ node: node2, coverage, matched });
+    }
+  }
+  hits.sort(
+    (a, b) => b.coverage - a.coverage || (a.node.description?.length ?? 0) - (b.node.description?.length ?? 0)
+  );
+  return hits.slice(0, limit);
+}
+var RECALLABLE, MIN_INTENT_TOKENS;
+var init_intent = __esm({
+  "../../packages/local-graph/src/intent.ts"() {
+    "use strict";
+    init_src();
+    init_design_problem();
+    RECALLABLE = ["Problem", "Solution", "RootCause", "Pattern"];
+    MIN_INTENT_TOKENS = 2;
+  }
+});
+
 // ../../packages/local-graph/src/anchor-backfill.ts
 function isLegacyAnchor(attrs) {
   return attrs?.["captureTime"] === true && attrs["anchorProvenance"] === void 0;
@@ -19329,6 +19409,7 @@ function isLegacyAnchor(attrs) {
 function repairLegacyAnchorsFromStatement(store, ts) {
   const report = {
     repaired: [],
+    retiredGuesses: 0,
     noPathNamed: 0,
     pathUnknown: 0,
     alreadyCorrect: 0
@@ -19351,7 +19432,22 @@ function repairLegacyAnchorsFromStatement(store, ts) {
       const anchors = store.outEdges(p.id, ["ANCHORED_AT"]);
       const legacy = anchors.filter((e) => e.attrs?.["anchorProvenance"] === "legacy");
       if (legacy.length === 0) continue;
-      if (anchors.some((e) => e.attrs?.["anchorProvenance"] === "restated")) continue;
+      const better = anchors.filter((e) => {
+        const prov = e.attrs?.["anchorProvenance"];
+        return prov === "restated" || prov === "witnessed" || prov === "edited";
+      });
+      if (better.length > 0) {
+        const betterTargets = new Set(better.map((e) => e.to));
+        let retired = 0;
+        for (const e of legacy) {
+          if (!betterTargets.has(e.to)) {
+            store.closeEdge(e.id, ts);
+            retired++;
+          }
+        }
+        report.retiredGuesses += retired;
+        continue;
+      }
       const named = [...String(p.description ?? "").matchAll(STATEMENT_PATH_RE)].map((m) => m[0]);
       if (named.length === 0) {
         report.noPathNamed++;
@@ -19389,6 +19485,10 @@ function repairLegacyAnchorsFromStatement(store, ts) {
           restatedAt: ts
         }
       });
+      for (const e of legacy) {
+        if (e.to !== target.id) store.closeEdge(e.id, ts);
+      }
+      report.retiredGuesses += legacy.filter((e) => e.to !== target.id).length;
       report.repaired.push({
         problemId: p.id,
         problem: p.description,
@@ -21566,6 +21666,7 @@ __export(src_exports2, {
   JOINT_COMMUNITY_EDGES: () => JOINT_COMMUNITY_EDGES,
   JOINT_COMMUNITY_LABELS: () => JOINT_COMMUNITY_LABELS,
   MAX_ANCHOR_FILES: () => MAX_ANCHOR_FILES,
+  MIN_INTENT_TOKENS: () => MIN_INTENT_TOKENS,
   PATTERN_DEDUP_COSINE: () => PATTERN_DEDUP_COSINE,
   PERCOLATING_DRIFT_EDGES: () => PERCOLATING_DRIFT_EDGES,
   PERCOLATING_EDGES: () => PERCOLATING_EDGES,
@@ -21638,6 +21739,7 @@ __export(src_exports2, {
   openGraphStore: () => openGraphStore,
   osNodeId: () => osNodeId,
   parseAbstractionFences: () => parseAbstractionFences,
+  parseIntentFences: () => parseIntentFences,
   parseSemver: () => parseSemver,
   parseTriageFences: () => parseTriageFences,
   pendingAbstractions: () => pendingAbstractions,
@@ -21652,6 +21754,7 @@ __export(src_exports2, {
   recordCauseChainLink: () => recordCauseChainLink,
   recordClaim: () => recordClaim,
   recordMisreadPrior: () => recordMisreadPrior,
+  recordRenderLedger: () => recordRenderLedger,
   recordTriageObservation: () => recordTriageObservation,
   reinforceSameAnchorProblem: () => reinforceSameAnchorProblem,
   relateClaims: () => relateClaims,
@@ -21664,6 +21767,7 @@ __export(src_exports2, {
   retractDesignProblemByStatement: () => retractDesignProblemByStatement,
   revisitContradictedPrinciples: () => revisitContradictedPrinciples,
   revisitStaleRoutes: () => revisitStaleRoutes,
+  searchByIntent: () => searchByIntent,
   solutionForProblem: () => solutionForProblem,
   splittingAxis: () => splittingAxis,
   stampObservedOs: () => stampObservedOs,
@@ -21686,6 +21790,7 @@ var init_src5 = __esm({
     init_crystallize();
     init_aggregate();
     init_design_problem();
+    init_intent();
     init_anchor_backfill();
     init_percolate();
     init_abstraction();
@@ -22183,14 +22288,42 @@ function assembleAgentContext(opts) {
   }
   snapshot.skills = [...snapshot.skills].sort((a, b) => b.confidence - a.confidence);
   const maxChars = opts.maxChars ?? DEFAULT_AGENT_CONTEXT_BUDGET;
+  const candidates = snapshotImpressions(snapshot);
   const dropped = budgetSnapshot(snapshot, maxChars);
+  const ledger = diffRenderLedger(candidates, snapshotImpressions(snapshot));
   let body2 = renderSnapshot(snapshot);
   if (dropped > 0) {
     body2 += `
 
 _${dropped} lower-priority item${dropped === 1 ? "" : "s"} omitted to fit the passive-context budget \u2014 the full graph is in the errata dashboard._`;
   }
-  return { body: body2, snapshot, dropped };
+  return { body: body2, snapshot, dropped, ledger };
+}
+function snapshotImpressions(s) {
+  const out2 = [];
+  const push = (band, ids) => {
+    for (const id of ids) if (id) out2.push({ id, band });
+  };
+  push("recentProblems", s.recentProblems.map((p) => p.node.id));
+  push("recentResolved", s.recentResolved.map((r) => r.node.id));
+  push("recentConstraints", s.recentConstraints.map((c) => c.id));
+  push("motifs", s.motifs.map((m) => m.id));
+  push("remote", (s.remote ?? []).map((r) => r.id));
+  push("needsRevisit", s.needsRevisit.map((r) => r.id));
+  push(
+    "reviewItems",
+    (s.reviewItems ?? []).map((r) => r.kind === "abstraction" ? r.candidate : r.route)
+  );
+  push("workingFile", s.workingFile?.priors?.openProblems.map((p) => p.id) ?? []);
+  return out2;
+}
+function diffRenderLedger(before, after) {
+  const key = (i2) => `${i2.band}\0${i2.id}`;
+  const survived = new Set(after.map(key));
+  const shown = [];
+  const evicted = [];
+  for (const i2 of before) (survived.has(key(i2)) ? shown : evicted).push(i2);
+  return { shown, evicted };
 }
 var RECALL_FIRST_HEADER, RECALL_FIRST_BODY, RECALL_FIRST_BLOCK, SEARCH_IMPERATIVE_HEADER, SEARCH_IMPERATIVE_BODY, EVICTION_ORDER, MOTIF_FLOOR, REMOTE_FLOOR, PROBLEM_FLOOR, REVIEW_ITEM_FLOOR, DEFAULT_AGENT_CONTEXT_BUDGET;
 var init_render = __esm({
@@ -22204,7 +22337,7 @@ var init_render = __esm({
 
 ${RECALL_FIRST_BODY}`;
     SEARCH_IMPERATIVE_HEADER = "### \u{1F50E} PRIORS ARE SEEDS \u2014 a sample, not the whole graph";
-    SEARCH_IMPERATIVE_BODY = "Everything below is a budgeted, top-of-head slice of a much larger graph. Any prior id below is a live burst seed: `errata.burst` it (or read `.errata/g/burst/<id>`) to pull its wider neighborhood \u2014 causes, fixes, siblings. When a prior is adjacent-but-not-quite, or none fit, that gap is exactly when to search deeper before solving cold: a stuck search is itself a signal that routes help to you.";
+    SEARCH_IMPERATIVE_BODY = "Everything below is a budgeted slice of a much larger graph, not all errata knows. Starting a piece of work? Say what it is \u2014 we search on it between your tool calls and put what we find here:\n```errata-intent\nintent: <the work in hand, in your words>\n```\nNarration, not a detour: no tool call, no plan change. It is the one signal we cannot derive from your edits \u2014 everything else here is guessed from the files you touched.";
     EVICTION_ORDER = [
       "skills",
       // Review items beyond the floor drop immediately after skills — one naming
@@ -53498,7 +53631,7 @@ function startLoopLagMonitor(thresholdMs = 1e3) {
 }
 
 // src/engine.ts
-var DAEMON_VERSION = true ? "2.0.2-dev.455" : "2.0.0-alpha.0";
+var DAEMON_VERSION = true ? "2.0.2-dev.477" : "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;
@@ -53869,7 +54002,7 @@ function createWorkspaceEngine(opts) {
     const doneRender = prebuilt ? null : markPass(`context-render-inline:${profile.name}`);
     const pendingUpdate = opts.pendingUpdate?.() ?? null;
     const reviewItems = pickReviewItems();
-    const { body: body2, snapshot } = assembleAgentContext({
+    const { body: body2, snapshot, ledger } = assembleAgentContext({
       store,
       ...snapOpts,
       remote: remotePriors,
@@ -53879,6 +54012,12 @@ function createWorkspaceEngine(opts) {
       ...reviewItems.length ? { reviewItems } : {}
     });
     doneRender?.();
+    try {
+      const seq = store.currentIngestSeq();
+      recordRenderLedger(store, ledger, seq, Date.now());
+    } catch (err2) {
+      console.warn("[errata] render ledger failed:", err2.message?.slice(0, 120));
+    }
     writeContextFile(opts.workspaceRoot, body2);
     const target = join26(opts.workspaceRoot, "AGENTS.md");
     writeManagedBlock(target, { body: AGENTS_POINTER_BODY, stable: true, force: true });

package/package.json

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

package/pass-worker.mjs

@@ -25555,6 +25555,9 @@ function markFixCandidates(store2, t) {
   return resolved;
 }
 
+// ../../packages/local-graph/src/intent.ts
+init_src();
+
 // ../../packages/local-graph/src/anchor-backfill.ts
 init_src();
 init_src2();
@@ -25568,6 +25571,7 @@ var STATEMENT_PATH_RE = new RegExp(
 function repairLegacyAnchorsFromStatement(store2, ts) {
   const report = {
     repaired: [],
+    retiredGuesses: 0,
     noPathNamed: 0,
     pathUnknown: 0,
     alreadyCorrect: 0
@@ -25590,7 +25594,22 @@ function repairLegacyAnchorsFromStatement(store2, ts) {
       const anchors = store2.outEdges(p.id, ["ANCHORED_AT"]);
       const legacy = anchors.filter((e) => e.attrs?.["anchorProvenance"] === "legacy");
       if (legacy.length === 0) continue;
-      if (anchors.some((e) => e.attrs?.["anchorProvenance"] === "restated")) continue;
+      const better = anchors.filter((e) => {
+        const prov = e.attrs?.["anchorProvenance"];
+        return prov === "restated" || prov === "witnessed" || prov === "edited";
+      });
+      if (better.length > 0) {
+        const betterTargets = new Set(better.map((e) => e.to));
+        let retired = 0;
+        for (const e of legacy) {
+          if (!betterTargets.has(e.to)) {
+            store2.closeEdge(e.id, ts);
+            retired++;
+          }
+        }
+        report.retiredGuesses += retired;
+        continue;
+      }
       const named = [...String(p.description ?? "").matchAll(STATEMENT_PATH_RE)].map((m) => m[0]);
       if (named.length === 0) {
         report.noPathNamed++;
@@ -25628,6 +25647,10 @@ function repairLegacyAnchorsFromStatement(store2, ts) {
           restatedAt: ts
         }
       });
+      for (const e of legacy) {
+        if (e.to !== target.id) store2.closeEdge(e.id, ts);
+      }
+      report.retiredGuesses += legacy.filter((e) => e.to !== target.id).length;
       report.repaired.push({
         problemId: p.id,
         problem: p.description,