scai 0.1.178 → 1.0.0

package/dist/pipeline/modules/searchModuleShared.js

@@ -0,0 +1,71 @@
+/**
+ * Shared helpers for loop-level search actions.
+ *
+ * Why this file exists:
+ * - search execution should stay in `SearchOrchestrator`
+ * - loop modules still need one place for history, summaries, and related-file persistence
+ * - directory listing must not reuse file-candidate persistence by accident
+ */
+import { getDbForRepo } from "../../db/client.js";
+import { mapCanonicalPathToExecutionPath, mapExecutionPathToCanonicalPath, } from "../../utils/repoIdentity.js";
+export async function fetchSummariesForPaths(paths) {
+    if (paths.length === 0)
+        return {};
+    const db = getDbForRepo();
+    const canonicalPaths = paths.map(filePath => mapExecutionPathToCanonicalPath(filePath));
+    const placeholders = canonicalPaths.map(() => "?").join(", ");
+    const rows = db.prepare(`SELECT path, summary FROM summaries
+     WHERE path IN (${placeholders}) AND summary IS NOT NULL;`).all(...canonicalPaths);
+    const map = {};
+    for (const row of rows) {
+        map[mapCanonicalPathToExecutionPath(row.path)] = row.summary;
+    }
+    return map;
+}
+export async function enrichMissingSummaries(results, context) {
+    const missingPaths = results.filter(result => !result.summary).map(result => result.path);
+    if (missingPaths.length === 0)
+        return results;
+    const summaryMap = await fetchSummariesForPaths(missingPaths);
+    return results.map(result => {
+        const executionPath = mapCanonicalPathToExecutionPath(result.path, context);
+        return result.summary || !summaryMap[executionPath]
+            ? result
+            : { ...result, summary: summaryMap[executionPath] };
+    });
+}
+export function persistDiscoveredFiles(context, results) {
+    context.initContext ?? (context.initContext = { userQuery: "" });
+    const existing = new Set(context.initContext.relatedFiles ?? []);
+    const discovered = results.map(result => mapCanonicalPathToExecutionPath(result.path, context));
+    context.initContext.relatedFiles = [
+        ...(context.initContext.relatedFiles ?? []),
+        ...discovered.filter(filePath => !existing.has(filePath)),
+    ];
+}
+export function recordSearchAttempt(args) {
+    var _a;
+    const { context, actionId, query, search, failureClass } = args;
+    context.analysis || (context.analysis = {});
+    (_a = context.analysis).searchAttempts || (_a.searchAttempts = []);
+    context.analysis.searchAttempts.push({
+        actionId,
+        searchType: actionId,
+        query,
+        regexSpec: search.regexSpec,
+        scope: search.regexSpec?.scope,
+        resultCount: search.fileCandidates.length + search.directoryEntries.length,
+        failureClass: failureClass ?? search.failure?.failureClass,
+        recordedAt: new Date().toISOString(),
+    });
+}
+export function buildInvalidRegexOutput(input, search) {
+    return {
+        query: input.query,
+        data: {
+            files: [],
+            failure: search.failure,
+        },
+    };
+}
+//# sourceMappingURL=searchModuleShared.js.map

package/dist/pipeline/modules/searchModuleShared.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"searchModuleShared.js","sourceRoot":"","sources":["../../../src/pipeline/modules/searchModuleShared.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EACL,+BAA+B,EAC/B,+BAA+B,GAChC,MAAM,6BAA6B,CAAC;AAUrC,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,KAAe;IAC1D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAElC,MAAM,EAAE,GAAG,YAAY,EAAE,CAAC;IAC1B,MAAM,cAAc,GAAG,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,+BAA+B,CAAC,QAAQ,CAAC,CAAC,CAAC;IACxF,MAAM,YAAY,GAAG,cAAc,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CACrB;sBACkB,YAAY,4BAA4B,CAC3D,CAAC,GAAG,CAAC,GAAG,cAAc,CAAwC,CAAC;IAEhE,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,GAAG,CAAC,+BAA+B,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC;IAC/D,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,OAAuB,EACvB,OAA0B;IAE1B,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1F,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC;IAE9C,MAAM,UAAU,GAAG,MAAM,sBAAsB,CAAC,YAAY,CAAC,CAAC;IAC9D,OAAO,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE;QAC1B,MAAM,aAAa,GAAG,+BAA+B,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5E,OAAO,MAAM,CAAC,OAAO,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC;YACjD,CAAC,CAAC,MAAM;YACR,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,OAA0B,EAAE,OAAuB;IACxF,OAAO,CAAC,WAAW,KAAnB,OAAO,CAAC,WAAW,GAAK,EAAE,SAAS,EAAE,EAAE,EAAE,EAAC;IAC1C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;IACjE,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,+BAA+B,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IAChG,OAAO,CAAC,WAAW,CAAC,YAAY,GAAG;QACjC,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,YAAY,IAAI,EAAE,CAAC;QAC3C,GAAG,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;KAC1D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAMnC;;IACC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,IAAI,CAAC;IAChE,OAAO,CAAC,QAAQ,KAAhB,OAAO,CAAC,QAAQ,GAAK,EAAE,EAAC;IACxB,MAAA,OAAO,CAAC,QAAQ,EAAC,cAAc,QAAd,cAAc,GAAK,EAAE,EAAC;IACvC,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,CAAC;QACnC,QAAQ;QACR,UAAU,EAAE,QAA6C;QACzD,KAAK;QACL,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,KAAK,EAAE,MAAM,CAAC,SAAS,EAAE,KAAK;QAC9B,WAAW,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,GAAG,MAAM,CAAC,gBAAgB,CAAC,MAAM;QAC1E,YAAY,EAAE,YAAY,IAAI,MAAM,CAAC,OAAO,EAAE,YAAY;QAC1D,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACrC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,KAAe,EAAE,MAAgC;IACvF,OAAO;QACL,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,IAAI,EAAE;YACJ,KAAK,EAAE,EAAE;YACT,OAAO,EAAE,MAAM,CAAC,OAAO;SACxB;KACF,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Shared helpers for loop-level search actions.\n *\n * Why this file exists:\n * - search execution should stay in `SearchOrchestrator`\n * - loop modules still need one place for history, summaries, and related-file persistence\n * - directory listing must not reuse file-candidate persistence by accident\n */\nimport { getDbForRepo } from \"../../db/client.js\";\nimport {\n  mapCanonicalPathToExecutionPath,\n  mapExecutionPathToCanonicalPath,\n} from \"../../utils/repoIdentity.js\";\nimport type {\n  ModuleIO,\n  SearchAttemptRecord,\n  SearchFailureClass,\n  SearchOrchestratorResult,\n  SearchResult,\n  StructuredContext,\n} from \"../../types.js\";\n\nexport async function fetchSummariesForPaths(paths: string[]): Promise<Record<string, string>> {\n  if (paths.length === 0) return {};\n\n  const db = getDbForRepo();\n  const canonicalPaths = paths.map(filePath => mapExecutionPathToCanonicalPath(filePath));\n  const placeholders = canonicalPaths.map(() => \"?\").join(\", \");\n  const rows = db.prepare(\n    `SELECT path, summary FROM summaries\n     WHERE path IN (${placeholders}) AND summary IS NOT NULL;`\n  ).all(...canonicalPaths) as { path: string; summary: string }[];\n\n  const map: Record<string, string> = {};\n  for (const row of rows) {\n    map[mapCanonicalPathToExecutionPath(row.path)] = row.summary;\n  }\n  return map;\n}\n\nexport async function enrichMissingSummaries(\n  results: SearchResult[],\n  context: StructuredContext\n): Promise<SearchResult[]> {\n  const missingPaths = results.filter(result => !result.summary).map(result => result.path);\n  if (missingPaths.length === 0) return results;\n\n  const summaryMap = await fetchSummariesForPaths(missingPaths);\n  return results.map(result => {\n    const executionPath = mapCanonicalPathToExecutionPath(result.path, context);\n    return result.summary || !summaryMap[executionPath]\n      ? result\n      : { ...result, summary: summaryMap[executionPath] };\n  });\n}\n\nexport function persistDiscoveredFiles(context: StructuredContext, results: SearchResult[]): void {\n  context.initContext ??= { userQuery: \"\" };\n  const existing = new Set(context.initContext.relatedFiles ?? []);\n  const discovered = results.map(result => mapCanonicalPathToExecutionPath(result.path, context));\n  context.initContext.relatedFiles = [\n    ...(context.initContext.relatedFiles ?? []),\n    ...discovered.filter(filePath => !existing.has(filePath)),\n  ];\n}\n\nexport function recordSearchAttempt(args: {\n  context: StructuredContext;\n  actionId: SearchAttemptRecord[\"actionId\"];\n  query?: string;\n  search: SearchOrchestratorResult;\n  failureClass?: SearchFailureClass;\n}): void {\n  const { context, actionId, query, search, failureClass } = args;\n  context.analysis ||= {};\n  context.analysis.searchAttempts ||= [];\n  context.analysis.searchAttempts.push({\n    actionId,\n    searchType: actionId as SearchAttemptRecord[\"searchType\"],\n    query,\n    regexSpec: search.regexSpec,\n    scope: search.regexSpec?.scope,\n    resultCount: search.fileCandidates.length + search.directoryEntries.length,\n    failureClass: failureClass ?? search.failure?.failureClass,\n    recordedAt: new Date().toISOString(),\n  });\n}\n\nexport function buildInvalidRegexOutput(input: ModuleIO, search: SearchOrchestratorResult): ModuleIO {\n  return {\n    query: input.query,\n    data: {\n      files: [],\n      failure: search.failure,\n    },\n  };\n}\n"]}

