dsh-code-index 0.11.2 → 0.12.0

package/dist/index.js

@@ -2304,6 +2304,102 @@ async function readGitFileAtRef(root, ref, repoRelativePath) {
 
 // src/change-context.ts
 import path7 from "path";
+
+// src/evidence-summary.ts
+function summarizeEvidence(index, options) {
+  const status = { parsed: 0, partial: 0, failed: 0, unknown: 0 };
+  const diagnostics = [];
+  for (const file of index.files) {
+    const diagnostic = file.diagnostic;
+    status[diagnostic?.status ?? "unknown"]++;
+    if (diagnostic && diagnostic.status !== "parsed") diagnostics.push({
+      file: file.path,
+      status: diagnostic.status,
+      ...diagnostic.issues[0] ? { line: diagnostic.issues[0].line } : {},
+      ...diagnostic.reason ? { reason: diagnostic.reason } : {}
+    });
+  }
+  diagnostics.sort((a, b) => a.file.localeCompare(b.file));
+  const relationships = { exact: 0, "import-scoped": 0, "name-only": 0 };
+  for (const resolution of options.resolutions) relationships[resolution]++;
+  const gaps = [...options.gaps ?? []];
+  if (status.partial || status.failed) gaps.push({ kind: "index-incomplete", code: "parse-diagnostics", source: "indexed-file.diagnostic" });
+  if (status.unknown) gaps.push({ kind: "unavailable", code: "parse-status-unknown", source: "indexed-file.diagnostic" });
+  const result = {
+    scope: "indexed-static-only",
+    basis: options.basis ?? "context-pack",
+    index: {
+      ...status,
+      ...diagnostics.length ? { diagnostics: diagnostics.slice(0, 3) } : {},
+      ...diagnostics.length > 3 ? { diagnosticsOmitted: diagnostics.length - 3 } : {}
+    },
+    relationships,
+    tests: { candidates: new Set(options.testFiles).size, verification: "not-run" }
+  };
+  if (options.graph && options.seeds?.length) {
+    const graph = options.graph;
+    const seeds = [...new Map(options.seeds.map((seed) => [seed.id, seed])).values()];
+    const zero = seeds.filter((seed) => !graph.incoming.get(seed.id)?.length).map((seed) => ({ file: seed.file, line: seed.line, name: seed.name }));
+    result.callers = {
+      checkedSymbols: seeds.length,
+      zero: zero.slice(0, 3),
+      ...zero.length > 3 ? { zeroOmitted: zero.length - 3 } : {}
+    };
+    const unresolved = [];
+    for (const seed of seeds) {
+      const edges = graph.outgoing.get(seed.id) ?? [];
+      for (const call of index.files.find((file) => file.path === seed.file)?.calls ?? []) {
+        if (call.fromId !== seed.id) continue;
+        if (!edges.some((edge) => edge.callSite.file === seed.file && edge.callSite.line === call.line && edge.name === call.name)) {
+          unresolved.push({ file: seed.file, line: call.line, name: call.name });
+        }
+      }
+    }
+    if (unresolved.length) {
+      result.unresolved = {
+        count: unresolved.length,
+        sites: unresolved.slice(0, 3),
+        ...unresolved.length > 3 ? { sitesOmitted: unresolved.length - 3 } : {}
+      };
+      gaps.push({ kind: "not-found", code: "unresolved-call-targets", source: "indexed-call-sites" });
+    }
+  }
+  if (gaps.length) result.gaps = [...new Map(gaps.map((gap) => [JSON.stringify(gap), gap])).values()];
+  return result;
+}
+function renderEvidenceSummary(summary) {
+  const i = summary.index;
+  const r = summary.relationships;
+  const lines = [
+    `Evidence (indexed static scope; unscanned files not assessed):`,
+    `Index: ${i.parsed} parsed, ${i.partial} partial, ${i.failed} failed, ${i.unknown} unknown.`,
+    `Selected relationship items: exact ${r.exact}, import-scoped ${r["import-scoped"]}, name-only ${r["name-only"]}.`,
+    `Tests: ${summary.tests.candidates} candidate(s), not run; not verified coverage.`
+  ];
+  for (const d of i.diagnostics ?? []) lines.push(`Parse: ${d.file}${d.line ? `:${d.line}` : ""} ${d.status}${d.reason ? ` (${d.reason})` : ""}.`);
+  if (i.diagnosticsOmitted) lines.push(`More parse diagnostics: ${i.diagnosticsOmitted}; inspect code_index.`);
+  if (summary.callers?.zero.length) lines.push(`0 callers for ${summary.callers.zero.map((s) => `${s.name} (${s.file}:${s.line})`).join(", ")}: none found in current index/static resolution; not proof of no callers.`);
+  if (summary.callers?.zeroOmitted) lines.push(`0 callers for ${summary.callers.zeroOmitted} other checked declaration(s) in indexed static scope only; not proof of no callers. Locations omitted for budget.`);
+  if (summary.unresolved) lines.push(`Unresolved call sites: ${summary.unresolved.count}; target unknown, external not established.`);
+  if (summary.gaps?.length) lines.push(`Evidence gaps: ${[...new Set(summary.gaps.map((g) => `${g.kind}/${g.code}`))].join(", ")}.`);
+  return lines.join("\n");
+}
+function compactEvidence(summary) {
+  const { diagnostics, diagnosticsOmitted, ...counts } = summary.index;
+  const omitted = (diagnostics?.length ?? 0) + (diagnosticsOmitted ?? 0);
+  return {
+    ...summary,
+    index: { ...counts, ...omitted ? { diagnosticsOmitted: omitted } : {} },
+    ...summary.callers ? { callers: {
+      checkedSymbols: summary.callers.checkedSymbols,
+      zero: [],
+      ...summary.callers.zero.length || summary.callers.zeroOmitted ? { zeroOmitted: summary.callers.zero.length + (summary.callers.zeroOmitted ?? 0) } : {}
+    } } : {},
+    ...summary.unresolved ? { unresolved: { count: summary.unresolved.count, sites: [], sitesOmitted: summary.unresolved.count } } : {}
+  };
+}
+
+// src/change-context.ts
 var LABEL_STRENGTH = {
   exact: 3,
   "import-scoped": 2,
@@ -2518,7 +2614,19 @@ async function buildChangeContext(index, input, options = {}) {
       frontier = next;
     }
   }
-  const allImpact = [...impactById.values()].sort(compareByDepthThenSymbol);
+  const focusFiles = new Set(options.focusFiles ?? []);
+  const focusIds = /* @__PURE__ */ new Set();
+  if (focusFiles.size) {
+    const impactAncestors = new Map([...allCallers, ...impactById.values()].map((row) => [row.symbol.id, row]));
+    for (const row of impactById.values()) if (focusFiles.has(row.symbol.file)) {
+      let cursor = row;
+      for (let depth = 0; cursor && depth < maxDepth; depth++) {
+        focusIds.add(cursor.symbol.id);
+        cursor = impactAncestors.get(cursor.via.toId);
+      }
+    }
+  }
+  const allImpact = [...impactById.values()].sort((a, b) => Number(focusIds.has(b.symbol.id)) - Number(focusIds.has(a.symbol.id)) || compareByDepthThenSymbol(a, b));
   const allPaths = [];
   const pathKey = /* @__PURE__ */ new Set();
   for (const changed of changedSymbols) {
@@ -2545,7 +2653,7 @@ async function buildChangeContext(index, input, options = {}) {
     impact: allImpact.length > maxImpact,
     tests: allTests.length > maxTests
   };
-  return {
+  const result = {
     root: index.root,
     source: input.kind,
     ...baseRef !== void 0 ? { baseRef } : {},
@@ -2559,6 +2667,26 @@ async function buildChangeContext(index, input, options = {}) {
     warnings,
     truncated
   };
+  const gaps = [];
+  if (!changedSymbols.length) gaps.push({ kind: "not-found", code: "no-changed-symbols", source: "diff-or-selection" });
+  if (!allTests.length) gaps.push({ kind: "not-found", code: "no-test-candidates", source: "indexed-test-discovery" });
+  if (Object.values(truncated).some(Boolean)) gaps.push({ kind: "selection-limit", code: "analysis-row-cap", source: "change-analysis" });
+  for (const entry of result.unmapped.slice(0, 3)) gaps.push({
+    kind: entry.reason === "base-content-unavailable" ? "unavailable" : "not-found",
+    code: entry.reason,
+    source: entry.reason === "base-content-unavailable" ? "baseline-content" : "diff-symbol-mapping",
+    file: entry.file,
+    side: entry.side
+  });
+  result.evidence = summarizeEvidence(index, {
+    graph,
+    basis: "change-analysis",
+    seeds: changedSymbols.filter((row) => row.side === "current").map((row) => row.symbol),
+    resolutions: [...result.directCallers, ...result.impact, ...result.importDependents, ...result.paths].map((row) => row.resolution),
+    testFiles: result.tests.map((row) => row.file),
+    gaps
+  });
+  return result;
 }
 function hopOf(edge) {
   return {
@@ -2917,7 +3045,7 @@ function renderChangeContext(result, maxChars = 12e3) {
     {
       title: "LIKELY AFFECTED TESTS",
       rows: result.tests.map(
-        (test) => `${test.file} (${test.reason}${test.distance !== void 0 ? `, distance ${test.distance}` : ""}) [${test.resolution}]`
+        (test) => `${test.file} (candidate; not run; coverage unverified; ${test.reason}${test.distance !== void 0 ? `, distance ${test.distance}` : ""}) [${test.resolution}]`
       )
     },
     {
@@ -2929,11 +3057,12 @@ function renderChangeContext(result, maxChars = 12e3) {
   ];
   const summary = `change context \u2014 source: ${result.source}${result.baseRef !== void 0 ? ` (base ${result.baseRef})` : ""}: ${result.changed.length} changed symbol(s)`;
   const warningLines = result.warnings.map((warning) => `- ${warning}`);
+  let evidenceText = result.evidence ? renderEvidenceSummary(result.evidence) : "";
   const render = (kept) => {
     const lines = [summary];
     sections.forEach((section, index) => {
       if (section.rows.length === 0) {
-        lines.push(`${section.title}: (none)`);
+        lines.push(`${section.title}: ${section.title === "DIRECT CALLERS" ? "(none found in current indexed static scope)" : "(none)"}`);
         return;
       }
       lines.push(`${section.title}:`);
@@ -2941,6 +3070,7 @@ function renderChangeContext(result, maxChars = 12e3) {
       for (let row = 0; row < take; row++) lines.push(`  ${section.rows[row]}`);
       if (take < section.rows.length) lines.push(`  \u2026 (${section.rows.length - take} more)`);
     });
+    if (evidenceText) lines.push(evidenceText);
     lines.push("WARNINGS:");
     if (warningLines.length === 0) lines.push("  (none)");
     else for (const warning of warningLines) lines.push(`  ${warning}`);
@@ -2956,6 +3086,7 @@ function renderChangeContext(result, maxChars = 12e3) {
     return kept;
   };
   const total = flattened.length;
+  if (render(countsFor(0)).length > maxChars) evidenceText = "";
   const full = render(sections.map((section) => section.rows.length));
   if (full.length <= maxChars) return full;
   const truncationNote = "\n\u2026 truncated rows to fit the character cap (raise maxChars or narrow the change)";
@@ -2979,6 +3110,75 @@ function renderChangeContext(result, maxChars = 12e3) {
   return out;
 }
 
+// src/context-terms.ts
+var STOP_WORDS = /* @__PURE__ */ new Set(
+  [
+    "a",
+    "an",
+    "and",
+    "are",
+    "be",
+    "by",
+    "does",
+    "for",
+    "from",
+    "how",
+    "in",
+    "is",
+    "it",
+    "my",
+    "of",
+    "on",
+    "or",
+    "the",
+    "this",
+    "to",
+    "what",
+    "where",
+    "why",
+    "with",
+    "src",
+    "lib",
+    "test",
+    "tests",
+    "spec",
+    "fix",
+    "explain",
+    "please",
+    "help",
+    "current",
+    "change",
+    "changes",
+    "code",
+    "repo",
+    "repository",
+    "function",
+    "symbol",
+    "git"
+  ]
+);
+var CONCEPT_TERMS = [
+  [/忽略|白名单|嵌套规则|gitignore/iu, "ignore git"],
+  [/扫描/u, "scan"],
+  [/索引/u, "index scan"],
+  [/监听|watcher/iu, "watch"],
+  [/刷新/u, "refresh"],
+  [/工具/u, "tool"],
+  [/配置/u, "config"],
+  [/加载/u, "load"],
+  [/空白|空格/u, "whitespace"],
+  [/启动/u, "startup"]
+];
+function contextTerms(text) {
+  const concepts = CONCEPT_TERMS.filter(([pattern]) => pattern.test(text)).map(([, terms]) => terms).join(" ");
+  return [...new Set(`${concepts} ${text}`.replace(/([a-z0-9])([A-Z])/g, "$1 $2").replace(/([A-Z])([A-Z][a-z])/g, "$1 $2").toLowerCase().split(/[^a-z0-9]+/).filter((term) => term.length >= 3 && !STOP_WORDS.has(term)).flatMap((term) => [
+    term,
+    ...term.length > 5 && term.endsWith("ing") ? [term.slice(0, -3)] : [],
+    ...term.length > 5 && term.endsWith("ed") ? [term.slice(0, -1), term.slice(0, -2)] : [],
+    ...term.length > 4 && term.endsWith("s") ? [term.slice(0, -1)] : []
+  ]))];
+}
+
 // src/source-excerpts.ts
 import { readFile as readFile6, realpath, stat as stat3 } from "fs/promises";
 import path8 from "path";
@@ -3085,9 +3285,11 @@ ${item.kind}: ${item.name ?? item.text ?? ""}${location}${item.side ? ` [${item.
 ${item.code}`);
     } else if (item.mode === "signature") rows.push(`Signature only: ${item.signature || "(source unavailable within budget)"}`);
   }
+  if (pack.evidence) rows.push(`
+${renderEvidenceSummary(pack.evidence)}`);
   if (pack.gaps.length) rows.push(`
 Gaps: ${pack.gaps.join("; ")}`);
-  rows.push(`Budget: ${pack.budget.usedChars} / ${pack.budget.budgetChars} chars${pack.budget.truncated ? " (trimmed low-priority context)" : ""}`);
+  rows.push(`Budget: ${pack.budget.usedChars} / ${pack.budget.budgetChars} chars${pack.budget.truncated ? " (bounded output; see evidence/gaps)" : ""}`);
   return rows.join("\n");
 }
 function account(pack) {
@@ -3099,32 +3301,48 @@ function account(pack) {
     pack.budget.packChars = packChars;
   }
 }
-async function selectContextPack(index, context, budgetChars, maxFiles = 12) {
+async function selectContextPack(index, context, budgetChars, maxFiles = 12, graph = buildReferenceGraph(index)) {
   const read = sourceReader(index);
-  const graph = buildReferenceGraph(index);
   const candidates = [];
+  const selection = /* @__PURE__ */ new Map();
   const seen = /* @__PURE__ */ new Set();
-  const gaps = [...context.warnings];
+  const gaps = ["test candidates are static leads, not verified coverage", ...context.warnings];
   const unavailable = /* @__PURE__ */ new Set();
-  const source = async (symbol, kind, reason, extra = {}, focus) => {
+  const queryTerms = new Set(context.route.queries.flatMap(contextTerms));
+  const primaryFiles = new Set(context.primarySymbols.map((seed) => seed.symbol.file));
+  const fileSet = new Set(index.files.map((file) => file.path));
+  const source = async (symbol, kind, reason, extra = {}, focus, priority = 50) => {
     const side = extra.side ?? "current";
     const key = `${side}:${extra.ref ?? ""}:${kind}:${symbol.file}:${symbol.line}:${symbol.name}`;
     if (seen.has(key)) return;
     seen.add(key);
     const lines = await read(symbol.file, side, extra.ref);
     if (!lines) unavailable.add(`${side}:${symbol.file}`);
-    candidates.push(excerptVariants(lines, symbol, side, extra.ref, focus).map((excerpt) => ({
-      ...excerpt,
-      ...symbol.id === "" && excerpt.mode === "complete" ? { mode: "window" } : {},
-      kind,
-      name: symbol.name,
-      reason,
-      ...extra
-    })));
+    if (side === "current" && (focus === void 0 || focus <= symbol.line + 5) && lines && (symbol.kind === "function" || symbol.kind === "method")) {
+      const calls = index.files.find((file) => file.path === symbol.file)?.calls ?? [];
+      const relevant = calls.filter((call) => call.line > symbol.line && call.line <= symbol.endLine).map((call) => {
+        const terms = contextTerms(call.name).filter((term) => queryTerms.has(term)).length;
+        return { line: call.line, terms, score: terms * 4 + (context.primarySymbols.some((seed) => seed.symbol.name === call.name) ? 3 : 0) + (/\b(?:if|return|while)\b/.test(lines[call.line - 1]) ? 2 : 0) };
+      }).filter((call) => call.terms > 0).sort((a, b) => b.score - a.score || a.line - b.line);
+      focus = relevant[0]?.line ?? focus;
+    }
+    candidates.push({
+      priority,
+      range: { start: symbol.line, end: symbol.endLine },
+      protected: kind === "primary" && (symbol.kind === "function" || symbol.kind === "method" || context.route.exactSymbolNames.includes(symbol.name)) || kind === "change" || (kind === "caller" || kind === "callee") && (priority >= 75 || context.route.mentionedFiles.some((file) => symbol.file.toLowerCase() === file.toLowerCase() || symbol.file.toLowerCase().endsWith(`/${file.toLowerCase()}`))) || kind === "test" && priority >= 60,
+      variants: excerptVariants(lines, symbol, side, extra.ref, focus).map((excerpt) => ({
+        ...excerpt,
+        ...symbol.id === "" && excerpt.mode === "complete" ? { mode: "window" } : {},
+        kind,
+        name: symbol.name,
+        reason,
+        ...extra
+      }))
+    });
   };
-  for (const primary of context.primarySymbols) {
+  for (const [rank, primary] of context.primarySymbols.entries()) {
     const changed = context.changeContext?.changed.find((row) => row.side === "current" && row.symbol.id === primary.symbol.id);
-    await source(primary.symbol, "primary", primary.reason, changed ? { change: changed.change } : {}, changed?.focusLine);
+    await source(primary.symbol, "primary", primary.reason, changed ? { change: changed.change } : {}, changed?.focusLine, rank < 4 ? 100 : 45);
   }
   for (const changed of context.changeContext?.changed ?? []) {
     if (changed.side === "current" && context.primarySymbols.some((seed) => seed.symbol.id === changed.symbol.id)) continue;
@@ -3132,14 +3350,22 @@ async function selectContextPack(index, context, budgetChars, maxFiles = 12) {
       side: changed.side,
       ...changed.side === "base" ? { ref: context.changeContext.baseRef } : {},
       change: changed.change
-    }, changed.focusLine);
+    }, changed.focusLine, changed.side === "current" ? 80 : 40);
   }
-  for (const test of context.testEvidence) {
+  const stem = (file) => file.split("/").at(-1).replace(/\.(?:spec|test)(?=\.)/i, "").replace(/\.[^.]+$/, "");
+  const seedStems = new Set([...primaryFiles].map(stem));
+  const sortedTests = [...context.testEvidence].sort((a, b) => Number(seedStems.has(stem(b.file))) - Number(seedStems.has(stem(a.file))));
+  for (const [rank, test] of sortedTests.entries()) {
     const file = index.files.find((row) => row.path === test.file);
     const seedNames = new Set(context.primarySymbols.map((seed) => seed.symbol.name));
+    for (const imported of file.importDetails ?? []) if (primaryFiles.has(resolveImport(imported.specifier, file.path, fileSet) ?? "")) {
+      for (const binding of imported.bindings) seedNames.add(binding.local);
+    }
     const call = file.calls?.find((call2) => seedNames.has(call2.name));
     const lines = await read(file.path, "current");
     const symbol = file.symbols.find((symbol2) => call && symbol2.line <= call.line && symbol2.endLine >= call.line);
+    const changedTest = context.changeContext?.changed.some((row) => row.side === "current" && row.symbol.file === test.file);
+    const reason = test.reason === "imports-changed-file" ? "test imports primary seed file" : test.reason === "changed-test" ? changedTest ? "test declaration intersects Git change" : "primary seed is a test file" : test.reason;
     await source(
       symbol ?? {
         id: "",
@@ -3154,9 +3380,10 @@ async function selectContextPack(index, context, budgetChars, maxFiles = 12) {
         exported: false
       },
       "test",
-      test.reason === "imports-changed-file" ? "test imports primary seed file" : test.reason,
-      { resolution: test.resolution, provenance: test.reason },
-      call?.line
+      `candidate test (not verified coverage): ${reason}`,
+      { resolution: test.resolution, provenance: test.reason === "changed-test" && !changedTest ? "primary seed file; not Git change evidence" : test.reason },
+      call?.line,
+      rank < 2 ? 60 : 30
     );
   }
   for (const primary of context.primarySymbols.slice(0, 4)) {
@@ -3171,7 +3398,8 @@ async function selectContextPack(index, context, budgetChars, maxFiles = 12) {
             direction,
             `direct ${direction} of ${primary.symbol.name}`,
             { resolution: edge.resolution, provenance: edge.provenance },
-            direction === "caller" ? edge.callSite.line : symbol.line
+            direction === "caller" ? edge.callSite.line : symbol.line,
+            75
           );
         }
       }
@@ -3197,30 +3425,47 @@ async function selectContextPack(index, context, budgetChars, maxFiles = 12) {
         },
         "import",
         `import binding referenced in primary source ${primary.symbol.file}`,
-        { resolution: "import-scoped", provenance: "import statement" }
+        { resolution: "import-scoped", provenance: "import statement" },
+        void 0,
+        35
       );
     }
   }
-  for (const relation of context.relationships) candidates.push([{
+  const mentioned = (file) => context.route.mentionedFiles.some((path11) => file.toLowerCase() === path11.toLowerCase() || file.toLowerCase().endsWith(`/${path11.toLowerCase()}`));
+  const isTest = (file) => /(^|\/)(tests?|__tests__)(\/|$)|\.(?:spec|test)\./i.test(file);
+  const impactSources = (context.changeContext?.impact ?? []).filter((row) => row.via.resolution !== "name-only").sort((a, b) => Number(mentioned(b.symbol.file)) - Number(mentioned(a.symbol.file)) || Number(isTest(a.symbol.file)) - Number(isTest(b.symbol.file)) || a.depth - b.depth);
+  for (const row of impactSources.slice(0, 4)) {
+    if (!context.primarySymbols.some((seed) => seed.symbol.id === row.symbol.id)) {
+      await source(row.symbol, "caller", `candidate transitive caller at depth ${row.depth}; weakest path: ${row.resolution}`, {
+        resolution: row.resolution,
+        provenance: row.via.reason
+      }, row.via.callSite.line, 70);
+    }
+  }
+  for (const relation of context.relationships) candidates.push({ priority: 20, variants: [{
     kind: "relationship",
     text: relation.text,
     reason: "bounded primary graph neighborhood",
     resolution: relation.resolution,
     provenance: relation.provenance
-  }]);
+  }] });
   if (!context.primarySymbols.length) for (const file of context.relevantFiles.slice(0, 4)) {
-    candidates.push([{ kind: "file", file: file.path, reason: file.reason }]);
+    candidates.push({ priority: 10, variants: [{ kind: "file", file: file.path, reason: file.reason }] });
   }
   if (!context.primarySymbols.length) gaps.push("no strong primary symbol; specify a symbol, path, or failing behavior");
   if (!context.testEvidence.length) gaps.push("no related indexed test found");
   gaps.push(...context.warnings);
+  const initialGaps = [];
+  if (context.warnings.some((warning) => warning.startsWith("index incomplete:"))) initialGaps.push("index incomplete; inspect code_index");
+  if (context.route.includeChangeContext && !context.changeContext) initialGaps.push("change context unavailable; source: change-analysis");
+  if (!initialGaps.length) initialGaps.push("indexed static only");
   const pack = {
     version: 1,
     root: index.root,
     task: context.task.slice(0, 120),
     route: context.route.kind,
     items: [],
-    gaps: context.warnings.some((warning) => warning.startsWith("index incomplete:")) ? ["index incomplete; inspect code_index"] : ["budget omitted some evidence"],
+    gaps: initialGaps,
     budget: { budgetChars, usedChars: 0, packChars: 0, truncated: context.task.length > 120 }
   };
   const fits = () => {
@@ -3236,25 +3481,35 @@ async function selectContextPack(index, context, budgetChars, maxFiles = 12) {
     fits();
   }
   if (!fits()) throw new Error("budget too small for repository identity");
-  for (const variants of candidates) {
+  let budgetLimited = false;
+  let fileLimited = false;
+  for (const entry of candidates.sort((a, b) => b.priority - a.priority)) {
+    const { variants } = entry;
     let added = false;
     for (const candidate of variants) {
+      if (context.primarySymbols.length > 4 && candidate.code !== void 0 && JSON.stringify(candidate).length > Math.max(600, Math.floor(budgetChars / 8))) {
+        budgetLimited = true;
+        continue;
+      }
       const fragments = candidate.code !== void 0 ? subtractExcerpt(candidate, pack.items.filter((item) => item.code !== void 0)).map((fragment) => ({ ...candidate, ...fragment })) : [candidate];
       if (!fragments.length) continue;
       pack.items.push(...fragments);
       const fileCount = new Set(pack.items.flatMap((item) => item.file ? [item.file] : [])).size;
-      if (fits() && fileCount <= maxFiles) {
+      const withinBudget = fits();
+      if (withinBudget && fileCount <= maxFiles) {
+        for (const item of fragments) selection.set(item, entry);
         added = true;
         if (candidate.mode === "signature") pack.budget.truncated = true;
         break;
       }
+      if (!withinBudget) budgetLimited = true;
+      if (fileCount > maxFiles) fileLimited = true;
       pack.items.splice(pack.items.length - fragments.length);
     }
     if (!added) pack.budget.truncated = true;
   }
-  if (!pack.budget.truncated) pack.gaps = pack.gaps.filter((gap) => gap.startsWith("index incomplete"));
   for (const item of pack.items) if (item.file && unavailable.has(`${item.side}:${item.file}`)) {
-    gaps.push(`source unavailable or changed after indexing: ${item.file} (${item.side})`);
+    gaps.push(`source unavailable (reader rejected): ${item.file} (${item.side})`);
   }
   for (const gap of [...new Set(gaps)].slice(0, 4)) {
     pack.gaps.push(gap.slice(0, 140));
@@ -3263,9 +3518,76 @@ async function selectContextPack(index, context, budgetChars, maxFiles = 12) {
   account(pack);
   while (Math.max(pack.budget.usedChars, pack.budget.packChars) > budgetChars && pack.items.length) {
     pack.items.pop();
+    budgetLimited = true;
     pack.budget.truncated = true;
     account(pack);
   }
+  const summary = () => {
+    const detected = [];
+    if (!context.primarySymbols.length) detected.push({ kind: "not-found", code: "no-primary-symbol", source: "task-selection" });
+    if (!context.testEvidence.length) detected.push({ kind: "not-found", code: "no-test-candidates", source: "indexed-test-discovery" });
+    if (context.route.includeChangeContext && !context.changeContext) detected.push({ kind: "unavailable", code: "change-context-unavailable", source: "change-analysis" });
+    if (context.task.length > 120) detected.push({ kind: "selection-limit", code: "task-summary-shortened", source: "task-summary" });
+    if (fileLimited) detected.push({ kind: "selection-limit", code: "max-files", source: "pack-selection" });
+    if (budgetLimited) detected.push({ kind: "budget", code: "pack-selection-trimmed", source: "text-and-json-budget" });
+    const missingWindowLines = pack.items.some((item) => {
+      const range = selection.get(item)?.range;
+      if (item.mode !== "window" || !range) return false;
+      let next = range.start;
+      const covered = pack.items.filter((other) => other.code !== void 0 && other.file === item.file && other.side === item.side && other.ref === item.ref).sort((a, b) => a.startLine - b.startLine);
+      for (const other of covered) {
+        if (other.startLine > next) break;
+        next = Math.max(next, other.endLine + 1);
+      }
+      return next <= range.end;
+    });
+    if (missingWindowLines) detected.push({ kind: "selection-limit", code: "bounded-source-window", source: "source-excerpts" });
+    for (const item of pack.items) if (item.file && unavailable.has(`${item.side}:${item.file}`)) detected.push({
+      kind: "unavailable",
+      code: "source-reader-rejected",
+      source: "source-reader",
+      file: item.file,
+      side: item.side
+    });
+    const seeds = context.primarySymbols.filter((seed) => pack.items.some((item) => item.kind === "primary" && item.file === seed.symbol.file && item.name === seed.symbol.name && item.side === "current")).map((seed) => seed.symbol);
+    return summarizeEvidence(index, {
+      graph: context.route.includeRelationships ? graph : void 0,
+      seeds,
+      resolutions: pack.items.flatMap((item) => item.resolution && item.kind !== "test" ? [item.resolution] : []),
+      testFiles: pack.items.flatMap((item) => item.kind === "test" && item.file ? [item.file] : []),
+      gaps: detected
+    });
+  };
+  const removable = [...pack.items].filter((item) => !selection.get(item)?.protected).sort((a, b) => (selection.get(a)?.priority ?? 0) - (selection.get(b)?.priority ?? 0));
+  const originalItems = [...pack.items];
+  const originalTruncated = pack.budget.truncated;
+  const originalBudgetLimited = budgetLimited;
+  pack.evidence = summary();
+  if (!fits()) pack.evidence = compactEvidence(summary());
+  while (!fits() && removable.length) {
+    const item = removable.shift();
+    pack.items.splice(pack.items.indexOf(item), 1);
+    budgetLimited = true;
+    pack.budget.truncated = true;
+    pack.evidence = compactEvidence(summary());
+  }
+  if (!fits()) {
+    delete pack.evidence;
+    pack.items = originalItems;
+    pack.budget.truncated = originalTruncated;
+    budgetLimited = originalBudgetLimited;
+    if (pack.items.some((item) => item.kind === "test" && item.reason.includes("not verified coverage"))) {
+      pack.gaps = pack.gaps.filter((gap) => gap !== "test candidates are static leads, not verified coverage");
+    }
+    const note = "budget: summary omitted";
+    pack.gaps.push(note);
+    if (!fits()) pack.gaps.pop();
+  } else {
+    const compact = pack.evidence;
+    pack.evidence = summary();
+    if (!fits()) pack.evidence = compact;
+  }
+  account(pack);
   return pack;
 }
 
@@ -3273,47 +3595,30 @@ async function selectContextPack(index, context, budgetChars, maxFiles = 12) {
 var TEST_PATH_RE2 = /(^|\/)(tests?|__tests__)(\/|$)|\.(?:spec|test)\.(?:[cm]?[jt]sx?|ets)$|(^|\/)(?:test_[^/]+\.py|[^/]+_test\.(?:py|go))$/i;
 var FILE_TOKEN_RE = /[A-Za-z0-9_./\\-]+\.[A-Za-z0-9]+/g;
 var CODE_TOKEN_RE = /[A-Za-z_$][A-Za-z0-9_$]*(?:\.[A-Za-z_$][A-Za-z0-9_$]*)?/g;
-var STOP_WORDS = /* @__PURE__ */ new Set(
-  [
-    "a",
-    "an",
-    "and",
-    "are",
-    "be",
-    "by",
-    "does",
-    "for",
-    "from",
-    "how",
-    "in",
-    "is",
-    "it",
-    "my",
-    "of",
-    "on",
-    "or",
-    "the",
-    "this",
-    "to",
-    "what",
-    "where",
-    "why",
-    "with",
-    "src",
-    "lib",
-    "test",
-    "tests",
-    "spec",
-    "fix",
-    "explain",
-    "please",
-    "help",
-    "current",
-    "change",
-    "changes",
-    "code"
-  ]
-);
+var PROSE_SYMBOL_WORDS = /* @__PURE__ */ new Set([
+  "config",
+  "configuration",
+  "loading",
+  "startup",
+  "file",
+  "files",
+  "path",
+  "directory",
+  "index",
+  "scan",
+  "tool",
+  "flow",
+  "coverage",
+  "error",
+  "errors",
+  "impact",
+  "source",
+  "keep",
+  "other",
+  "behavior",
+  "scope",
+  "root"
+]);
 var CHANGE_RE = /\b(fix|bug|broken|breaks?|change|changed|current|working\s+tree|regression|impact|modified|duplicate|fails?|failure)\b/i;
 var TEST_RE3 = /\b(test|tests|spec|specs|failing|assert|coverage)\b/i;
 var ARCH_RE = /\b(architecture|architectural|flow|loading|authentication|authorization|plugin|startup|overview|pipeline|lifecycle|design|works?)\b/i;
@@ -3343,32 +3648,40 @@ function fileMentionMatches(file, mentions) {
   const lower = file.toLowerCase();
   return mentions.some((mention) => {
     const normalized = mention.replace(/\\/g, "/").toLowerCase();
-    return lower === normalized || lower.endsWith(`/${normalized}`) || lower.includes(normalized);
+    return lower === normalized || lower.endsWith(`/${normalized}`);
   });
 }
-function contextTerms(text) {
-  return unique(text.replace(/([a-z0-9])([A-Z])/g, "$1 $2").replace(/([A-Z])([A-Z][a-z])/g, "$1 $2").toLowerCase().split(/[^a-z0-9]+/).filter((term) => term.length >= 3 && !STOP_WORDS.has(term)).flatMap((term) => [
-    term,
-    ...term.length > 5 && term.endsWith("ing") ? [term.slice(0, -3)] : [],
-    ...term.length > 4 && term.endsWith("s") ? [term.slice(0, -1)] : []
-  ]), (term) => term);
-}
 function routeTask(task, index) {
   const text = task.trim();
   const mentionedFiles = unique(text.match(FILE_TOKEN_RE) ?? [], (value) => value.toLowerCase()).map((value) => value.replace(/\\/g, "/")).filter((value) => !index || index.files.some((file) => fileMentionMatches(file.path, [value])));
+  const identifiers = text.replace(FILE_TOKEN_RE, (value) => /[\\/]/.test(value) || /\.(?:[cm]?[jt]sx?|ets|pyi?|go|rs|java|c(?:pp|c|xx)?|h(?:pp|xx)?|json|md|ya?ml|toml)$/i.test(value) || index?.files.some((file) => fileMentionMatches(file.path, [value])) ? " " : value).replace(/(?:[A-Za-z]:)?(?:[A-Za-z0-9_.-]+[\\/])+[A-Za-z0-9_.*?\\/-]*/g, " ");
+  const explicitlyNamed = (name2) => {
+    if (!wordBoundary(name2).test(identifiers)) return false;
+    const escaped = name2.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+    const syntax = new RegExp("`" + escaped + "`|[\"\u201C\u2018']" + escaped + `["\u201D\u2019']|\\b${escaped}\\s*\\(|(?:\\b(?:function|symbol|method)\\s+|(?:\u51FD\u6570|\u7B26\u53F7|\u65B9\u6CD5)\\s*)${escaped}(?=$|[^A-Za-z0-9_$])|(?:\\b(?:find|locate|lookup)\\s+|(?:\u67E5\u627E|\u5BFB\u627E|\u5B9A\u4F4D)\\s*)${escaped}\\s*(?:[?!.\u3002\uFF1F]|$)|(^|[^A-Za-z0-9_$])${escaped}\\s*(?:\u51FD\u6570|\u7B26\u53F7|\u65B9\u6CD5|function\\b|symbol\\b|method\\b)`, "i").test(identifiers);
+    if (syntax) return true;
+    if (STOP_WORDS.has(name2.toLowerCase())) return false;
+    const words = (identifiers.match(CODE_TOKEN_RE) ?? []).filter((word) => !STOP_WORDS.has(word.toLowerCase()));
+    return !PROSE_SYMBOL_WORDS.has(name2.toLowerCase()) || words.length <= 1;
+  };
   const exactSymbolNames = index ? unique(
     index.files.flatMap((file) => file.symbols.map((symbol) => symbol.name)),
     (name2) => name2
-  ).filter((name2) => wordBoundary(name2).test(text)).sort((a, b) => b.length - a.length || a.localeCompare(b)) : [];
+  ).filter(explicitlyNamed).sort((a, b) => b.length - a.length || a.localeCompare(b)) : [];
   const codeTokens = unique(
-    (text.match(CODE_TOKEN_RE) ?? []).map((token) => token.replace(/^[^A-Za-z_$]+|[^A-Za-z0-9_$]+$/g, "")).filter((token) => token.length >= 3 && !STOP_WORDS.has(token.toLowerCase())),
+    (identifiers.match(CODE_TOKEN_RE) ?? []).map((token) => token.replace(/^[^A-Za-z_$]+|[^A-Za-z0-9_$]+$/g, "")).filter((token) => token.length >= 3 && !STOP_WORDS.has(token.toLowerCase())),
     (token) => token.toLowerCase()
   );
   const queries = unique(
-    [...exactSymbolNames, ...contextTerms(text), ...codeTokens.filter((token) => !exactSymbolNames.includes(token))],
+    [...exactSymbolNames, ...contextTerms(identifiers), ...codeTokens.filter((token) => !exactSymbolNames.includes(token))],
     (value) => value.toLowerCase()
   ).slice(0, 12);
-  const kind = TEST_RE3.test(text) || mentionedFiles.some(isTestFile) ? "test" : CHANGE_RE.test(text) ? "change" : exactSymbolNames.length > 0 ? "symbol" : EXPLORE_RE.test(text) ? "exploration" : ARCH_RE.test(text) ? "architecture" : "ambiguous";
+  const intent = identifiers.replace(/(?:不要|无需|不必|禁止)(?:再|实际)?(?:修改代码|修改|编辑|修复|运行测试|测试|提交|发布)/gu, "");
+  const chineseChange = /修复|排查(?:错误|异常|问题)|修改(?:代码|实现|逻辑)|变更|影响(?:范围|分析)?|回归|报错|异常/u.test(intent);
+  const chineseTest = /(?:查找|寻找|定位|补充|分析|运行|验证)(?:相关|候选|单元|集成)?测试|测试覆盖/u.test(intent);
+  const chineseArchitecture = /架构|调用流程|调用链|工作原理|生命周期/u.test(intent);
+  const chineseExplore = /查找|定位|实现|理解|追踪|分析原因|解释原因/u.test(intent);
+  const kind = chineseChange ? "change" : chineseTest ? "test" : TEST_RE3.test(intent) || mentionedFiles.some(isTestFile) ? "test" : CHANGE_RE.test(intent) ? "change" : exactSymbolNames.length > 0 ? "symbol" : chineseArchitecture ? "architecture" : EXPLORE_RE.test(intent) || chineseExplore ? "exploration" : ARCH_RE.test(intent) ? "architecture" : "ambiguous";
   const includeChangeContext = kind === "change" || kind === "test";
   const includeRelationships = kind !== "ambiguous";
   const sources = /* @__PURE__ */ new Set();
@@ -3391,10 +3704,15 @@ function routeTask(task, index) {
   };
 }
 function routeScore(route, hit) {
-  let score = hit.score * 30;
-  if (route.exactSymbolNames.includes(hit.name)) score += 100;
+  const queryTerms = new Set(route.queries.flatMap(contextTerms));
+  const names = contextTerms(hit.name).filter((term) => queryTerms.has(term));
+  const signature = contextTerms(hit.signature).filter((term) => queryTerms.has(term) && !names.includes(term));
+  const path11 = contextTerms(hit.file).filter((term) => queryTerms.has(term) && !names.includes(term) && !signature.includes(term));
+  let score = names.length * 24 + signature.length * 4 + path11.length * 2 + hit.score * 5;
+  if (route.exactSymbolNames.includes(hit.name)) score += 200;
   if (fileMentionMatches(hit.file, route.mentionedFiles)) score += 30;
-  if (isTestFile(hit.file) && route.kind !== "test") score -= 10;
+  if (hit.kind === "function" || hit.kind === "method") score += 30;
+  if (isTestFile(hit.file) && !fileMentionMatches(hit.file, route.mentionedFiles) && !route.exactSymbolNames.includes(hit.name)) score -= 45;
   return score;
 }
 function gatherPrimarySymbols(index, route, maxSymbols, changedIds, changedFiles, refs) {
@@ -3416,9 +3734,10 @@ function gatherPrimarySymbols(index, route, maxSymbols, changedIds, changedFiles
     const overlap = contextTerms(`${hit.name} ${hit.signature} ${hit.file}`).filter((term) => queryTerms.has(term)).length;
     if (!exact && route.kind === "ambiguous" && queryTerms.size > 1 && overlap < 2) continue;
     let score = routeScore(route, hit);
-    if (changedIds.has(hit.id)) score += 80;
-    else if (changedFiles.has(hit.file)) score += 55;
-    if (route.kind === "test" && isTestFile(hit.file)) score += 35;
+    const changeRelevant = !isTestFile(hit.file) || route.kind === "test" || exact || fileMentionMatches(hit.file, route.mentionedFiles);
+    if (changeRelevant && changedIds.has(hit.id)) score += 60;
+    else if (changeRelevant && changedFiles.has(hit.file)) score += 8;
+    if (route.kind === "test" && isTestFile(hit.file)) score += 15;
     const candidate = {
       symbol: hit,
       score,
@@ -3444,7 +3763,7 @@ function gatherPrimarySymbols(index, route, maxSymbols, changedIds, changedFiles
         if (byId.has(symbol.id)) continue;
         byId.set(symbol.id, {
           symbol,
-          score: 70,
+          score: 72,
           provenance: "lexical",
           reason: "declaration intersects current change"
         });
@@ -3453,7 +3772,7 @@ function gatherPrimarySymbols(index, route, maxSymbols, changedIds, changedFiles
   }
   const definitionMatch = (candidate) => contextTerms(`${candidate.symbol.name} ${candidate.symbol.signature}`).some((term) => queryTerms.has(term));
   const hasDefinitionMatch = [...byId.values()].some(definitionMatch);
-  return [...byId.values()].filter((candidate) => !hasDefinitionMatch || definitionMatch(candidate) || candidate.reason === "declaration intersects current change" || fileMentionMatches(candidate.symbol.file, route.mentionedFiles)).sort(
+  return [...byId.values()].filter((candidate) => candidate.provenance === "exact" || candidate.score >= 20).filter((candidate) => !hasDefinitionMatch || definitionMatch(candidate) || candidate.reason === "declaration intersects current change" || fileMentionMatches(candidate.symbol.file, route.mentionedFiles)).sort(
     (a, b) => b.score - a.score || Number(b.provenance === "exact") - Number(a.provenance === "exact") || a.symbol.file.localeCompare(b.symbol.file) || a.symbol.line - b.symbol.line || a.symbol.id.localeCompare(b.symbol.id)
   ).slice(0, maxSymbols);
 }
@@ -3543,7 +3862,7 @@ async function buildTaskContext(index, task, options = {}) {
         kind: "git",
         root: index.root,
         baseRef: "HEAD"
-      });
+      }, { focusFiles: index.files.filter((file) => fileMentionMatches(file.path, route.mentionedFiles)).map((file) => file.path) });
       warnings.push(...changeContext.warnings);
     } catch (error) {
       warnings.push(`change context unavailable: ${error.message ?? String(error)}`);
@@ -3563,10 +3882,18 @@ async function buildTaskContext(index, task, options = {}) {
   if (changeContext && taskFiles.size) {
     const changed = changeContext.changed.filter((row) => taskFiles.has(row.symbol.file));
     const changedIds2 = new Set(changed.map((row) => row.symbol.id));
+    const directCallers = changeContext.directCallers.filter((row) => changedIds2.has(row.via.toId));
+    const reachable = /* @__PURE__ */ new Set([...changedIds2, ...directCallers.map((row) => row.symbol.id)]);
+    const impact = [...changeContext.impact].sort((a, b) => a.depth - b.depth).filter((row) => {
+      if (!reachable.has(row.via.toId)) return false;
+      reachable.add(row.symbol.id);
+      return true;
+    });
     changeContext = {
       ...changeContext,
       changed,
-      directCallers: changeContext.directCallers.filter((row) => changedIds2.has(row.via.toId)),
+      directCallers,
+      impact,
       tests: collectSeedTests(index, changed.map((row) => row.symbol)),
       importDependents: changeContext.importDependents.filter((row) => taskFiles.has(row.changedFile)),
       paths: changeContext.paths.filter((row) => changedIds2.has(row.changed.id))
@@ -3610,11 +3937,12 @@ async function buildTaskContext(index, task, options = {}) {
     confidence,
     warnings
   };
-  const pack = await selectContextPack(index, partial, budgetChars, maxFiles);
+  const pack = await selectContextPack(index, partial, budgetChars, maxFiles, graph ?? void 0);
   const selected = (file, name2, kind) => pack.items.some((item) => item.file === file && (!name2 || item.name === name2) && (!kind || item.kind === kind));
   const selectedRelationships = relationships.filter((row) => pack.items.some((item) => item.text === row.text));
   const selectedChange = changeContext ? {
     ...changeContext,
+    evidence: pack.evidence,
     changed: changeContext.changed.filter((row) => pack.items.some((item) => item.file === row.symbol.file && item.name === row.symbol.name && item.side === row.side && item.change === row.change)),
     unmapped: [],
     directCallers: [],
@@ -3910,6 +4238,10 @@ async function buildImpactXray(index, result) {
     } }
   };
   const read = sourceReader(index);
+  if (result.evidence) {
+    view.evidence = result.evidence;
+    view.gaps.push(...renderEvidenceSummary(result.evidence).split("\n"));
+  }
   const files = new Map(index.files.map((f) => [f.path, f]));
   const symbols = new Map(index.files.flatMap((f) => f.symbols.map((s) => [s.id, s])));
   const changedFiles = new Set(result.changed.map((r) => r.symbol.file).concat(result.unmapped.map((r) => r.file)));
@@ -4369,7 +4701,7 @@ var tools = [
         }
         if (direction === "callers" || direction === "both") {
           lines.push("", `callers (${refs.callers.length}):`);
-          if (refs.callers.length === 0) lines.push("  (none)");
+          if (refs.callers.length === 0) lines.push("  (none found in current index/static resolution; not proof of no callers)");
           for (const caller of refs.callers) {
             lines.push(`  ${caller.file}:${caller.line}${caller.from ? ` in ${caller.from}` : ""}`);
           }
@@ -4380,7 +4712,7 @@ var tools = [
           for (const callee of refs.callees) {
             const target = callee.targets[0];
             lines.push(
-              `  ${callee.name} :${callee.line}${target ? ` \u2192 ${target.file}:${target.line}` : " (external)"}`
+              `  ${callee.name} :${callee.line}${target ? ` \u2192 ${target.file}:${target.line}` : " (unresolved in current index; external not established)"}`
             );
           }
         }
@@ -4754,6 +5086,7 @@ export {
   readWorkingTreeDiff,
   renderChangeContext,
   renderContextPack,
+  renderEvidenceSummary,
   renderHit,
   renderRepoMap,
   renderTaskContext,