evrex-mcp 0.7.0 → 0.8.0

package/dist/index.js

@@ -63,7 +63,14 @@ var init_client = __esm({
       // Evidence-only retrieval (BM25 + embedding), no LLM synthesis call — see
       // apps/backend/src/query/query.service.ts#search. Used by evrex_search,
       // which wants ranked hits fast, not a synthesized paragraph.
-      search: (repoPath, text, filePaths) => post("/search", { repoPath, text, filePaths })
+      search: (repoPath, text, filePaths) => post("/search", { repoPath, text, filePaths }),
+      // Everything that happened in a repo, newest first, bounded by days — the
+      // same query the desktop Timeline screen makes. Sessions and commits
+      // interleaved, each with the handle evrex_expand takes.
+      feedback: (body) => post("/feedback", body),
+      timeline: (repoPath, days) => get(
+        `/timeline?repoPath=${encodeURIComponent(repoPath)}&days=${encodeURIComponent(String(days))}`
+      )
     };
   }
 });
@@ -434,11 +441,13 @@ var MAX_ITEMS_PER_CATEGORY = 6;
 var EXTRACTION_SYSTEM_PROMPT = [
   "You extract structured reasoning from a real coding-agent session transcript for Evrex, a tool that recovers WHY code changed, not just what changed.",
   `Each line is labeled "user" (the human engineer actually typed this), "assistant" (the agent), or "tool_result" (raw output from a tool call, e.g. command stdout \u2014 NOT something either party said; never attribute a "tool_result" line's content to "engineer" as raisedBy/source).`,
+  'Only tool calls that FAILED are included, truncated. A "tool_result" line is evidence that the approach the assistant was taking at that point was tried and did not work: read it together with the assistant lines around it, and where the failure led to a change of approach, record the abandoned one as a rejected approach with the failure as its reason. A trivial failure \u2014 a typo in a path, a command re-run successfully a line later \u2014 is not a rejected approach.',
   "Only extract items explicitly present in the transcript below. Never invent, infer beyond the text, or pad categories with generic filler.",
   "If a category has nothing genuinely present, return an empty array for it \u2014 an empty result is correct and expected, not a failure.",
   `Cap each array at ${MAX_ITEMS_PER_CATEGORY} items \u2014 pick the most consequential ones.`,
   '"atMessage" is the [N] index of the transcript line the item came from.',
-  'For a rejected approach, "reason" is why it was turned down and "tradeoff" is what was given up by not taking it. Fill "tradeoff" from the transcript whenever the cost is stated or clearly implied; leave it empty only when the transcript genuinely says nothing about it.'
+  'For a rejected approach, "reason" is why it was turned down and "tradeoff" is what was given up by not taking it. Fill "tradeoff" from the transcript whenever the cost is stated or clearly implied; leave it empty only when the transcript genuinely says nothing about it.',
+  'A "procedure" is a reusable, multi-step way of doing something in this repository that the transcript shows actually working \u2014 adding and registering a migration, cutting a release, installing a hook, running a particular check \u2014 written as the concrete steps somebody would follow next time, each step one line with the real command or file where the transcript has it. Only when the steps are visible in the transcript and were carried out, never a plan that was proposed and not done; a one-off fix is not a procedure.'
 ].join(" ");
 
 // ../../packages/llm-core/src/synthesis.ts