package/dist/pipeline/modules/searchRegexModule.js

@@ -0,0 +1,59 @@
+/**
+ * Runs model-authored regex search through the shared search executor.
+ *
+ * Why this file exists:
+ * - regex search is a real loop action now, not a hidden fallback
+ * - the model provides a typed regex spec
+ * - runtime validation and execution still stay deterministic
+ */
+import { logInputOutput } from "../../utils/promptLogHelper.js";
+import { SearchOrchestrator } from "../../search/SearchOrchestrator.js";
+import { deriveFocusFromSearchResult } from "../../agents/deriveFocusFromSearchStep.js";
+import { buildInvalidRegexOutput, enrichMissingSummaries, persistDiscoveredFiles, recordSearchAttempt, } from "./searchModuleShared.js";
+export const searchRegexModule = {
+    name: "search-regex",
+    description: "Runs a validated regex against file paths, file contents, or both.",
+    groups: ["analysis"],
+    run: async (input) => {
+        const ctx = input.context;
+        if (!ctx) {
+            throw new Error("[search-regex] StructuredContext is required.");
+        }
+        const spec = (input.data ?? {});
+        const orchestrator = new SearchOrchestrator();
+        const search = await orchestrator.runRegexSearch({
+            context: ctx,
+            spec,
+            limit: 5,
+        });
+        recordSearchAttempt({
+            context: ctx,
+            actionId: "search-regex",
+            query: input.query,
+            search,
+        });
+        if (search.failure?.failureClass === "invalid-regex" || search.failure?.failureClass === "scope-missing") {
+            const output = buildInvalidRegexOutput(input, search);
+            logInputOutput("search-regex", "output", output);
+            return output;
+        }
+        deriveFocusFromSearchResult(ctx, search, {
+            appendCandidates: true,
+            promoteOperatorMatchesToCandidates: true,
+        });
+        const files = await enrichMissingSummaries(search.fileCandidates, ctx);
+        persistDiscoveredFiles(ctx, files);
+        const output = {
+            query: input.query,
+            data: {
+                files,
+                regexSpec: search.regexSpec,
+                matches: search.patternMatches,
+                failure: search.failure,
+            },
+        };
+        logInputOutput("search-regex", "output", output);
+        return output;
+    },
+};
+//# sourceMappingURL=searchRegexModule.js.map

package/dist/pipeline/modules/searchRegexModule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"searchRegexModule.js","sourceRoot":"","sources":["../../../src/pipeline/modules/searchRegexModule.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAChE,OAAO,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAC;AACxE,OAAO,EAAE,2BAA2B,EAAE,MAAM,2CAA2C,CAAC;AAExF,OAAO,EACL,uBAAuB,EACvB,sBAAsB,EACtB,sBAAsB,EACtB,mBAAmB,GACpB,MAAM,yBAAyB,CAAC;AAEjC,MAAM,CAAC,MAAM,iBAAiB,GAAW;IACvC,IAAI,EAAE,cAAc;IACpB,WAAW,EAAE,oEAAoE;IACjF,MAAM,EAAE,CAAC,UAAU,CAAC;IAEpB,GAAG,EAAE,KAAK,EAAE,KAAe,EAAqB,EAAE;QAChD,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC;QAC1B,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;QACnE,CAAC;QAED,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAoB,CAAC;QACnD,MAAM,YAAY,GAAG,IAAI,kBAAkB,EAAE,CAAC;QAC9C,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,cAAc,CAAC;YAC/C,OAAO,EAAE,GAAG;YACZ,IAAI;YACJ,KAAK,EAAE,CAAC;SACT,CAAC,CAAC;QAEH,mBAAmB,CAAC;YAClB,OAAO,EAAE,GAAG;YACZ,QAAQ,EAAE,cAAc;YACxB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,MAAM;SACP,CAAC,CAAC;QAEH,IAAI,MAAM,CAAC,OAAO,EAAE,YAAY,KAAK,eAAe,IAAI,MAAM,CAAC,OAAO,EAAE,YAAY,KAAK,eAAe,EAAE,CAAC;YACzG,MAAM,MAAM,GAAG,uBAAuB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YACtD,cAAc,CAAC,cAAc,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;YACjD,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,2BAA2B,CAAC,GAAG,EAAE,MAAM,EAAE;YACvC,gBAAgB,EAAE,IAAI;YACtB,kCAAkC,EAAE,IAAI;SACzC,CAAC,CAAC;QAEH,MAAM,KAAK,GAAG,MAAM,sBAAsB,CAAC,MAAM,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC;QACvE,sBAAsB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAEnC,MAAM,MAAM,GAAa;YACvB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,IAAI,EAAE;gBACJ,KAAK;gBACL,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,OAAO,EAAE,MAAM,CAAC,cAAc;gBAC9B,OAAO,EAAE,MAAM,CAAC,OAAO;aACxB;SACF,CAAC;QACF,cAAc,CAAC,cAAc,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QACjD,OAAO,MAAM,CAAC;IAChB,CAAC;CACF,CAAC","sourcesContent":["/**\n * Runs model-authored regex search through the shared search executor.\n *\n * Why this file exists:\n * - regex search is a real loop action now, not a hidden fallback\n * - the model provides a typed regex spec\n * - runtime validation and execution still stay deterministic\n */\nimport { logInputOutput } from \"../../utils/promptLogHelper.js\";\nimport { SearchOrchestrator } from \"../../search/SearchOrchestrator.js\";\nimport { deriveFocusFromSearchResult } from \"../../agents/deriveFocusFromSearchStep.js\";\nimport type { Module, ModuleIO, RegexSearchSpec } from \"../../types.js\";\nimport {\n  buildInvalidRegexOutput,\n  enrichMissingSummaries,\n  persistDiscoveredFiles,\n  recordSearchAttempt,\n} from \"./searchModuleShared.js\";\n\nexport const searchRegexModule: Module = {\n  name: \"search-regex\",\n  description: \"Runs a validated regex against file paths, file contents, or both.\",\n  groups: [\"analysis\"],\n\n  run: async (input: ModuleIO): Promise<ModuleIO> => {\n    const ctx = input.context;\n    if (!ctx) {\n      throw new Error(\"[search-regex] StructuredContext is required.\");\n    }\n\n    const spec = (input.data ?? {}) as RegexSearchSpec;\n    const orchestrator = new SearchOrchestrator();\n    const search = await orchestrator.runRegexSearch({\n      context: ctx,\n      spec,\n      limit: 5,\n    });\n\n    recordSearchAttempt({\n      context: ctx,\n      actionId: \"search-regex\",\n      query: input.query,\n      search,\n    });\n\n    if (search.failure?.failureClass === \"invalid-regex\" || search.failure?.failureClass === \"scope-missing\") {\n      const output = buildInvalidRegexOutput(input, search);\n      logInputOutput(\"search-regex\", \"output\", output);\n      return output;\n    }\n\n    deriveFocusFromSearchResult(ctx, search, {\n      appendCandidates: true,\n      promoteOperatorMatchesToCandidates: true,\n    });\n\n    const files = await enrichMissingSummaries(search.fileCandidates, ctx);\n    persistDiscoveredFiles(ctx, files);\n\n    const output: ModuleIO = {\n      query: input.query,\n      data: {\n        files,\n        regexSpec: search.regexSpec,\n        matches: search.patternMatches,\n        failure: search.failure,\n      },\n    };\n    logInputOutput(\"search-regex\", \"output\", output);\n    return output;\n  },\n};\n"]}

package/dist/pipeline/modules/semanticAnalysisModule.js

@@ -1,7 +1,11 @@
 import { logInputOutput } from "../../utils/promptLogHelper.js";
 import { cleanupModule } from "./cleanupModule.js";
 import { generate } from "../../lib/generate.js";
+import { isMethodSelectionRetrievalQuery } from "../../agents/mainAgentHeuristics.js";
+import { computeContentFingerprint, computeQueryFingerprint, hasFreshSemanticAnalysis, } from "../../utils/fileEvidenceCache.js";
 const MAX_CODE_CHARS = 6000; // conservative prompt-safe limit
