memorix 1.2.0 → 1.2.1

package/dist/index.js

@@ -9062,6 +9062,36 @@ var init_session_store = __esm({
   }
 });
 
+// src/memory/graph-scope.ts
+function projectGraphEntityNames(observations2) {
+  const entityNames = /* @__PURE__ */ new Set();
+  for (const observation of observations2) {
+    if ((observation.status ?? "active") !== "active") continue;
+    const entityName = observation.entityName?.trim();
+    if (entityName) entityNames.add(entityName);
+    for (const relatedEntity of observation.relatedEntities ?? []) {
+      const name = relatedEntity.trim();
+      if (name) entityNames.add(name);
+    }
+  }
+  return entityNames;
+}
+function scopeKnowledgeGraphToProject(graph, observations2) {
+  const entityNames = projectGraphEntityNames(observations2);
+  const entities = graph.entities.filter((entity) => entityNames.has(entity.name));
+  const visibleNames = new Set(entities.map((entity) => entity.name));
+  const relations = graph.relations.filter(
+    (relation) => visibleNames.has(relation.from) && visibleNames.has(relation.to)
+  );
+  return { entities, relations, entityNames };
+}
+var init_graph_scope = __esm({
+  "src/memory/graph-scope.ts"() {
+    "use strict";
+    init_esm_shims();
+  }
+});
+
 // src/memory/disclosure-policy.ts
 function resolveEvidenceBasis(fields) {
   if (fields.commitHash || fields.source === "git" || fields.sourceDetail === "git-ingest") {
@@ -12174,6 +12204,7 @@ __export(claims_exports, {
   buildClaimIdentity: () => buildClaimIdentity,
   deriveLowRiskClaimsFromObservation: () => deriveLowRiskClaimsFromObservation,
   requalifyClaimsForCodeState: () => requalifyClaimsForCodeState,
+  reviewClaim: () => reviewClaim,
   selectClaimsForTask: () => selectClaimsForTask,
   supersedeClaim: () => supersedeClaim,
   writeClaim: () => writeClaim
@@ -12360,6 +12391,39 @@ function writeClaim(store, input) {
     };
   });
 }
+function reviewClaim(store, input) {
+  if (input.reviewState !== "approved" && input.reviewState !== "rejected") {
+    throw new Error("A claim review must approve or reject the claim");
+  }
+  const detail = compactText(input.detail, "review detail");
+  return store.transaction(() => {
+    const claim = store.getClaim(input.claimId);
+    if (!claim) throw new Error("Claim was not found");
+    if (input.reviewState === "approved" && claim.status === "superseded") {
+      throw new Error("A superseded claim cannot be approved");
+    }
+    const now3 = (/* @__PURE__ */ new Date()).toISOString();
+    const nextStatus = input.reviewState === "rejected" ? "unknown" : claim.status === "unknown" && claim.reviewState === "rejected" ? "active" : claim.status;
+    const updated = {
+      ...claim,
+      status: nextStatus,
+      reviewState: input.reviewState,
+      updatedAt: now3
+    };
+    store.updateClaim(updated);
+    store.recordEvent({
+      projectId: claim.projectId,
+      claimId: claim.id,
+      kind: "reviewed",
+      fromStatus: claim.status,
+      toStatus: updated.status,
+      detail: "Review: " + claim.reviewState + " -> " + input.reviewState + ". " + detail,
+      createdAt: now3
+    });
+    reconcileConflicts(store, claim.projectId, claim.conflictKey, now3);
+    return store.getClaim(claim.id) ?? updated;
+  });
+}
 function supersedeClaim(store, input) {
   const evidence = validateEvidence(input.evidence);
   return store.transaction(() => {
@@ -12448,7 +12512,7 @@ function deriveLowRiskClaimsFromObservation(store, observation, codeStore) {
     scope: "project",
     confidence,
     observedAt: observation.updatedAt ?? observation.createdAt,
-    reviewState: "approved",
+    reviewState: isGit ? "approved" : "needs-review",
     origin: isGit ? "git" : "derived",
     evidence
   });
@@ -13324,148 +13388,492 @@ var init_workflow_store = __esm({
   }
 });
 
-// src/knowledge/workflows.ts
-var workflows_exports = {};
-__export(workflows_exports, {
-  WORKFLOW_ADAPTER_TARGETS: () => WORKFLOW_ADAPTER_TARGETS,
-  applyWorkflowAdapter: () => applyWorkflowAdapter,
-  importWindsurfWorkflows: () => importWindsurfWorkflows,
-  parseWorkflowMarkdown: () => parseWorkflowMarkdown,
-  previewWorkflowAdapter: () => previewWorkflowAdapter,
-  recordWorkflowRun: () => recordWorkflowRun,
-  renderWorkflowMarkdown: () => renderWorkflowMarkdown,
-  selectWorkflows: () => selectWorkflows,
-  selectWorkspaceWorkflows: () => selectWorkspaceWorkflows,
-  syncCanonicalWorkflows: () => syncCanonicalWorkflows,
-  writeCanonicalWorkflow: () => writeCanonicalWorkflow
+// src/codegraph/task-lens.ts
+var task_lens_exports = {};
+__export(task_lens_exports, {
+  containsTaskKeyword: () => containsTaskKeyword,
+  lensPathCandidates: () => lensPathCandidates,
+  lensVerificationHints: () => lensVerificationHints,
+  rankLensPaths: () => rankLensPaths,
+  rankLensSources: () => rankLensSources,
+  resolveTaskLens: () => resolveTaskLens,
+  scoreLensSource: () => scoreLensSource,
+  shouldShowLensSource: () => shouldShowLensSource
 });
-import { createHash as createHash12 } from "crypto";
-import { promises as fs14 } from "fs";
-import path17 from "path";
-import matter11 from "gray-matter";
-function hash3(value) {
-  return createHash12("sha256").update(value).digest("hex");
-}
-function now2() {
-  return (/* @__PURE__ */ new Date()).toISOString();
-}
-function slug(value) {
-  const normalized = value.trim().toLowerCase().replace(/[^a-z0-9\u4e00-\u9fff]+/g, "-").replace(/^-+|-+$/g, "").slice(0, 72);
-  return normalized || "workflow";
+function normalizePath2(path25) {
+  return path25.replace(/\\/g, "/");
 }
-function titleFromName(name) {
-  return name.replace(/[-_]+/g, " ").split(" ").filter(Boolean).map((part) => part.slice(0, 1).toUpperCase() + part.slice(1)).join(" ") || "Imported Workflow";
+function tokenize2(text) {
+  return (text.toLowerCase().match(/[a-z0-9_./-]+|[\u4e00-\u9fff]+/g) ?? []).map((token) => token.trim()).filter((token) => token.length > 1 && !STOP_WORDS.has(token));
 }
-function requiredText(data, key) {
-  const value = data[key];
-  if (typeof value !== "string" || !value.trim()) {
-    throw new Error("workflow frontmatter requires " + key);
+function containsTaskKeyword(text, keyword) {
+  const matcher = /^[a-z0-9_-]+$/i.test(keyword) ? new RegExp(`(^|[^a-z0-9_-])${keyword.replace(/[.*+?^${}()|[\]\\]/g, "\\$&")}(?=[^a-z0-9_-]|$)`, "gi") : new RegExp(keyword.replace(/[.*+?^${}()|[\]\\]/g, "\\$&"), "gi");
+  let match;
+  while ((match = matcher.exec(text)) !== null) {
+    const keywordIndex = match.index + (match[1]?.length ?? 0);
+    if (!isNegatedTaskKeyword(text, keywordIndex)) return true;
   }
-  return value.trim();
+  return false;
 }
-function optionalText4(data, key) {
-  const value = data[key];
-  if (value === void 0 || value === null || value === "") return void 0;
-  if (typeof value !== "string") throw new Error("workflow frontmatter field " + key + " must be text");
-  return value.trim() || void 0;
+function isNegatedTaskKeyword(text, keywordIndex) {
+  const boundary = Math.max(
+    text.lastIndexOf(".", keywordIndex - 1),
+    text.lastIndexOf("!", keywordIndex - 1),
+    text.lastIndexOf("?", keywordIndex - 1),
+    text.lastIndexOf(";", keywordIndex - 1),
+    text.lastIndexOf("\n", keywordIndex - 1),
+    text.lastIndexOf("\u3002", keywordIndex - 1),
+    text.lastIndexOf("\uFF01", keywordIndex - 1),
+    text.lastIndexOf("\uFF1F", keywordIndex - 1),
+    text.lastIndexOf("\uFF1B", keywordIndex - 1)
+  );
+  let prefix = text.slice(boundary + 1, keywordIndex).toLowerCase();
+  const contrast = /(?:,|\uff0c)\s*(?:but|however|instead|yet|\u4f46\u662f|\u4f46|\u800c\u662f)\s*/gi;
+  let contrastMatch;
+  let contrastEnd = -1;
+  while ((contrastMatch = contrast.exec(prefix)) !== null) contrastEnd = contrast.lastIndex;
+  if (contrastEnd >= 0) prefix = prefix.slice(contrastEnd);
+  if (/\b(?:do|does|did|should|must|can|could|will|would|may|might)\s+not\b/.test(prefix)) return true;
+  if (/\b(?:don't|dont|never|without|avoid|skip)\b/.test(prefix)) return true;
+  if (/(?:^|[\s,])no\s+(?:[a-z0-9_-]+\s*){0,4}$/i.test(prefix)) return true;
+  const chineseClauseStart = Math.max(prefix.lastIndexOf(","), prefix.lastIndexOf("\uFF0C"), prefix.lastIndexOf("\u3001"));
+  const chineseClause = prefix.slice(chineseClauseStart + 1);
+  return /(?:\u4e0d\u8981|\u4e0d\u5e94|\u4e0d\u53ef|\u4e0d\u80fd|\u4e0d\u4f1a|\u7981\u6b62|\u52ff|\u4e0d)\s*(?:\u7acb\u5373|\u76f4\u63a5|\u518d|\u73b0\u5728|\u64c5\u81ea|\u5148)?\s*$/.test(chineseClause);
 }
-function optionalStringArray(data, key) {
-  const value = data[key];
-  if (value === void 0 || value === null) return [];
-  if (!Array.isArray(value) || value.some((item) => typeof item !== "string")) {
-    throw new Error("workflow frontmatter field " + key + " must be a string array");
+function resolveTaskLens(task) {
+  const normalized = (task ?? "").toLowerCase();
+  if (!normalized.trim()) return LENSES.general;
+  let best = {
+    id: "general",
+    score: 0,
+    priority: Number.MAX_SAFE_INTEGER
+  };
+  for (const id of LENS_PRIORITY) {
+    const score = KEYWORDS[id].reduce((sum, keyword) => sum + (containsTaskKeyword(normalized, keyword) ? 1 : 0), 0);
+    const priority = LENS_PRIORITY.indexOf(id);
+    if (score > best.score || score === best.score && score > 0 && priority < best.priority) {
+      best = { id, score, priority };
+    }
   }
-  return [...new Set(value.map((item) => item.trim()).filter(Boolean))];
+  return best.score > 0 ? LENSES[best.id] : LENSES.general;
 }
-function optionalNumber(data, key, fallback) {
-  const value = data[key];
-  if (value === void 0 || value === null || value === "") return fallback;
-  if (typeof value !== "number" || !Number.isInteger(value) || value < 1) {
-    throw new Error("workflow frontmatter field " + key + " must be a positive integer");
+function pathKindScore(path25, lens) {
+  const normalized = normalizePath2(path25).toLowerCase();
+  const name = normalized.split("/").pop() ?? normalized;
+  const inDocs = normalized.startsWith("docs/") || name === "readme.md" || name.includes("readme");
+  const isTest = /(^|\/)(tests?|__tests__|spec|fixtures?)\//.test(normalized) || /\.(test|spec)\.[cm]?[jt]sx?$/.test(normalized) || /\.(test|spec)\.py$/.test(normalized);
+  const isSource = normalized.startsWith("src/") || normalized.includes("/src/");
+  const isPackage = name === "package.json" || name === "package-lock.json" || name === "pnpm-lock.yaml" || name === "yarn.lock";
+  const isChangelog = name === "changelog.md" || name === "changes.md";
+  const isWorkflow = normalized.startsWith(".github/workflows/");
+  switch (lens.id) {
+    case "bugfix":
+      return (isTest ? 80 : 0) + (isSource ? 50 : 0) + (normalized.includes("debug") ? 20 : 0);
+    case "test":
+      return (isTest ? 90 : 0) + (isSource ? 45 : 0);
+    case "release":
+      return (isChangelog ? 100 : 0) + (isPackage ? 90 : 0) + (isWorkflow ? 70 : 0) + (inDocs ? 35 : 0);
+    case "onboarding":
+      return (name === "readme.md" ? 100 : 0) + (inDocs ? 80 : 0) + (isPackage ? 45 : 0) + (isSource ? 20 : 0);
+    case "docs":
+      return (inDocs ? 100 : 0) + (isChangelog ? 60 : 0) + (isSource ? 25 : 0);
+    case "refactor":
+      return (isSource ? 70 : 0) + (isTest ? 65 : 0);
+    case "feature":
+      return (isSource ? 80 : 0) + (isTest ? 45 : 0) + (inDocs ? 20 : 0);
+    default:
+      if (isSource || isTest) return 60;
+      if (normalized.startsWith("packages/") && normalized.includes("/src/")) return 45;
+      if (inDocs) return 20;
+      return 0;
   }
-  return value;
 }
-function optionalStatus(data) {
-  const value = data.status;
-  if (value === void 0 || value === null || value === "") return "draft";
-  if (typeof value !== "string" || !STATUS_VALUES.includes(value)) {
-    throw new Error("workflow frontmatter field status is invalid");
-  }
-  return value;
+function tokenScore(text, tokens) {
+  if (tokens.length === 0) return 0;
+  const normalized = text.toLowerCase();
+  return tokens.reduce((sum, token) => sum + (normalized.includes(token) ? 12 : 0), 0);
 }
-function normalizeAgents(values) {
-  const unknown = values.filter((value) => !KNOWN_AGENTS.includes(value));
-  if (unknown.length > 0) {
-    throw new Error("workflow frontmatter has unsupported agent: " + unknown[0]);
-  }
-  return values;
+function sourceTaskMatchScore(source, task) {
+  const tokens = tokenize2(task ?? "");
+  if (tokens.length === 0) return 0;
+  const text = [
+    source.title,
+    source.path ?? "",
+    source.symbol ?? ""
+  ].join("\n").toLowerCase();
+  const matches = tokens.filter((token) => text.includes(token)).length;
+  if (matches >= 2) return 40;
+  if (matches === 1) return 24;
+  return 0;
 }
-function phaseFromValue(value, index) {
-  if (!value || typeof value !== "object" || Array.isArray(value)) {
-    throw new Error("workflow frontmatter phases must contain objects");
-  }
-  const data = value;
-  const title = requiredText(data, "title");
-  const phaseId = optionalText4(data, "id") ?? slug(title) + "-" + (index + 1);
-  return {
-    id: phaseId,
-    title,
-    instructions: optionalText4(data, "instructions") ?? "",
-    branches: optionalStringArray(data, "branches"),
-    expectedOutputs: optionalStringArray(data, "expectedOutputs"),
-    verificationGates: optionalStringArray(data, "verificationGates")
-  };
+function fallbackPathRank(path25) {
+  const normalized = normalizePath2(path25);
+  if (normalized.startsWith("src/")) return 0;
+  if (normalized.startsWith("tests/") || normalized.startsWith("test/")) return 1;
+  if (normalized.startsWith("packages/") && normalized.includes("/src/")) return 2;
+  if (normalized.startsWith("docs/") || normalized.toLowerCase() === "readme.md") return 3;
+  return 4;
 }
-function phasesFromBody(body) {
-  const headers = [...body.matchAll(/^##\s+(.+?)\s*$/gm)];
-  if (headers.length === 0) {
-    const instructions = body.trim();
-    return instructions ? [{
-      id: "execute",
-      title: "Execute",
-      instructions,
-      branches: [],
-      expectedOutputs: [],
-      verificationGates: []
-    }] : [];
-  }
-  return headers.map((match, index) => {
-    const title = match[1].trim();
-    const start = (match.index ?? 0) + match[0].length;
-    const end = index + 1 < headers.length ? headers[index + 1].index ?? body.length : body.length;
-    return {
-      id: slug(title) + "-" + (index + 1),
-      title,
-      instructions: body.slice(start, end).trim(),
-      branches: [],
-      expectedOutputs: [],
-      verificationGates: []
-    };
-  });
+function rankLensPaths(paths, lens, task) {
+  const tokens = tokenize2(task ?? "");
+  return [...new Set(paths.map(normalizePath2))].map((path25, index) => ({
+    path: path25,
+    index,
+    score: pathKindScore(path25, lens) + tokenScore(path25, tokens),
+    fallback: fallbackPathRank(path25)
+  })).sort((a, b) => b.score - a.score || a.fallback - b.fallback || a.index - b.index || a.path.localeCompare(b.path)).map((item) => item.path);
 }
-function normalizeSourcePath(sourcePath) {
-  const normalized = sourcePath.replace(/\\/g, "/");
-  if (!normalized.startsWith("workflows/") || !normalized.toLowerCase().endsWith(".md") || normalized.includes("../") || path17.posix.normalize(normalized) !== normalized) {
-    throw new Error("workflow source path must be a safe workflows/*.md path");
+function lensPathCandidates(lens) {
+  switch (lens.id) {
+    case "release":
+      return ["CHANGELOG.md", "package.json", "package-lock.json", ".github/workflows/ci.yml", ".github/workflows/test.yml", "README.md"];
+    case "onboarding":
+      return ["README.md", "docs/README.md", "docs/API_REFERENCE.md", "package.json"];
+    case "docs":
+      return ["README.md", "README.zh-CN.md", "docs/README.md", "docs/API_REFERENCE.md", "CHANGELOG.md"];
+    case "test":
+    case "bugfix":
+      return ["tests", "test"];
+    default:
+      return [];
   }
-  return normalized;
 }
-function sourceHashFor(workflow) {
-  return hash3(JSON.stringify({
-    id: workflow.id,
-    title: workflow.title,
-    description: workflow.description,
-    status: workflow.status,
-    version: workflow.version,
-    taskLenses: workflow.taskLenses,
-    triggers: workflow.triggers,
-    assumptions: workflow.assumptions,
-    requiredContext: workflow.requiredContext,
-    guardrails: workflow.guardrails,
-    allowedTools: workflow.allowedTools,
-    phases: workflow.phases,
-    verificationGates: workflow.verificationGates,
-    claimIds: workflow.claimIds,
+function scoreLensSource(source, lens, task) {
+  const tokens = tokenize2(task ?? "");
+  const text = [source.title, source.type, source.path ?? "", source.symbol ?? ""].join("\n");
+  return pathKindScore(source.path ?? "", lens) + tokenScore(text, tokens) + sourceTaskMatchScore(source, task);
+}
+function rankLensSources(sources, lens, task) {
+  return [...sources].map((source, index) => ({
+    source,
+    index,
+    score: scoreLensSource(source, lens, task)
+  })).sort((a, b) => b.score - a.score || a.source.observationId - b.source.observationId || a.index - b.index).map((item) => item.source);
+}
+function lensVerificationHints(lens) {
+  switch (lens.id) {
+    case "bugfix":
+      return [
+        "run the smallest failing test or repro first",
+        "inspect the changed code path before trusting old memory"
+      ];
+    case "test":
+      return [
+        "run the exact focused test file or test name first",
+        "inspect fixtures and harness setup before changing assertions"
+      ];
+    case "release":
+      return [
+        "run build, tests, package smoke, and publish dry-run where available",
+        "verify package metadata, changelog, and Git state before publishing"
+      ];
+    case "onboarding":
+      return [
+        "read the docs/start files first, then inspect only the code paths needed for the task",
+        "treat old implementation memories as leads until current code confirms them"
+      ];
+    case "refactor":
+      return [
+        "inspect call sites and tests before editing shared code",
+        "run the narrow affected test plus one regression smoke"
+      ];
+    case "docs":
+      return [
+        "check headings, links, commands, and examples against current code",
+        "run the smallest docs or package smoke available"
+      ];
+    case "feature":
+      return [
+        "inspect the closest existing implementation pattern before adding new code",
+        "run focused tests plus one user-flow smoke after changes"
+      ];
+    default:
+      return [
+        "inspect the Start here files before editing",
+        "run the smallest relevant test or smoke command after changes"
+      ];
+  }
+}
+function shouldShowLensSource(source, lens, task) {
+  if (lens.id === "general") return true;
+  const score = scoreLensSource(source, lens, task);
+  if (lens.id === "onboarding" || lens.id === "release" || lens.id === "docs") return score >= 40;
+  return score > 0;
+}
+var STOP_WORDS, LENSES, KEYWORDS, LENS_PRIORITY;
+var init_task_lens = __esm({
+  "src/codegraph/task-lens.ts"() {
+    "use strict";
+    init_esm_shims();
+    STOP_WORDS = /* @__PURE__ */ new Set([
+      "a",
+      "an",
+      "and",
+      "as",
+      "for",
+      "in",
+      "into",
+      "of",
+      "on",
+      "onto",
+      "the",
+      "this",
+      "that",
+      "to",
+      "with",
+      "work",
+      "project",
+      "continue",
+      "\u7EE7\u7EED",
+      "\u9879\u76EE"
+    ]);
+    LENSES = {
+      bugfix: {
+        id: "bugfix",
+        description: "debug the failure with current code and the smallest repro first",
+        sourceLimit: 6,
+        cautionLimit: 4,
+        hideUnrelatedCautionDetails: true,
+        hideUnrelatedReliableDetails: false
+      },
+      feature: {
+        id: "feature",
+        description: "build a scoped feature from nearby source, types, and user flow",
+        sourceLimit: 6,
+        cautionLimit: 3,
+        hideUnrelatedCautionDetails: true,
+        hideUnrelatedReliableDetails: false
+      },
+      release: {
+        id: "release",
+        description: "prepare a release using current metadata, changelog, build, and package checks",
+        sourceLimit: 4,
+        cautionLimit: 2,
+        hideUnrelatedCautionDetails: true,
+        hideUnrelatedReliableDetails: true
+      },
+      onboarding: {
+        id: "onboarding",
+        description: "understand the project shape before trusting old implementation details",
+        sourceLimit: 4,
+        cautionLimit: 2,
+        hideUnrelatedCautionDetails: true,
+        hideUnrelatedReliableDetails: true
+      },
+      refactor: {
+        id: "refactor",
+        description: "change structure carefully by reading shared code, call sites, and tests",
+        sourceLimit: 6,
+        cautionLimit: 4,
+        hideUnrelatedCautionDetails: true,
+        hideUnrelatedReliableDetails: false
+      },
+      docs: {
+        id: "docs",
+        description: "update documentation against current code and public entry points",
+        sourceLimit: 5,
+        cautionLimit: 2,
+        hideUnrelatedCautionDetails: true,
+        hideUnrelatedReliableDetails: true
+      },
+      test: {
+        id: "test",
+        description: "work from tests, fixtures, harnesses, and the related source files",
+        sourceLimit: 6,
+        cautionLimit: 3,
+        hideUnrelatedCautionDetails: true,
+        hideUnrelatedReliableDetails: false
+      },
+      general: {
+        id: "general",
+        description: "balanced project handoff with current facts, code memory, and verification hints",
+        sourceLimit: 8,
+        cautionLimit: 5,
+        hideUnrelatedCautionDetails: false,
+        hideUnrelatedReliableDetails: false
+      }
+    };
+    KEYWORDS = {
+      bugfix: [
+        "bug",
+        "crash",
+        "incident",
+        "debug",
+        "error",
+        "fail",
+        "failing",
+        "fix",
+        "issue",
+        "regression",
+        "repro",
+        "\u62A5\u9519",
+        "\u5D29\u6E83",
+        "\u6545\u969C",
+        "\u5931\u8D25",
+        "\u4FEE\u590D",
+        "\u95EE\u9898"
+      ],
+      feature: ["add", "build", "feature", "implement", "new", "support", "\u65B0\u589E", "\u5B9E\u73B0", "\u652F\u6301", "\u529F\u80FD"],
+      release: ["bump", "changelog", "npm", "pack", "publish", "release", "version", "\u53D1\u7248", "\u53D1\u5E03", "\u7248\u672C"],
+      onboarding: ["architecture", "handoff", "onboard", "overview", "understand", "\u63A5\u624B", "\u4E86\u89E3", "\u7406\u89E3", "\u67B6\u6784"],
+      refactor: ["cleanup", "migrate", "refactor", "rename", "restructure", "\u91CD\u6784", "\u8FC1\u79FB", "\u6539\u9020"],
+      docs: ["doc", "docs", "readme", "\u6587\u6863", "\u8BF4\u660E"],
+      test: ["coverage", "fixture", "smoke", "spec", "test", "tests", "testing", "vitest", "\u6D4B\u8BD5"]
+    };
+    LENS_PRIORITY = [
+      "bugfix",
+      "release",
+      "test",
+      "refactor",
+      "feature",
+      "docs",
+      "onboarding"
+    ];
+  }
+});
+
+// src/knowledge/workflows.ts
+var workflows_exports = {};
+__export(workflows_exports, {
+  WORKFLOW_ADAPTER_TARGETS: () => WORKFLOW_ADAPTER_TARGETS,
+  applyWorkflowAdapter: () => applyWorkflowAdapter,
+  importWindsurfWorkflows: () => importWindsurfWorkflows,
+  parseWorkflowMarkdown: () => parseWorkflowMarkdown,
+  previewWorkflowAdapter: () => previewWorkflowAdapter,
+  recordWorkflowRun: () => recordWorkflowRun,
+  renderWorkflowMarkdown: () => renderWorkflowMarkdown,
+  selectWorkflows: () => selectWorkflows,
+  selectWorkspaceWorkflows: () => selectWorkspaceWorkflows,
+  syncCanonicalWorkflows: () => syncCanonicalWorkflows,
+  writeCanonicalWorkflow: () => writeCanonicalWorkflow
+});
+import { createHash as createHash12 } from "crypto";
+import { promises as fs14 } from "fs";
+import path17 from "path";
+import matter11 from "gray-matter";
+function hash3(value) {
+  return createHash12("sha256").update(value).digest("hex");
+}
+function now2() {
+  return (/* @__PURE__ */ new Date()).toISOString();
+}
+function slug(value) {
+  const normalized = value.trim().toLowerCase().replace(/[^a-z0-9\u4e00-\u9fff]+/g, "-").replace(/^-+|-+$/g, "").slice(0, 72);
+  return normalized || "workflow";
+}
+function titleFromName(name) {
+  return name.replace(/[-_]+/g, " ").split(" ").filter(Boolean).map((part) => part.slice(0, 1).toUpperCase() + part.slice(1)).join(" ") || "Imported Workflow";
+}
+function requiredText(data, key) {
+  const value = data[key];
+  if (typeof value !== "string" || !value.trim()) {
+    throw new Error("workflow frontmatter requires " + key);
+  }
+  return value.trim();
+}
+function optionalText4(data, key) {
+  const value = data[key];
+  if (value === void 0 || value === null || value === "") return void 0;
+  if (typeof value !== "string") throw new Error("workflow frontmatter field " + key + " must be text");
+  return value.trim() || void 0;
+}
+function optionalStringArray(data, key) {
+  const value = data[key];
+  if (value === void 0 || value === null) return [];
+  if (!Array.isArray(value) || value.some((item) => typeof item !== "string")) {
+    throw new Error("workflow frontmatter field " + key + " must be a string array");
+  }
+  return [...new Set(value.map((item) => item.trim()).filter(Boolean))];
+}
+function optionalNumber(data, key, fallback) {
+  const value = data[key];
+  if (value === void 0 || value === null || value === "") return fallback;
+  if (typeof value !== "number" || !Number.isInteger(value) || value < 1) {
+    throw new Error("workflow frontmatter field " + key + " must be a positive integer");
+  }
+  return value;
+}
+function optionalStatus(data) {
+  const value = data.status;
+  if (value === void 0 || value === null || value === "") return "draft";
+  if (typeof value !== "string" || !STATUS_VALUES.includes(value)) {
+    throw new Error("workflow frontmatter field status is invalid");
+  }
+  return value;
+}
+function normalizeAgents(values) {
+  const unknown = values.filter((value) => !KNOWN_AGENTS.includes(value));
+  if (unknown.length > 0) {
+    throw new Error("workflow frontmatter has unsupported agent: " + unknown[0]);
+  }
+  return values;
+}
+function phaseFromValue(value, index) {
+  if (!value || typeof value !== "object" || Array.isArray(value)) {
+    throw new Error("workflow frontmatter phases must contain objects");
+  }
+  const data = value;
+  const title = requiredText(data, "title");
+  const phaseId = optionalText4(data, "id") ?? slug(title) + "-" + (index + 1);
+  return {
+    id: phaseId,
+    title,
+    instructions: optionalText4(data, "instructions") ?? "",
+    branches: optionalStringArray(data, "branches"),
+    expectedOutputs: optionalStringArray(data, "expectedOutputs"),
+    verificationGates: optionalStringArray(data, "verificationGates")
+  };
+}
+function phasesFromBody(body) {
+  const headers = [...body.matchAll(/^##\s+(.+?)\s*$/gm)];
+  if (headers.length === 0) {
+    const instructions = body.trim();
+    return instructions ? [{
+      id: "execute",
+      title: "Execute",
+      instructions,
+      branches: [],
+      expectedOutputs: [],
+      verificationGates: []
+    }] : [];
+  }
+  return headers.map((match, index) => {
+    const title = match[1].trim();
+    const start = (match.index ?? 0) + match[0].length;
+    const end = index + 1 < headers.length ? headers[index + 1].index ?? body.length : body.length;
+    return {
+      id: slug(title) + "-" + (index + 1),
+      title,
+      instructions: body.slice(start, end).trim(),
+      branches: [],
+      expectedOutputs: [],
+      verificationGates: []
+    };
+  });
+}
+function normalizeSourcePath(sourcePath) {
+  const normalized = sourcePath.replace(/\\/g, "/");
+  if (!normalized.startsWith("workflows/") || !normalized.toLowerCase().endsWith(".md") || normalized.includes("../") || path17.posix.normalize(normalized) !== normalized) {
+    throw new Error("workflow source path must be a safe workflows/*.md path");
+  }
+  return normalized;
+}
+function sourceHashFor(workflow) {
+  return hash3(JSON.stringify({
+    id: workflow.id,
+    title: workflow.title,
+    description: workflow.description,
+    status: workflow.status,
+    version: workflow.version,
+    taskLenses: workflow.taskLenses,
+    triggers: workflow.triggers,
+    assumptions: workflow.assumptions,
+    requiredContext: workflow.requiredContext,
+    guardrails: workflow.guardrails,
+    allowedTools: workflow.allowedTools,
+    phases: workflow.phases,
+    verificationGates: workflow.verificationGates,
+    claimIds: workflow.claimIds,
     evidenceRefs: workflow.evidenceRefs,
     codeRefs: workflow.codeRefs,
     compatibleAgents: workflow.compatibleAgents,
@@ -13646,20 +14054,27 @@ function taskScore(workflow, task) {
   const text = task.toLowerCase();
   let score = 0;
   const reasons = [];
+  const matchedLenses = /* @__PURE__ */ new Set();
+  const matchedTriggers = /* @__PURE__ */ new Set();
   for (const lens of workflow.taskLenses) {
     const terms = LENS_TERMS[lens.toLowerCase()] ?? [lens.toLowerCase()];
-    if (terms.some((term) => text.includes(term))) {
+    if (terms.some((term) => containsTaskKeyword(task, term))) {
       score += 20;
       reasons.push("matches " + lens + " workflow");
+      matchedLenses.add(lens.toLowerCase());
     }
   }
   for (const trigger of workflow.triggers) {
     const term = trigger.toLowerCase().trim();
-    if (term.length >= 2 && text.includes(term)) {
+    if (term.length >= 2 && containsTaskKeyword(task, term)) {
       score += 8;
       reasons.push('matches trigger "' + trigger + '"');
+      matchedTriggers.add(term);
     }
   }
+  const hasSpecificLens = workflow.taskLenses.some((lens) => !GENERIC_WORKFLOW_LENSES.has(lens.toLowerCase()));
+  const hasSpecificMatch = [...matchedLenses].some((lens) => !GENERIC_WORKFLOW_LENSES.has(lens)) || [...matchedTriggers].some((trigger) => !GENERIC_WORKFLOW_TERMS.has(trigger));
+  if (hasSpecificLens && !hasSpecificMatch) return { score: 0, reasons: [] };
   return { score, reasons: [...new Set(reasons)] };
 }
 function selectWorkflows(input) {
@@ -13677,9 +14092,28 @@ function selectWorkflows(input) {
   return selected.slice(0, Math.max(1, Math.min(input.limit ?? 2, 2)));
 }
 function importedWorkflowSpec(input) {
+  let sourceMatter;
+  try {
+    sourceMatter = matter11(input.raw);
+  } catch (error) {
+    throw new Error("Malformed Windsurf workflow Markdown: " + (error instanceof Error ? error.message : String(error)));
+  }
+  if (sourceMatter.data.id !== void 0) {
+    const id = requiredText(sourceMatter.data, "id");
+    const sourcePath2 = "workflows/" + slug(id) + ".md";
+    const canonical = parsedWorkflow(sourceMatter.data, sourceMatter.content, {
+      workspaceId: input.workspace.id,
+      sourcePath: sourcePath2,
+      contentHash: hash3(input.raw)
+    });
+    return materializeWorkflow({
+      ...canonical,
+      importedFrom: input.sourcePath.replace(/\\/g, "/")
+    });
+  }
   const entry = new WorkflowSyncer().parseWindsurfWorkflow(input.sourceName, input.raw);
   const content = entry.content.trim() || "## Execute\n\nFollow the imported workflow.";
-  const lenses = inferTaskLenses(entry.name + "\n" + entry.description + "\n" + content);
+  const lenses = inferTaskLenses(entry.name + "\n" + entry.description);
   const createdAt = now2();
   const sourcePath = "workflows/" + slug(entry.name) + ".md";
   const spec = {
@@ -13900,7 +14334,7 @@ async function selectWorkspaceWorkflows(input) {
     errors: synced.errors
   };
 }
-var KNOWN_AGENTS, WORKFLOW_ADAPTER_TARGETS, STATUS_VALUES, LENS_TERMS;
+var KNOWN_AGENTS, WORKFLOW_ADAPTER_TARGETS, STATUS_VALUES, LENS_TERMS, GENERIC_WORKFLOW_LENSES, GENERIC_WORKFLOW_TERMS;
 var init_workflows = __esm({
   "src/knowledge/workflows.ts"() {
     "use strict";
@@ -13909,6 +14343,7 @@ var init_workflows = __esm({
     init_workflow_sync();
     init_workspace();
     init_workflow_store();
+    init_task_lens();
     KNOWN_AGENTS = [
       "windsurf",
       "cursor",
@@ -13940,6 +14375,8 @@ var init_workflows = __esm({
       refactor: ["refactor", "cleanup", "restructure", "\u91CD\u6784", "\u6574\u7406"],
       test: ["test", "verify", "smoke", "\u6D4B\u8BD5", "\u9A8C\u8BC1"]
     };
+    GENERIC_WORKFLOW_LENSES = /* @__PURE__ */ new Set(["review", "test"]);
+    GENERIC_WORKFLOW_TERMS = /* @__PURE__ */ new Set(["review", "audit", "test", "verify", "smoke"]);
   }
 });
 
@@ -15124,7 +15561,8 @@ var init_workset = __esm({
 // src/codegraph/current-facts.ts
 var current_facts_exports = {};
 __export(current_facts_exports, {
-  collectCurrentProjectFacts: () => collectCurrentProjectFacts
+  collectCurrentProjectFacts: () => collectCurrentProjectFacts,
+  formatGitFact: () => formatGitFact
 });
 import { execFileSync } from "child_process";
 import { existsSync as existsSync11, readFileSync as readFileSync9 } from "fs";
@@ -15169,11 +15607,16 @@ function runGit2(rootPath, args) {
   }
 }
 function readGitFacts(rootPath) {
-  const branch = runGit2(rootPath, ["branch", "--show-current"]);
+  const available = runGit2(rootPath, ["rev-parse", "--is-inside-work-tree"]) === "true";
+  if (!available) {
+    return { available: false, dirty: false, detached: false };
+  }
+  const branch = runGit2(rootPath, ["symbolic-ref", "--quiet", "--short", "HEAD"]) ?? runGit2(rootPath, ["branch", "--show-current"]);
   const commit = runGit2(rootPath, ["rev-parse", "--short", "HEAD"]);
   const latestCommit = runGit2(rootPath, ["log", "-1", "--pretty=%s"]);
   const dirty = Boolean(runGit2(rootPath, ["status", "--porcelain"]));
   return {
+    available: true,
     ...branch ? { branch } : {},
     ...commit ? { commit } : {},
     ...latestCommit ? { latestCommit } : {},
@@ -15181,6 +15624,15 @@ function readGitFacts(rootPath) {
     detached: !branch
   };
 }
+function formatGitFact(git) {
+  if (!git.available) return "Git: unavailable";
+  const parts = [];
+  if (git.detached) parts.push("detached HEAD");
+  else if (git.branch) parts.push("branch " + git.branch);
+  if (git.commit) parts.push("commit " + git.commit);
+  parts.push(git.dirty ? "dirty worktree" : "clean worktree");
+  return "Git: " + parts.join(", ");
+}
 function parseProgressNote(content) {
   const lastUpdated = content.match(/Last updated\*\*:\s*(\d{4}-\d{2}-\d{2})/i) ?? content.match(/Last updated:\s*(\d{4}-\d{2}-\d{2})/i);
   const branchHint = content.match(/Branch\*\*:\s*([^\r\n]+)/i) ?? content.match(/Branch:\s*([^\r\n]+)/i);
@@ -15682,485 +16134,172 @@ var init_external_provider = __esm({
               ...typeof exitCode === "number" ? { exitCode } : {},
               ...timedOut ? { timedOut } : {},
               ...outputLimited ? { outputLimited } : {},
-              ...spawnError ? { error: spawnError } : {}
-            });
-          });
-        });
-      }
-    };
-  }
-});
-
-// src/codegraph/freshness.ts
-function evaluateCodeRefFreshness(ref, file, symbol) {
-  if (!file) {
-    return { status: "stale", reason: "referenced file is no longer indexed" };
-  }
-  if (ref.symbolId && !symbol) {
-    return { status: "stale", reason: "referenced symbol is no longer indexed" };
-  }
-  if (ref.capturedSymbolHash && symbol?.contentHash) {
-    if (symbol.contentHash !== ref.capturedSymbolHash) {
-      return { status: "stale", reason: "referenced symbol content changed" };
-    }
-    return { status: "current", reason: "referenced symbol content still matches" };
-  }
-  if (ref.capturedFileHash && file.contentHash !== ref.capturedFileHash) {
-    return { status: "suspect", reason: "referenced file changed since capture" };
-  }
-  return { status: "current", reason: "referenced file still matches" };
-}
-var init_freshness2 = __esm({
-  "src/codegraph/freshness.ts"() {
-    "use strict";
-    init_esm_shims();
-  }
-});
-
-// src/codegraph/project-context.ts
-function uniq(items) {
-  return [...new Set(items)];
-}
-function activeObservations(observations2, projectId) {
-  return observations2.filter((obs) => obs.projectId === projectId && (obs.status ?? "active") === "active");
-}
-function countLanguages(files) {
-  const counts = /* @__PURE__ */ new Map();
-  for (const file of files) {
-    const language = file.language ?? "unknown";
-    counts.set(language, (counts.get(language) ?? 0) + 1);
-  }
-  return [...counts.entries()].map(([language, files2]) => ({ language, files: files2 })).sort((a, b) => a.language.localeCompare(b.language));
-}
-function suggestedReadRank(path25) {
-  const normalized = path25.replace(/\\/g, "/");
-  if (normalized.startsWith("src/")) return 0;
-  if (normalized.startsWith("tests/") || normalized.startsWith("test/")) return 0;
-  if (normalized.startsWith("packages/") && normalized.includes("/src/")) return 2;
-  return 3;
-}
-function compactSuggestedReads(paths, limit = 8, exclude) {
-  return uniq(paths).filter((path25) => !isCodeGraphExcludedPath(path25, exclude)).sort((a, b) => suggestedReadRank(a) - suggestedReadRank(b)).slice(0, limit);
-}
-function collectGraph(store, projectId, observations2, exclude) {
-  const files = store.listFiles(projectId);
-  const symbols = store.listReferencedSymbols(projectId);
-  const filesById = new Map(files.map((file) => [file.id, file]));
-  const symbolsById = new Map(symbols.map((symbol) => [symbol.id, symbol]));
-  const observationsById = new Map(observations2.map((obs) => [obs.id, obs]));
-  const activeObservationIds = new Set(observations2.map((obs) => obs.id));
-  const refs = store.listProjectObservationRefs(projectId).filter((ref) => activeObservationIds.has(ref.observationId));
-  const freshness = {
-    current: 0,
-    suspect: 0,
-    stale: 0,
-    unbound: 0
-  };
-  const sources = [];
-  const suggestedReads = [];
-  for (const ref of refs) {
-    const file = ref.fileId ? filesById.get(ref.fileId) : void 0;
-    const symbol = ref.symbolId ? symbolsById.get(ref.symbolId) : void 0;
-    const result = evaluateCodeRefFreshness(ref, file, symbol);
-    freshness[result.status] += 1;
-    const observation = observationsById.get(ref.observationId);
-    if (!observation) continue;
-    const excluded = file ? isCodeGraphExcludedPath(file.path, exclude) : false;
-    if (result.status === "current" && file && !excluded) suggestedReads.push(file.path);
-    if (excluded) continue;
-    sources.push({
-      observationId: observation.id,
-      title: observation.title,
-      type: observation.type,
-      ...file ? { path: file.path } : {},
-      ...symbol ? { symbol: symbol.name } : {},
-      status: result.status,
-      reason: result.reason
-    });
-  }
-  if (files.length === 0) {
-    for (const observation of observations2) {
-      for (const path25 of observation.filesModified ?? []) {
-        if (!path25 || isCodeGraphExcludedPath(path25, exclude)) continue;
-        suggestedReads.push(path25);
-        sources.push({
-          observationId: observation.id,
-          title: observation.title,
-          type: observation.type,
-          path: path25,
-          status: "unbound",
-          reason: "Recorded file hint; Code Memory refresh is pending."
+              ...spawnError ? { error: spawnError } : {}
+            });
+          });
         });
-        freshness.unbound++;
       }
+    };
+  }
+});
+
+// src/codegraph/freshness.ts
+function evaluateCodeRefFreshness(ref, file, symbol) {
+  if (!file) {
+    return { status: "stale", reason: "referenced file is no longer indexed" };
+  }
+  if (ref.symbolId && !symbol) {
+    return { status: "stale", reason: "referenced symbol is no longer indexed" };
+  }
+  if (ref.capturedSymbolHash && symbol?.contentHash) {
+    if (symbol.contentHash !== ref.capturedSymbolHash) {
+      return { status: "stale", reason: "referenced symbol content changed" };
     }
+    return { status: "current", reason: "referenced symbol content still matches" };
   }
-  return {
-    files,
-    symbols,
-    refs,
-    freshness,
-    sources,
-    suggestedReads: compactSuggestedReads(suggestedReads, 8, exclude)
-  };
-}
-function overviewFromGraph(input) {
-  const status = input.store.status(input.project.id);
-  return {
-    project: input.project,
-    code: {
-      provider: status.provider,
-      files: status.files,
-      symbols: status.symbols,
-      edges: status.edges,
-      refs: status.refs,
-      ...status.indexedAt ? { indexedAt: status.indexedAt } : {},
-      languages: countLanguages(input.graph.files),
-      ...status.latestSnapshot ? { latestSnapshot: status.latestSnapshot } : {}
-    },
-    memory: {
-      total: input.observations.filter((obs) => obs.projectId === input.project.id).length,
-      active: input.active.length
-    },
-    freshness: input.graph.freshness,
-    suggestedReads: input.graph.suggestedReads
-  };
-}
-function buildProjectContextExplain(input) {
-  const active = activeObservations(input.observations, input.project.id);
-  const graph = collectGraph(input.store, input.project.id, active, input.exclude);
-  const overview = overviewFromGraph({
-    project: input.project,
-    store: input.store,
-    observations: input.observations,
-    active,
-    graph
-  });
-  return {
-    project: input.project,
-    sources: graph.sources.sort((a, b) => a.observationId - b.observationId || (a.path ?? "").localeCompare(b.path ?? "")),
-    overview
-  };
+  if (ref.capturedFileHash && file.contentHash !== ref.capturedFileHash) {
+    return { status: "suspect", reason: "referenced file changed since capture" };
+  }
+  return { status: "current", reason: "referenced file still matches" };
 }
-var init_project_context = __esm({
-  "src/codegraph/project-context.ts"() {
+var init_freshness2 = __esm({
+  "src/codegraph/freshness.ts"() {
     "use strict";
     init_esm_shims();
-    init_freshness2();
-    init_exclude();
   }
 });
 
-// src/codegraph/task-lens.ts
-var task_lens_exports = {};
-__export(task_lens_exports, {
-  lensPathCandidates: () => lensPathCandidates,
-  lensVerificationHints: () => lensVerificationHints,
-  rankLensPaths: () => rankLensPaths,
-  rankLensSources: () => rankLensSources,
-  resolveTaskLens: () => resolveTaskLens,
-  scoreLensSource: () => scoreLensSource,
-  shouldShowLensSource: () => shouldShowLensSource
-});
-function normalizePath2(path25) {
-  return path25.replace(/\\/g, "/");
-}
-function tokenize2(text) {
-  return (text.toLowerCase().match(/[a-z0-9_./-]+|[\u4e00-\u9fff]+/g) ?? []).map((token) => token.trim()).filter((token) => token.length > 1 && !STOP_WORDS.has(token));
-}
-function containsKeyword(text, keyword) {
-  if (/^[a-z0-9_-]+$/i.test(keyword)) {
-    return new RegExp(`(^|[^a-z0-9_-])${keyword.replace(/[.*+?^${}()|[\]\\]/g, "\\$&")}([^a-z0-9_-]|$)`, "i").test(text);
-  }
-  return text.includes(keyword);
+// src/codegraph/project-context.ts
+function uniq(items) {
+  return [...new Set(items)];
 }
-function resolveTaskLens(task) {
-  const normalized = (task ?? "").toLowerCase();
-  if (!normalized.trim()) return LENSES.general;
-  let best = {
-    id: "general",
-    score: 0,
-    priority: Number.MAX_SAFE_INTEGER
-  };
-  for (const id of LENS_PRIORITY) {
-    const score = KEYWORDS[id].reduce((sum, keyword) => sum + (containsKeyword(normalized, keyword) ? 1 : 0), 0);
-    const priority = LENS_PRIORITY.indexOf(id);
-    if (score > best.score || score === best.score && score > 0 && priority < best.priority) {
-      best = { id, score, priority };
-    }
-  }
-  return best.score > 0 ? LENSES[best.id] : LENSES.general;
+function activeObservations(observations2, projectId) {
+  return observations2.filter((obs) => obs.projectId === projectId && (obs.status ?? "active") === "active");
 }
-function pathKindScore(path25, lens) {
-  const normalized = normalizePath2(path25).toLowerCase();
-  const name = normalized.split("/").pop() ?? normalized;
-  const inDocs = normalized.startsWith("docs/") || name === "readme.md" || name.includes("readme");
-  const isTest = /(^|\/)(tests?|__tests__|spec|fixtures?)\//.test(normalized) || /\.(test|spec)\.[cm]?[jt]sx?$/.test(normalized) || /\.(test|spec)\.py$/.test(normalized);
-  const isSource = normalized.startsWith("src/") || normalized.includes("/src/");
-  const isPackage = name === "package.json" || name === "package-lock.json" || name === "pnpm-lock.yaml" || name === "yarn.lock";
-  const isChangelog = name === "changelog.md" || name === "changes.md";
-  const isWorkflow = normalized.startsWith(".github/workflows/");
-  switch (lens.id) {
-    case "bugfix":
-      return (isTest ? 80 : 0) + (isSource ? 50 : 0) + (normalized.includes("debug") ? 20 : 0);
-    case "test":
-      return (isTest ? 90 : 0) + (isSource ? 45 : 0);
-    case "release":
-      return (isChangelog ? 100 : 0) + (isPackage ? 90 : 0) + (isWorkflow ? 70 : 0) + (inDocs ? 35 : 0);
-    case "onboarding":
-      return (name === "readme.md" ? 100 : 0) + (inDocs ? 80 : 0) + (isPackage ? 45 : 0) + (isSource ? 20 : 0);
-    case "docs":
-      return (inDocs ? 100 : 0) + (isChangelog ? 60 : 0) + (isSource ? 25 : 0);
-    case "refactor":
-      return (isSource ? 70 : 0) + (isTest ? 65 : 0);
-    case "feature":
-      return (isSource ? 80 : 0) + (isTest ? 45 : 0) + (inDocs ? 20 : 0);
-    default:
-      if (isSource || isTest) return 60;
-      if (normalized.startsWith("packages/") && normalized.includes("/src/")) return 45;
-      if (inDocs) return 20;
-      return 0;
+function countLanguages(files) {
+  const counts = /* @__PURE__ */ new Map();
+  for (const file of files) {
+    const language = file.language ?? "unknown";
+    counts.set(language, (counts.get(language) ?? 0) + 1);
   }
+  return [...counts.entries()].map(([language, files2]) => ({ language, files: files2 })).sort((a, b) => a.language.localeCompare(b.language));
 }
-function tokenScore(text, tokens) {
-  if (tokens.length === 0) return 0;
-  const normalized = text.toLowerCase();
-  return tokens.reduce((sum, token) => sum + (normalized.includes(token) ? 12 : 0), 0);
-}
-function sourceTaskMatchScore(source, task) {
-  const tokens = tokenize2(task ?? "");
-  if (tokens.length === 0) return 0;
-  const text = [
-    source.title,
-    source.path ?? "",
-    source.symbol ?? ""
-  ].join("\n").toLowerCase();
-  const matches = tokens.filter((token) => text.includes(token)).length;
-  if (matches >= 2) return 40;
-  if (matches === 1) return 24;
-  return 0;
-}
-function fallbackPathRank(path25) {
-  const normalized = normalizePath2(path25);
+function suggestedReadRank(path25) {
+  const normalized = path25.replace(/\\/g, "/");
   if (normalized.startsWith("src/")) return 0;
-  if (normalized.startsWith("tests/") || normalized.startsWith("test/")) return 1;
+  if (normalized.startsWith("tests/") || normalized.startsWith("test/")) return 0;
   if (normalized.startsWith("packages/") && normalized.includes("/src/")) return 2;
-  if (normalized.startsWith("docs/") || normalized.toLowerCase() === "readme.md") return 3;
-  return 4;
-}
-function rankLensPaths(paths, lens, task) {
-  const tokens = tokenize2(task ?? "");
-  return [...new Set(paths.map(normalizePath2))].map((path25, index) => ({
-    path: path25,
-    index,
-    score: pathKindScore(path25, lens) + tokenScore(path25, tokens),
-    fallback: fallbackPathRank(path25)
-  })).sort((a, b) => b.score - a.score || a.fallback - b.fallback || a.index - b.index || a.path.localeCompare(b.path)).map((item) => item.path);
-}
-function lensPathCandidates(lens) {
-  switch (lens.id) {
-    case "release":
-      return ["CHANGELOG.md", "package.json", "package-lock.json", ".github/workflows/ci.yml", ".github/workflows/test.yml", "README.md"];
-    case "onboarding":
-      return ["README.md", "docs/README.md", "docs/API_REFERENCE.md", "package.json"];
-    case "docs":
-      return ["README.md", "README.zh-CN.md", "docs/README.md", "docs/API_REFERENCE.md", "CHANGELOG.md"];
-    case "test":
-    case "bugfix":
-      return ["tests", "test"];
-    default:
-      return [];
-  }
-}
-function scoreLensSource(source, lens, task) {
-  const tokens = tokenize2(task ?? "");
-  const text = [source.title, source.type, source.path ?? "", source.symbol ?? ""].join("\n");
-  return pathKindScore(source.path ?? "", lens) + tokenScore(text, tokens) + sourceTaskMatchScore(source, task);
+  return 3;
 }
-function rankLensSources(sources, lens, task) {
-  return [...sources].map((source, index) => ({
-    source,
-    index,
-    score: scoreLensSource(source, lens, task)
-  })).sort((a, b) => b.score - a.score || a.source.observationId - b.source.observationId || a.index - b.index).map((item) => item.source);
+function compactSuggestedReads(paths, limit = 8, exclude) {
+  return uniq(paths).filter((path25) => !isCodeGraphExcludedPath(path25, exclude)).sort((a, b) => suggestedReadRank(a) - suggestedReadRank(b)).slice(0, limit);
 }
-function lensVerificationHints(lens) {
-  switch (lens.id) {
-    case "bugfix":
-      return [
-        "run the smallest failing test or repro first",
-        "inspect the changed code path before trusting old memory"
-      ];
-    case "test":
-      return [
-        "run the exact focused test file or test name first",
-        "inspect fixtures and harness setup before changing assertions"
-      ];
-    case "release":
-      return [
-        "run build, tests, package smoke, and publish dry-run where available",
-        "verify package metadata, changelog, and Git state before publishing"
-      ];
-    case "onboarding":
-      return [
-        "read the docs/start files first, then inspect only the code paths needed for the task",
-        "treat old implementation memories as leads until current code confirms them"
-      ];
-    case "refactor":
-      return [
-        "inspect call sites and tests before editing shared code",
-        "run the narrow affected test plus one regression smoke"
-      ];
-    case "docs":
-      return [
-        "check headings, links, commands, and examples against current code",
-        "run the smallest docs or package smoke available"
-      ];
-    case "feature":
-      return [
-        "inspect the closest existing implementation pattern before adding new code",
-        "run focused tests plus one user-flow smoke after changes"
-      ];
-    default:
-      return [
-        "inspect the Start here files before editing",
-        "run the smallest relevant test or smoke command after changes"
-      ];
+function collectGraph(store, projectId, observations2, exclude) {
+  const files = store.listFiles(projectId);
+  const symbols = store.listReferencedSymbols(projectId);
+  const filesById = new Map(files.map((file) => [file.id, file]));
+  const symbolsById = new Map(symbols.map((symbol) => [symbol.id, symbol]));
+  const observationsById = new Map(observations2.map((obs) => [obs.id, obs]));
+  const activeObservationIds = new Set(observations2.map((obs) => obs.id));
+  const refs = store.listProjectObservationRefs(projectId).filter((ref) => activeObservationIds.has(ref.observationId));
+  const freshness = {
+    current: 0,
+    suspect: 0,
+    stale: 0,
+    unbound: 0
+  };
+  const sources = [];
+  const suggestedReads = [];
+  for (const ref of refs) {
+    const file = ref.fileId ? filesById.get(ref.fileId) : void 0;
+    const symbol = ref.symbolId ? symbolsById.get(ref.symbolId) : void 0;
+    const result = evaluateCodeRefFreshness(ref, file, symbol);
+    freshness[result.status] += 1;
+    const observation = observationsById.get(ref.observationId);
+    if (!observation) continue;
+    const excluded = file ? isCodeGraphExcludedPath(file.path, exclude) : false;
+    if (result.status === "current" && file && !excluded) suggestedReads.push(file.path);
+    if (excluded) continue;
+    sources.push({
+      observationId: observation.id,
+      title: observation.title,
+      type: observation.type,
+      ...file ? { path: file.path } : {},
+      ...symbol ? { symbol: symbol.name } : {},
+      status: result.status,
+      reason: result.reason
+    });
+  }
+  if (files.length === 0) {
+    for (const observation of observations2) {
+      for (const path25 of observation.filesModified ?? []) {
+        if (!path25 || isCodeGraphExcludedPath(path25, exclude)) continue;
+        suggestedReads.push(path25);
+        sources.push({
+          observationId: observation.id,
+          title: observation.title,
+          type: observation.type,
+          path: path25,
+          status: "unbound",
+          reason: "Recorded file hint; Code Memory refresh is pending."
+        });
+        freshness.unbound++;
+      }
+    }
   }
+  return {
+    files,
+    symbols,
+    refs,
+    freshness,
+    sources,
+    suggestedReads: compactSuggestedReads(suggestedReads, 8, exclude)
+  };
 }
-function shouldShowLensSource(source, lens, task) {
-  if (lens.id === "general") return true;
-  const score = scoreLensSource(source, lens, task);
-  if (lens.id === "onboarding" || lens.id === "release" || lens.id === "docs") return score >= 40;
-  return score > 0;
+function overviewFromGraph(input) {
+  const status = input.store.status(input.project.id);
+  return {
+    project: input.project,
+    code: {
+      provider: status.provider,
+      files: status.files,
+      symbols: status.symbols,
+      edges: status.edges,
+      refs: status.refs,
+      ...status.indexedAt ? { indexedAt: status.indexedAt } : {},
+      languages: countLanguages(input.graph.files),
+      ...status.latestSnapshot ? { latestSnapshot: status.latestSnapshot } : {}
+    },
+    memory: {
+      total: input.observations.filter((obs) => obs.projectId === input.project.id).length,
+      active: input.active.length
+    },
+    freshness: input.graph.freshness,
+    suggestedReads: input.graph.suggestedReads
+  };
 }
-var STOP_WORDS, LENSES, KEYWORDS, LENS_PRIORITY;
-var init_task_lens = __esm({
-  "src/codegraph/task-lens.ts"() {
+function buildProjectContextExplain(input) {
+  const active = activeObservations(input.observations, input.project.id);
+  const graph = collectGraph(input.store, input.project.id, active, input.exclude);
+  const overview = overviewFromGraph({
+    project: input.project,
+    store: input.store,
+    observations: input.observations,
+    active,
+    graph
+  });
+  return {
+    project: input.project,
+    sources: graph.sources.sort((a, b) => a.observationId - b.observationId || (a.path ?? "").localeCompare(b.path ?? "")),
+    overview
+  };
+}
+var init_project_context = __esm({
+  "src/codegraph/project-context.ts"() {
     "use strict";
     init_esm_shims();
-    STOP_WORDS = /* @__PURE__ */ new Set([
-      "a",
-      "an",
-      "and",
-      "as",
-      "for",
-      "in",
-      "into",
-      "of",
-      "on",
-      "onto",
-      "the",
-      "this",
-      "that",
-      "to",
-      "with",
-      "work",
-      "project",
-      "continue",
-      "\u7EE7\u7EED",
-      "\u9879\u76EE"
-    ]);
-    LENSES = {
-      bugfix: {
-        id: "bugfix",
-        description: "debug the failure with current code and the smallest repro first",
-        sourceLimit: 6,
-        cautionLimit: 4,
-        hideUnrelatedCautionDetails: true,
-        hideUnrelatedReliableDetails: false
-      },
-      feature: {
-        id: "feature",
-        description: "build a scoped feature from nearby source, types, and user flow",
-        sourceLimit: 6,
-        cautionLimit: 3,
-        hideUnrelatedCautionDetails: true,
-        hideUnrelatedReliableDetails: false
-      },
-      release: {
-        id: "release",
-        description: "prepare a release using current metadata, changelog, build, and package checks",
-        sourceLimit: 4,
-        cautionLimit: 2,
-        hideUnrelatedCautionDetails: true,
-        hideUnrelatedReliableDetails: true
-      },
-      onboarding: {
-        id: "onboarding",
-        description: "understand the project shape before trusting old implementation details",
-        sourceLimit: 4,
-        cautionLimit: 2,
-        hideUnrelatedCautionDetails: true,
-        hideUnrelatedReliableDetails: true
-      },
-      refactor: {
-        id: "refactor",
-        description: "change structure carefully by reading shared code, call sites, and tests",
-        sourceLimit: 6,
-        cautionLimit: 4,
-        hideUnrelatedCautionDetails: true,
-        hideUnrelatedReliableDetails: false
-      },
-      docs: {
-        id: "docs",
-        description: "update documentation against current code and public entry points",
-        sourceLimit: 5,
-        cautionLimit: 2,
-        hideUnrelatedCautionDetails: true,
-        hideUnrelatedReliableDetails: true
-      },
-      test: {
-        id: "test",
-        description: "work from tests, fixtures, harnesses, and the related source files",
-        sourceLimit: 6,
-        cautionLimit: 3,
-        hideUnrelatedCautionDetails: true,
-        hideUnrelatedReliableDetails: false
-      },
-      general: {
-        id: "general",
-        description: "balanced project handoff with current facts, code memory, and verification hints",
-        sourceLimit: 8,
-        cautionLimit: 5,
-        hideUnrelatedCautionDetails: false,
-        hideUnrelatedReliableDetails: false
-      }
-    };
-    KEYWORDS = {
-      bugfix: [
-        "bug",
-        "crash",
-        "debug",
-        "error",
-        "fail",
-        "failing",
-        "fix",
-        "issue",
-        "regression",
-        "repro",
-        "\u62A5\u9519",
-        "\u5D29\u6E83",
-        "\u5931\u8D25",
-        "\u4FEE\u590D",
-        "\u95EE\u9898"
-      ],
-      feature: ["add", "build", "feature", "implement", "new", "support", "\u65B0\u589E", "\u5B9E\u73B0", "\u652F\u6301", "\u529F\u80FD"],
-      release: ["bump", "changelog", "npm", "pack", "publish", "release", "version", "\u53D1\u7248", "\u53D1\u5E03", "\u7248\u672C"],
-      onboarding: ["architecture", "handoff", "onboard", "overview", "understand", "\u63A5\u624B", "\u4E86\u89E3", "\u7406\u89E3", "\u67B6\u6784"],
-      refactor: ["cleanup", "migrate", "refactor", "rename", "restructure", "\u91CD\u6784", "\u8FC1\u79FB", "\u6539\u9020"],
-      docs: ["doc", "docs", "readme", "\u6587\u6863", "\u8BF4\u660E"],
-      test: ["coverage", "fixture", "smoke", "spec", "test", "tests", "testing", "vitest", "\u6D4B\u8BD5"]
-    };
-    LENS_PRIORITY = [
-      "bugfix",
-      "release",
-      "test",
-      "refactor",
-      "feature",
-      "docs",
-      "onboarding"
-    ];
+    init_freshness2();
+    init_exclude();
   }
 });
 
@@ -16459,15 +16598,7 @@ function formatCurrentFactsLines(facts) {
   if (facts.latestChangelog) {
     lines.push(`- Latest changelog: ${facts.latestChangelog.version}${facts.latestChangelog.date ? ` (${facts.latestChangelog.date})` : ""}`);
   }
-  const gitParts = [];
-  if (facts.git.detached) {
-    gitParts.push("detached HEAD");
-  } else if (facts.git.branch) {
-    gitParts.push(`branch ${facts.git.branch}`);
-  }
-  if (facts.git.commit) gitParts.push(`commit ${facts.git.commit}`);
-  gitParts.push(facts.git.dirty ? "dirty worktree" : "clean worktree");
-  lines.push(`- Git: ${gitParts.join(", ")}`);
+  lines.push("- " + formatGitFact(facts.git));
   if (facts.git.latestCommit) lines.push(`- Latest commit: ${facts.git.latestCommit}`);
   lines.push("- Current facts above outrank progress/dev-log files when they conflict.");
   if (facts.staleNotes.length > 0) {
@@ -16489,11 +16620,7 @@ function worksetFactLines(facts) {
   if (facts.latestChangelog) {
     lines.push("Latest changelog: " + facts.latestChangelog.version + (facts.latestChangelog.date ? " (" + facts.latestChangelog.date + ")" : ""));
   }
-  const gitParts = [];
-  if (facts.git.branch) gitParts.push("branch " + facts.git.branch);
-  if (facts.git.commit) gitParts.push("commit " + facts.git.commit);
-  gitParts.push(facts.git.dirty ? "dirty worktree" : "clean worktree");
-  lines.push("Git: " + gitParts.join(", "));
+  lines.push(formatGitFact(facts.git));
   for (const note of facts.staleNotes.slice(0, 1)) {
     lines.push(
       "Historical note: " + note.path + (note.branchHint ? " (branch hint " + note.branchHint + "; " + note.reason + ")" : " (" + note.reason + ")")
@@ -18975,13 +19102,8 @@ function prepareDashboardConfig(projectRoot) {
   }
 }
 function computeProjectGraphCounts(allEntities, allRelations, projectObs) {
-  const entityNames = new Set(
-    projectObs.filter((o) => (o.status ?? "active") === "active" && o.entityName).map((o) => o.entityName)
-  );
-  const entities = allEntities.filter((e) => entityNames.has(e.name));
-  const entityNameSet = new Set(entities.map((e) => e.name));
-  const relations = allRelations.filter((r) => entityNameSet.has(r.from) && entityNameSet.has(r.to));
-  return { entities: entities.length, relations: relations.length, entityNames };
+  const scoped = scopeKnowledgeGraphToProject({ entities: allEntities, relations: allRelations }, projectObs);
+  return { entities: scoped.entities.length, relations: scoped.relations.length, entityNames: scoped.entityNames };
 }
 async function handleApi(req, res, dataDir, projectId, projectName, baseDir, projectRoot, projectResolved, mode = "standalone", port = 3210) {
   const url = new URL(req.url || "/", `http://${req.headers.host}`);
@@ -19054,13 +19176,8 @@ async function handleApi(req, res, dataDir, projectId, projectName, baseDir, pro
         const gStore = getGraphStore();
         const graph = { entities: gStore.loadEntities(), relations: gStore.loadRelations() };
         const graphObs = await getObservationStore().loadByProject(effectiveProjectId, { status: "active" });
-        const projectEntityNames = new Set(
-          graphObs.filter((o) => o.entityName).map((o) => o.entityName)
-        );
-        const entities = graph.entities.filter((e) => projectEntityNames.has(e.name));
-        const entityNameSet = new Set(entities.map((e) => e.name));
-        const relations = graph.relations.filter((r) => entityNameSet.has(r.from) && entityNameSet.has(r.to));
-        sendJson(res, { entities, relations });
+        const scoped = scopeKnowledgeGraphToProject(graph, graphObs);
+        sendJson(res, { entities: scoped.entities, relations: scoped.relations });
         break;
       }
       case "/observations": {
@@ -19252,19 +19369,13 @@ async function handleApi(req, res, dataDir, projectId, projectName, baseDir, pro
         const allObs = await getObservationStore().loadByProject(effectiveProjectId, { status: "active" });
         const skills = await getMiniSkillStore2().loadByProject(effectiveProjectId);
         const fullGraph = { entities: getGraphStore2().loadEntities(), relations: getGraphStore2().loadRelations() };
-        const graphObs = await getObservationStore().loadByProject(effectiveProjectId, { status: "active" });
-        const projectEntityNames = new Set(
-          graphObs.filter((o) => o.entityName).map((o) => o.entityName)
-        );
-        const scopedEntities = fullGraph.entities.filter((e) => projectEntityNames.has(e.name));
-        const scopedEntityNameSet = new Set(scopedEntities.map((e) => e.name));
-        const scopedRelations = fullGraph.relations.filter((r) => scopedEntityNameSet.has(r.from) && scopedEntityNameSet.has(r.to));
+        const scoped = scopeKnowledgeGraphToProject(fullGraph, allObs);
         const graph = generateKnowledgeGraph2({
           projectId: effectiveProjectId,
           observations: allObs,
           miniSkills: skills,
-          graphEntities: scopedEntities,
-          graphRelations: scopedRelations
+          graphEntities: scoped.entities,
+          graphRelations: scoped.relations
         });
         sendJson(res, graph);
         break;
@@ -19486,16 +19597,11 @@ async function handleApi(req, res, dataDir, projectId, projectName, baseDir, pro
           const fullGraph = { entities: getGraphStore().loadEntities(), relations: getGraphStore().loadRelations() };
           const observations2 = await getObservationStore().loadByProject(effectiveProjectId, { status: "active" });
           const nextId2 = await getObservationStore().loadIdCounter();
-          const exportEntityNames = new Set(
-            observations2.filter((o) => (o.status ?? "active") === "active" && o.entityName).map((o) => o.entityName)
-          );
-          const exportEntities = fullGraph.entities.filter((e) => exportEntityNames.has(e.name));
-          const exportEntitySet = new Set(exportEntities.map((e) => e.name));
-          const exportRelations = fullGraph.relations.filter((r) => exportEntitySet.has(r.from) && exportEntitySet.has(r.to));
+          const scoped = scopeKnowledgeGraphToProject(fullGraph, observations2);
           const exportData = {
             project: { id: effectiveProjectId, name: effectiveProjectName },
             exportedAt: (/* @__PURE__ */ new Date()).toISOString(),
-            graph: { entities: exportEntities, relations: exportRelations },
+            graph: { entities: scoped.entities, relations: scoped.relations },
             observations: observations2,
             nextId: nextId2
           };
@@ -19812,6 +19918,7 @@ var init_server = __esm({
     init_dotenv_loader();
     init_yaml_loader();
     init_yaml_loader();
+    init_graph_scope();
     MIME_TYPES = {
       ".html": "text/html; charset=utf-8",
       ".css": "text/css; charset=utf-8",
@@ -22528,6 +22635,24 @@ async function createAutoRelations(obs, extracted, graphManager) {
   const relationType = inferRelationType(obs);
   const relations = [];
   const selfName = obs.entityName.toLowerCase();
+  const explicitRelated = [...new Set((obs.relatedEntities ?? []).map((name) => name.trim()).filter((name) => name && name.toLowerCase() !== selfName))];
+  if (explicitRelated.length > 0) {
+    await graphManager.createEntities(explicitRelated.map((name) => ({
+      name,
+      entityType: "related",
+      observations: []
+    })));
+    for (const name of explicitRelated) {
+      const matchedEntity = graphManager.findEntityByName(name);
+      if (matchedEntity) {
+        relations.push({
+          from: obs.entityName,
+          to: matchedEntity.name,
+          relationType: "related_entity"
+        });
+      }
+    }
+  }
   const candidates = [
     ...extracted.identifiers,
     ...extracted.files.map((f) => f.split("/").pop()?.replace(/\.\w+$/, "") ?? ""),
@@ -22569,6 +22694,7 @@ async function createAutoRelations(obs, extracted, graphManager) {
 
 // src/server.ts
 init_entity_extractor();
+init_graph_scope();
 
 // src/compact/engine.ts
 init_esm_shims();
@@ -26254,7 +26380,7 @@ The path should point to a directory containing a .git folder.`
   };
   const server = existingServer ?? new McpServer({
     name: "memorix",
-    version: true ? "1.2.0" : "1.0.1"
+    version: true ? "1.2.1" : "1.0.1"
   });
   const originalRegisterTool = server.registerTool.bind(server);
   server.registerTool = ((name, ...args) => {
@@ -26986,7 +27112,7 @@ _Search mode: ${getLastSearchMode2(project.id)}_`;
         { getResolvedConfig: getResolvedConfig2 },
         { getExternalCodeGraphContext: getExternalCodeGraphContext2 },
         { getObservationStore: getObservationStore2 },
-        { collectCurrentProjectFacts: collectCurrentProjectFacts2 },
+        { collectCurrentProjectFacts: collectCurrentProjectFacts2, formatGitFact: formatGitFact2 },
         { resolveTaskLens: resolveTaskLens2 }
       ] = await Promise.all([
         Promise.resolve().then(() => (init_store(), store_exports)),
@@ -27027,7 +27153,7 @@ _Search mode: ${getLastSearchMode2(project.id)}_`;
       if (currentFacts.latestChangelog) {
         worksetFacts.push("Latest changelog: " + currentFacts.latestChangelog.version + (currentFacts.latestChangelog.date ? " (" + currentFacts.latestChangelog.date + ")" : ""));
       }
-      worksetFacts.push("Git: " + (currentFacts.git.branch ? "branch " + currentFacts.git.branch + ", " : "") + (currentFacts.git.dirty ? "dirty worktree" : "clean worktree"));
+      worksetFacts.push(formatGitFact2(currentFacts.git));
       const codeState = snapshot ? "- Code state: " + (snapshot.baseRevision ? snapshot.baseRevision.slice(0, 12) : "Git unavailable") + ", " + snapshot.worktreeState + " worktree, epoch " + snapshot.sourceEpoch : "- Code state: no completed snapshot yet";
       const pack = await attachTaskWorkset2({
         pack: basePack,
@@ -27059,11 +27185,13 @@ _Search mode: ${getLastSearchMode2(project.id)}_`;
     "memorix_knowledge",
     {
       title: "Knowledge Workspace",
-      description: "Manage the reviewable project Knowledge Workspace. Use it only for deliberate knowledge operations: initialize a local or versioned workspace, inspect status, compile source-backed proposals, lint, apply a reviewed proposal, or manage canonical workflows. It is intentionally absent from the default micro/lite profiles.",
+      description: "Manage the reviewable project Knowledge Workspace. Use it only for deliberate knowledge operations: initialize a local or versioned workspace, review source-backed claims, compile proposals, lint, apply a reviewed proposal, or manage canonical workflows. It is intentionally absent from the default micro/lite profiles.",
       inputSchema: {
         action: z2.enum([
           "workspace_init",
           "status",
+          "claim_list",
+          "claim_review",
           "compile",
           "lint",
           "proposal_apply",
@@ -27078,6 +27206,9 @@ _Search mode: ${getLastSearchMode2(project.id)}_`;
         path: z2.string().optional().describe("Explicit versioned workspace path, used only by workspace_init"),
         proposalId: z2.string().optional().describe("Pending proposal id for proposal_apply"),
         allowManualOverwrite: z2.boolean().optional().default(false).describe("Explicitly allow proposal_apply to replace a manually edited page"),
+        claimId: z2.string().optional().describe("Source-backed claim id for claim_review"),
+        claimReviewState: z2.enum(["approved", "rejected"]).optional().describe("Deliberate review verdict for claim_review"),
+        reviewDetail: z2.string().max(2e3).optional().describe("Evidence check performed before approving or rejecting a claim"),
         workflowId: z2.string().optional().describe("Canonical workflow id for workflow preview, apply, or run"),
         agent: z2.string().optional().describe("Target agent for a workflow adapter"),
         task: z2.string().optional().describe("Task text for workflow selection or a workflow run"),
@@ -27094,6 +27225,9 @@ _Search mode: ${getLastSearchMode2(project.id)}_`;
       path: workspacePath,
       proposalId,
       allowManualOverwrite,
+      claimId,
+      claimReviewState,
+      reviewDetail,
       workflowId,
       agent,
       task,
@@ -27116,6 +27250,7 @@ _Search mode: ${getLastSearchMode2(project.id)}_`;
       };
       const [
         { ClaimStore: ClaimStore2 },
+        { reviewClaim: reviewClaim2 },
         { CodeGraphStore: CodeGraphStore2 },
         { initializeKnowledgeWorkspace: initializeKnowledgeWorkspace2, loadKnowledgeWorkspace: loadKnowledgeWorkspace2 },
         { KnowledgeWorkspaceStore: KnowledgeWorkspaceStore2 },
@@ -27131,6 +27266,7 @@ _Search mode: ${getLastSearchMode2(project.id)}_`;
         }
       ] = await Promise.all([
         Promise.resolve().then(() => (init_claim_store(), claim_store_exports)),
+        Promise.resolve().then(() => (init_claims(), claims_exports)),
         Promise.resolve().then(() => (init_store(), store_exports)),
         Promise.resolve().then(() => (init_workspace(), workspace_exports)),
         Promise.resolve().then(() => (init_workspace_store(), workspace_store_exports)),
@@ -27180,10 +27316,52 @@ _Search mode: ${getLastSearchMode2(project.id)}_`;
               targetPath: proposal.targetPath,
               reason: proposal.reason,
               createdAt: proposal.createdAt
-            }))
+            })),
+            reviewableClaims: claims.listClaims(project.id, { limit: 100 }).filter((claim) => claim.reviewState === "needs-review").map((claim) => ({ id: claim.id, subject: claim.subject, predicate: claim.predicate, objectValue: claim.objectValue }))
           }
         });
       }
+      if (action === "claim_list") {
+        return text({
+          claims: claims.listClaims(project.id, { limit: 100 }).map((claim) => ({
+            id: claim.id,
+            subject: claim.subject,
+            predicate: claim.predicate,
+            objectValue: claim.objectValue,
+            status: claim.status,
+            reviewState: claim.reviewState,
+            origin: claim.origin,
+            confidence: claim.confidence,
+            evidenceCount: claims.listEvidence(claim.id).length
+          })),
+          next: "Approve only after checking the linked evidence. Rejected claims stay out of retrieval and publication."
+        });
+      }
+      if (action === "claim_review") {
+        const requestedClaimId = requireText(claimId, "claimId");
+        const detail = requireText(reviewDetail, "reviewDetail");
+        if (!requestedClaimId || !claimReviewState || !detail) {
+          return text({ error: "claimId, claimReviewState, and reviewDetail are required for claim_review." }, true);
+        }
+        const existing = claims.getClaim(requestedClaimId);
+        if (!existing || existing.projectId !== project.id) {
+          return text({ error: "Claim was not found for the current project." }, true);
+        }
+        const claim = reviewClaim2(claims, {
+          claimId: requestedClaimId,
+          reviewState: claimReviewState,
+          detail
+        });
+        return text({
+          claim: {
+            id: claim.id,
+            status: claim.status,
+            reviewState: claim.reviewState,
+            updatedAt: claim.updatedAt
+          },
+          next: claim.reviewState === "approved" ? "This approved source-backed claim can now be considered by knowledge compilation." : "This rejected claim is excluded from retrieval and knowledge compilation."
+        });
+      }
       if (action === "compile") {
         const result = await compileKnowledgeWorkspace2({ workspace, claims });
         return text({
@@ -27222,7 +27400,13 @@ _Search mode: ${getLastSearchMode2(project.id)}_`;
       if (action === "workflow_import") {
         const result = await importWindsurfWorkflows2({ workspace, projectRoot });
         return text({
-          imported: result.imported.map((workflow2) => ({ id: workflow2.id, title: workflow2.title, sourcePath: workflow2.sourcePath })),
+          imported: result.imported.map((workflow2) => ({
+            id: workflow2.id,
+            title: workflow2.title,
+            sourcePath: workflow2.sourcePath,
+            importedFrom: workflow2.importedFrom,
+            verificationGates: workflow2.verificationGates
+          })),
           skipped: result.skipped
         });
       }
@@ -27234,7 +27418,9 @@ _Search mode: ${getLastSearchMode2(project.id)}_`;
             title: workflow2.title,
             status: workflow2.status,
             taskLenses: workflow2.taskLenses,
-            sourcePath: workflow2.sourcePath
+            sourcePath: workflow2.sourcePath,
+            importedFrom: workflow2.importedFrom,
+            verificationGates: workflow2.verificationGates
           })),
           parseErrors: synced.errors
         });
@@ -28063,13 +28249,11 @@ Archived memories are hidden from default search but can be found with status: "
     async function scopeGraphToProject(graph) {
       const { getAllObservations: getAllObservations2 } = await Promise.resolve().then(() => (init_observations(), observations_exports));
       const allObs = await withFreshIndex(() => getAllObservations2());
-      const projectEntityNames = new Set(
-        allObs.filter((o) => o.projectId === project.id && (o.status ?? "active") === "active" && o.entityName).map((o) => o.entityName)
+      const scoped = scopeKnowledgeGraphToProject(
+        graph,
+        allObs.filter((observation) => observation.projectId === project.id)
       );
-      const entities = graph.entities.filter((e) => projectEntityNames.has(e.name));
-      const entityNameSet = new Set(entities.map((e) => e.name));
-      const relations = graph.relations.filter((r) => entityNameSet.has(r.from) && entityNameSet.has(r.to));
-      return { entities, relations };
+      return { entities: scoped.entities, relations: scoped.relations };
     }
     server.registerTool(
       "read_graph",