@@ -1166,28 +1175,60 @@ async function evrexWhy(filePath, question) {
   const byRelevance = (items) => [...items].sort(
     (a, b) => Number(aboutTarget(b)) - Number(aboutTarget(a))
   );
+  const commitShas = [...new Set(evidence.filter((e) => e.kind === "commit").map((e) => e.refId))].slice(0, MAX_ITEMS);
+  const commits = (await Promise.all(commitShas.map((sha) => evrexApi.commit(sha).catch(() => null)))).filter(
+    (c) => c !== null && (c.statedInsights?.length ?? 0) > 0
+  );
+  const statedOf = (kind) => commits.flatMap(
+    (c) => (c.statedInsights ?? []).filter((i) => i.kind === kind).map((i) => ({ text: i.text, stated: `commit:${c.sha.slice(0, 12)}` }))
+  );
   const rejected = byRelevance(sessions.flatMap((s) => s.rejected)).slice(0, MAX_ITEMS);
   const constraints = byRelevance(sessions.flatMap((s) => s.constraints)).slice(0, MAX_ITEMS);
   const decisions = byRelevance(sessions.flatMap((s) => s.decisions)).slice(0, MAX_ITEMS);
+  const procedures = byRelevance(sessions.flatMap((s) => s.procedures ?? [])).slice(0, MAX_ITEMS);
+  const statedRejected = statedOf("rejected").slice(0, MAX_ITEMS);
+  const statedConstraints = statedOf("constraint").slice(0, MAX_ITEMS);
+  const statedDecisions = statedOf("decision").slice(0, MAX_ITEMS);
+  const statedLine = (i) => `- ${i.text} (stated in ${i.stated})`;
   const parts = [];
+  const marked = sessions.filter((s) => (s.feedback ?? []).some((f) => f.itemId === null && f.signal !== "helpful"));
+  if (marked.length > 0) {
+    parts.push(
+      marked.map((s) => `session:${s.id} \u2014 ${feedbackLines((s.feedback ?? []).filter((f) => f.itemId === null))}`).join("\n")
+    );
+  }
   const heuristic = sessions.some((s) => s.insightsSource === "heuristic");
-  if (rejected.length > 0) {
+  if (rejected.length + statedRejected.length > 0) {
     parts.push(
-      "REJECTED APPROACHES (do not re-propose these without new information):\n" + rejected.map((r) => `- ${r.title} \u2014 ${r.reason}${r.tradeoff ? ` (tradeoff: ${r.tradeoff})` : ""}`).join("\n")
+      "REJECTED APPROACHES (do not re-propose these without new information):\n" + [
+        ...rejected.map((r) => `- ${r.title} \u2014 ${r.reason}${r.tradeoff ? ` (tradeoff: ${r.tradeoff})` : ""}${itemMark(sessions.flatMap((s) => s.feedback ?? []), r.id)}`),
+        ...statedRejected.map(statedLine)
+      ].join("\n")
     );
   }
-  if (constraints.length > 0) {
-    parts.push("CONSTRAINTS:\n" + constraints.map((c) => `- [${c.source}] ${c.text}`).join("\n"));
+  if (constraints.length + statedConstraints.length > 0) {
+    parts.push(
+      "CONSTRAINTS:\n" + [...constraints.map((c) => `- [${c.source}] ${c.text}`), ...statedConstraints.map(statedLine)].join("\n")
+    );
+  }
+  if (decisions.length + statedDecisions.length > 0) {
+    parts.push(
+      "PRIOR DECISIONS:\n" + [...decisions.map((d) => `- ${d.title}: ${d.detail}`), ...statedDecisions.map(statedLine)].join("\n")
+    );
   }
-  if (decisions.length > 0) {
-    parts.push("PRIOR DECISIONS:\n" + decisions.map((d) => `- ${d.title}: ${d.detail}`).join("\n"));
+  const proceduresText = proceduresBlock(procedures);
+  if (proceduresText) parts.push(proceduresText);
+  if (commits.length > 0) {
+    parts.push(
+      `Items marked "stated in commit:\u2026" were written as Evrex-Rejected / Evrex-Constraint / Evrex-Decision trailers by whoever committed \u2014 the committer's own account at the moment, not extracted by a model.`
+    );
   }
   if (heuristic && (rejected.length > 0 || constraints.length > 0 || decisions.length > 0)) {
     parts.push(
       "NOTE: the blocks above were extracted by cue-phrase matching, not by a model reading the conversation \u2014 they may be incomplete or miss context."
     );
   }
-  const hasBlocks = rejected.length > 0 || constraints.length > 0 || decisions.length > 0;
+  const hasBlocks = rejected.length + statedRejected.length > 0 || constraints.length + statedConstraints.length > 0 || decisions.length + statedDecisions.length > 0;
   if (synthesisEnabled()) {
     const answer = await synthesize(text, evidence);
     parts.push(
@@ -1229,7 +1270,7 @@ async function evrexSearch(query) {
   const lines = results.slice(0, MAX_ITEMS * 2).map(({ repo, e }) => {
     const conf = confidenceLabel(e.provenance);
     const repoTag = multiRepo ? ` \xB7 ${repo.name}` : "";
-    const handle = `${e.kind}:${e.refId.slice(0, 12)}`;
+    const handle = e.kind === "commit" ? `commit:${e.refId.slice(0, 12)}` : `${e.kind}:${e.refId}`;
     return `- ${handle} [${evidenceLabel(e)} ${conf.trim()}${dateLabel(e.at)}${spentLabel(e.spentTokens)}${repoTag}] ${truncate(e.excerpt.replace(/\s+/g, " ").trim(), INDEX_EXCERPT)}`;
   });
   return [
@@ -1238,6 +1279,63 @@ async function evrexSearch(query) {
     "Where a line says `N spent`, that is what the conversation behind it cost in tokens \u2014 the records most expensive to rediscover are usually the ones worth expanding first. This is the index, not the record \u2014 each line is a gist, roughly a quarter of what the underlying item says. If one of them looks like the answer, call evrex_expand with its handle (several at once) to read it in full along with any decisions, constraints and rejected approaches attached to it. Expanding everything costs more than the old single-shot search did; expanding the two that matter costs much less. If none of them look relevant, say the record does not cover it rather than expanding on spec."
   ].join("\n");
 }
+var TIMELINE_DEFAULT_DAYS = 7;
+var TIMELINE_MAX_DAYS = 90;
+var TIMELINE_DEFAULT_LIMIT = 30;
+var TIMELINE_MAX_LIMIT = 200;
+async function evrexTimeline(days = TIMELINE_DEFAULT_DAYS, limit = TIMELINE_DEFAULT_LIMIT) {
+  const window = Math.min(TIMELINE_MAX_DAYS, Math.max(1, Math.floor(days) || TIMELINE_DEFAULT_DAYS));
+  const cap2 = Math.min(TIMELINE_MAX_LIMIT, Math.max(1, Math.floor(limit) || TIMELINE_DEFAULT_LIMIT));
+  const repos = await resolveRepos();
+  if (repos.length === 0) return "No indexed repos found (GET /repos returned none).";
+  const multiRepo = repos.length > 1;
+  const perRepo = await Promise.all(
+    repos.map(async (repo) => {
+      try {
+        const entries = await evrexApi.timeline(repo.id, window);
+        return entries.map((entry) => ({ repo, entry }));
+      } catch {
+        return [];
+      }
+    })
+  );
+  const all = perRepo.flat().sort((a, b) => Date.parse(b.entry.at) - Date.parse(a.entry.at));
+  const where = multiRepo ? "the indexed repos" : repos[0].name;
+  if (all.length === 0) {
+    return `Nothing recorded in ${where} in the last ${window} day${window === 1 ? "" : "s"}. No captured session and no ingested commit fall in that window; work done without capture would not appear here. Widen the window with a larger \`days\`.`;
+  }
+  const shown = all.slice(0, cap2);
+  const lines = shown.map(({ repo, entry }) => formatTimelineLine(entry, multiRepo ? repo.name : null));
+  const omitted = all.length - shown.length;
+  return [
+    `Last ${window} day${window === 1 ? "" : "s"} in ${where}, newest first \u2014 ${all.length} record${all.length === 1 ? "" : "s"}${omitted > 0 ? `, ${shown.length} shown` : ""}:`,
+    ...lines,
+    "",
+    (omitted > 0 ? `${omitted} older record${omitted === 1 ? "" : "s"} in the window not shown; raise \`limit\` to see them. ` : "") + "This is the index, not the record. A commit line nests under its session (`\u21B3 session:\u2026`) when the link is verified or matched. For what a session decided, call evrex_expand with its handle; to continue its work, evrex_bottle; for a commit's story, evrex_commit_context. Expand only what the task needs."
+  ].join("\n");
+}
+function formatTimelineLine(entry, repoName) {
+  const handle = entry.kind === "commit" ? `commit:${entry.refId.slice(0, 12)}` : `session:${entry.refId}`;
+  const tags = [entry.kind === "session" ? entry.sourceKind ?? "session" : "commit"];
+  if (entry.kind === "commit") {
+    if (entry.linkStatus === "inferred" && entry.confidence !== void 0) {
+      tags.push(`${Math.round(entry.confidence * 100)}%`);
+    } else if (entry.linkStatus) {
+      tags.push(entry.linkStatus);
+    }
+  }
+  if (entry.author && entry.author !== "Unknown") tags.push(entry.author);
+  if (entry.meta) tags.push(entry.meta);
+  if (repoName) tags.push(repoName);
+  const nest = entry.kind === "commit" && entry.sessionId && entry.linkStatus !== "inferred" ? ` \u21B3 session:${entry.sessionId}` : "";
+  const title = truncate(entry.title.replace(/\s+/g, " ").trim(), INDEX_EXCERPT);
+  return `- ${dateLabel(entry.at).trim() || "undated"} ${handle} [${tags.join(" \xB7 ")}${nest}] ${title}`;
+}
+function proceduresBlock(procedures) {
+  if (procedures.length === 0) return "";
+  return "PROCEDURES (how this was done here, as steps that worked once \u2014 check they still apply before following them):\n" + procedures.slice(0, MAX_ITEMS).map((p) => `- ${p.title}
+${p.steps.slice(0, 12).map((step, i) => `    ${i + 1}. ${step}`).join("\n")}`).join("\n");
+}
 async function evrexExpand(handles) {
   if (handles.length === 0) return "No handles given. Pass ids from evrex_search, e.g. commit:069a0b5.";
   const parts = [];
@@ -1263,9 +1361,20 @@ Open in Evrex: evrex://open?handle=commit:${id}`);
       `${handle.toUpperCase()}: ${session.intent}`,
       `Open in Evrex: evrex://open?handle=session:${id}`
     ];
+    if (session.parentSessionId) {
+      const what = session.subagent?.agentType ? ` (${session.subagent.agentType})` : "";
+      block.push(`SUB-AGENT${what} of session:${session.parentSessionId} \u2014 expand that for what it was asked to do and what became of it.`);
+    }
+    if (session.subagentIds && session.subagentIds.length > 0) {
+      block.push(
+        `RAN ${session.subagentIds.length} SUB-AGENT${session.subagentIds.length === 1 ? "" : "S"}: ` + session.subagentIds.map((s) => `session:${s}`).join(", ") + " \u2014 their own decisions and rejected approaches are in their own records."
+      );
+    }
+    const fb = feedbackLines(session.feedback);
+    if (fb) block.push(fb);
     if (session.rejected.length > 0) {
       block.push(
-        "REJECTED APPROACHES:\n" + session.rejected.slice(0, MAX_ITEMS).map((r) => `- ${r.title} \u2014 ${r.reason}${r.tradeoff ? ` (tradeoff: ${r.tradeoff})` : ""}`).join("\n")
+        "REJECTED APPROACHES:\n" + session.rejected.slice(0, MAX_ITEMS).map((r) => `- ${r.title} \u2014 ${r.reason}${r.tradeoff ? ` (tradeoff: ${r.tradeoff})` : ""}${itemMark(session.feedback, r.id)}`).join("\n")
       );
     }
     if (session.constraints.length > 0) {
@@ -1278,6 +1387,8 @@ Open in Evrex: evrex://open?handle=commit:${id}`);
         "PRIOR DECISIONS:\n" + session.decisions.slice(0, MAX_ITEMS).map((d) => `- ${d.title}: ${d.detail}`).join("\n")
       );
     }
+    const procedures = proceduresBlock(session.procedures ?? []);
+    if (procedures) block.push(procedures);
     parts.push(block.join("\n"));
   }
   parts.push(
@@ -1285,6 +1396,46 @@ Open in Evrex: evrex://open?handle=commit:${id}`);
   );
   return parts.join("\n\n");
 }
+var FEEDBACK_SIGNALS = ["helpful", "not_helpful", "stale", "wrong", "superseded"];
+function feedbackLines(feedback) {
+  if (!feedback || feedback.length === 0) return "";
+  const lines = feedback.slice(0, MAX_ITEMS).map((f) => {
+    const scope = f.itemId ? ` on ${f.itemId}` : "";
+    const by = f.supersededBy ? ` by ${f.supersededBy}` : "";
+    const note = f.note ? `: ${truncate(f.note, 160)}` : "";
+    return `- ${f.signal}${by}${scope}${dateLabel(f.at)}${note}`;
+  });
+  return `READER FEEDBACK (what someone said after reading this \u2014 weigh it above the record's own date):
+${lines.join("\n")}`;
+}
+function itemMark(feedback, itemId) {
+  const marks = (feedback ?? []).filter((f2) => f2.itemId === itemId && f2.signal !== "helpful");
+  if (marks.length === 0) return "";
+  const f = marks[0];
+  return ` [marked ${f.signal}${f.supersededBy ? ` by ${f.supersededBy}` : ""}${dateLabel(f.at)}${f.note ? `: ${truncate(f.note, 100)}` : ""}]`;
+}
+async function evrexFeedback(handle, signal, note, itemId, supersededBy) {
+  if (!FEEDBACK_SIGNALS.includes(signal)) {
+    return `"${signal}" is not a signal. One of: ${FEEDBACK_SIGNALS.join(", ")}.`;
+  }
+  if (signal === "superseded" && !supersededBy) {
+    return `"superseded" names the record that replaced this one \u2014 pass superseded_by with its handle.`;
+  }
+  try {
+    const saved = await evrexApi.feedback({
+      target: handle.trim(),
+      signal,
+      ...note ? { note } : {},
+      ...itemId ? { itemId } : {},
+      ...supersededBy ? { supersededBy } : {}
+    });
+    const where = itemId ? ` (item ${itemId})` : "";
+    const effect = signal === "stale" || signal === "wrong" || signal === "superseded" ? itemId ? "The item will carry this label wherever it is shown." : "The record now ranks at half weight in retrieval and carries this label wherever it is shown; it is not hidden." : "Recorded beside the record.";
+    return `Recorded ${saved.signal} on ${handle}${where}${saved.supersededBy ? ` \u2014 superseded by ${saved.supersededBy}` : ""}. ${effect}`;
+  } catch (err) {
+    return `Could not record feedback: ${err instanceof Error ? err.message : String(err)}`;
+  }
+}
 var BOTTLE_PAGE = 200;
 var BOTTLE_TAIL_TURNS = 400;
 async function evrexBottle(sessionRef) {
@@ -1308,6 +1459,23 @@ async function evrexBottle(sessionRef) {
     `For what it concluded \u2014 decisions, constraints, rejected approaches \u2014 use evrex_expand ["session:${id}"].`
   ].join("\n\n");
 }
+function statedBlocks(items, handle) {
+  const of = (kind) => items.filter((i) => i.kind === kind).map((i) => `- ${i.text}`);
+  const rejected = of("rejected");
+  const constraints = of("constraint");
+  const decisions = of("decision");
+  if (rejected.length + constraints.length + decisions.length === 0) return "";
+  const parts = [
+    `STATED IN THE COMMIT (${handle} wrote these as trailers at commit time \u2014 the committer's own account, not extracted by a model):`
+  ];
+  if (rejected.length) parts.push(`REJECTED:
+${rejected.join("\n")}`);
+  if (constraints.length) parts.push(`CONSTRAINTS:
+${constraints.join("\n")}`);
+  if (decisions.length) parts.push(`DECISIONS:
+${decisions.join("\n")}`);
+  return parts.join("\n");
+}
 async function evrexCommitContext(sha) {
   const commit = await evrexApi.commit(sha);
   if (!commit) return `No commit found for sha ${sha}.`;
@@ -1315,6 +1483,8 @@ async function evrexCommitContext(sha) {
     `COMMIT ${commit.sha.slice(0, 8)}: ${commit.message}${commit.body ? `
 ${truncate(commit.body, MAX_EXCERPT)}` : ""}`
   ];
+  const commitFeedback = feedbackLines(commit.feedback);
+  if (commitFeedback) parts.push(commitFeedback);
   if (commit.link) {
     const session = await evrexApi.session(commit.link.sessionId);
     const status = commit.link.provenance.status;
@@ -1339,9 +1509,16 @@ ${truncate(commit.body, MAX_EXCERPT)}` : ""}`
       }
       parts.push(`OUTCOME: ${truncate(session.outcome, MAX_EXCERPT)}`);
     }
-  } else {
+  } else if (!commit.agentTrailers?.length) {
     parts.push("No session linked \u2014 no recorded reasoning behind this commit.");
   }
+  const stated = statedBlocks(commit.statedInsights ?? [], `commit:${commit.sha.slice(0, 12)}`);
+  if (stated) parts.push(stated);
+  for (const t of commit.agentTrailers ?? []) {
+    parts.push(
+      `SESSION RECORDED ELSEWHERE (${t.label}): ${t.value} \u2014 evrex holds this pointer, not the transcript, so nothing below was extracted from it. Open it for the reasoning behind this commit; do not treat this line as recovered context.`
+    );
+  }
   if (commit.relatedCommitIds.length > 0) {
     const relatedShas = commit.relatedCommitIds.slice(0, MAX_ITEMS);
     const related = (await Promise.all(relatedShas.map((s) => evrexApi.commit(s)))).filter(
@@ -1355,7 +1532,7 @@ ${lines.join("\n")}`);
 }
 
 // src/index.ts
-var VERSION = "0.4.0";
+var VERSION = "0.8.0";
 var server = new McpServer({ name: "evrex", version: VERSION });
 server.registerTool(
   "evrex_why",
@@ -1400,6 +1577,39 @@ server.registerTool(
     return { content: [{ type: "text", text }] };
   }
 );
+server.registerTool(
+  "evrex_timeline",
+  {
+    title: "What happened in this repo lately",
+    description: "Everything recorded in this repo in the last N days, newest first \u2014 captured agent sessions and ingested commits interleaved, each line a handle evrex_expand or evrex_bottle takes. Use it to pick up a repo after time away ('what happened this week', 'what did the team do while I was out', 'what is in progress'), or before proposing work that may already be underway. It is ordered by time, not relevance: evrex_search cannot answer 'what is recent' because nothing about recency is in a query. Returns an index, not the record \u2014 expand only the handles the task needs.",
+    inputSchema: {
+      days: z.number().int().min(1).max(90).optional().describe("How far back to look, in days. Default 7, maximum 90."),
+      limit: z.number().int().min(1).max(200).optional().describe("At most this many lines, newest first. Default 30, maximum 200.")
+    }
+  },
+  async ({ days, limit }) => {
+    const text = await evrexTimeline(days, limit);
+    return { content: [{ type: "text", text }] };
+  }
+);
+server.registerTool(
+  "evrex_feedback",
+  {
+    title: "Say something about a record after reading it",
+    description: "Mark a record \u2014 a session or a commit from evrex_search / evrex_why / evrex_expand \u2014 as helpful, not_helpful, stale, wrong, or superseded by another record. Use it when the record led you astray: a decision a later change reversed, a rejected approach that turned out to be the right one, a constraint that no longer holds \u2014 or when it saved real work. A stale/wrong/superseded record ranks lower afterwards and carries the label on every surface; it is never hidden. Pass item_id (e.g. rej:llm:2) to mark one item rather than the whole record.",
+    inputSchema: {
+      handle: z.string().describe("session:<id> or commit:<sha>, as evrex_search prints it"),
+      signal: z.enum(["helpful", "not_helpful", "stale", "wrong", "superseded"]),
+      note: z.string().optional().describe("One line on why \u2014 what you found instead"),
+      item_id: z.string().optional().describe("One item within the record, e.g. rej:llm:2, con:llm:0, dec:llm:1"),
+      superseded_by: z.string().optional().describe("For superseded: the handle of the record that replaced it")
+    }
+  },
+  async ({ handle, signal, note, item_id, superseded_by }) => {
+    const text = await evrexFeedback(handle, signal, note, item_id, superseded_by);
+    return { content: [{ type: "text", text }] };
+  }
+);
 server.registerTool(
   "evrex_bottle",
   {

package/dist/pretool.js

@@ -49,7 +49,14 @@ var evrexApi = {
   // Evidence-only retrieval (BM25 + embedding), no LLM synthesis call — see
   // apps/backend/src/query/query.service.ts#search. Used by evrex_search,
   // which wants ranked hits fast, not a synthesized paragraph.
-  search: (repoPath, text, filePaths) => post("/search", { repoPath, text, filePaths })
+  search: (repoPath, text, filePaths) => post("/search", { repoPath, text, filePaths }),
+  // Everything that happened in a repo, newest first, bounded by days — the
+  // same query the desktop Timeline screen makes. Sessions and commits
+  // interleaved, each with the handle evrex_expand takes.
+  feedback: (body) => post("/feedback", body),
+  timeline: (repoPath, days) => get(
+    `/timeline?repoPath=${encodeURIComponent(repoPath)}&days=${encodeURIComponent(String(days))}`
+  )
 };
 
 // src/hook-runtime.ts
@@ -91,6 +98,9 @@ function confidenceLabel(p) {
   if (p.status === "inferred") return ` ${Math.round((p.confidence ?? 0) * 100)}%`;
   return ` ${p.status}`;
 }
+function handleFor(e) {
+  return e.kind === "commit" ? `commit:${e.refId.slice(0, 12)}` : `${e.kind}:${e.refId}`;
+}
 function evidenceLabel(e) {
   return e.kind === "session" ? e.sourceKind ?? "session" : e.kind;
 }
@@ -125,14 +135,18 @@ function datedEvidence(items, root) {
   );
 }
 
-// src/pretool-state.ts
+// src/hook-state.ts
 import { mkdirSync, readFileSync, renameSync, writeFileSync } from "node:fs";
 import { homedir } from "node:os";
 import { dirname, join } from "node:path";
 var MAX_SESSIONS = 40;
 var MAX_FILES = 200;
+var MAX_SHOWN = 400;
 function statePath(home = homedir()) {
-  return join(home, ".evrex", "pretool-state.json");
+  return join(home, ".evrex", "hook-state.json");
+}
+function recordKey(e) {
+  return `${e.kind}:${e.refId}`;
 }
 function readState(path) {
   try {
@@ -140,7 +154,16 @@ function readState(path) {
     if (!parsed || typeof parsed !== "object" || typeof parsed.sessions !== "object") {
       return { sessions: {} };
     }
-    return { sessions: parsed.sessions ?? {} };
+    const sessions = {};
+    for (const [id, s] of Object.entries(parsed.sessions ?? {})) {
+      if (!s || typeof s !== "object") continue;
+      sessions[id] = {
+        at: typeof s.at === "string" ? s.at : (/* @__PURE__ */ new Date(0)).toISOString(),
+        files: Array.isArray(s.files) ? s.files.filter((f) => typeof f === "string") : [],
+        shown: Array.isArray(s.shown) ? s.shown.filter((f) => typeof f === "string") : []
+      };
+    }
+    return { sessions };
   } catch {
     return { sessions: {} };
   }
@@ -148,18 +171,35 @@ function readState(path) {
 function alreadySeen(state, sessionId, file) {
   return state.sessions[sessionId]?.files.includes(file) ?? false;
 }
-function remember(state, sessionId, file, now = /* @__PURE__ */ new Date()) {
-  const existing = state.sessions[sessionId];
-  const files = existing?.files.includes(file) ? existing.files : [...existing?.files ?? [], file].slice(-MAX_FILES);
-  const sessions = {
-    ...state.sessions,
-    [sessionId]: { at: now.toISOString(), files }
-  };
+function shownIn(state, sessionId) {
+  return new Set(state.sessions[sessionId]?.shown ?? []);
+}
+function prune(sessions) {
   const ordered = Object.entries(sessions).sort(
     (a, b) => Date.parse(b[1].at) - Date.parse(a[1].at)
   );
   return { sessions: Object.fromEntries(ordered.slice(0, MAX_SESSIONS)) };
 }
+function memoryOf(state, sessionId) {
+  const existing = state.sessions[sessionId];
+  return { at: existing?.at ?? "", files: existing?.files ?? [], shown: existing?.shown ?? [] };
+}
+function remember(state, sessionId, file, now = /* @__PURE__ */ new Date()) {
+  const m = memoryOf(state, sessionId);
+  const files = m.files.includes(file) ? m.files : [...m.files, file].slice(-MAX_FILES);
+  return prune({
+    ...state.sessions,
+    [sessionId]: { ...m, at: now.toISOString(), files }
+  });
+}
+function rememberShown(state, sessionId, keys, now = /* @__PURE__ */ new Date()) {
+  const m = memoryOf(state, sessionId);
+  const shown = [.../* @__PURE__ */ new Set([...m.shown, ...keys])].slice(-MAX_SHOWN);
+  return prune({
+    ...state.sessions,
+    [sessionId]: { ...m, at: now.toISOString(), shown }
+  });
+}
 function writeState(path, state) {
   try {
     mkdirSync(dirname(path), { recursive: true });
@@ -212,7 +252,7 @@ function formatBlock(relPath, evidence, sessions) {
   parts.push(
     "EVIDENCE:\n" + evidence.map((e) => {
       const excerpt = e.excerpt.replace(/\s+/g, " ").trim().slice(0, MAX_EXCERPT);
-      return `- [${evidenceLabel(e)} ${e.refId.slice(0, 8)}${confidenceLabel(e.provenance)}${dateLabel(e.at)}] ${excerpt}`;
+      return `- ${handleFor(e)} [${evidenceLabel(e)}${confidenceLabel(e.provenance)}${dateLabel(e.at)}] ${excerpt}`;
     }).join("\n")
   );
   parts.push(
@@ -256,13 +296,24 @@ async function main() {
     evrexApi.search(match.id, questionFor(relPath), [relPath]),
     left()
   );
-  const evidence = datedEvidence(found?.evidence ?? [], match.root).filter(
+  const relevant = datedEvidence(found?.evidence ?? [], match.root).filter(
     (e) => (e.provenance?.confidence ?? 1) >= MIN_CONFIDENCE
   );
-  if (sessionId) writeState(path, remember(state, sessionId, file));
-  if (evidence.length === 0) return;
+  const shown = shownIn(state, sessionId);
+  const evidence = relevant.filter((e) => !shown.has(recordKey(e)));
+  if (sessionId) {
+    writeState(
+      path,
+      rememberShown(
+        remember(state, sessionId, file),
+        sessionId,
+        evidence.slice(0, MAX_ITEMS).map(recordKey)
+      )
+    );
+  }
+  if (relevant.length === 0) return;
   let sessions = [];
-  const ids = [...new Set(evidence.filter((e) => e.kind === "session").map((e) => e.refId))].slice(
+  const ids = [...new Set(relevant.filter((e) => e.kind === "session").map((e) => e.refId))].slice(
     0,
     MAX_SESSIONS2
   );

package/dist/tickets.js

@@ -63,7 +63,14 @@ var init_client = __esm({
       // Evidence-only retrieval (BM25 + embedding), no LLM synthesis call — see
       // apps/backend/src/query/query.service.ts#search. Used by evrex_search,
       // which wants ranked hits fast, not a synthesized paragraph.
-      search: (repoPath, text, filePaths) => post("/search", { repoPath, text, filePaths })
+      search: (repoPath, text, filePaths) => post("/search", { repoPath, text, filePaths }),
+      // Everything that happened in a repo, newest first, bounded by days — the
+      // same query the desktop Timeline screen makes. Sessions and commits
+      // interleaved, each with the handle evrex_expand takes.
+      feedback: (body) => post("/feedback", body),
+      timeline: (repoPath, days) => get(
+        `/timeline?repoPath=${encodeURIComponent(repoPath)}&days=${encodeURIComponent(String(days))}`
+      )
     };
   }
 });
@@ -253,9 +260,22 @@ import { fileURLToPath } from "node:url";
 // ../../packages/ingest-core/src/types.ts
 var CONVERSATION_KINDS = [
   "claude-code",
+  // Xcode's coding assistant — the Claude Agent SDK embedded, writing the
+  // identical transcript format under ~/Library/Developer/Xcode. A separate
+  // kind because a conversation in an IDE panel is not a CLI session, and the
+  // Slack mislabel already taught this list what an absent entry costs.
+  "claude-xcode",
   "cursor",
   "codex",
   "gemini",
+  // OpenCode keeps its sessions in a SQLite store rather than files; the
+  // parser reads the store, so this kind arrives through the same importer
+  // as Cursor's.
+  "opencode",
+  // GitHub Copilot CLI writes an events file per session under ~/.copilot;
+  // the coding agent on github.com is a different thing and arrives as a
+  // reference through the Agent-Logs-Url trailer, not as this kind.
+  "copilot",
   "slack"
 ];
 var REFERENCE_KINDS = ["linear", "jira", "confluence"];
@@ -264,6 +284,9 @@ var SOURCE_KINDS = [
   ...REFERENCE_KINDS
 ];
 
+// ../../packages/ingest-core/src/claude-sessions.ts
+var MAX_TRANSCRIPT_BYTES = 256 * 1024 * 1024;
+
 // ../../packages/ingest-core/src/sanitize.ts
 var NUL = String.fromCharCode(0);
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "evrex-mcp",
-  "version": "0.7.0",
+  "version": "0.8.0",
   "description": "MCP server that gives coding agents the recorded reasoning behind a repo: prior decisions, hard constraints, and approaches already rejected.",
   "keywords": [
     "mcp",
@@ -19,13 +19,15 @@
     "evrex-import": "dist/import.js",
     "evrex-tickets": "dist/tickets.js",
     "evrex-pretool": "dist/pretool.js",
-    "evrex-continuity": "dist/continuity.js"
+    "evrex-continuity": "dist/continuity.js",
+    "evrex-account": "dist/account.js"
   },
   "files": [
     "dist/index.js",
     "dist/hook.js",
     "dist/pretool.js",
     "dist/continuity.js",
+    "dist/account.js",
     "dist/capture.js",
     "dist/import.js",
     "dist/tickets.js",
@@ -34,28 +36,27 @@
   "engines": {
     "node": ">=20"
   },
-  "scripts": {
-    "build": "tsc -p tsconfig.json",
-    "bundle": "node scripts/bundle.mjs",
-    "dev": "tsc -p tsconfig.json --watch",
-    "lint": "eslint .",
-    "check-types": "tsc --noEmit",
-    "test": "tsc -p tsconfig.json && node --test dist/*.test.js",
-    "prepack": "pnpm run bundle"
-  },
   "dependencies": {
     "@anthropic-ai/sdk": "^0.72.0",
     "@modelcontextprotocol/sdk": "^1.20.1",
     "zod": "^3.24.1"
   },
   "devDependencies": {
-    "@repo/eslint-config": "workspace:*",
-    "@repo/ingest-core": "workspace:*",
-    "@repo/llm-core": "workspace:*",
-    "@repo/typescript-config": "workspace:*",
     "@types/node": "^24.0.0",
     "esbuild": "^0.25.12",
     "eslint": "^9.39.1",
-    "typescript": "^5.9.2"
+    "typescript": "^5.9.2",
+    "@repo/eslint-config": "0.0.0",
+    "@repo/ingest-core": "0.0.0",
+    "@repo/llm-core": "0.0.0",
+    "@repo/typescript-config": "0.0.0"
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.json",
+    "bundle": "node scripts/bundle.mjs",
+    "dev": "tsc -p tsconfig.json --watch",
+    "lint": "eslint .",
+    "check-types": "tsc --noEmit",
+    "test": "tsc -p tsconfig.json && node --test dist/*.test.js"
   }
-}
+}