+const MIN_EXACT_VERIFY_CONFIDENCE = 0.85;
+const MAX_CONTEXT_LINE_CHARS = 220;
 export const semanticAnalysisModule = {
     name: "semanticAnalysis",
     description: "Performs semantic analysis for a single target file defined by the current execution step.",
@@ -36,6 +40,22 @@ export const semanticAnalysisModule = {
         (_a = context.analysis).fileAnalysis || (_a.fileAnalysis = {});
         const filePath = file.path;
         const prevAnalysis = context.analysis.fileAnalysis[filePath];
+        if (hasFreshSemanticAnalysis({
+            analysis: prevAnalysis,
+            file,
+            query: input.query,
+        })) {
+            logInputOutput("semanticAnalysisStep - per-file", "output", {
+                file: filePath,
+                reusedFromCache: true,
+                analysis: prevAnalysis,
+            });
+            return {
+                query: input.query,
+                data: { notes: "Semantic analysis reused cached result" },
+                context,
+            };
+        }
         // -----------------------------
         // Semantic analysis (LLM)
         // -----------------------------
@@ -47,6 +67,8 @@ export const semanticAnalysisModule = {
             ...prevAnalysis,
             ...semanticResult,
             semanticAnalyzed: true,
+            contentFingerprint: computeContentFingerprint(file.code),
+            queryFingerprint: computeQueryFingerprint(input.query),
         };
         logInputOutput("semanticAnalysisStep - per-file", "output", {
             file: filePath,
@@ -59,33 +81,69 @@ export const semanticAnalysisModule = {
         };
     },
 };
+/**
+ * Builds a short, high-signal context block for semantic prompts.
+ *
+ * Examples:
+ * - long rationale -> trimmed to one line
+ * - many assumptions -> keep the first few concrete items
+ * - no useful context -> "[none]"
+ */
+function buildSemanticContextSnippet(rationale, understanding) {
+    const lines = [
+        formatSemanticContextLine("Rationale", rationale),
+        formatSemanticList("Assumptions", understanding?.assumptions),
+        formatSemanticList("Constraints", understanding?.constraints),
+        formatSemanticList("Known risks", understanding?.risks),
+    ].filter(Boolean);
+    return lines.length > 0 ? lines.join("\n") : "[none]";
+}
+/**
+ * Formats one short context line and trims noisy whitespace.
+ * Example: "a  long\nreason" -> "a long reason".
+ */
+function formatSemanticContextLine(label, value) {
+    const compact = String(value ?? "").replace(/\s+/g, " ").trim();
+    if (!compact)
+        return "";
+    const trimmed = compact.length > MAX_CONTEXT_LINE_CHARS
+        ? `${compact.slice(0, MAX_CONTEXT_LINE_CHARS - 1).trimEnd()}...`
+        : compact;
+    return `${label}: ${trimmed}`;
+}
+/**
+ * Formats a small list section for semantic prompts.
+ * Example: ["a", "b", "c", "d"] -> "Assumptions: a; b; c".
+ */
+function formatSemanticList(label, values) {
+    const compactValues = (values ?? [])
+        .map((value) => String(value ?? "").replace(/\s+/g, " ").trim())
+        .filter(Boolean)
+        .slice(0, 3);
+    if (compactValues.length === 0)
+        return "";
+    return `${label}: ${compactValues.join("; ")}`;
+}
 /* -------------------------
    Analyze single file
 ---------------------------- */
-async function analyzeFile(file, query, context) {
+async function analyzeFile(file, taskQuery, context) {
+    const deterministicFallback = buildDeterministicSemanticFallback(file, taskQuery, context);
+    if (shouldUseDeterministicSemanticFallback(taskQuery, context, file.path, deterministicFallback)) {
+        return deterministicFallback;
+    }
     const slicedCode = sliceCodeForAnalysis(file.code);
     const focus = context?.analysis?.focus;
     const understanding = context?.analysis?.understanding;
-    const contextSnippet = [
-        focus?.rationale ? `Rationale: ${focus.rationale}` : "",
-        understanding?.assumptions
-            ? `Assumptions: ${understanding.assumptions.join("; ")}`
-            : "",
-        understanding?.constraints
-            ? `Constraints: ${understanding.constraints.join("; ")}`
-            : "",
-        understanding?.risks ? `Known risks: ${understanding.risks.join("; ")}` : "",
-    ]
-        .filter(Boolean)
-        .join("\n");
+    const contextSnippet = buildSemanticContextSnippet(focus?.rationale, understanding);
     const prompt = `
 You are performing semantic analysis on a file that has already been determined
-to be relevant to the user query.
+to be relevant to the current task.
 
-User query:
-"${query}"
+Task query:
+"${taskQuery}"
 
-Context from previous steps:
+Relevant prior context:
 ${contextSnippet}
 
 File path: ${file.path}
@@ -125,8 +183,17 @@ Return STRICT JSON:
 }
 `.trim();
     try {
-        const ai = await generate({ query: file.path, content: prompt });
-        const cleaned = await cleanupModule.run({ query, content: ai.data });
+        const ai = await generate({ query: "", content: prompt }, {
+            caller: "semanticAnalysisModule",
+            inputContext: {
+                query: taskQuery,
+                filePath: file.path,
+                slicedCode,
+                focus,
+                understanding,
+            },
+        });
+        const cleaned = await cleanupModule.run({ query: taskQuery, content: ai.data });
         let data;
         if (typeof cleaned.data === "object" && cleaned.data) {
             data = cleaned.data;
@@ -146,7 +213,7 @@ Return STRICT JSON:
             role: ["primary", "supporting", "contextual"].includes(data.role)
                 ? data.role
                 : undefined,
-            proposedChanges: data.proposedChanges
+            proposedChanges: data.proposedChanges && typeof data.proposedChanges === "object"
                 ? {
                     summary: String(data.proposedChanges.summary ?? ""),
                     scope: data.proposedChanges.scope ?? "none",
@@ -157,10 +224,7 @@ Return STRICT JSON:
                         ? data.proposedChanges.rationale
                         : undefined,
                 }
-                : {
-                    summary: "No changes required for this file.",
-                    scope: "none",
-                },
+                : undefined,
             excerpts: Array.isArray(data.excerpts)
                 ? data.excerpts
                     .filter((e) => typeof e?.code === "string" && e.code.trim())
@@ -190,14 +254,16 @@ Return STRICT JSON:
                 codeLength: e.code.length,
             })) ?? [],
         });
+        logInputOutput("semanticAnalysisStep - model", "output", {
+            callId: ai.trace?.callId,
+            filePath: file.path,
+            parsedRole: result.role,
+        });
         return result;
     }
     catch (err) {
         console.warn(`[semanticAnalysisStep] Failed to analyze file ${file.path}:`, err);
-        return {
-            relevanceExplanation: "This file could not be analyzed due to an error.",
-            risks: [],
-        };
+        return deterministicFallback;
     }
 }
 /* -------------------------
@@ -212,3 +278,94 @@ function sliceCodeForAnalysis(code) {
     const tail = code.slice(-Math.floor(MAX_CODE_CHARS * 0.4));
     return [head, "\n/* … file truncated for semantic analysis … */\n", tail].join("");
 }
+function shouldUseDeterministicSemanticFallback(query, context, filePath, fallback) {
+    const isAnalyzeOnly = context?.executionControl?.constraints?.allowFileWrites === false;
+    const exactSymbol = getStrongExactVerifySymbol(context, filePath);
+    return isAnalyzeOnly && isMethodSelectionRetrievalQuery(query) && !!exactSymbol && !!fallback.proposedChanges?.targets?.length;
+}
+function buildDeterministicSemanticFallback(file, query, context) {
+    const exactSymbol = getStrongExactVerifySymbol(context, file.path);
+    const verifyRationale = context?.analysis?.verify?.byFile?.[file.path]?.rationale ??
+        "Verify evidence identified this file as the strongest answer source.";
+    const excerpt = exactSymbol
+        ? extractDeclarationExcerpt(file.code, exactSymbol.evidence)
+        : sliceCodeForAnalysis(file.code);
+    const declarationTarget = exactSymbol
+        ? extractDeclarationTarget(file.code, exactSymbol.evidence)
+        : undefined;
+    if (exactSymbol) {
+        return {
+            intent: "relevant",
+            role: "primary",
+            relevanceExplanation: `Exact verify evidence already identifies ${exactSymbol.name} in this file as the deciding method for the query. ${verifyRationale}`,
+            proposedChanges: {
+                summary: `${exactSymbol.name} is the exact verified method that answers this query.`,
+                scope: "minor",
+                targets: declarationTarget ? [declarationTarget] : [exactSymbol.name],
+                rationale: "Deterministic semantic fallback from exact verify evidence.",
+            },
+            excerpts: excerpt
+                ? [
+                    {
+                        description: `Exact verify-backed declaration for ${exactSymbol.name}.`,
+                        startLine: exactSymbol.evidence.span?.startLine,
+                        endLine: exactSymbol.evidence.span?.endLine,
+                        symbols: [exactSymbol.name],
+                        code: excerpt,
+                    },
+                ]
+                : undefined,
+            risks: [],
+        };
+    }
+    return {
+        intent: "relevant",
+        role: "primary",
+        relevanceExplanation: `Semantic generation was unavailable, so this file is being carried forward with bounded deterministic analysis. ${verifyRationale}`,
+        proposedChanges: {
+            summary: "Deterministic semantic fallback preserved this file as a grounded analysis source.",
+            scope: "minor",
+            targets: [`FILE: ${file.path}`],
+            rationale: "Fallback used because semantic generation failed or was intentionally skipped.",
+        },
+        excerpts: excerpt
+            ? [
+                {
+                    description: "Bounded fallback code excerpt.",
+                    code: excerpt,
+                },
+            ]
+            : undefined,
+        risks: [],
+    };
+}
+function getStrongExactVerifySymbol(context, filePath) {
+    const evidence = context?.analysis?.verify?.byFile?.[filePath]?.evidence ?? [];
+    const ranked = evidence
+        .filter(item => (item.type === "symbol" || item.type === "structural") &&
+        typeof item.excerpt === "string" &&
+        item.excerpt.trim().length > 0 &&
+        (item.confidence ?? 0) >= MIN_EXACT_VERIFY_CONFIDENCE)
+        .sort((a, b) => (b.confidence ?? 0) - (a.confidence ?? 0));
+    const winner = ranked[0];
+    if (!winner?.excerpt)
+        return undefined;
+    return { name: winner.excerpt.trim(), evidence: winner };
+}
+function extractDeclarationExcerpt(code, evidence) {
+    if (!code)
+        return undefined;
+    const lines = code.split("\n");
+    const start = Math.max(0, (evidence.span?.startLine ?? 1) - 1);
+    const end = Math.min(lines.length, evidence.span?.endLine ?? start + 1);
+    const snippet = lines.slice(start, Math.max(start + 1, end)).join("\n").trim();
+    return snippet || sliceCodeForAnalysis(code);
+}
+function extractDeclarationTarget(code, evidence) {
+    if (!code)
+        return evidence.excerpt?.trim();
+    const lines = code.split("\n");
+    const line = lines[(evidence.span?.startLine ?? 1) - 1]?.trim();
+    return line || evidence.excerpt?.trim();
+}
+//# sourceMappingURL=semanticAnalysisModule.js.map

