@ctxo/cli 0.14.0 → 0.15.0

package/dist/{mcp-server-6YG2QE6E.js → mcp-server-IYCCE74E.js}

@@ -11,19 +11,21 @@ import {
   RevertDetector,
   SessionRecorderAdapter,
   SqliteStorageAdapter,
-  SymbolTokenizer,
   detectWorkspace,
   findCoChangedFilesForBlastRadius
-} from "./chunk-ZL36YS2V.js";
+} from "./chunk-A4URKKPP.js";
 import {
   loadModulesFor
-} from "./chunk-SRQZDGFZ.js";
+} from "./chunk-BBSJB4CG.js";
 import {
   LogicSliceQuery,
+  SearchEngine,
   applyEnricher,
+  applyEnricherAsync,
   buildGraphFromIndices,
   buildGraphFromStorage,
   collectEnrichers,
+  collectTaskContextReservation,
   describeError,
   filterByIntent,
   getGraphAndFiles,
@@ -32,14 +34,14 @@ import {
   setWorkspaceMeta,
   withoutAnnotations,
   wrapResponse
-} from "./chunk-L2CAUER6.js";
+} from "./chunk-IT426P3F.js";
 import {
   SimpleGitAdapter,
   loadConfig,
   makeGlobMatcher,
   maskingClusterLabelPatterns,
   statsEnabled
-} from "./chunk-7HSA5JVP.js";
+} from "./chunk-I7RPXT6L.js";
 import {
   compareCodepoint
 } from "./chunk-72CEQEQD.js";