package/dist/pipeline/modules/semanticAnalysisModule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semanticAnalysisModule.js","sourceRoot":"","sources":["../../../src/pipeline/modules/semanticAnalysisModule.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAChE,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAE,+BAA+B,EAAE,MAAM,qCAAqC,CAAC;AACtF,OAAO,EACH,yBAAyB,EACzB,uBAAuB,EACvB,wBAAwB,GAC3B,MAAM,kCAAkC,CAAC;AAE1C,MAAM,cAAc,GAAG,IAAI,CAAC,CAAC,iCAAiC;AAC9D,MAAM,2BAA2B,GAAG,IAAI,CAAC;AACzC,MAAM,sBAAsB,GAAG,GAAG,CAAC;AAEnC,MAAM,CAAC,MAAM,sBAAsB,GAAW;IAC1C,IAAI,EAAE,kBAAkB;IACxB,WAAW,EAAE,4FAA4F;IACzG,MAAM,EAAE,CAAC,UAAU,CAAC;IAEpB,GAAG,EAAE,KAAK,EAAE,KAAe,EAAqB,EAAE;;QAC9C,MAAM,OAAO,GAAG,KAAK,CAAC,OAA4B,CAAC;QACnD,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;QAE5E,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC;QACjC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,kBAAkB,EAAE,CAAC;YAC9C,MAAM,KAAK,GAAG,8DAA8D,CAAC;YAC7E,cAAc,CAAC,sBAAsB,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;YAC5D,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC;QAC5D,CAAC;QAED,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;YACnB,MAAM,KAAK,GAAG,iEAAiE,CAAC;YAChF,cAAc,CAAC,sBAAsB,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;YAC5D,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC;QAC5D,CAAC;QAED,MAAM,YAAY,GAA4B,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC;QACzE,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,UAAU,CAAC,CAAC;QAEhE,IAAI,CAAC,IAAI,EAAE,CAAC;YACR,MAAM,KAAK,GAAG,gDAAgD,IAAI,CAAC,UAAU,EAAE,CAAC;YAChF,cAAc,CAAC,sBAAsB,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;YAC5D,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC;QAC5D,CAAC;QAED,gCAAgC;QAChC,6BAA6B;QAC7B,gCAAgC;QAChC,OAAO,CAAC,QAAQ,KAAhB,OAAO,CAAC,QAAQ,GAAK,EAAE,EAAC;QACxB,MAAA,OAAO,CAAC,QAAQ,EAAC,YAAY,QAAZ,YAAY,GAAK,EAAE,EAAC;QAErC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC;QAC3B,MAAM,YAAY,GAAG,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;QAC7D,IAAI,wBAAwB,CAAC;YACzB,QAAQ,EAAE,YAAY;YACtB,IAAI;YACJ,KAAK,EAAE,KAAK,CAAC,KAAK;SACrB,CAAC,EAAE,CAAC;YACD,cAAc,CAAC,iCAAiC,EAAE,QAAQ,EAAE;gBACxD,IAAI,EAAE,QAAQ;gBACd,eAAe,EAAE,IAAI;gBACrB,QAAQ,EAAE,YAAY;aACzB,CAAC,CAAC;YACH,OAAO;gBACH,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,IAAI,EAAE,EAAE,KAAK,EAAE,wCAAwC,EAAE;gBACzD,OAAO;aACV,CAAC;QACN,CAAC;QAED,gCAAgC;QAChC,0BAA0B;QAC1B,gCAAgC;QAChC,MAAM,cAAc,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAErE,gCAAgC;QAChC,8BAA8B;QAC9B,gCAAgC;QAChC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,QAAQ,CAAC,GAAG;YACtC,GAAG,YAAY;YACf,GAAG,cAAc;YACjB,gBAAgB,EAAE,IAAI;YACtB,kBAAkB,EAAE,yBAAyB,CAAC,IAAI,CAAC,IAAI,CAAC;YACxD,gBAAgB,EAAE,uBAAuB,CAAC,KAAK,CAAC,KAAK,CAAC;SACzD,CAAC;QAEF,cAAc,CAAC,iCAAiC,EAAE,QAAQ,EAAE;YACxD,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,QAAQ,CAAC;SACpD,CAAC,CAAC;QAEH,OAAO;YACH,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,IAAI,EAAE,EAAE,KAAK,EAAE,6BAA6B,EAAE;YAC9C,OAAO;SACV,CAAC;IACN,CAAC;CACJ,CAAC;AAEF;;;;;;;GAOG;AACH,SAAS,2BAA2B,CAChC,SAA6B,EAC7B,aAAyD;IAEzD,MAAM,KAAK,GAAG;QACV,yBAAyB,CAAC,WAAW,EAAE,SAAS,CAAC;QACjD,kBAAkB,CAAC,aAAa,EAAE,aAAa,EAAE,WAAW,CAAC;QAC7D,kBAAkB,CAAC,aAAa,EAAE,aAAa,EAAE,WAAW,CAAC;QAC7D,kBAAkB,CAAC,aAAa,EAAE,aAAa,EAAE,KAAK,CAAC;KAC1D,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAElB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC1D,CAAC;AAED;;;GAGG;AACH,SAAS,yBAAyB,CAAC,KAAa,EAAE,KAAyB;IACvE,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAChE,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IACxB,MAAM,OAAO,GACT,OAAO,CAAC,MAAM,GAAG,sBAAsB;QACnC,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,sBAAsB,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK;QAChE,CAAC,CAAC,OAAO,CAAC;IAClB,OAAO,GAAG,KAAK,KAAK,OAAO,EAAE,CAAC;AAClC,CAAC;AAED;;;GAGG;AACH,SAAS,kBAAkB,CAAC,KAAa,EAAE,MAA4B;IACnE,MAAM,aAAa,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC;SAC/B,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;SAC/D,MAAM,CAAC,OAAO,CAAC;SACf,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjB,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC1C,OAAO,GAAG,KAAK,KAAK,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AACnD,CAAC;AAED;;+BAE+B;AAC/B,KAAK,UAAU,WAAW,CACtB,IAA2B,EAC3B,SAAiB,EACjB,OAA2B;IAE3B,MAAM,qBAAqB,GAAG,kCAAkC,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IAC3F,IAAI,sCAAsC,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,qBAAqB,CAAC,EAAE,CAAC;QAC/F,OAAO,qBAAqB,CAAC;IACjC,CAAC;IAED,MAAM,UAAU,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEnD,MAAM,KAAK,GAAG,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC;IACvC,MAAM,aAAa,GAAG,OAAO,EAAE,QAAQ,EAAE,aAAa,CAAC;IACvD,MAAM,cAAc,GAAG,2BAA2B,CAAC,KAAK,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;IAEpF,MAAM,MAAM,GAAG;;;;;GAKhB,SAAS;;;EAGV,cAAc;;aAEH,IAAI,CAAC,IAAI;;;;;;;;;;;;;;EAcpB,UAAU,IAAI,WAAW;;;;;;;;;;;;;;;;;;;;;CAqB1B,CAAC,IAAI,EAAE,CAAC;IAEL,IAAI,CAAC;QACD,MAAM,EAAE,GAAG,MAAM,QAAQ,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE;YACtD,MAAM,EAAE,wBAAwB;YAChC,YAAY,EAAE;gBACV,KAAK,EAAE,SAAS;gBAChB,QAAQ,EAAE,IAAI,CAAC,IAAI;gBACnB,UAAU;gBACV,KAAK;gBACL,aAAa;aAChB;SACJ,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,aAAa,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;QAEhF,IAAI,IAAS,CAAC;QACd,IAAI,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;YACnD,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;QACxB,CAAC;aAAM,CAAC;YACJ,IAAI,CAAC;gBACD,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,IAAI,IAAI,CAAC,CAAC,CAAC;YACvD,CAAC;YAAC,MAAM,CAAC;gBACL,IAAI,GAAG,EAAE,CAAC;YACd,CAAC;QACL,CAAC;QAED,MAAM,MAAM,GAAiB;YACzB,oBAAoB,EAChB,OAAO,IAAI,CAAC,oBAAoB,KAAK,QAAQ,IAAI,IAAI,CAAC,oBAAoB,CAAC,IAAI,EAAE;gBAC7E,CAAC,CAAC,IAAI,CAAC,oBAAoB;gBAC3B,CAAC,CAAC,gFAAgF;YAC1F,IAAI,EACA,CAAC,SAAS,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;gBACvD,CAAC,CAAC,IAAI,CAAC,IAAI;gBACX,CAAC,CAAC,SAAS;YACnB,eAAe,EACX,IAAI,CAAC,eAAe,IAAI,OAAO,IAAI,CAAC,eAAe,KAAK,QAAQ;gBAChE,CAAC,CAAC;oBACE,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,OAAO,IAAI,EAAE,CAAC;oBACnD,KAAK,EAAE,IAAI,CAAC,eAAe,CAAC,KAAK,IAAI,MAAM;oBAC3C,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC;wBAChD,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,OAAO;wBAC9B,CAAC,CAAC,SAAS;oBACf,SAAS,EACL,OAAO,IAAI,CAAC,eAAe,CAAC,SAAS,KAAK,QAAQ;wBAC9C,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,SAAS;wBAChC,CAAC,CAAC,SAAS;iBACtB;gBACD,CAAC,CAAC,SAAS;YACf,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC;gBAClC,CAAC,CAAC,IAAI,CAAC,QAAQ;qBACV,MAAM,CAAC,CAAC,CAAmB,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;qBAC7E,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC;oBACd,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,IAAI,uBAAuB,CAAC;oBAC7D,SAAS,EAAE,OAAO,CAAC,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;oBACpE,OAAO,EAAE,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;oBAC9D,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;oBACzD,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;iBACvB,CAAC,CAAC;gBACP,CAAC,CAAC,SAAS;YACf,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;SACrD,CAAC;QAEF,kDAAkD;QAClD,cAAc,CAAC,wCAAwC,EAAE,QAAQ,EAAE;YAC/D,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,eAAe,EAAE,MAAM,CAAC,eAAe,IAAI,IAAI;SAClD,CAAC,CAAC;QAEH,8CAA8C;QAC9C,cAAc,CAAC,iCAAiC,EAAE,QAAQ,EAAE;YACxD,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,QAAQ,EACJ,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACvB,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM;aAC5B,CAAC,CAAC,IAAI,EAAE;SAChB,CAAC,CAAC;QAEH,cAAc,CAAC,8BAA8B,EAAE,QAAQ,EAAE;YACrD,MAAM,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM;YACxB,QAAQ,EAAE,IAAI,CAAC,IAAI;YACnB,UAAU,EAAE,MAAM,CAAC,IAAI;SAC1B,CAAC,CAAC;QAEH,OAAO,MAAM,CAAC;IAClB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACX,OAAO,CAAC,IAAI,CACR,iDAAiD,IAAI,CAAC,IAAI,GAAG,EAC7D,GAAG,CACN,CAAC;QACF,OAAO,qBAAqB,CAAC;IACjC,CAAC;AACL,CAAC;AAED;;+BAE+B;AAC/B,SAAS,oBAAoB,CAAC,IAAa;IACvC,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,IAAI,IAAI,CAAC,MAAM,IAAI,cAAc;QAAE,OAAO,IAAI,CAAC;IAE/C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,cAAc,GAAG,GAAG,CAAC,CAAC,CAAC;IAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,GAAG,GAAG,CAAC,CAAC,CAAC;IAC3D,OAAO,CAAC,IAAI,EAAE,oDAAoD,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACvF,CAAC;AAED,SAAS,sCAAsC,CAC3C,KAAa,EACb,OAAsC,EACtC,QAAgB,EAChB,QAAsB;IAEtB,MAAM,aAAa,GAAG,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,eAAe,KAAK,KAAK,CAAC;IACxF,MAAM,WAAW,GAAG,0BAA0B,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAClE,OAAO,aAAa,IAAI,+BAA+B,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,QAAQ,CAAC,eAAe,EAAE,OAAO,EAAE,MAAM,CAAC;AACnI,CAAC;AAED,SAAS,kCAAkC,CACvC,IAA2B,EAC3B,KAAa,EACb,OAA2B;IAE3B,MAAM,WAAW,GAAG,0BAA0B,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACnE,MAAM,eAAe,GACjB,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,SAAS;QACzD,sEAAsE,CAAC;IAC3E,MAAM,OAAO,GAAG,WAAW;QACvB,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,QAAQ,CAAC;QAC5D,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,iBAAiB,GAAG,WAAW;QACjC,CAAC,CAAC,wBAAwB,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,QAAQ,CAAC;QAC3D,CAAC,CAAC,SAAS,CAAC;IAEhB,IAAI,WAAW,EAAE,CAAC;QACd,OAAO;YACH,MAAM,EAAE,UAAU;YAClB,IAAI,EAAE,SAAS;YACf,oBAAoB,EAAE,4CAA4C,WAAW,CAAC,IAAI,uDAAuD,eAAe,EAAE;YAC1J,eAAe,EAAE;gBACb,OAAO,EAAE,GAAG,WAAW,CAAC,IAAI,wDAAwD;gBACpF,KAAK,EAAE,OAAO;gBACd,OAAO,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC;gBACrE,SAAS,EAAE,6DAA6D;aAC3E;YACD,QAAQ,EAAE,OAAO;gBACb,CAAC,CAAC;oBACE;wBACI,WAAW,EAAE,uCAAuC,WAAW,CAAC,IAAI,GAAG;wBACvE,SAAS,EAAE,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS;wBAC/C,OAAO,EAAE,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO;wBAC3C,OAAO,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC;wBAC3B,IAAI,EAAE,OAAO;qBAChB;iBACJ;gBACD,CAAC,CAAC,SAAS;YACf,KAAK,EAAE,EAAE;SACZ,CAAC;IACN,CAAC;IAED,OAAO;QACH,MAAM,EAAE,UAAU;QAClB,IAAI,EAAE,SAAS;QACf,oBAAoB,EAAE,mHAAmH,eAAe,EAAE;QAC1J,eAAe,EAAE;YACb,OAAO,EAAE,oFAAoF;YAC7F,KAAK,EAAE,OAAO;YACd,OAAO,EAAE,CAAC,SAAS,IAAI,CAAC,IAAI,EAAE,CAAC;YAC/B,SAAS,EAAE,gFAAgF;SAC9F;QACD,QAAQ,EAAE,OAAO;YACb,CAAC,CAAC;gBACE;oBACI,WAAW,EAAE,gCAAgC;oBAC7C,IAAI,EAAE,OAAO;iBAChB;aACJ;YACD,CAAC,CAAC,SAAS;QACf,KAAK,EAAE,EAAE;KACZ,CAAC;AACN,CAAC;AAED,SAAS,0BAA0B,CAC/B,OAAsC,EACtC,QAAgB;IAEhB,MAAM,QAAQ,GAAG,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,QAAQ,IAAI,EAAE,CAAC;IAC/E,MAAM,MAAM,GAAG,QAAQ;SAClB,MAAM,CAAC,IAAI,CAAC,EAAE,CACX,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC;QACtD,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ;QAChC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;QAC9B,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC,IAAI,2BAA2B,CACxD;SACA,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC,CAAC;IAE/D,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,CAAC,MAAM,EAAE,OAAO;QAAE,OAAO,SAAS,CAAC;IACvC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AAC7D,CAAC;AAED,SAAS,yBAAyB,CAC9B,IAAwB,EACxB,QAAsB;IAEtB,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/D,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;IACxE,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IAC/E,OAAO,OAAO,IAAI,oBAAoB,CAAC,IAAI,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,wBAAwB,CAC7B,IAAwB,EACxB,QAAsB;IAEtB,IAAI,CAAC,IAAI;QAAE,OAAO,QAAQ,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC;IAC3C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;IAChE,OAAO,IAAI,IAAI,QAAQ,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC;AAC5C,CAAC","sourcesContent":["// File: src/modules/semanticAnalysisStep.ts\n/**\n * Performs per-file semantic analysis, but falls back to deterministic analysis\n * when exact verify evidence already answers a narrow method-selection question.\n *\n * Why this file exists:\n * - keep normal semantic summaries for broad analysis flows\n * - avoid blocking analysis-only answers on a long LLM pass when verify already\n *   surfaced the exact deciding symbol\n */\nimport {\n    AnalysisState,\n    ModuleIO,\n    StructuredContext,\n    StructuredFileCapsule,\n    FileAnalysis,\n    Module,\n    FileEvidence,\n} from \"../../types.js\";\nimport { logInputOutput } from \"../../utils/promptLogHelper.js\";\nimport { cleanupModule } from \"./cleanupModule.js\";\nimport { generate } from \"../../lib/generate.js\";\nimport { isMethodSelectionRetrievalQuery } from \"../../agents/mainAgentHeuristics.js\";\nimport {\n    computeContentFingerprint,\n    computeQueryFingerprint,\n    hasFreshSemanticAnalysis,\n} from \"../../utils/fileEvidenceCache.js\";\n\nconst MAX_CODE_CHARS = 6000; // conservative prompt-safe limit\nconst MIN_EXACT_VERIFY_CONFIDENCE = 0.85;\nconst MAX_CONTEXT_LINE_CHARS = 220;\n\nexport const semanticAnalysisModule: Module = {\n    name: \"semanticAnalysis\",\n    description: \"Performs semantic analysis for a single target file defined by the current execution step.\",\n    groups: [\"analysis\"],\n\n    run: async (input: ModuleIO): Promise<ModuleIO> => {\n        const context = input.context as StructuredContext;\n        if (!context) throw new Error(\"[semanticAnalysisStep] No context provided\");\n\n        const step = context.currentStep;\n        if (!step || step.action !== \"semanticAnalysis\") {\n            const notes = \"[semanticAnalysisStep] Invoked without semanticAnalysis step\";\n            logInputOutput(\"semanticAnalysisStep\", \"output\", { notes });\n            return { query: input.query, data: { notes }, context };\n        }\n\n        if (!step.targetFile) {\n            const notes = \"[semanticAnalysisStep] semanticAnalysis step missing targetFile\";\n            logInputOutput(\"semanticAnalysisStep\", \"output\", { notes });\n            return { query: input.query, data: { notes }, context };\n        }\n\n        const workingFiles: StructuredFileCapsule[] = context.workingFiles ?? [];\n        const file = workingFiles.find(f => f.path === step.targetFile);\n\n        if (!file) {\n            const notes = `[semanticAnalysisStep] targetFile not found: ${step.targetFile}`;\n            logInputOutput(\"semanticAnalysisStep\", \"output\", { notes });\n            return { query: input.query, data: { notes }, context };\n        }\n\n        // -----------------------------\n        // Ensure analysis containers\n        // -----------------------------\n        context.analysis ||= {};\n        context.analysis.fileAnalysis ||= {};\n\n        const filePath = file.path;\n        const prevAnalysis = context.analysis.fileAnalysis[filePath];\n        if (hasFreshSemanticAnalysis({\n            analysis: prevAnalysis,\n            file,\n            query: input.query,\n        })) {\n            logInputOutput(\"semanticAnalysisStep - per-file\", \"output\", {\n                file: filePath,\n                reusedFromCache: true,\n                analysis: prevAnalysis,\n            });\n            return {\n                query: input.query,\n                data: { notes: \"Semantic analysis reused cached result\" },\n                context,\n            };\n        }\n\n        // -----------------------------\n        // Semantic analysis (LLM)\n        // -----------------------------\n        const semanticResult = await analyzeFile(file, input.query, context);\n\n        // -----------------------------\n        // Write-once merge to context\n        // -----------------------------\n        context.analysis.fileAnalysis[filePath] = {\n            ...prevAnalysis,\n            ...semanticResult,\n            semanticAnalyzed: true,\n            contentFingerprint: computeContentFingerprint(file.code),\n            queryFingerprint: computeQueryFingerprint(input.query),\n        };\n\n        logInputOutput(\"semanticAnalysisStep - per-file\", \"output\", {\n            file: filePath,\n            analysis: context.analysis.fileAnalysis[filePath],\n        });\n\n        return {\n            query: input.query,\n            data: { notes: \"Semantic analysis completed\" },\n            context,\n        };\n    },\n};\n\n/**\n * Builds a short, high-signal context block for semantic prompts.\n *\n * Examples:\n * - long rationale -> trimmed to one line\n * - many assumptions -> keep the first few concrete items\n * - no useful context -> \"[none]\"\n */\nfunction buildSemanticContextSnippet(\n    rationale: string | undefined,\n    understanding: AnalysisState[\"understanding\"] | undefined\n): string {\n    const lines = [\n        formatSemanticContextLine(\"Rationale\", rationale),\n        formatSemanticList(\"Assumptions\", understanding?.assumptions),\n        formatSemanticList(\"Constraints\", understanding?.constraints),\n        formatSemanticList(\"Known risks\", understanding?.risks),\n    ].filter(Boolean);\n\n    return lines.length > 0 ? lines.join(\"\\n\") : \"[none]\";\n}\n\n/**\n * Formats one short context line and trims noisy whitespace.\n * Example: \"a  long\\nreason\" -> \"a long reason\".\n */\nfunction formatSemanticContextLine(label: string, value: string | undefined): string {\n    const compact = String(value ?? \"\").replace(/\\s+/g, \" \").trim();\n    if (!compact) return \"\";\n    const trimmed =\n        compact.length > MAX_CONTEXT_LINE_CHARS\n            ? `${compact.slice(0, MAX_CONTEXT_LINE_CHARS - 1).trimEnd()}...`\n            : compact;\n    return `${label}: ${trimmed}`;\n}\n\n/**\n * Formats a small list section for semantic prompts.\n * Example: [\"a\", \"b\", \"c\", \"d\"] -> \"Assumptions: a; b; c\".\n */\nfunction formatSemanticList(label: string, values: string[] | undefined): string {\n    const compactValues = (values ?? [])\n        .map((value) => String(value ?? \"\").replace(/\\s+/g, \" \").trim())\n        .filter(Boolean)\n        .slice(0, 3);\n    if (compactValues.length === 0) return \"\";\n    return `${label}: ${compactValues.join(\"; \")}`;\n}\n\n/* -------------------------\n   Analyze single file\n---------------------------- */\nasync function analyzeFile(\n    file: StructuredFileCapsule,\n    taskQuery: string,\n    context?: StructuredContext\n): Promise<FileAnalysis> {\n    const deterministicFallback = buildDeterministicSemanticFallback(file, taskQuery, context);\n    if (shouldUseDeterministicSemanticFallback(taskQuery, context, file.path, deterministicFallback)) {\n        return deterministicFallback;\n    }\n\n    const slicedCode = sliceCodeForAnalysis(file.code);\n\n    const focus = context?.analysis?.focus;\n    const understanding = context?.analysis?.understanding;\n    const contextSnippet = buildSemanticContextSnippet(focus?.rationale, understanding);\n\n    const prompt = `\nYou are performing semantic analysis on a file that has already been determined\nto be relevant to the current task.\n\nTask query:\n\"${taskQuery}\"\n\nRelevant prior context:\n${contextSnippet}\n\nFile path: ${file.path}\n\nTask:\n- Explain *why* this file is relevant to the query in concrete, technical terms.\n- Assign a semantic role if applicable.\n- Identify risks, constraints, or noteworthy design considerations.\n\nAdditionally:\n- Extract the most relevant code excerpts that justify your analysis.\n- Prefer complete functions, configuration blocks, or object literals.\n- Do NOT summarize the code — include the actual code text.\n- Only include excerpts that directly support your analysis.\n\nCode excerpt:\n${slicedCode ?? \"[no code]\"}\n\nReturn STRICT JSON:\n{\n  \"role\"?: \"primary\" | \"supporting\" | \"contextual\",\n  \"relevanceExplanation\": string,\n  \"proposedChanges\"?: {\n      \"summary\": string,\n      \"scope\": \"none\" | \"minor\" | \"moderate\" | \"major\",\n      \"targets\"?: string[],\n      \"rationale\"?: string\n  },\n  \"excerpts\"?: Array<{\n      \"description\": string,\n      \"startLine\"?: number,\n      \"endLine\"?: number,\n      \"symbols\"?: string[],\n      \"code\": string\n  }>,\n  \"risks\"?: string[]\n}\n`.trim();\n\n    try {\n        const ai = await generate({ query: \"\", content: prompt }, {\n            caller: \"semanticAnalysisModule\",\n            inputContext: {\n                query: taskQuery,\n                filePath: file.path,\n                slicedCode,\n                focus,\n                understanding,\n            },\n        });\n        const cleaned = await cleanupModule.run({ query: taskQuery, content: ai.data });\n\n        let data: any;\n        if (typeof cleaned.data === \"object\" && cleaned.data) {\n            data = cleaned.data;\n        } else {\n            try {\n                data = JSON.parse(String(cleaned.content ?? \"{}\"));\n            } catch {\n                data = {};\n            }\n        }\n\n        const result: FileAnalysis = {\n            relevanceExplanation:\n                typeof data.relevanceExplanation === \"string\" && data.relevanceExplanation.trim()\n                    ? data.relevanceExplanation\n                    : \"This file contributes to the query but did not provide a detailed explanation.\",\n            role:\n                [\"primary\", \"supporting\", \"contextual\"].includes(data.role)\n                    ? data.role\n                    : undefined,\n            proposedChanges:\n                data.proposedChanges && typeof data.proposedChanges === \"object\"\n                ? {\n                    summary: String(data.proposedChanges.summary ?? \"\"),\n                    scope: data.proposedChanges.scope ?? \"none\",\n                    targets: Array.isArray(data.proposedChanges.targets)\n                        ? data.proposedChanges.targets\n                        : undefined,\n                    rationale:\n                        typeof data.proposedChanges.rationale === \"string\"\n                            ? data.proposedChanges.rationale\n                            : undefined,\n                }\n                : undefined,\n            excerpts: Array.isArray(data.excerpts)\n                ? data.excerpts\n                    .filter((e: { code: string }) => typeof e?.code === \"string\" && e.code.trim())\n                    .map((e: any) => ({\n                        description: String(e.description ?? \"Relevant code excerpt\"),\n                        startLine: typeof e.startLine === \"number\" ? e.startLine : undefined,\n                        endLine: typeof e.endLine === \"number\" ? e.endLine : undefined,\n                        symbols: Array.isArray(e.symbols) ? e.symbols : undefined,\n                        code: String(e.code),\n                    }))\n                : undefined,\n            risks: Array.isArray(data.risks) ? data.risks : [],\n        };\n\n        // 🔹 Log proposed changes (decision-level signal)\n        logInputOutput(\"semanticAnalysisStep - proposedChanges\", \"output\", {\n            file: file.path,\n            proposedChanges: result.proposedChanges ?? null,\n        });\n\n        // 🔹 Log excerpts (grounding signal, compact)\n        logInputOutput(\"semanticAnalysisStep - excerpts\", \"output\", {\n            file: file.path,\n            excerpts:\n                result.excerpts?.map(e => ({\n                    description: e.description,\n                    startLine: e.startLine,\n                    endLine: e.endLine,\n                    symbols: e.symbols,\n                    codeLength: e.code.length,\n                })) ?? [],\n        });\n\n        logInputOutput(\"semanticAnalysisStep - model\", \"output\", {\n            callId: ai.trace?.callId,\n            filePath: file.path,\n            parsedRole: result.role,\n        });\n\n        return result;\n    } catch (err) {\n        console.warn(\n            `[semanticAnalysisStep] Failed to analyze file ${file.path}:`,\n            err\n        );\n        return deterministicFallback;\n    }\n}\n\n/* -------------------------\n   Slice large code for prompts\n---------------------------- */\nfunction sliceCodeForAnalysis(code?: string): string | undefined {\n    if (!code) return undefined;\n    if (code.length <= MAX_CODE_CHARS) return code;\n\n    const head = code.slice(0, Math.floor(MAX_CODE_CHARS * 0.6));\n    const tail = code.slice(-Math.floor(MAX_CODE_CHARS * 0.4));\n    return [head, \"\\n/* … file truncated for semantic analysis … */\\n\", tail].join(\"\");\n}\n\nfunction shouldUseDeterministicSemanticFallback(\n    query: string,\n    context: StructuredContext | undefined,\n    filePath: string,\n    fallback: FileAnalysis\n): boolean {\n    const isAnalyzeOnly = context?.executionControl?.constraints?.allowFileWrites === false;\n    const exactSymbol = getStrongExactVerifySymbol(context, filePath);\n    return isAnalyzeOnly && isMethodSelectionRetrievalQuery(query) && !!exactSymbol && !!fallback.proposedChanges?.targets?.length;\n}\n\nfunction buildDeterministicSemanticFallback(\n    file: StructuredFileCapsule,\n    query: string,\n    context?: StructuredContext\n): FileAnalysis {\n    const exactSymbol = getStrongExactVerifySymbol(context, file.path);\n    const verifyRationale =\n        context?.analysis?.verify?.byFile?.[file.path]?.rationale ??\n        \"Verify evidence identified this file as the strongest answer source.\";\n    const excerpt = exactSymbol\n        ? extractDeclarationExcerpt(file.code, exactSymbol.evidence)\n        : sliceCodeForAnalysis(file.code);\n    const declarationTarget = exactSymbol\n        ? extractDeclarationTarget(file.code, exactSymbol.evidence)\n        : undefined;\n\n    if (exactSymbol) {\n        return {\n            intent: \"relevant\",\n            role: \"primary\",\n            relevanceExplanation: `Exact verify evidence already identifies ${exactSymbol.name} in this file as the deciding method for the query. ${verifyRationale}`,\n            proposedChanges: {\n                summary: `${exactSymbol.name} is the exact verified method that answers this query.`,\n                scope: \"minor\",\n                targets: declarationTarget ? [declarationTarget] : [exactSymbol.name],\n                rationale: \"Deterministic semantic fallback from exact verify evidence.\",\n            },\n            excerpts: excerpt\n                ? [\n                    {\n                        description: `Exact verify-backed declaration for ${exactSymbol.name}.`,\n                        startLine: exactSymbol.evidence.span?.startLine,\n                        endLine: exactSymbol.evidence.span?.endLine,\n                        symbols: [exactSymbol.name],\n                        code: excerpt,\n                    },\n                ]\n                : undefined,\n            risks: [],\n        };\n    }\n\n    return {\n        intent: \"relevant\",\n        role: \"primary\",\n        relevanceExplanation: `Semantic generation was unavailable, so this file is being carried forward with bounded deterministic analysis. ${verifyRationale}`,\n        proposedChanges: {\n            summary: \"Deterministic semantic fallback preserved this file as a grounded analysis source.\",\n            scope: \"minor\",\n            targets: [`FILE: ${file.path}`],\n            rationale: \"Fallback used because semantic generation failed or was intentionally skipped.\",\n        },\n        excerpts: excerpt\n            ? [\n                {\n                    description: \"Bounded fallback code excerpt.\",\n                    code: excerpt,\n                },\n            ]\n            : undefined,\n        risks: [],\n    };\n}\n\nfunction getStrongExactVerifySymbol(\n    context: StructuredContext | undefined,\n    filePath: string\n): { name: string; evidence: FileEvidence } | undefined {\n    const evidence = context?.analysis?.verify?.byFile?.[filePath]?.evidence ?? [];\n    const ranked = evidence\n        .filter(item =>\n            (item.type === \"symbol\" || item.type === \"structural\") &&\n            typeof item.excerpt === \"string\" &&\n            item.excerpt.trim().length > 0 &&\n            (item.confidence ?? 0) >= MIN_EXACT_VERIFY_CONFIDENCE\n        )\n        .sort((a, b) => (b.confidence ?? 0) - (a.confidence ?? 0));\n\n    const winner = ranked[0];\n    if (!winner?.excerpt) return undefined;\n    return { name: winner.excerpt.trim(), evidence: winner };\n}\n\nfunction extractDeclarationExcerpt(\n    code: string | undefined,\n    evidence: FileEvidence\n): string | undefined {\n    if (!code) return undefined;\n    const lines = code.split(\"\\n\");\n    const start = Math.max(0, (evidence.span?.startLine ?? 1) - 1);\n    const end = Math.min(lines.length, evidence.span?.endLine ?? start + 1);\n    const snippet = lines.slice(start, Math.max(start + 1, end)).join(\"\\n\").trim();\n    return snippet || sliceCodeForAnalysis(code);\n}\n\nfunction extractDeclarationTarget(\n    code: string | undefined,\n    evidence: FileEvidence\n): string | undefined {\n    if (!code) return evidence.excerpt?.trim();\n    const lines = code.split(\"\\n\");\n    const line = lines[(evidence.span?.startLine ?? 1) - 1]?.trim();\n    return line || evidence.excerpt?.trim();\n}\n"]}

package/dist/pipeline/modules/summaryModule.js

@@ -20,6 +20,12 @@ ${contentStr}
         const response = await generate({
             content: prompt,
             query: ""
+        }, {
+            caller: "summaryModule",
+            inputContext: {
+                query: input.query,
+                content: contentStr,
+            },
         });
         const summary = response.data ?? "⚠️ No summary generated.";
         const output = {
@@ -27,7 +33,11 @@ ${contentStr}
             content: '',
             data: { summary }, // ❌ no filepath
         };
-        logInputOutput("summary", "output", output.data);
+        logInputOutput("summary", "output", {
+            callId: response.trace?.callId,
+            summary,
+        });
         return output;
     },
 };
+//# sourceMappingURL=summaryModule.js.map

package/dist/pipeline/modules/summaryModule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"summaryModule.js","sourceRoot":"","sources":["../../../src/pipeline/modules/summaryModule.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAQhE,MAAM,CAAC,MAAM,aAAa,GAAW;IACnC,IAAI,EAAE,SAAS;IACf,WAAW,EAAE,kDAAkD;IAC/D,MAAM,EAAE,CAAC,UAAU,CAAC;IACpB,GAAG,EAAE,KAAK,EAAE,KAAe,EAAqB,EAAE;QAChD,gCAAgC;QAChC,MAAM,UAAU,GACd,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;YAC/B,CAAC,CAAC,KAAK,CAAC,OAAO;YACf,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAEnD,6CAA6C;QAE7C,MAAM,MAAM,GAAG;;;;;EAKjB,UAAU;CACX,CAAC,IAAI,EAAE,CAAC;QAEL,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC;YAC9B,OAAO,EAAE,MAAM;YACf,KAAK,EAAE,EAAE;SACV,EAAE;YACD,MAAM,EAAE,eAAe;YACvB,YAAY,EAAE;gBACZ,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,OAAO,EAAE,UAAU;aACpB;SACF,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,IAAI,0BAA0B,CAAC;QAE5D,MAAM,MAAM,GAAa;YACvB,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,yBAAyB;YAC7C,OAAO,EAAE,EAAE;YACX,IAAI,EAAE,EAAE,OAAO,EAAE,EAAE,gBAAgB;SACpC,CAAC;QAEF,cAAc,CAAC,SAAS,EAAE,QAAQ,EAAE;YAClC,MAAM,EAAE,QAAQ,CAAC,KAAK,EAAE,MAAM;YAC9B,OAAO;SACR,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAChB,CAAC;CACF,CAAC","sourcesContent":["/**\n * Summarizes arbitrary file content into one short text result for later pipeline steps.\n */\nimport { Module, ModuleIO } from \"../../types.js\";\nimport { generate } from \"../../lib/generate.js\";\r\nimport { logInputOutput } from \"../../utils/promptLogHelper.js\";\r\n\r\nexport interface SummaryData {\r\n  summary: string;\r\n  // ❌ Removed filepath here because module no longer needs it\r\n  // filepath?: string;\r\n}\r\n\r\nexport const summaryModule: Module = {\r\n  name: \"summary\",\r\n  description: \"Generates a general summary of any file content.\",\r\n  groups: [\"analysis\"],\r\n  run: async (input: ModuleIO): Promise<ModuleIO> => {\r\n    // ✅ Only care about content now\r\n    const contentStr =\r\n      typeof input.content === \"string\"\r\n        ? input.content\r\n        : JSON.stringify(input.content ?? \"\", null, 2);\r\n\r\n    // ❌ Removed filepath/ext/filename extraction\r\n\r\n    const prompt = `\r\nYou are an assistant specialized in summarizing files.\r\n\r\nYour task is to summarize the following content as clearly and concisely as possible:\r\n\r\n${contentStr}\r\n`.trim();\r\n\r\n    const response = await generate({\n      content: prompt,\n      query: \"\"\n    }, {\n      caller: \"summaryModule\",\n      inputContext: {\n        query: input.query,\n        content: contentStr,\n      },\n    });\n    const summary = response.data ?? \"⚠️ No summary generated.\";\r\n\r\n    const output: ModuleIO = {\r\n      query: input.query, // keep query for context\r\n      content: '',\r\n      data: { summary }, // ❌ no filepath\r\n    };\r\n\r\n    logInputOutput(\"summary\", \"output\", {\n      callId: response.trace?.callId,\n      summary,\n    });\n    return output;\n  },\n};\n"]}