@@ -48,7 +50,7 @@ import {
   JsonIndexReader,
   SYMBOL_KINDS,
   SymbolKindSchema
-} from "./chunk-X4TVFJ4C.js";
+} from "./chunk-EC6INGPV.js";
 import "./chunk-RFEXMBTG.js";
 import {
   createLogger
@@ -130,7 +132,7 @@ async function startHttpTransport(serverFactory, port) {
 }
 
 // src/mcp-server.ts
-import { z as z14 } from "zod";
+import { z as z15 } from "zod";
 import { existsSync, readFileSync } from "fs";
 import { join, dirname } from "path";
 import { fileURLToPath } from "url";
@@ -299,7 +301,7 @@ function handleGetWhyContext(storage, git, masking, staleness, ctxoRoot = ".ctxo
       }
       const stalenessMeta = await buildSnapshotStaleness(storage, git);
       const extras = stalenessMeta ? { snapshotStaleness: stalenessMeta } : void 0;
-      const enriched = applyEnricher(enrich, responsePayload, parsed.data, "get_why_context");
+      const enriched = await applyEnricherAsync(enrich, responsePayload, parsed.data, "get_why_context");
       const payload = masking.mask(JSON.stringify(wrapResponse(enriched, extras)));
       const content = [];
       if (staleness) {
@@ -489,7 +491,7 @@ function handleGetBlastRadius(storage, masking, staleness, ctxoRoot = ".ctxo", g
       if (coChangedFiles.length > 0) body.coChangedFiles = coChangedFiles;
       const stalenessMeta = git ? await buildSnapshotStaleness(storage, git) : void 0;
       const extras = stalenessMeta ? { snapshotStaleness: stalenessMeta } : void 0;
-      const enriched = applyEnricher(enrich, body, parsed.data, "get_blast_radius");
+      const enriched = await applyEnricherAsync(enrich, body, parsed.data, "get_blast_radius");
       const payload = masking.mask(JSON.stringify(wrapResponse(enriched, extras)));
       const content = [];
       if (staleness) {
@@ -995,13 +997,30 @@ function synthesizeNodeFromId(symbolId) {
 }
 
 // src/adapters/mcp/get-context-for-task.ts
+var log2 = createLogger("ctxo:modules");
 var TaskTypeSchema = z6.enum(["fix", "extend", "refactor", "understand"]);
 var InputSchema6 = z6.object({
   symbolId: z6.string().min(1),
   taskType: TaskTypeSchema,
   tokenBudget: z6.number().min(100).optional().default(4e3)
 });
-function handleGetContextForTask(storage, masking, staleness, ctxoRoot = ".ctxo", coChange) {
+var MAX_RESERVED_SHARE = 0.25;
+function reservedTokens(reserve, args, tokenBudget) {
+  if (reserve === void 0) return 0;
+  let value;
+  try {
+    value = reserve(args);
+  } catch (err) {
+    log2.warn(`The get_context_for_task token reservation failed: ${describeError(err)}; nothing is reserved`);
+    return 0;
+  }
+  if (typeof value !== "number" || !Number.isFinite(value)) {
+    log2.warn("The get_context_for_task token reservation is not a finite number; nothing is reserved");
+    return 0;
+  }
+  return Math.min(Math.max(Math.round(value), 0), Math.floor(tokenBudget * MAX_RESERVED_SHARE));
+}
+function handleGetContextForTask(storage, masking, staleness, ctxoRoot = ".ctxo", coChange, enrich, reserve) {
   const assembler = new ContextAssembler();
   const indexReader = new JsonIndexReader(ctxoRoot);
   const getGraph = () => getGraphAndFiles(ctxoRoot, storage);
@@ -1016,13 +1035,23 @@ function handleGetContextForTask(storage, masking, staleness, ctxoRoot = ".ctxo"
       const { symbolId, taskType, tokenBudget } = parsed.data;
       const { graph, indexedFiles } = getGraph();
       const indices = indexReader.readAll();
-      const result = assembler.assembleForTask(graph, symbolId, taskType, indices, tokenBudget, coChange?.readCoChangeMap());
+      const reserved = reservedTokens(reserve, parsed.data, tokenBudget);
+      const result = assembler.assembleForTask(
+        graph,
+        symbolId,
+        taskType,
+        indices,
+        tokenBudget - reserved,
+        coChange?.readCoChangeMap()
+      );
       if (!result) {
         return {
           content: [{ type: "text", text: JSON.stringify({ found: false, hint: 'Symbol not found. Run "ctxo index".' }) }]
         };
       }
-      const payload = masking.mask(JSON.stringify(wrapResponse(result)));
+      const body = { ...result, tokenBudget };
+      const enriched = applyEnricher(enrich, body, parsed.data, "get_context_for_task");
+      const payload = masking.mask(JSON.stringify(wrapResponse(enriched)));
       const content = [];
       if (staleness) {
         const warning = staleness.check(indexedFiles);
@@ -1040,385 +1069,6 @@ function handleGetContextForTask(storage, masking, staleness, ctxoRoot = ".ctxo"
 
 // src/adapters/mcp/get-ranked-context.ts
 import { z as z7 } from "zod";
-
-// src/core/search/fuzzy-corrector.ts
-var FuzzyCorrector = class {
-  /** term → frequency (for tie-breaking) */
-  vocabulary = /* @__PURE__ */ new Map();
-  buildVocabulary(termFrequencies) {
-    this.vocabulary = new Map(termFrequencies);
-  }
-  /**
-   * Attempt to correct query tokens.
-   * Returns null if no correction found or no improvement possible.
-   */
-  correct(queryTokens) {
-    if (this.vocabulary.size === 0) return null;
-    const corrections = [];
-    const correctedTokens = [];
-    let anyChanged = false;
-    for (const token of queryTokens) {
-      if (token.length <= 2) {
-        correctedTokens.push(token);
-        continue;
-      }
-      if (this.vocabulary.has(token)) {
-        correctedTokens.push(token);
-        continue;
-      }
-      const maxDist = token.length <= 5 ? 1 : 2;
-      const best = this.findClosest(token, maxDist);
-      if (best) {
-        corrections.push({
-          original: token,
-          corrected: best.term,
-          distance: best.distance
-        });
-        correctedTokens.push(best.term);
-        anyChanged = true;
-      } else {
-        correctedTokens.push(token);
-      }
-    }
-    if (!anyChanged) return null;
-    return {
-      originalQuery: queryTokens.join(" "),
-      correctedQuery: correctedTokens.join(" "),
-      corrections
-    };
-  }
-  /**
-   * Find the closest vocabulary term within maxDistance.
-   * Tie-breaks by frequency (higher = preferred).
-   */
-  findClosest(token, maxDistance) {
-    let bestTerm = null;
-    let bestDist = maxDistance + 1;
-    let bestFreq = -1;
-    for (const [vocabTerm, freq] of this.vocabulary) {
-      if (Math.abs(vocabTerm.length - token.length) > maxDistance) continue;
-      const dist = damerauLevenshtein(token, vocabTerm);
-      if (dist <= maxDistance) {
-        if (dist < bestDist || dist === bestDist && freq > bestFreq) {
-          bestTerm = vocabTerm;
-          bestDist = dist;
-          bestFreq = freq;
-        }
-      }
-    }
-    return bestTerm !== null ? { term: bestTerm, distance: bestDist } : null;
-  }
-};
-function damerauLevenshtein(a, b) {
-  const lenA = a.length;
-  const lenB = b.length;
-  if (lenA === 0) return lenB;
-  if (lenB === 0) return lenA;
-  const d = Array.from({ length: lenA + 1 }, () => new Array(lenB + 1).fill(0));
-  for (let i = 0; i <= lenA; i++) d[i][0] = i;
-  for (let j = 0; j <= lenB; j++) d[0][j] = j;
-  for (let i = 1; i <= lenA; i++) {
-    for (let j = 1; j <= lenB; j++) {
-      const cost = a[i - 1] === b[j - 1] ? 0 : 1;
-      d[i][j] = Math.min(
-        d[i - 1][j] + 1,
-        // deletion
-        d[i][j - 1] + 1,
-        // insertion
-        d[i - 1][j - 1] + cost
-        // substitution
-      );
-      if (i > 1 && j > 1 && a[i - 1] === b[j - 2] && a[i - 2] === b[j - 1]) {
-        d[i][j] = Math.min(d[i][j], d[i - 2][j - 2] + cost);
-      }
-    }
-  }
-  return d[lenA][lenB];
-}
-
-// src/core/search/search-engine.ts
-var log2 = createLogger("ctxo:search");
-var DEFAULT_CONFIG = {
-  bm25: { k1: 1.2, b: 0.25 },
-  pageRankWeight: 0.5,
-  trigramPenalty: 0.8,
-  phase2Threshold: 3,
-  fuzzyThreshold: 3,
-  maxPerPhase: 50
-};
-var SearchEngine = class {
-  config;
-  tokenizer;
-  fuzzy;
-  // Primary index (exact + tokenized)
-  documents = [];
-  primaryIndex = /* @__PURE__ */ new Map();
-  avgDocLength = 0;
-  // Trigram index (character 3-grams)
-  trigramIndex = /* @__PURE__ */ new Map();
-  // PageRank scores
-  pageRankScores = /* @__PURE__ */ new Map();
-  constructor(config) {
-    this.config = { ...DEFAULT_CONFIG, ...config };
-    this.tokenizer = new SymbolTokenizer({ includeOriginal: true, includeFilePath: true });
-    this.fuzzy = new FuzzyCorrector();
-  }
-  getTier() {
-    return "in-memory";
-  }
-  buildIndex(symbols, pageRankScores) {
-    const start = performance.now();
-    this.documents = [];
-    this.primaryIndex = /* @__PURE__ */ new Map();
-    this.trigramIndex = /* @__PURE__ */ new Map();
-    this.pageRankScores = pageRankScores ?? /* @__PURE__ */ new Map();
-    let totalLength = 0;
-    const vocabFreq = /* @__PURE__ */ new Map();
-    for (const sym of symbols) {
-      const filePath = sym.symbolId.split("::")[0] ?? "";
-      const tokens = this.tokenizer.tokenize(sym.name, filePath);
-      const doc = {
-        symbolId: sym.symbolId,
-        name: sym.name,
-        kind: sym.kind,
-        filePath,
-        tokens,
-        length: tokens.length
-      };
-      const docIndex = this.documents.length;
-      this.documents.push(doc);
-      totalLength += tokens.length;
-      const termFreqs = /* @__PURE__ */ new Map();
-      for (const token of tokens) {
-        termFreqs.set(token, (termFreqs.get(token) ?? 0) + 1);
-        vocabFreq.set(token, (vocabFreq.get(token) ?? 0) + 1);
-      }
-      for (const [term, tf] of termFreqs) {
-        let postings = this.primaryIndex.get(term);
-        if (!postings) {
-          postings = [];
-          this.primaryIndex.set(term, postings);
-        }
-        postings.push({ docIndex, termFrequency: tf });
-      }
-      const nameLower = sym.name.toLowerCase();
-      const trigrams = this.extractTrigrams(nameLower);
-      const trigramFreqs = /* @__PURE__ */ new Map();
-      for (const tri of trigrams) {
-        trigramFreqs.set(tri, (trigramFreqs.get(tri) ?? 0) + 1);
-      }
-      for (const [tri, tf] of trigramFreqs) {
-        let postings = this.trigramIndex.get(tri);
-        if (!postings) {
-          postings = [];
-          this.trigramIndex.set(tri, postings);
-        }
-        postings.push({ docIndex, termFrequency: tf });
-      }
-    }
-    this.avgDocLength = this.documents.length > 0 ? totalLength / this.documents.length : 1;
-    this.fuzzy.buildVocabulary(vocabFreq);
-    const elapsed = performance.now() - start;
-    log2.info(`Index built: ${symbols.length} symbols, ${this.primaryIndex.size} terms, ${this.trigramIndex.size} trigrams (${elapsed.toFixed(0)}ms)`);
-  }
-  search(query, limit = 50) {
-    const start = performance.now();
-    const queryTokens = this.tokenizer.tokenizeQuery(query);
-    if (queryTokens.length === 0) {
-      return this.emptyResponse(query, start);
-    }
-    const metrics = {
-      porterHits: 0,
-      trigramHits: 0,
-      phase2Activated: false,
-      fuzzyApplied: false,
-      latencyMs: 0
-    };
-    const phase1Scores = this.bm25Search(queryTokens, this.primaryIndex);
-    metrics.porterHits = phase1Scores.size;
-    let allScores = phase1Scores;
-    if (phase1Scores.size < this.config.phase2Threshold) {
-      metrics.phase2Activated = true;
-      const queryLower = query.toLowerCase();
-      if (queryLower.length >= 3) {
-        const queryTrigrams = this.extractTrigrams(queryLower);
-        const phase2Scores = this.bm25Search(queryTrigrams, this.trigramIndex);
-        metrics.trigramHits = phase2Scores.size;
-        allScores = this.mergeScores(phase1Scores, phase2Scores, this.config.trigramPenalty);
-      }
-    }
-    let fuzzyCorrection;
-    if (allScores.size < this.config.fuzzyThreshold) {
-      const correction = this.fuzzy.correct(queryTokens);
-      if (correction) {
-        metrics.fuzzyApplied = true;
-        fuzzyCorrection = correction;
-        const correctedTokens = this.tokenizer.tokenizeQuery(correction.correctedQuery);
-        const fuzzyScores = this.bm25Search(correctedTokens, this.primaryIndex);
-        allScores = this.mergeScores(allScores, fuzzyScores, 0.9);
-        if (allScores.size < this.config.fuzzyThreshold && correction.correctedQuery.length >= 3) {
-          const correctedTrigrams = this.extractTrigrams(correction.correctedQuery.toLowerCase());
-          const fuzzyTrigramScores = this.bm25Search(correctedTrigrams, this.trigramIndex);
-          allScores = this.mergeScores(allScores, fuzzyTrigramScores, this.config.trigramPenalty * 0.9);
-        }
-      }
-    }
-    const rawRelevance = new Map(allScores);
-    const effectiveQueryTerms = fuzzyCorrection ? this.tokenizer.tokenizeQuery(fuzzyCorrection.correctedQuery) : queryTokens;
-    if (effectiveQueryTerms.length >= 2) {
-      for (const [docIdx, score] of allScores) {
-        const doc = this.documents[docIdx];
-        const boost = this.bigramBoost(effectiveQueryTerms, doc.tokens);
-        allScores.set(docIdx, score * boost);
-      }
-    }
-    for (const [docIdx, score] of allScores) {
-      const doc = this.documents[docIdx];
-      const pr = this.pageRankScores.get(doc.symbolId) ?? 0;
-      allScores.set(docIdx, score * (1 + this.config.pageRankWeight * pr));
-    }
-    metrics.latencyMs = performance.now() - start;
-    const results = this.buildResults(allScores, rawRelevance, limit);
-    const phaseInfo = metrics.phase2Activated ? "phase2=yes" : "phase2=no";
-    if (fuzzyCorrection) {
-      log2.info(`search "${query}" \u2192 fuzzy "${fuzzyCorrection.correctedQuery}": ${results.length} results (${metrics.latencyMs.toFixed(0)}ms)`);
-    } else {
-      log2.info(`search "${query}": ${results.length} results, porter=${metrics.porterHits} trigram=${metrics.trigramHits} ${phaseInfo} (${metrics.latencyMs.toFixed(0)}ms)`);
-    }
-    return { query, results, metrics, ...fuzzyCorrection ? { fuzzyCorrection } : {} };
-  }
-  updateFile(filePath, symbols) {
-    const oldIndices = /* @__PURE__ */ new Set();
-    for (let i = 0; i < this.documents.length; i++) {
-      if (this.documents[i].filePath === filePath) {
-        oldIndices.add(i);
-      }
-    }
-    if (oldIndices.size === 0 && symbols.length === 0) return;
-    const allSymbols = [];
-    for (let i = 0; i < this.documents.length; i++) {
-      if (!oldIndices.has(i)) {
-        const doc = this.documents[i];
-        allSymbols.push({
-          symbolId: doc.symbolId,
-          name: doc.name,
-          kind: doc.kind,
-          startLine: 0,
-          endLine: 0
-        });
-      }
-    }
-    allSymbols.push(...symbols);
-    this.buildIndex(allSymbols, this.pageRankScores);
-  }
-  /**
-   * BM25 scoring over an inverted index.
-   * Returns Map<docIndex, score>
-   */
-  bm25Search(queryTerms, index) {
-    const scores = /* @__PURE__ */ new Map();
-    const N = this.documents.length;
-    const { k1, b } = this.config.bm25;
-    for (const term of queryTerms) {
-      const postings = index.get(term);
-      if (!postings) continue;
-      const df = postings.length;
-      const idf = Math.log((N - df + 0.5) / (df + 0.5) + 1);
-      for (const { docIndex, termFrequency } of postings) {
-        const doc = this.documents[docIndex];
-        const tf = termFrequency;
-        const docLen = doc.length;
-        const numerator = tf * (k1 + 1);
-        const denominator = tf + k1 * (1 - b + b * (docLen / this.avgDocLength));
-        const termScore = idf * (numerator / denominator);
-        scores.set(docIndex, (scores.get(docIndex) ?? 0) + termScore);
-      }
-    }
-    const queryJoined = queryTerms.join("");
-    for (const [docIdx, score] of scores) {
-      const doc = this.documents[docIdx];
-      const nameLower = doc.name.toLowerCase();
-      if (nameLower === queryJoined || nameLower === queryTerms.join(" ")) {
-        scores.set(docIdx, score * 5);
-      }
-    }
-    return scores;
-  }
-  /**
-   * Merge two score maps. Phase 2 scores are penalized.
-   */
-  mergeScores(primary, secondary, penalty) {
-    const merged = new Map(primary);
-    for (const [docIdx, score] of secondary) {
-      const existing = merged.get(docIdx);
-      const penalized = score * penalty;
-      if (existing !== void 0) {
-        merged.set(docIdx, Math.max(existing, penalized));
-      } else {
-        merged.set(docIdx, penalized);
-      }
-    }
-    return merged;
-  }
-  /**
-   * Bigram boost for multi-word queries.
-   * Each adjacent query term pair found adjacent in symbol tokens → 2x boost.
-   */
-  bigramBoost(queryTerms, symbolTokens) {
-    if (queryTerms.length < 2) return 1;
-    let adjacentPairs = 0;
-    for (let i = 0; i < queryTerms.length - 1; i++) {
-      const idxA = symbolTokens.findIndex((t) => t.includes(queryTerms[i]));
-      const idxB = symbolTokens.findIndex((t) => t.includes(queryTerms[i + 1]));
-      if (idxA >= 0 && idxB >= 0 && Math.abs(idxA - idxB) === 1) {
-        adjacentPairs++;
-      }
-    }
-    return 1 + adjacentPairs * 2;
-  }
-  /**
-   * Extract character trigrams from a string.
-   * "sqlite" → ["sql", "qli", "lit", "ite"]
-   */
-  extractTrigrams(text) {
-    const trigrams = [];
-    for (let i = 0; i <= text.length - 3; i++) {
-      trigrams.push(text.substring(i, i + 3));
-    }
-    return trigrams;
-  }
-  buildResults(combinedScores, rawRelevance, limit) {
-    const entries = [...combinedScores.entries()].sort((a, b) => b[1] - a[1]).slice(0, limit);
-    return entries.map(([docIdx, combined]) => {
-      const doc = this.documents[docIdx];
-      const pr = this.pageRankScores.get(doc.symbolId) ?? 0;
-      return {
-        symbolId: doc.symbolId,
-        name: doc.name,
-        kind: doc.kind,
-        filePath: doc.filePath,
-        relevanceScore: rawRelevance.get(docIdx) ?? 0,
-        importanceScore: pr,
-        combinedScore: combined
-      };
-    });
-  }
-  emptyResponse(query, start) {
-    return {
-      query,
-      results: [],
-      metrics: {
-        porterHits: 0,
-        trigramHits: 0,
-        phase2Activated: false,
-        fuzzyApplied: false,
-        latencyMs: performance.now() - start
-      }
-    };
-  }
-};
-
-// src/adapters/mcp/get-ranked-context.ts
 var log3 = createLogger("ctxo:search");
 var InputSchema7 = z7.object({
   query: z7.string().min(1),
@@ -2024,8 +1674,10 @@ function handleGetPrImpact(storage, git, masking, staleness, ctxoRoot = ".ctxo",
       const { since, maxFiles, confidence: confFilter } = parsed.data;
       const changedPaths = await git.getChangedFiles(since);
       if (changedPaths.length === 0) {
+        const empty = { since, changedFiles: 0, changedSymbols: 0, totalImpact: 0, riskLevel: "low", files: [], summary: { confirmedTotal: 0, likelyTotal: 0, potentialTotal: 0, highRiskSymbols: [] } };
+        const enrichedEmpty = await applyEnricherAsync(enrich, empty, parsed.data, "get_pr_impact");
         return {
-          content: [{ type: "text", text: JSON.stringify({ since, changedFiles: 0, changedSymbols: 0, totalImpact: 0, riskLevel: "low", files: [], summary: { confirmedTotal: 0, likelyTotal: 0, potentialTotal: 0, highRiskSymbols: [] } }) }]
+          content: [{ type: "text", text: masking.mask(JSON.stringify(wrapResponse(enrichedEmpty))) }]
         };
       }
       const { graph, indexedFiles } = getGraph();
@@ -2145,7 +1797,7 @@ function handleGetPrImpact(storage, git, masking, staleness, ctxoRoot = ".ctxo",
       if (clustersAffected && clustersAffected.length > 0) body.clustersAffected = clustersAffected;
       const stalenessMeta = await buildSnapshotStaleness(storage, git);
       const extras = stalenessMeta ? { snapshotStaleness: stalenessMeta } : void 0;
-      const enriched = applyEnricher(enrich, body, parsed.data, "get_pr_impact");
+      const enriched = await applyEnricherAsync(enrich, body, parsed.data, "get_pr_impact");
       const payload = masking.mask(JSON.stringify(wrapResponse(enriched, extras)));
       const content = [];
       if (staleness) {
@@ -2282,6 +1934,80 @@ function handleModuleTool(tool, masking, staleness, indexedFiles) {
   };
 }
 
+// src/adapters/mcp/ranked-scope-handler.ts
+import { z as z14 } from "zod";
+var log5 = createLogger("ctxo:modules");
+var CODE_SCOPE = "code";
+var ScopeInputSchema = z14.object({
+  query: z14.string().min(1),
+  tokenBudget: z14.number().min(100).optional().default(4e3)
+});
+function collectRankedScopes(modules) {
+  const scopes = /* @__PURE__ */ new Map();
+  for (const module of modules) {
+    let list;
+    try {
+      list = module.registration.rankedContextScopes;
+    } catch (err) {
+      log5.warn(`${module.name} ranked-context scopes could not be read: ${describeError(err)}`);
+      continue;
+    }
+    if (list === void 0) continue;
+    if (!Array.isArray(list)) {
+      log5.warn(`${module.name} rankedContextScopes is not a list; it was ignored`);
+      continue;
+    }
+    for (const entry of list) {
+      const candidate = entry;
+      const name = candidate?.scope;
+      if (typeof name !== "string" || name.length === 0 || typeof candidate?.description !== "string" || typeof candidate.search !== "function") {
+        log5.warn(`${module.name} registered a ranked-context scope without a name, a description or a search; it was ignored`);
+      } else if (name === CODE_SCOPE) {
+        log5.warn(`${module.name} scope "${name}" is skipped: reserved`);
+      } else if (scopes.has(name)) {
+        log5.warn(`${module.name} scope "${name}" is skipped: already registered`);
+      } else {
+        scopes.set(name, candidate);
+      }
+    }
+  }
+  return scopes;
+}
+function rankedScopeNames(scopes) {
+  return [...scopes.keys()].sort(compareCodepoint);
+}
+function rankedScopeDescription(scopes) {
+  return ['Where to search. "code" (default): rank symbols.', ...rankedScopeNames(scopes).map((name) => scopes.get(name).description)].join(" ");
+}
+function errorResult(message, masking) {
+  return { content: [{ type: "text", text: masking.mask(JSON.stringify({ error: true, message })) }] };
+}
+function withRankedScopes(code, scopes, masking) {
+  if (scopes.size === 0) return code;
+  const names = rankedScopeNames(scopes);
+  return (args) => {
+    const requested = args["scope"];
+    if (requested === void 0 || requested === CODE_SCOPE) return code(args);
+    const scope = typeof requested === "string" ? scopes.get(requested) : void 0;
+    if (scope === void 0) {
+      return errorResult(`Unknown scope "${String(requested)}"; use one of: ${[CODE_SCOPE, ...names].join(", ")}`, masking);
+    }
+    const parsed = ScopeInputSchema.safeParse(args);
+    if (!parsed.success) return errorResult(parsed.error.message, masking);
+    return (async () => {
+      try {
+        const result = await scope.search({ query: parsed.data.query, tokenBudget: parsed.data.tokenBudget });
+        if (result === null || typeof result !== "object" || Array.isArray(result)) {
+          throw new Error(`Scope ${scope.scope} returned no payload object`);
+        }
+        return { content: [{ type: "text", text: masking.mask(JSON.stringify(wrapResponse(result))) }] };
+      } catch (err) {
+        return errorResult(describeError(err), masking);
+      }
+    })();
+  };
+}
+
 // src/core/overlay/cluster-label-masker.ts
 var ClusterLabelMasker = class {
   matcher;
@@ -2317,17 +2043,17 @@ var ClusterLabelMasker = class {
 };
 
 // src/mcp-server.ts
-var log5 = createLogger("ctxo:mcp");
+var log6 = createLogger("ctxo:mcp");
 function loadMaskingConfig(ctxoRoot) {
   const jsonConfigPath = join(ctxoRoot, "masking.json");
   if (existsSync(jsonConfigPath)) {
     try {
       const raw = readFileSync(jsonConfigPath, "utf-8");
       const patterns = JSON.parse(raw);
-      log5.info(`Loaded ${patterns.length} custom masking pattern(s)`);
+      log6.info(`Loaded ${patterns.length} custom masking pattern(s)`);
       return MaskingPipeline.fromConfig(patterns);
     } catch (err) {
-      log5.error(`Failed to load masking config: ${err.message}`);
+      log6.error(`Failed to load masking config: ${err.message}`);
     }
   }
   return new MaskingPipeline();
@@ -2376,6 +2102,8 @@ async function startMcpServer(options = {}) {
 }
 function registerTools(server, storage, masking, git, staleness, recorder, ctxoRoot = ".ctxo", clusterLabelMasker, coChange, modules = []) {
   const enrichers = collectEnrichers(modules);
+  const taskContextReservation = collectTaskContextReservation(modules);
+  const rankedScopes = collectRankedScopes(modules);
   const toolAnnotations = {
     readOnlyHint: true,
     destructiveHint: false,
@@ -2391,10 +2119,10 @@ function registerTools(server, storage, masking, git, staleness, recorder, ctxoR
     {
       description: 'Retrieve a symbol and all its transitive dependencies as a Logic-Slice. Use this when you need to UNDERSTAND what a symbol depends on (downstream view). L1=signature only, L2=direct deps, L3=full closure, L4=with token budget and symbol annotations (attributes, columns; only L4 includes them). Use `intent` to filter dependencies by keyword (e.g., "core", "adapter"). All responses include `_meta` with item counts and truncation info. For impact analysis (what BREAKS if this changes), use get_blast_radius instead. For task-specific context, use get_context_for_task. With @ctxo/domain and a registry, the root symbol carries `context` (its named context id).',
       inputSchema: {
-        symbolId: z14.string().optional().describe(`Single symbol ID (${SYMBOL_ID_FORMAT})`),
-        symbolIds: z14.array(z14.string()).optional().describe("Batch: array of symbol IDs"),
-        level: z14.number().min(1).max(4).optional().default(3).describe("Detail level (L1=signature, L2=direct deps, L3=full closure, L4=with token budget and annotations)"),
-        intent: z14.string().optional().describe('Filter dependencies by intent keywords (e.g., "core", "adapter")')
+        symbolId: z15.string().optional().describe(`Single symbol ID (${SYMBOL_ID_FORMAT})`),
+        symbolIds: z15.array(z15.string()).optional().describe("Batch: array of symbol IDs"),
+        level: z15.number().min(1).max(4).optional().default(3).describe("Detail level (L1=signature, L2=direct deps, L3=full closure, L4=with token budget and annotations)"),
+        intent: z15.string().optional().describe('Filter dependencies by intent keywords (e.g., "core", "adapter")')
       },
       annotations: toolAnnotations
     },
@@ -2403,10 +2131,10 @@ function registerTools(server, storage, masking, git, staleness, recorder, ctxoR
   server.registerTool(
     "get_why_context",
     {
-      description: "Retrieve git commit history intent and anti-pattern warnings (reverts, rollbacks) for a symbol. Use this when you need to understand WHY code was written this way or whether it has a history of problems. Pair with get_change_intelligence for complexity/churn scores. With @ctxo/domain and a registry, `contextDrift` reports the named context of the symbol: its share of cross-context edges over time and files that moved between contexts.",
+      description: "Retrieve git commit history intent and anti-pattern warnings (reverts, rollbacks) for a symbol. Use this when you need to understand WHY code was written this way or whether it has a history of problems. Pair with get_change_intelligence for complexity/churn scores. With @ctxo/domain and a registry, `contextDrift` reports the named context of the symbol: its share of cross-context edges over time and files that moved between contexts. With @ctxo/domain and a domain graph, `decisions` lists up to five card decisions of the context of the symbol with their provenance, those naming a rule linked to the symbol first.",
       inputSchema: {
-        symbolId: z14.string().min(1).describe(`The symbol ID (${SYMBOL_ID_FORMAT})`),
-        maxCommits: z14.number().int().min(1).optional().describe("Limit commit history to N most recent commits")
+        symbolId: z15.string().min(1).describe(`The symbol ID (${SYMBOL_ID_FORMAT})`),
+        maxCommits: z15.number().int().min(1).optional().describe("Limit commit history to N most recent commits")
       },
       annotations: toolAnnotations
     },
@@ -2417,7 +2145,7 @@ function registerTools(server, storage, masking, git, staleness, recorder, ctxoR
     {
       description: "Retrieve complexity x churn composite score for a symbol \u2014 identifies hotspots that are both complex and frequently changed. Use this to prioritize refactoring targets or assess risk before modifying code. For git history details, use get_why_context. For impact scope, use get_blast_radius.",
       inputSchema: {
-        symbolId: z14.string().min(1).describe("The symbol ID (format: file::name::kind)")
+        symbolId: z15.string().min(1).describe("The symbol ID (format: file::name::kind)")
       },
       annotations: toolAnnotations
     },
@@ -2427,11 +2155,11 @@ function registerTools(server, storage, masking, git, staleness, recorder, ctxoR
   server.registerTool(
     "get_blast_radius",
     {
-      description: "BEFORE modifying any symbol (a function, class, method or type, or a SQL table, view or procedure), call this to understand impact. Returns every symbol that depends on the target, directly or transitively, with risk scores that fall with depth. Each dependent is in the tier of its strongest edge: confirmed (`calls`, `extends`, `implements` and the data edges `reads`, `writes`, `executes`), likely (co-changed or `uses`), and potential (`imports`). When co-change history exists, `coChangedFiles` lists up to 10 files that often change together with the target's file but have no dependency path to it (informational: not counted in the tiers or risk scores). Use `confidence` to filter by tier, `intent` to filter by keyword. Large results are auto-truncated with `_meta.hint` for drill-in. For what a symbol DEPENDS ON (downstream), use get_logic_slice instead. For full PR-level analysis, use get_pr_impact. With @ctxo/domain and a registry, each impacted symbol carries `context` (its named context id).",
+      description: "BEFORE modifying any symbol (a function, class, method or type, or a SQL table, view or procedure), call this to understand impact. Returns every symbol that depends on the target, directly or transitively, with risk scores that fall with depth. Each dependent is in the tier of its strongest edge: confirmed (`calls`, `extends`, `implements` and the data edges `reads`, `writes`, `executes`), likely (co-changed or `uses`), and potential (`imports`). When co-change history exists, `coChangedFiles` lists up to 10 files that often change together with the target's file but have no dependency path to it (informational: not counted in the tiers or risk scores). Use `confidence` to filter by tier, `intent` to filter by keyword. Large results are auto-truncated with `_meta.hint` for drill-in. For what a symbol DEPENDS ON (downstream), use get_logic_slice instead. For full PR-level analysis, use get_pr_impact. With @ctxo/domain and a registry, each impacted symbol carries `context` (its named context id). With @ctxo/domain and a domain graph (built by `ctxo index`), `rulesAffected` lists the card rules linked to the symbol or its dependents, and `cardsToUpdate` the cards that hold them.",
       inputSchema: {
-        symbolId: z14.string().min(1).describe(`The symbol ID (${SYMBOL_ID_FORMAT}). Every definition of a SQL object, and its name::kind id, has the same dependents`),
-        confidence: z14.enum(["confirmed", "likely", "potential"]).optional().describe("Filter by confidence tier"),
-        intent: z14.string().optional().describe('Filter impacted symbols by intent keywords (e.g., "test", "adapter")')
+        symbolId: z15.string().min(1).describe(`The symbol ID (${SYMBOL_ID_FORMAT}). Every definition of a SQL object, and its name::kind id, has the same dependents`),
+        confidence: z15.enum(["confirmed", "likely", "potential"]).optional().describe("Filter by confidence tier"),
+        intent: z15.string().optional().describe('Filter impacted symbols by intent keywords (e.g., "test", "adapter")')
       },
       annotations: toolAnnotations
     },
@@ -2443,9 +2171,9 @@ function registerTools(server, storage, masking, git, staleness, recorder, ctxoR
     {
       description: 'Get the project architecture map. mode "both" (default) returns the regex layer map (Domain, Infrastructure, Adapter, Test, Composition, Configuration) plus data-driven Louvain communities; "regex" or "communities" returns one of them. mode "contexts" returns candidate bounded contexts computed by `ctxo index`: file-level clusters of dependencies and co-change with hub files damped. The summary lists every candidate with label, size, cohesion and top terms, plus hubs and name collisions (type names whose shapes differ between candidates). Use this when onboarding to a new codebase, validating layer boundaries, or preparing a context map. For symbol-level analysis, use get_logic_slice or get_blast_radius. Pass candidate: <id> for one candidate in full: its files, cross-candidate edges, co-change pairs, hubs and collisions. The summary also gives each candidate\'s sharedTableCount and the totals dataResourcesTotal, sharedResourcesTotal and externalResourcesTotal. With candidate: <id>, the detail adds sharedTables (SQL tables and views that files of this candidate and at least one other read or write, with access modes per candidate; up to the first 15 by name, each with up to 10 accesses) and the candidate\'s own dataResources (up to the first 15 by name, each with its access modes, writer count, the owning candidate when only one writes it, and an external flag for resources that no .sql file defines). Both lists hold fewer entries when the response limit requires; sharedTableCount and dataResourcesTotal keep the full counts, and ctxo contexts --json has the full lists.',
       inputSchema: {
-        layer: z14.string().optional().describe("Filter by specific layer name"),
-        mode: z14.enum(OVERLAY_MODES).optional().describe('View to return: "both" (default) layers plus communities, "regex" layer map, "communities" Louvain clusters, "contexts" candidate contexts (file level)'),
-        candidate: z14.number().int().positive().optional().describe('With mode "contexts": the id of one candidate to return in full (files, terms, cross edges, co-change pairs, its hubs and collisions); omit for the summary of all candidates')
+        layer: z15.string().optional().describe("Filter by specific layer name"),
+        mode: z15.enum(OVERLAY_MODES).optional().describe('View to return: "both" (default) layers plus communities, "regex" layer map, "communities" Louvain clusters, "contexts" candidate contexts (file level)'),
+        candidate: z15.number().int().positive().optional().describe('With mode "contexts": the id of one candidate to return in full (files, terms, cross edges, co-change pairs, its hubs and collisions); omit for the summary of all candidates')
       },
       annotations: toolAnnotations
     },
@@ -2457,37 +2185,41 @@ function registerTools(server, storage, masking, git, staleness, recorder, ctxoR
     {
       description: 'Find unreachable symbols and files that are never imported or called anywhere. Use this during cleanup, refactoring, or before deleting code to confirm it is truly unused. Symbols in .sql files are never reported. Use `intent` to filter results by keyword (e.g., "adapter", "function"). Large results are auto-truncated with `_meta`. For reverse dependency lookup of a specific symbol, use find_importers instead.',
       inputSchema: {
-        includeTests: z14.boolean().optional().default(false).describe("Include test files (default test globs and files with a test-framework annotation such as @Test) in analysis (default: exclude)"),
-        intent: z14.string().optional().describe('Filter dead code results by intent keywords (e.g., "adapter", "function")')
+        includeTests: z15.boolean().optional().default(false).describe("Include test files (default test globs and files with a test-framework annotation such as @Test) in analysis (default: exclude)"),
+        intent: z15.string().optional().describe('Filter dead code results by intent keywords (e.g., "adapter", "function")')
       },
       annotations: toolAnnotations
     },
     (args) => deadCodeHandler(args)
   );
-  const contextForTaskHandler = withRecording("get_context_for_task", handleGetContextForTask(storage, masking, staleness, ctxoRoot, coChange), recorder);
+  const contextForTaskHandler = withRecording("get_context_for_task", handleGetContextForTask(storage, masking, staleness, ctxoRoot, coChange, enrichers.get("get_context_for_task"), taskContextReservation), recorder);
   server.registerTool(
     "get_context_for_task",
     {
-      description: 'Get task-optimized context for a symbol based on what you are about to do. Specify taskType: "fix" (bug investigation - includes history + anti-patterns), "extend" (add feature - includes deps + blast radius), "refactor" (restructure - includes importers + complexity), or "understand" (learn - includes full slice + architecture). Context entries that depend on the symbol (its blast radius) carry an optional `confidence` tier: confirmed, likely or potential, where co-change history can raise potential to likely. This is the BEST starting point when you know both the symbol and your intent.',
+      description: 'Get task-optimized context for a symbol based on what you are about to do. Specify taskType: "fix" (bug investigation - includes history + anti-patterns), "extend" (add feature - includes deps + blast radius), "refactor" (restructure - includes importers + complexity), or "understand" (learn - includes full slice + architecture). Context entries that depend on the symbol (its blast radius) carry an optional `confidence` tier: confirmed, likely or potential, where co-change history can raise potential to likely. This is the BEST starting point when you know both the symbol and your intent. With @ctxo/domain and a domain graph, `cardExcerpt` adds the card rules linked to the symbol and its neighbours, the terms of its context and its contracts within `tokenBudget` (left out when even an empty excerpt does not fit).',
       inputSchema: {
-        symbolId: z14.string().min(1).describe(`The symbol ID (${SYMBOL_ID_FORMAT})`),
-        taskType: z14.enum(["fix", "extend", "refactor", "understand"]).describe("Task type determines which context is most relevant"),
-        tokenBudget: z14.number().optional().default(4e3).describe("Max tokens for context (default 4000)")
+        symbolId: z15.string().min(1).describe(`The symbol ID (${SYMBOL_ID_FORMAT})`),
+        taskType: z15.enum(["fix", "extend", "refactor", "understand"]).describe("Task type determines which context is most relevant"),
+        tokenBudget: z15.number().optional().default(4e3).describe("Max tokens for context (default 4000)")
       },
       annotations: toolAnnotations
     },
     (args) => contextForTaskHandler(args)
   );
-  const rankedContextHandler = withRecording("get_ranked_context", handleGetRankedContext(storage, masking, staleness, ctxoRoot), recorder);
+  const rankedContextHandler = withRecording("get_ranked_context", withRankedScopes(handleGetRankedContext(storage, masking, staleness, ctxoRoot), rankedScopes, masking), recorder);
+  const rankedScopeShape = rankedScopes.size === 0 ? {} : {
+    scope: z15.enum([CODE_SCOPE, ...rankedScopeNames(rankedScopes)]).optional().default(CODE_SCOPE).describe(rankedScopeDescription(rankedScopes))
+  };
   server.registerTool(
     "get_ranked_context",
     {
       description: "Search and rank symbols by relevance to a natural language query, packed within a token budget. Uses BM25 text matching + PageRank importance scoring. Results include `_meta` with truncation info. Use this when you have a question or topic but do not know which specific symbol to look at. For exact symbol name search, use search_symbols instead.",
       inputSchema: {
-        query: z14.string().min(1).describe("Search query (matches symbol names)"),
-        tokenBudget: z14.number().optional().default(4e3).describe("Max tokens for results (default 4000)"),
-        strategy: z14.enum(["combined", "dependency", "importance"]).optional().default("combined").describe("Ranking strategy"),
-        searchMode: z14.enum(["fts", "legacy"]).optional().default("fts").describe('"fts" (default): BM25 ranking with camelCase splitting, trigram fallback and typo correction; "legacy": substring matching; strategy "importance" always uses legacy matching')
+        query: z15.string().min(1).describe("Search query (matches symbol names)"),
+        tokenBudget: z15.number().optional().default(4e3).describe("Max tokens for results (default 4000)"),
+        strategy: z15.enum(["combined", "dependency", "importance"]).optional().default("combined").describe("Ranking strategy"),
+        searchMode: z15.enum(["fts", "legacy"]).optional().default("fts").describe('"fts" (default): BM25 ranking with camelCase splitting, trigram fallback and typo correction; "legacy": substring matching; strategy "importance" always uses legacy matching'),
+        ...rankedScopeShape
       },
       annotations: toolAnnotations
     },
@@ -2499,11 +2231,11 @@ function registerTools(server, storage, masking, git, staleness, recorder, ctxoR
     {
       description: "Search symbols by exact name or regex pattern across the codebase index. Use this when you know (part of) the symbol name and need to find its ID for use with other tools. For semantic/relevance-based search, use get_ranked_context instead. With @ctxo/domain and a registry, each result carries `context` (its named context id).",
       inputSchema: {
-        pattern: z14.string().min(1).describe("Search pattern (substring or regex)"),
+        pattern: z15.string().min(1).describe("Search pattern (substring or regex)"),
         kind: SymbolKindSchema.optional().describe("Filter by symbol kind (table, view and procedure come from SQL plugins)"),
-        filePattern: z14.string().optional().describe("Filter by file path substring"),
-        limit: z14.number().int().min(1).max(100).optional().default(25).describe("Max results (default 25)"),
-        mode: z14.enum(["regex", "fts"]).optional().default("regex").describe('"regex" (default): case-insensitive regex or substring match on names; "fts": BM25 relevance search')
+        filePattern: z15.string().optional().describe("Filter by file path substring"),
+        limit: z15.number().int().min(1).max(100).optional().default(25).describe("Max results (default 25)"),
+        mode: z15.enum(["regex", "fts"]).optional().default("regex").describe('"regex" (default): case-insensitive regex or substring match on names; "fts": BM25 relevance search')
       },
       annotations: toolAnnotations
     },
@@ -2515,8 +2247,8 @@ function registerTools(server, storage, masking, git, staleness, recorder, ctxoR
     {
       description: "Get symbols in recently changed files based on git diff. Use this to see what was modified in recent commits. For full PR risk assessment (changed symbols + blast radius + co-changes), use get_pr_impact instead.",
       inputSchema: {
-        since: z14.string().optional().default("HEAD~1").describe("Git ref to diff against (default HEAD~1)"),
-        maxFiles: z14.number().int().min(1).optional().default(50).describe("Max changed files to process (default 50)")
+        since: z15.string().optional().default("HEAD~1").describe("Git ref to diff against (default HEAD~1)"),
+        maxFiles: z15.number().int().min(1).optional().default(50).describe("Max changed files to process (default 50)")
       },
       annotations: toolAnnotations
     },
@@ -2528,11 +2260,11 @@ function registerTools(server, storage, masking, git, staleness, recorder, ctxoR
     {
       description: 'Find all symbols that import or depend on a given symbol (reverse dependency / "who uses this?"). Use this to check if a symbol is safe to modify or delete. Supports transitive traversal for deep impact chains. Use `intent` to filter by keyword (e.g., "test", "core"). For forward dependencies (what this symbol uses), use get_logic_slice. For aggregated impact with risk scores, use get_blast_radius. With @ctxo/domain and a registry, each importer carries `context` (its named context id).',
       inputSchema: {
-        symbolId: z14.string().min(1).describe(`The symbol ID (${SYMBOL_ID_FORMAT}). Every definition of a SQL object, and its name::kind id, has the same importers`),
-        edgeKinds: z14.array(EdgeKindSchema).optional().describe("Filter by edge kinds (reads, writes and executes are data access)"),
-        transitive: z14.boolean().optional().default(false).describe("Follow transitive reverse edges (default false)"),
-        maxDepth: z14.number().int().min(1).max(10).optional().default(5).describe("Max BFS depth for transitive mode (default 5)"),
-        intent: z14.string().optional().describe('Filter importers by intent keywords (e.g., "test", "core", "adapter")')
+        symbolId: z15.string().min(1).describe(`The symbol ID (${SYMBOL_ID_FORMAT}). Every definition of a SQL object, and its name::kind id, has the same importers`),
+        edgeKinds: z15.array(EdgeKindSchema).optional().describe("Filter by edge kinds (reads, writes and executes are data access)"),
+        transitive: z15.boolean().optional().default(false).describe("Follow transitive reverse edges (default false)"),
+        maxDepth: z15.number().int().min(1).max(10).optional().default(5).describe("Max BFS depth for transitive mode (default 5)"),
+        intent: z15.string().optional().describe('Filter importers by intent keywords (e.g., "test", "core", "adapter")')
       },
       annotations: toolAnnotations
     },
@@ -2544,8 +2276,8 @@ function registerTools(server, storage, masking, git, staleness, recorder, ctxoR
     {
       description: "Get class inheritance hierarchy \u2014 ancestors (extends/implements chain) and descendants (subclasses). Use this when working with OOP code to understand type relationships before modifying a base class or interface. For dependency-based relationships (imports/calls), use get_logic_slice or find_importers.",
       inputSchema: {
-        symbolId: z14.string().min(1).optional().describe("Root symbol ID (omit for full project hierarchy)"),
-        direction: z14.enum(["ancestors", "descendants", "both"]).optional().default("both").describe("Traversal direction (default both)")
+        symbolId: z15.string().min(1).optional().describe("Root symbol ID (omit for full project hierarchy)"),
+        direction: z15.enum(["ancestors", "descendants", "both"]).optional().default("both").describe("Traversal direction (default both)")
       },
       annotations: toolAnnotations
     },
@@ -2557,10 +2289,10 @@ function registerTools(server, storage, masking, git, staleness, recorder, ctxoR
     {
       description: "Rank symbols by structural importance using PageRank centrality on the dependency graph. Use this to identify the most critical symbols in the codebase \u2014 high-PageRank symbols are heavily depended upon and risky to change. For finding unused/unimportant code, use find_dead_code instead.",
       inputSchema: {
-        limit: z14.number().int().min(1).max(200).optional().default(25).describe("Max results (default 25)"),
+        limit: z15.number().int().min(1).max(200).optional().default(25).describe("Max results (default 25)"),
         kind: SymbolKindSchema.optional().describe("Filter by symbol kind (table, view and procedure come from SQL plugins)"),
-        filePattern: z14.string().optional().describe("Filter by file path substring"),
-        damping: z14.number().min(0).max(1).optional().default(0.85).describe("PageRank damping factor (default 0.85)")
+        filePattern: z15.string().optional().describe("Filter by file path substring"),
+        damping: z15.number().min(0).max(1).optional().default(0.85).describe("PageRank damping factor (default 0.85)")
       },
       annotations: toolAnnotations
     },
@@ -2570,11 +2302,11 @@ function registerTools(server, storage, masking, git, staleness, recorder, ctxoR
   server.registerTool(
     "get_pr_impact",
     {
-      description: "Analyze the full impact of a PR or recent changes in a SINGLE call \u2014 combines changed symbols + blast radius + co-change history into one risk assessment. Results include `_meta` with truncation info. Use this FIRST when reviewing a PR or evaluating recent commits. For single-symbol analysis, use get_blast_radius instead. With @ctxo/domain and a registry, changed symbols carry `context` and `contextBoundaryViolations` lists edges that touch them and cross a context boundary outside its contracts.",
+      description: "Analyze the full impact of a PR or recent changes in a SINGLE call: combines changed symbols + blast radius + co-change history into one risk assessment. Results include `_meta` with truncation info. Use this FIRST when reviewing a PR or evaluating recent commits. For single-symbol analysis, use get_blast_radius instead. With @ctxo/domain and a registry, changed symbols carry `context` and `contextBoundaryViolations` lists edges that touch them and cross a context boundary outside its contracts. With @ctxo/domain and a domain graph, `contextsTouched` (the commits after the merge base of `since` and HEAD, plus the working tree), `cardsChanged` and `rulesWithoutTests` report the named contexts the change touched, the cards it changed and their rules without a test link.",
       inputSchema: {
-        since: z14.string().optional().default("HEAD~1").describe("Git ref to diff against (default HEAD~1)"),
-        maxFiles: z14.number().int().min(1).optional().default(50).describe("Max changed files to analyze"),
-        confidence: z14.enum(["confirmed", "likely", "potential"]).optional().describe("Filter impacted symbols by confidence tier")
+        since: z15.string().optional().default("HEAD~1").describe("Git ref to diff against (default HEAD~1)"),
+        maxFiles: z15.number().int().min(1).optional().default(50).describe("Max changed files to analyze"),
+        confidence: z15.enum(["confirmed", "likely", "potential"]).optional().describe("Filter impacted symbols by confidence tier")
       },
       annotations: toolAnnotations
     },
@@ -2586,11 +2318,11 @@ function registerTools(server, storage, masking, git, staleness, recorder, ctxoR
       const moduleToolHandler = withRecording(tool.name, handleModuleTool(tool, masking, staleness, indexedFiles), recorder);
       server.registerTool(
         tool.name,
-        { description: tool.description, inputSchema: moduleInputShape(tool, z14), annotations: toolAnnotations },
+        { description: tool.description, inputSchema: moduleInputShape(tool, z15), annotations: toolAnnotations },
         (args) => moduleToolHandler(args)
       );
     } catch (err) {
-      log5.warn(`Module tool "${tool.name}" was not registered: ${err.message}`);
+      log6.warn(`Module tool "${tool.name}" was not registered: ${err.message}`);
     }
   }
   server.resource("ctxo-status", "ctxo://status", async (uri) => ({
@@ -2601,4 +2333,4 @@ export {
   registerTools,
   startMcpServer
 };
-//# sourceMappingURL=mcp-server-6YG2QE6E.js.map
+//# sourceMappingURL=mcp-server-IYCCE74E.js.map