package/dist/pipeline/registry/moduleRegistry.js

@@ -1,6 +1,10 @@
 import { contextReviewModule } from "../modules/contextReviewModule.js";
 import { finalAnswerModule } from "../modules/finalAnswerModule.js";
 import { fileSearchModule } from "../modules/fileSearchModule.js";
+import { readFileModule } from "../modules/readFileModule.js";
+import { searchDbModule } from "../modules/searchDbModule.js";
+import { searchRegexModule } from "../modules/searchRegexModule.js";
+import { searchListDirectoryModule } from "../modules/searchListDirectoryModule.js";
 import { cleanupModule } from "../modules/cleanupModule.js";
 import { summaryModule } from "../modules/summaryModule.js";
 import { addCommentsModule } from "../modules/commentModule.js";
@@ -13,11 +17,15 @@ export const builtInModules = {
     // =====================================================
     // INFORMATION
     // =====================================================
+    "search-db": searchDbModule,
+    "search-regex": searchRegexModule,
+    "search-list-directory": searchListDirectoryModule,
     fileSearch: fileSearchModule,
     summary: summaryModule,
     // =====================================================
     // ANALYSIS
     // =====================================================
+    "read-file": readFileModule,
     semanticAnalysis: semanticAnalysisModule,
     contextReview: contextReviewModule,
     // =====================================================
@@ -64,3 +72,4 @@ export function resolveModulesByNames(names) {
     }
     return resolved;
 }
+//# sourceMappingURL=moduleRegistry.js.map

package/dist/pipeline/registry/moduleRegistry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"moduleRegistry.js","sourceRoot":"","sources":["../../../src/pipeline/registry/moduleRegistry.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,yBAAyB,EAAE,MAAM,yCAAyC,CAAC;AACpF,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAE9E;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAA2B;IACpD,wDAAwD;IACxD,cAAc;IACd,wDAAwD;IACxD,WAAW,EAAE,cAAc;IAC3B,cAAc,EAAE,iBAAiB;IACjC,uBAAuB,EAAE,yBAAyB;IAClD,UAAU,EAAE,gBAAgB;IAC5B,OAAO,EAAE,aAAa;IAEtB,wDAAwD;IACxD,WAAW;IACX,wDAAwD;IACxD,WAAW,EAAE,cAAc;IAC3B,gBAAgB,EAAE,sBAAsB;IACxC,aAAa,EAAE,mBAAmB;IAElC,wDAAwD;IACxD,4BAA4B;IAC5B,wDAAwD;IACxD,aAAa,EAAE,mBAAmB;IAClC,OAAO,EAAE,aAAa;IACtB,QAAQ,EAAE,iBAAiB;IAE3B,wDAAwD;IACxD,WAAW;IACX,wDAAwD;IACxD,WAAW,EAAE,iBAAiB;CAC/B,CAAC;AAEF;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC;AAC9B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB;IAClC,OAAO,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;QAC1D,IAAI;QACJ,WAAW,EAAE,GAAG,CAAC,WAAW,IAAI,0BAA0B;KAC3D,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAAe;IACnD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAC7B,MAAM,GAAG,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,GAAG,EAAE,CAAC;YACR,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACnB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC","sourcesContent":["/**\n * Registers the built-in runtime modules the action router may execute.\n *\n * Why this file exists:\n * - keep runtime module wiring in one place\n * - make typed action ids resolve to one concrete module implementation\n */\nimport { Module } from \"../../types.js\";\nimport { contextReviewModule } from \"../modules/contextReviewModule.js\";\nimport { finalAnswerModule } from \"../modules/finalAnswerModule.js\";\nimport { fileSearchModule } from \"../modules/fileSearchModule.js\";\nimport { readFileModule } from \"../modules/readFileModule.js\";\nimport { searchDbModule } from \"../modules/searchDbModule.js\";\nimport { searchRegexModule } from \"../modules/searchRegexModule.js\";\nimport { searchListDirectoryModule } from \"../modules/searchListDirectoryModule.js\";\nimport { cleanupModule } from \"../modules/cleanupModule.js\";\nimport { summaryModule } from \"../modules/summaryModule.js\";\nimport { addCommentsModule } from \"../modules/commentModule.js\";\nimport { codeTransformModule } from \"../modules/codeTransformModule.js\";\nimport { semanticAnalysisModule } from \"../modules/semanticAnalysisModule.js\";\n\r\n/**\r\n * Active built-in modules — all use ModuleIO for input/output.\r\n */\r\nexport const builtInModules: Record<string, Module> = {\r\n  // =====================================================\r\n  // INFORMATION\n  // =====================================================\n  \"search-db\": searchDbModule,\n  \"search-regex\": searchRegexModule,\n  \"search-list-directory\": searchListDirectoryModule,\n  fileSearch: fileSearchModule,\n  summary: summaryModule,\n\r\n  // =====================================================\r\n  // ANALYSIS\n  // =====================================================\n  \"read-file\": readFileModule,\n  semanticAnalysis: semanticAnalysisModule,\n  contextReview: contextReviewModule,\n\r\n  // =====================================================\r\n  // TRANSFORM / WRITE SUPPORT\r\n  // =====================================================\r\n  codeTransform: codeTransformModule,\r\n  cleanup: cleanupModule,\r\n  comments: addCommentsModule,\r\n\r\n  // =====================================================\r\n  // FINALIZE\r\n  // =====================================================\r\n  finalAnswer: finalAnswerModule,\r\n};\r\n\r\n/**\r\n * Get module by name.\r\n */\r\nexport function getModuleByName(name: string): Module | undefined {\r\n  return builtInModules[name];\r\n}\r\n\r\n/**\r\n * List available modules for CLI or UI display.\r\n */\r\nexport function listAvailableModules(): { name: string; description: string }[] {\r\n  return Object.entries(builtInModules).map(([name, mod]) => ({\r\n    name,\r\n    description: mod.description ?? \"No description available\",\r\n  }));\r\n}\r\n\r\n/**\r\n * Resolve modules from a list of names.\r\n * Returns a unique ordered array of modules.\r\n */\r\nexport function resolveModulesByNames(names: string[]): Module[] {\r\n  const seen = new Set<string>();\r\n  const resolved: Module[] = [];\r\n\r\n  for (const name of names) {\r\n    if (seen.has(name)) continue;\r\n    const mod = getModuleByName(name);\r\n    if (mod) {\r\n      resolved.push(mod);\r\n      seen.add(name);\r\n    }\r\n  }\r\n\r\n  return resolved;\r\n}\r\n"]}

package/dist/pipeline/runModulePipeline.js

@@ -28,3 +28,4 @@ export async function runModulePipeline(modules, initialInput) {
     }
     return currentIO;
 }
+//# sourceMappingURL=runModulePipeline.js.map

package/dist/pipeline/runModulePipeline.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runModulePipeline.js","sourceRoot":"","sources":["../../src/pipeline/runModulePipeline.ts"],"names":[],"mappings":"AAGA,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,OAAiB,EACjB,YAAsB;IAEtB,MAAM,SAAS,GAAG,qBAAqB,CAAC;IACxC,OAAO,CAAC,GAAG,CAAC,GAAG,SAAS,8BAA8B,OAAO,CAAC,MAAM,YAAY,CAAC,CAAC;IAElF,qBAAqB;IACrB,IAAI,SAAS,GAAa,EAAE,GAAG,YAAY,EAAE,CAAC;IAE9C,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,CAAC;YACH,MAAM,MAAM,GAAa,MAAM,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAElD,iBAAiB;YACjB,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,MAAM,IAAI,KAAK,CAAC,WAAW,GAAG,CAAC,IAAI,yBAAyB,CAAC,CAAC;YAChE,CAAC;YAED,kCAAkC;YAClC,wBAAwB;YACxB,eAAe;YACf,qCAAqC;YACrC,wDAAwD;YACxD,SAAS,GAAG;gBACV,KAAK,EAAE,SAAS,CAAC,KAAK;gBACtB,OAAO,EAAE,MAAM,CAAC,IAAI,EAAE,0BAA0B;gBAChD,IAAI,EAAE,EAAE;aACT,CAAC;YAEF,OAAO,CAAC,GAAG,CAAC,GAAG,SAAS,QAAQ,GAAG,CAAC,IAAI,gCAAgC,CAAC,CAAC;QAC5E,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,CAAC,KAAK,CACX,GAAG,SAAS,cAAc,GAAG,CAAC,IAAI,WAAW,EAC7C,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CACzC,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC","sourcesContent":["// File: src/pipeline/runModulePipeline.ts\r\nimport { Module, ModuleIO } from \"../types\";\r\n\r\nexport async function runModulePipeline(\r\n  modules: Module[],\r\n  initialInput: ModuleIO\r\n): Promise<ModuleIO> {\r\n  const logPrefix = `[runModulePipeline]`;\r\n  console.log(`${logPrefix} 🚀 Starting pipeline with ${modules.length} module(s)`);\r\n\r\n  // Copy initial input\r\n  let currentIO: ModuleIO = { ...initialInput };\r\n\r\n  for (const mod of modules) {\r\n    try {\r\n      const output: ModuleIO = await mod.run(currentIO);\r\n\r\n      // Validate shape\r\n      if (!output) {\r\n        throw new Error(`Module '${mod.name}' returned empty output`);\r\n      }\r\n\r\n      // --- FIX: Pipeline semantics ---\r\n      // Next module receives:\r\n      // - same query\r\n      // - content = previous module's data\r\n      // - (data is the last produced data only, never merged)\r\n      currentIO = {\r\n        query: currentIO.query,\r\n        content: output.data, // data -> content handoff\r\n        data: '',\r\n      };\r\n\r\n      console.log(`${logPrefix} 🔁 '${mod.name}' → content replaced with data`);\r\n    } catch (err) {\r\n      console.error(\r\n        `${logPrefix} ❌ Module '${mod.name}' failed:`,\r\n        err instanceof Error ? err.message : err\r\n      );\r\n    }\r\n  }\r\n\r\n  return currentIO;\r\n}\r\n"]}