scai 0.1.178 → 1.0.0

package/dist/agents/integrateFeedbackStep.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"integrateFeedbackStep.js","sourceRoot":"","sources":["../../src/agents/integrateFeedbackStep.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAE7D;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACjC,IAAI,EAAE,uBAAuB;IAC7B,WAAW,EAAE,gEAAgE;IAE7E,QAAQ,EAAE,CAAC,+BAA+B,EAAE,6BAA6B,CAAC;IAC1E,QAAQ,EAAE,CAAC,6BAA6B,EAAE,+BAA+B,CAAC;IAE1E,KAAK,CAAC,GAAG,CAAC,OAA0B;QAChC,OAAO,CAAC,QAAQ,KAAhB,OAAO,CAAC,QAAQ,GAAK,EAAE,EAAC;QAExB,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAC;QACvD,MAAM,SAAS,GAAG,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAC;QAEtD,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS;YAAE,OAAO;QAEpC,+DAA+D;QAC/D,IAAI,QAAQ,CAAC,MAAM,KAAK,UAAU;YAAE,OAAO;QAE3C,IAAI,UAAU,GAAqC,UAAU,CAAC;QAC9D,IAAI,SAAS,GAAG,6CAA6C,CAAC;QAC9D,IAAI,WAA0D,CAAC;QAE/D,6BAA6B;QAC7B,IAAI,QAAQ,CAAC,WAAW,IAAI,QAAQ,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1D,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,CAAC,MAAM,CACxC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,CACjC,CAAC;YAEF,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtB,UAAU,GAAG,WAAW,CAAC;gBACzB,SAAS;oBACL,mEAAmE,CAAC;gBAExE,WAAW,GAAG;oBACV,KAAK,EAAE,QAAQ;yBACV,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;yBACpB,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;iBAC9C,CAAC;YACN,CAAC;iBAAM,CAAC;gBACJ,0DAA0D;gBAC1D,UAAU,GAAG,UAAU,CAAC;gBACxB,SAAS;oBACL,oDAAoD,CAAC;YAC7D,CAAC;QACL,CAAC;QAED,6CAA6C;QAC7C,OAAO,CAAC,QAAQ,CAAC,kBAAkB,GAAG;YAClC,OAAO,EAAE,kCAAkC;YAC3C,UAAU;YACV,SAAS;YACT,WAAW;YACX,UAAU,EACN,UAAU,KAAK,WAAW;gBACtB,CAAC,CAAC,GAAG;gBACL,CAAC,CAAC,GAAG;SAChB,CAAC;QAEF,gDAAgD;QAChD,OAAO,CAAC,QAAQ,CAAC,oBAAoB,GAAG;YACpC,GAAG,QAAQ;YACX,MAAM,EAAE,SAAS;YACjB,cAAc,EAAE,KAAK;SACxB,CAAC;QAEF,cAAc,CACV,uBAAuB,EACvB,QAAQ,EACR;YACI,oBAAoB,EAAE,OAAO,CAAC,QAAQ,EAAE,oBAAoB;YAC5D,kBAAkB,EAAE,OAAO,CAAC,QAAQ,EAAE,kBAAkB;YACxD,cAAc,EAAE,OAAO,CAAC,QAAQ,EAAE,cAAc;SACnD,CACJ,CAAC;IAEN,CAAC;CACJ,CAAC","sourcesContent":["// File: src/agents/integrateFeedbackStep.ts\nimport type {\n    StructuredContext,\n    IterationReasoning,\n    CollaboratorFeedback\n} from '../types.js';\nimport { logInputOutput } from '../utils/promptLogHelper.js';\n\n/**\n * INTEGRATE FEEDBACK STEP\n * Applies collaborator feedback to iteration reasoning and execution targets.\n * Converts human input into concrete next actions for the agent.\n */\nexport const integrateFeedbackStep = {\n    name: 'integrateFeedbackStep',\n    description: 'Integrates collaborator feedback into next-iteration planning.',\n\n    requires: ['analysis.collaboratorFeedback', 'analysis.iterationReasoning'],\n    produces: ['analysis.iterationReasoning', 'analysis.collaboratorFeedback'],\n\n    async run(context: StructuredContext): Promise<void> {\n        context.analysis ||= {};\n\n        const feedback = context.analysis.collaboratorFeedback;\n        const reasoning = context.analysis.iterationReasoning;\n\n        if (!feedback || !reasoning) return;\n\n        // Only act when feedback has been received but not yet applied\n        if (feedback.status !== 'received') return;\n\n        let nextAction: IterationReasoning['nextAction'] = 'continue';\n        let rationale = 'Collaborator feedback approved continuation';\n        let nextTargets: IterationReasoning['nextTargets'] | undefined;\n\n        // Process corrections if any\n        if (feedback.corrections && feedback.corrections.length > 0) {\n            const blocking = feedback.corrections.filter(\n                c => c.severity === 'blocking'\n            );\n\n            if (blocking.length > 0) {\n                nextAction = 'redo-step';\n                rationale =\n                    'Blocking collaborator feedback requires changes before proceeding';\n\n                nextTargets = {\n                    files: blocking\n                        .map(c => c.filePath)\n                        .filter((f): f is string => Boolean(f))\n                };\n            } else {\n                // Suggestions only → continue but with lowered confidence\n                nextAction = 'continue';\n                rationale =\n                    'Non-blocking collaborator suggestions acknowledged';\n            }\n        }\n\n        // Update iteration reasoning authoritatively\n        context.analysis.iterationReasoning = {\n            summary: 'Collaborator feedback integrated',\n            nextAction,\n            rationale,\n            nextTargets,\n            confidence:\n                nextAction === 'redo-step'\n                    ? 0.6\n                    : 0.9\n        };\n\n        // Mark feedback as applied (lifecycle complete)\n        context.analysis.collaboratorFeedback = {\n            ...feedback,\n            status: 'applied',\n            requiresAction: false\n        };\n\n        logInputOutput(\n            \"integrateFeedbackStep\",\n            \"output\",\n            {\n                collaboratorFeedback: context.analysis?.collaboratorFeedback,\n                iterationReasoning: context.analysis?.iterationReasoning,\n                planSuggestion: context.analysis?.planSuggestion\n            }\n        );\n\n    }\n};\n"]}

package/dist/agents/iterationFileSelector.js

@@ -1,6 +1,6 @@
 export const iterationFileSelector = {
     name: 'iterationFileSelector',
-    description: 'Resolves the TaskStep chosen by reasonNextTaskStep.',
+    description: 'Resolves the Step chosen by next-step reasoning.',
     async run(context) {
         var _a;
         if (!context.task) {
@@ -8,12 +8,12 @@ export const iterationFileSelector = {
         }
         if (!context.task)
             throw new Error("iterationFileSelector: context.task must exist");
-        (_a = context.task).taskSteps || (_a.taskSteps = []);
+        (_a = context.task).steps || (_a.steps = []);
         const currentStepPath = context.task.currentStep?.filePath;
         if (!currentStepPath)
             return null;
         const nextAction = context.analysis?.iterationReasoning?.nextAction;
-        const resolvedStep = ensureTaskStep(context, currentStepPath, 'selected');
+        const resolvedStep = ensureStep(context, currentStepPath, 'selected');
         if (nextAction === 'redo-step') {
             resolvedStep.status = 'pending';
             resolvedStep.startTime = undefined;
@@ -25,10 +25,10 @@ export const iterationFileSelector = {
         return resolvedStep;
     }
 };
-function ensureTaskStep(context, filePath, source) {
+function ensureStep(context, filePath, source) {
     if (!context.task)
-        throw new Error("ensureTaskStep: context.task must exist");
-    let step = context.task.taskSteps.find(s => s.filePath === filePath);
+        throw new Error("ensureStep: context.task must exist");
+    let step = context.task.steps.find(s => s.filePath === filePath);
     if (!step) {
         step = {
             taskId: context.task.id, // guaranteed to exist
@@ -38,10 +38,11 @@ function ensureTaskStep(context, filePath, source) {
                 source,
             },
         };
-        context.task.taskSteps.push(step);
+        context.task.steps.push(step);
     }
     if (context.task.currentStep?.filePath === filePath) {
         context.task.currentStep = step;
     }
     return step;
 }
+//# sourceMappingURL=iterationFileSelector.js.map

package/dist/agents/iterationFileSelector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"iterationFileSelector.js","sourceRoot":"","sources":["../../src/agents/iterationFileSelector.ts"],"names":[],"mappings":"AASA,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACjC,IAAI,EAAE,uBAAuB;IAC7B,WAAW,EAAE,kDAAkD;IAE/D,KAAK,CAAC,GAAG,CAAC,OAA0B;;QAChC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;YAChB,MAAM,IAAI,KAAK,CAAC,iFAAiF,CAAC,CAAC;QACvG,CAAC;QAED,IAAI,CAAC,OAAO,CAAC,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;QACrF,MAAA,OAAO,CAAC,IAAI,EAAC,KAAK,QAAL,KAAK,GAAK,EAAE,EAAC;QAE1B,MAAM,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC;QAC3D,IAAI,CAAC,eAAe;YAAE,OAAO,IAAI,CAAC;QAElC,MAAM,UAAU,GAAG,OAAO,CAAC,QAAQ,EAAE,kBAAkB,EAAE,UAAU,CAAC;QACpE,MAAM,YAAY,GAAG,UAAU,CAAC,OAAO,EAAE,eAAe,EAAE,UAAU,CAAC,CAAC;QAEtE,IAAI,UAAU,KAAK,WAAW,EAAE,CAAC;YAC7B,YAAY,CAAC,MAAM,GAAG,SAAS,CAAC;YAChC,YAAY,CAAC,SAAS,GAAG,SAAS,CAAC;YACnC,YAAY,CAAC,OAAO,GAAG,SAAS,CAAC;YACjC,IAAI,YAAY,CAAC,MAAM,IAAI,OAAO,YAAY,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;gBACjE,OAAQ,YAAY,CAAC,MAAkC,CAAC,aAAa,CAAC;YAC1E,CAAC;QACL,CAAC;QAED,OAAO,YAAY,CAAC;IACxB,CAAC;CACJ,CAAC;AAEF,SAAS,UAAU,CACf,OAA0B,EAC1B,QAAgB,EAChB,MAAgC;IAEhC,IAAI,CAAC,OAAO,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IAE1E,IAAI,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;IAEjE,IAAI,CAAC,IAAI,EAAE,CAAC;QACR,IAAI,GAAG;YACH,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,sBAAsB;YAC/C,QAAQ;YACR,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE;gBACJ,MAAM;aACT;SACJ,CAAC;QACF,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAClD,OAAO,CAAC,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;IACpC,CAAC;IAED,OAAO,IAAI,CAAC;AAChB,CAAC","sourcesContent":["/**\n * Resolves the durable Step chosen by iteration reasoning and reuses the in-memory step record.\n *\n * Why this exists:\n * - the work loop reasons in terms of one durable Step at a time\n * - redo paths must reset step timing without creating a duplicate record\n */\nimport type { StructuredContext, Step } from '../types.js';\n\nexport const iterationFileSelector = {\n    name: 'iterationFileSelector',\n    description: 'Resolves the Step chosen by next-step reasoning.',\n\n    async run(context: StructuredContext): Promise<Step | null> {\n        if (!context.task) {\n            throw new Error(\"iterationFileSelector: context.task must exist — ensure runBoot has been called\");\n        }\n\n        if (!context.task) throw new Error(\"iterationFileSelector: context.task must exist\");\n        context.task.steps ||= [];\n\n        const currentStepPath = context.task.currentStep?.filePath;\n        if (!currentStepPath) return null;\n\n        const nextAction = context.analysis?.iterationReasoning?.nextAction;\n        const resolvedStep = ensureStep(context, currentStepPath, 'selected');\n\n        if (nextAction === 'redo-step') {\n            resolvedStep.status = 'pending';\n            resolvedStep.startTime = undefined;\n            resolvedStep.endTime = undefined;\n            if (resolvedStep.result && typeof resolvedStep.result === 'object') {\n                delete (resolvedStep.result as Record<string, unknown>).stepReasoning;\n            }\n        }\n\n        return resolvedStep;\n    }\n};\n\nfunction ensureStep(\n    context: StructuredContext,\n    filePath: string,\n    source: 'selected' | 'candidate'\n): Step {\n    if (!context.task) throw new Error(\"ensureStep: context.task must exist\");\n\n    let step = context.task.steps.find(s => s.filePath === filePath);\n\n    if (!step) {\n        step = {\n            taskId: context.task.id, // guaranteed to exist\n            filePath,\n            status: 'pending',\n            result: {\n                source,\n            },\n        };\n        context.task.steps.push(step);\n    }\n\n    if (context.task.currentStep?.filePath === filePath) {\n        context.task.currentStep = step;\n    }\n\n    return step;\n}\n"]}

package/dist/agents/mainAgentActivityLog.js

@@ -0,0 +1,85 @@
+import path from "path";
+export function formatPathForLog(filePath) {
+    if (!filePath)
+        return "(none)";
+    if (filePath.startsWith("__research__/")) {
+        return filePath.replace("__research__/", "research/");
+    }
+    const normalized = path.normalize(filePath);
+    const relative = path.relative(process.cwd(), normalized);
+    if (relative && !relative.startsWith("..") && !path.isAbsolute(relative)) {
+        return relative || path.basename(normalized);
+    }
+    return normalized;
+}
+export function describeFileList(paths, maxItems = 4) {
+    const unique = Array.from(new Set(paths.filter(Boolean)));
+    if (unique.length === 0)
+        return "none";
+    const shown = unique.slice(0, maxItems).map(filePath => formatPathForLog(filePath));
+    const extra = unique.length - shown.length;
+    if (extra > 0)
+        shown.push(`+${extra} more`);
+    return shown.join(", ");
+}
+export function recordSearch(activity, query, scope) {
+    const normalizedScope = scope || "repo";
+    return {
+        ...activity,
+        searches: [...activity.searches, `Searched for ${query} in ${normalizedScope}`],
+    };
+}
+export function recordListEntries(activity, entries) {
+    const next = [...activity.lists];
+    for (const entry of entries) {
+        const normalized = entry.replace(/\\/g, "/");
+        const asDir = normalized.endsWith("/") || path.extname(normalized) === ""
+            ? normalized
+            : path.dirname(normalized);
+        const display = asDir === "." ? "repo root" : formatPathForLog(asDir);
+        next.push(`Listed files in ${display}`);
+    }
+    return {
+        ...activity,
+        lists: next,
+    };
+}
+export function recordReadEntries(activity, paths) {
+    const next = [...activity.reads];
+    for (const filePath of paths) {
+        if (!filePath || filePath.startsWith("__research__/"))
+            continue;
+        next.push(`Read ${formatPathForLog(filePath)}`);
+    }
+    return {
+        ...activity,
+        reads: next,
+    };
+}
+export function flushActivity(activity, userOutput) {
+    const searches = Array.from(new Set(activity.searches));
+    const lists = Array.from(new Set(activity.lists));
+    const reads = Array.from(new Set(activity.reads));
+    if (searches.length === 0 && lists.length === 0 && reads.length === 0) {
+        return activity;
+    }
+    const parts = [];
+    if (searches.length > 0) {
+        parts.push(`${searches.length} search${searches.length === 1 ? "" : "es"}`);
+    }
+    if (lists.length > 0) {
+        parts.push(`${lists.length} director${lists.length === 1 ? "y" : "ies"}`);
+    }
+    if (reads.length > 0) {
+        parts.push(`${reads.length} file${reads.length === 1 ? "" : "s"}`);
+    }
+    userOutput(`Explored ${parts.join(", ")}`);
+    for (const line of searches.slice(0, 2))
+        userOutput(line);
+    for (const line of lists.slice(0, 3))
+        userOutput(line);
+    for (const line of reads.slice(0, 6))
+        userOutput(line);
+    return { searches: [], lists: [], reads: [] };
+}
+//# sourceMappingURL=mainAgentActivityLog.js.map

package/dist/agents/mainAgentActivityLog.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mainAgentActivityLog.js","sourceRoot":"","sources":["../../src/agents/mainAgentActivityLog.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,MAAM,CAAC;AAQxB,MAAM,UAAU,gBAAgB,CAAC,QAAgB;IAC7C,IAAI,CAAC,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC/B,IAAI,QAAQ,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC;QACvC,OAAO,QAAQ,CAAC,OAAO,CAAC,eAAe,EAAE,WAAW,CAAC,CAAC;IAC1D,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,UAAU,CAAC,CAAC;IAC1D,IAAI,QAAQ,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvE,OAAO,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,UAAU,CAAC;AACtB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,KAAe,EAAE,QAAQ,GAAG,CAAC;IAC1D,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC1D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IAEvC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC;IACpF,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC3C,IAAI,KAAK,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IAC5C,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,YAAY,CACxB,QAA+B,EAC/B,KAAa,EACb,KAAa;IAEb,MAAM,eAAe,GAAG,KAAK,IAAI,MAAM,CAAC;IACxC,OAAO;QACH,GAAG,QAAQ;QACX,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,KAAK,OAAO,eAAe,EAAE,CAAC;KAClF,CAAC;AACN,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC7B,QAA+B,EAC/B,OAAiB;IAEjB,MAAM,IAAI,GAAG,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IACjC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC7C,MAAM,KAAK,GACP,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE;YACvD,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACnC,MAAM,OAAO,GAAG,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;QACtE,IAAI,CAAC,IAAI,CAAC,mBAAmB,OAAO,EAAE,CAAC,CAAC;IAC5C,CAAC;IAED,OAAO;QACH,GAAG,QAAQ;QACX,KAAK,EAAE,IAAI;KACd,CAAC;AACN,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC7B,QAA+B,EAC/B,KAAe;IAEf,MAAM,IAAI,GAAG,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IACjC,KAAK,MAAM,QAAQ,IAAI,KAAK,EAAE,CAAC;QAC3B,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,UAAU,CAAC,eAAe,CAAC;YAAE,SAAS;QAChE,IAAI,CAAC,IAAI,CAAC,QAAQ,gBAAgB,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACpD,CAAC;IAED,OAAO;QACH,GAAG,QAAQ;QACX,KAAK,EAAE,IAAI;KACd,CAAC;AACN,CAAC;AAED,MAAM,UAAU,aAAa,CACzB,QAA+B,EAC/B,UAAqC;IAErC,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IAClD,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IAElD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpE,OAAO,QAAQ,CAAC;IACpB,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,UAAU,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAChF,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnB,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,YAAY,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IAC9E,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnB,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,QAAQ,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;IACvE,CAAC;IAED,UAAU,CAAC,YAAY,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAE3C,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QAAE,UAAU,CAAC,IAAI,CAAC,CAAC;IAC1D,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QAAE,UAAU,CAAC,IAAI,CAAC,CAAC;IACvD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QAAE,UAAU,CAAC,IAAI,CAAC,CAAC;IAEvD,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AAClD,CAAC","sourcesContent":["import path from \"path\";\n\nexport type AgentActivityLogState = {\n    searches: string[];\n    lists: string[];\n    reads: string[];\n};\n\nexport function formatPathForLog(filePath: string): string {\n    if (!filePath) return \"(none)\";\n    if (filePath.startsWith(\"__research__/\")) {\n        return filePath.replace(\"__research__/\", \"research/\");\n    }\n\n    const normalized = path.normalize(filePath);\n    const relative = path.relative(process.cwd(), normalized);\n    if (relative && !relative.startsWith(\"..\") && !path.isAbsolute(relative)) {\n        return relative || path.basename(normalized);\n    }\n    return normalized;\n}\n\nexport function describeFileList(paths: string[], maxItems = 4): string {\n    const unique = Array.from(new Set(paths.filter(Boolean)));\n    if (unique.length === 0) return \"none\";\n\n    const shown = unique.slice(0, maxItems).map(filePath => formatPathForLog(filePath));\n    const extra = unique.length - shown.length;\n    if (extra > 0) shown.push(`+${extra} more`);\n    return shown.join(\", \");\n}\n\nexport function recordSearch(\n    activity: AgentActivityLogState,\n    query: string,\n    scope: string\n): AgentActivityLogState {\n    const normalizedScope = scope || \"repo\";\n    return {\n        ...activity,\n        searches: [...activity.searches, `Searched for ${query} in ${normalizedScope}`],\n    };\n}\n\nexport function recordListEntries(\n    activity: AgentActivityLogState,\n    entries: string[]\n): AgentActivityLogState {\n    const next = [...activity.lists];\n    for (const entry of entries) {\n        const normalized = entry.replace(/\\\\/g, \"/\");\n        const asDir =\n            normalized.endsWith(\"/\") || path.extname(normalized) === \"\"\n                ? normalized\n                : path.dirname(normalized);\n        const display = asDir === \".\" ? \"repo root\" : formatPathForLog(asDir);\n        next.push(`Listed files in ${display}`);\n    }\n\n    return {\n        ...activity,\n        lists: next,\n    };\n}\n\nexport function recordReadEntries(\n    activity: AgentActivityLogState,\n    paths: string[]\n): AgentActivityLogState {\n    const next = [...activity.reads];\n    for (const filePath of paths) {\n        if (!filePath || filePath.startsWith(\"__research__/\")) continue;\n        next.push(`Read ${formatPathForLog(filePath)}`);\n    }\n\n    return {\n        ...activity,\n        reads: next,\n    };\n}\n\nexport function flushActivity(\n    activity: AgentActivityLogState,\n    userOutput: (message: string) => void\n): AgentActivityLogState {\n    const searches = Array.from(new Set(activity.searches));\n    const lists = Array.from(new Set(activity.lists));\n    const reads = Array.from(new Set(activity.reads));\n\n    if (searches.length === 0 && lists.length === 0 && reads.length === 0) {\n        return activity;\n    }\n\n    const parts: string[] = [];\n    if (searches.length > 0) {\n        parts.push(`${searches.length} search${searches.length === 1 ? \"\" : \"es\"}`);\n    }\n    if (lists.length > 0) {\n        parts.push(`${lists.length} director${lists.length === 1 ? \"y\" : \"ies\"}`);\n    }\n    if (reads.length > 0) {\n        parts.push(`${reads.length} file${reads.length === 1 ? \"\" : \"s\"}`);\n    }\n\n    userOutput(`Explored ${parts.join(\", \")}`);\n\n    for (const line of searches.slice(0, 2)) userOutput(line);\n    for (const line of lists.slice(0, 3)) userOutput(line);\n    for (const line of reads.slice(0, 6)) userOutput(line);\n\n    return { searches: [], lists: [], reads: [] };\n}\n"]}

package/dist/agents/mainAgentHeuristics.js

@@ -0,0 +1,173 @@
+/**
+ * Ranks candidate files before deeper verify and execution passes.
+ * It mixes explicit references, anchor terms, and narrow query heuristics so
+ * repo-wide questions still land on the most useful implementation files.
+ */
+import path from "path";
+import { extractFileReferences } from "../utils/extractFileReferences.js";
+import { PREFILTER_STOP_WORDS, SENTENCE_STARTER_WORDS, STOP_WORDS } from "../fileRules/stopWords.js";
+import { countDomainAnchorHits, extractDomainAnchors } from "../utils/queryAnchors.js";
+import { getVerifyFocusFilePreference } from "../utils/verifyFocusPreference.js";
+const METHOD_SELECTION_TERMS = ["method", "function", "decides", "controls", "sets", "chooses"];
+const DECISION_TERMS = ["budget", "limit", "threshold", "policy", "control", "wave", "retry"];
+const BROAD_WORKFLOW_TERMS = ["validate", "analysis", "change", "changes", "plan", "planning", "workflow"];
+const CONTROLLER_ROLE_TOKENS = ["controller", "manager", "resolver", "policy", "budget", "limit", "threshold", "verify"];
+const SELECTION_POLICY_TOKENS = ["selected", "candidate", "selection", "focus", "relevant", "source", "sources"];
+const METHOD_SELECTION_SCOPE_TOKENS = ["repo", "wide", "repository", "codebase", "project"];
+export function scoreCandidateFiles(filePaths, relatedFileScores, retrievalQuery) {
+    const explicitRefs = extractFileReferences(retrievalQuery, { lowercase: true });
+    const explicitBasenames = new Set(explicitRefs.map(ref => path.basename(ref)));
+    const symbolAnchors = extractSymbolAnchors(retrievalQuery);
+    const domainAnchors = extractDomainAnchors(retrievalQuery);
+    const methodSignals = extractMethodSelectionSignals(retrievalQuery);
+    const scored = filePaths.map(filePath => {
+        const fileLower = filePath.toLowerCase();
+        const basename = path.basename(filePath).toLowerCase();
+        const pathTokens = splitPathIdentifierParts(filePath);
+        let score = 0;
+        const reasons = [];
+        if (explicitBasenames.has(basename)) {
+            score += 100;
+            reasons.push("exact-filename");
+        }
+        if (explicitRefs.some(ref => fileLower.includes(ref))) {
+            score += 60;
+            reasons.push("path-anchor");
+        }
+        for (const anchor of symbolAnchors) {
+            if (basename.includes(anchor)) {
+                score += 40;
+                reasons.push(`symbol:${anchor}:filename`);
+            }
+            else if (fileLower.includes(anchor)) {
+                score += 20;
+                reasons.push(`symbol:${anchor}:path`);
+            }
+        }
+        const domainHitCount = countDomainAnchorHits(`${basename} ${fileLower}`, domainAnchors);
+        if (domainHitCount > 0) {
+            const boost = domainHitCount >= 2 ? 35 : 14;
+            score += boost;
+            reasons.push(`domain-anchors:${domainHitCount}`);
+        }
+        const bm25Raw = relatedFileScores[filePath];
+        if (typeof bm25Raw === "number" && Number.isFinite(bm25Raw)) {
+            const prior = Math.max(0, Math.min(20, -bm25Raw));
+            score += prior;
+            reasons.push(`bm25-prior:${prior.toFixed(2)}`);
+        }
+        const verifyFocus = getVerifyFocusFilePreference({
+            query: retrievalQuery,
+            filePath,
+            explicitRefs,
+        });
+        if (verifyFocus.applies && verifyFocus.score !== 0) {
+            score += verifyFocus.score * 45;
+            reasons.push(...verifyFocus.reasons.map(reason => `verify-focus:${reason}`));
+        }
+        if (methodSignals.applicable) {
+            const overlap = pathTokens.filter(token => methodSignals.informativeTokens.has(token));
+            if (overlap.length > 0) {
+                const boost = overlap.length >= 2 ? 28 : 14;
+                score += boost;
+                reasons.push(`method-overlap:${overlap.join(",")}`);
+            }
+            const roleHits = pathTokens.filter(token => CONTROLLER_ROLE_TOKENS.includes(token));
+            const controllerRoleHits = roleHits.filter(token => token !== "verify");
+            if (controllerRoleHits.length > 0 && overlap.length > 0) {
+                score += 10;
+                reasons.push(`controller-role:${controllerRoleHits[0]}`);
+            }
+            const decisionHits = pathTokens.filter(token => DECISION_TERMS.includes(token));
+            if (decisionHits.length > 0 && overlap.length > 0) {
+                score += 8;
+                reasons.push(`decision-term:${decisionHits[0]}`);
+            }
+            const workflowOnlyHits = pathTokens.filter(token => BROAD_WORKFLOW_TERMS.includes(token));
+            if (workflowOnlyHits.length > 0 && overlap.length === 0) {
+                score -= 12;
+                reasons.push(`workflow-penalty:${workflowOnlyHits[0]}`);
+            }
+            const selectionPolicyHits = pathTokens.filter(token => SELECTION_POLICY_TOKENS.includes(token));
+            if (selectionPolicyHits.length > 0 &&
+                overlap.length > 0 &&
+                decisionHits.length === 0 &&
+                controllerRoleHits.length === 0) {
+                score -= 10;
+                reasons.push(`selection-policy-penalty:${selectionPolicyHits[0]}`);
+            }
+        }
+        return { filePath, score, bm25Raw, reasons };
+    });
+    return scored.sort((a, b) => {
+        if (b.score !== a.score)
+            return b.score - a.score;
+        const aBm25 = typeof a.bm25Raw === "number" ? a.bm25Raw : Number.POSITIVE_INFINITY;
+        const bBm25 = typeof b.bm25Raw === "number" ? b.bm25Raw : Number.POSITIVE_INFINITY;
+        return aBm25 - bBm25;
+    });
+}
+export function isMethodSelectionRetrievalQuery(query) {
+    const lowered = query.toLowerCase();
+    return (METHOD_SELECTION_TERMS.some(term => lowered.includes(term)) &&
+        DECISION_TERMS.some(term => lowered.includes(term)));
+}
+export function buildMethodSelectionRetrievalQuery(query) {
+    const signals = extractMethodSelectionSignals(query);
+    if (!signals.applicable)
+        return null;
+    const ordered = [
+        ...signals.informativeTokens,
+    ].filter(token => token.length >= 3 && !METHOD_SELECTION_SCOPE_TOKENS.includes(token));
+    const selected = ordered.slice(0, 6);
+    return selected.length > 0 ? selected.join(" ") : null;
+}
+function extractSymbolAnchors(query) {
+    // Extract high-signal identifier-like anchors only.
+    // Example: "check ChangeLogUpdateCmd in fileIndex" -> ["changelogupdatecmd", "fileindex"].
+    // Example: "Can you show me..." -> does NOT include "can".
+    const matches = query.match(/[A-Za-z_][A-Za-z0-9_]{2,}/g) ?? [];
+    const out = new Set();
+    for (const token of matches) {
+        const lowered = token.toLowerCase();
+        if (STOP_WORDS.has(lowered) || SENTENCE_STARTER_WORDS.has(lowered))
+            continue;
+        const looksLikeSymbol = /[a-z][A-Z]/.test(token) ||
+            /[A-Z]{2,}[a-z]/.test(token) ||
+            token.includes("_") ||
+            /[0-9]/.test(token) ||
+            token.endsWith("Step") ||
+            token.endsWith("Module");
+        if (!looksLikeSymbol)
+            continue;
+        if (PREFILTER_STOP_WORDS.has(lowered))
+            continue;
+        out.add(lowered);
+    }
+    return Array.from(out);
+}
+function extractMethodSelectionSignals(query) {
+    const lowered = query.toLowerCase();
+    const rawTokens = lowered.match(/[a-zA-Z_][a-zA-Z0-9_]*/g) ?? [];
+    const informativeTokens = new Set(rawTokens.filter(token => token.length >= 3 &&
+        !STOP_WORDS.has(token) &&
+        !SENTENCE_STARTER_WORDS.has(token) &&
+        !PREFILTER_STOP_WORDS.has(token) &&
+        !METHOD_SELECTION_TERMS.includes(token) &&
+        !METHOD_SELECTION_SCOPE_TOKENS.includes(token) &&
+        !BROAD_WORKFLOW_TERMS.includes(token)));
+    return {
+        applicable: isMethodSelectionRetrievalQuery(query),
+        informativeTokens,
+    };
+}
+function splitPathIdentifierParts(filePath) {
+    const normalized = filePath
+        .replace(/([a-z0-9])([A-Z])/g, "$1 $2")
+        .replace(/[_./-]+/g, " ")
+        .toLowerCase();
+    return Array.from(new Set(normalized
+        .split(/\s+/)
+        .filter(token => token.length >= 3)));
+}
+//# sourceMappingURL=mainAgentHeuristics.js.map

package/dist/agents/mainAgentHeuristics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mainAgentHeuristics.js","sourceRoot":"","sources":["../../src/agents/mainAgentHeuristics.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,IAAI,MAAM,MAAM,CAAC;AACxB,OAAO,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AACrG,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AACvF,OAAO,EAAE,4BAA4B,EAAE,MAAM,mCAAmC,CAAC;AAEjF,MAAM,sBAAsB,GAAG,CAAC,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;AAChG,MAAM,cAAc,GAAG,CAAC,QAAQ,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;AAC9F,MAAM,oBAAoB,GAAG,CAAC,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;AAC3G,MAAM,sBAAsB,GAAG,CAAC,YAAY,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,CAAC,CAAC;AACzH,MAAM,uBAAuB,GAAG,CAAC,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;AACjH,MAAM,6BAA6B,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;AAS5F,MAAM,UAAU,mBAAmB,CAC/B,SAAmB,EACnB,iBAAyC,EACzC,cAAsB;IAEtB,MAAM,YAAY,GAAG,qBAAqB,CAAC,cAAc,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAChF,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC/E,MAAM,aAAa,GAAG,oBAAoB,CAAC,cAAc,CAAC,CAAC;IAC3D,MAAM,aAAa,GAAG,oBAAoB,CAAC,cAAc,CAAC,CAAC;IAC3D,MAAM,aAAa,GAAG,6BAA6B,CAAC,cAAc,CAAC,CAAC;IACpE,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE;QACpC,MAAM,SAAS,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC;QACzC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;QACvD,MAAM,UAAU,GAAG,wBAAwB,CAAC,QAAQ,CAAC,CAAC;QACtD,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,MAAM,OAAO,GAAa,EAAE,CAAC;QAE7B,IAAI,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAClC,KAAK,IAAI,GAAG,CAAC;YACb,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACnC,CAAC;QAED,IAAI,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YACpD,KAAK,IAAI,EAAE,CAAC;YACZ,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAChC,CAAC;QAED,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;YACjC,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC5B,KAAK,IAAI,EAAE,CAAC;gBACZ,OAAO,CAAC,IAAI,CAAC,UAAU,MAAM,WAAW,CAAC,CAAC;YAC9C,CAAC;iBAAM,IAAI,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;gBACpC,KAAK,IAAI,EAAE,CAAC;gBACZ,OAAO,CAAC,IAAI,CAAC,UAAU,MAAM,OAAO,CAAC,CAAC;YAC1C,CAAC;QACL,CAAC;QAED,MAAM,cAAc,GAAG,qBAAqB,CAAC,GAAG,QAAQ,IAAI,SAAS,EAAE,EAAE,aAAa,CAAC,CAAC;QACxF,IAAI,cAAc,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,KAAK,GAAG,cAAc,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5C,KAAK,IAAI,KAAK,CAAC;YACf,OAAO,CAAC,IAAI,CAAC,kBAAkB,cAAc,EAAE,CAAC,CAAC;QACrD,CAAC;QAED,MAAM,OAAO,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QAC5C,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1D,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;YAClD,KAAK,IAAI,KAAK,CAAC;YACf,OAAO,CAAC,IAAI,CAAC,cAAc,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACnD,CAAC;QAED,MAAM,WAAW,GAAG,4BAA4B,CAAC;YAC7C,KAAK,EAAE,cAAc;YACrB,QAAQ;YACR,YAAY;SACf,CAAC,CAAC;QACH,IAAI,WAAW,CAAC,OAAO,IAAI,WAAW,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;YACjD,KAAK,IAAI,WAAW,CAAC,KAAK,GAAG,EAAE,CAAC;YAChC,OAAO,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,gBAAgB,MAAM,EAAE,CAAC,CAAC,CAAC;QACjF,CAAC;QAED,IAAI,aAAa,CAAC,UAAU,EAAE,CAAC;YAC3B,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,aAAa,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;YACvF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC5C,KAAK,IAAI,KAAK,CAAC;gBACf,OAAO,CAAC,IAAI,CAAC,kBAAkB,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACxD,CAAC;YAED,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;YACpF,MAAM,kBAAkB,GAAG,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC;YACxE,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtD,KAAK,IAAI,EAAE,CAAC;gBACZ,OAAO,CAAC,IAAI,CAAC,mBAAmB,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC7D,CAAC;YAED,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;YAChF,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChD,KAAK,IAAI,CAAC,CAAC;gBACX,OAAO,CAAC,IAAI,CAAC,iBAAiB,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACrD,CAAC;YAED,MAAM,gBAAgB,GAAG,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;YAC1F,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACtD,KAAK,IAAI,EAAE,CAAC;gBACZ,OAAO,CAAC,IAAI,CAAC,oBAAoB,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5D,CAAC;YAED,MAAM,mBAAmB,GAAG,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,uBAAuB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;YAChG,IACI,mBAAmB,CAAC,MAAM,GAAG,CAAC;gBAC9B,OAAO,CAAC,MAAM,GAAG,CAAC;gBAClB,YAAY,CAAC,MAAM,KAAK,CAAC;gBACzB,kBAAkB,CAAC,MAAM,KAAK,CAAC,EACjC,CAAC;gBACC,KAAK,IAAI,EAAE,CAAC;gBACZ,OAAO,CAAC,IAAI,CAAC,4BAA4B,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACvE,CAAC;QACL,CAAC;QAED,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACxB,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK;YAAE,OAAO,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;QAClD,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC;QACnF,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC;QACnF,OAAO,KAAK,GAAG,KAAK,CAAC;IACzB,CAAC,CAAC,CAAC;AACP,CAAC;AAED,MAAM,UAAU,+BAA+B,CAAC,KAAa;IACzD,MAAM,OAAO,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;IACpC,OAAO,CACH,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC3D,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CACtD,CAAC;AACN,CAAC;AAED,MAAM,UAAU,kCAAkC,CAAC,KAAa;IAC5D,MAAM,OAAO,GAAG,6BAA6B,CAAC,KAAK,CAAC,CAAC;IACrD,IAAI,CAAC,OAAO,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IAErC,MAAM,OAAO,GAAG;QACZ,GAAG,OAAO,CAAC,iBAAiB;KAC/B,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,6BAA6B,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IAEvF,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrC,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3D,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAa;IACvC,oDAAoD;IACpD,2FAA2F;IAC3F,2DAA2D;IAC3D,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,4BAA4B,CAAC,IAAI,EAAE,CAAC;IAChE,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAE9B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;QACpC,IAAI,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,sBAAsB,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAS;QAC7E,MAAM,eAAe,GACjB,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC;YACxB,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC;YAC5B,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC;YACnB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;YACnB,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;YACtB,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC7B,IAAI,CAAC,eAAe;YAAE,SAAS;QAC/B,IAAI,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAS;QAChD,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACrB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,6BAA6B,CAAC,KAAa;IAIhD,MAAM,OAAO,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;IACpC,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,yBAAyB,CAAC,IAAI,EAAE,CAAC;IACjE,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAC7B,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CACrB,KAAK,CAAC,MAAM,IAAI,CAAC;QACjB,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC;QACtB,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC;QAClC,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC;QAChC,CAAC,sBAAsB,CAAC,QAAQ,CAAC,KAAK,CAAC;QACvC,CAAC,6BAA6B,CAAC,QAAQ,CAAC,KAAK,CAAC;QAC9C,CAAC,oBAAoB,CAAC,QAAQ,CAAC,KAAK,CAAC,CACxC,CACJ,CAAC;IAEF,OAAO;QACH,UAAU,EAAE,+BAA+B,CAAC,KAAK,CAAC;QAClD,iBAAiB;KACpB,CAAC;AACN,CAAC;AAED,SAAS,wBAAwB,CAAC,QAAgB;IAC9C,MAAM,UAAU,GAAG,QAAQ;SACtB,OAAO,CAAC,oBAAoB,EAAE,OAAO,CAAC;SACtC,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC;SACxB,WAAW,EAAE,CAAC;IAEnB,OAAO,KAAK,CAAC,IAAI,CACb,IAAI,GAAG,CACH,UAAU;SACL,KAAK,CAAC,KAAK,CAAC;SACZ,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAC1C,CACJ,CAAC;AACN,CAAC","sourcesContent":["/**\n * Ranks candidate files before deeper verify and execution passes.\n * It mixes explicit references, anchor terms, and narrow query heuristics so\n * repo-wide questions still land on the most useful implementation files.\n */\nimport path from \"path\";\nimport { extractFileReferences } from \"../utils/extractFileReferences.js\";\nimport { PREFILTER_STOP_WORDS, SENTENCE_STARTER_WORDS, STOP_WORDS } from \"../fileRules/stopWords.js\";\nimport { countDomainAnchorHits, extractDomainAnchors } from \"../utils/queryAnchors.js\";\nimport { getVerifyFocusFilePreference } from \"../utils/verifyFocusPreference.js\";\n\nconst METHOD_SELECTION_TERMS = [\"method\", \"function\", \"decides\", \"controls\", \"sets\", \"chooses\"];\nconst DECISION_TERMS = [\"budget\", \"limit\", \"threshold\", \"policy\", \"control\", \"wave\", \"retry\"];\nconst BROAD_WORKFLOW_TERMS = [\"validate\", \"analysis\", \"change\", \"changes\", \"plan\", \"planning\", \"workflow\"];\nconst CONTROLLER_ROLE_TOKENS = [\"controller\", \"manager\", \"resolver\", \"policy\", \"budget\", \"limit\", \"threshold\", \"verify\"];\nconst SELECTION_POLICY_TOKENS = [\"selected\", \"candidate\", \"selection\", \"focus\", \"relevant\", \"source\", \"sources\"];\nconst METHOD_SELECTION_SCOPE_TOKENS = [\"repo\", \"wide\", \"repository\", \"codebase\", \"project\"];\n\ntype ScoredCandidate = {\n    filePath: string;\n    score: number;\n    bm25Raw?: number;\n    reasons: string[];\n};\n\nexport function scoreCandidateFiles(\n    filePaths: string[],\n    relatedFileScores: Record<string, number>,\n    retrievalQuery: string\n): ScoredCandidate[] {\n    const explicitRefs = extractFileReferences(retrievalQuery, { lowercase: true });\n    const explicitBasenames = new Set(explicitRefs.map(ref => path.basename(ref)));\n    const symbolAnchors = extractSymbolAnchors(retrievalQuery);\n    const domainAnchors = extractDomainAnchors(retrievalQuery);\n    const methodSignals = extractMethodSelectionSignals(retrievalQuery);\n    const scored = filePaths.map(filePath => {\n        const fileLower = filePath.toLowerCase();\n        const basename = path.basename(filePath).toLowerCase();\n        const pathTokens = splitPathIdentifierParts(filePath);\n        let score = 0;\n        const reasons: string[] = [];\n\n        if (explicitBasenames.has(basename)) {\n            score += 100;\n            reasons.push(\"exact-filename\");\n        }\n\n        if (explicitRefs.some(ref => fileLower.includes(ref))) {\n            score += 60;\n            reasons.push(\"path-anchor\");\n        }\n\n        for (const anchor of symbolAnchors) {\n            if (basename.includes(anchor)) {\n                score += 40;\n                reasons.push(`symbol:${anchor}:filename`);\n            } else if (fileLower.includes(anchor)) {\n                score += 20;\n                reasons.push(`symbol:${anchor}:path`);\n            }\n        }\n\n        const domainHitCount = countDomainAnchorHits(`${basename} ${fileLower}`, domainAnchors);\n        if (domainHitCount > 0) {\n            const boost = domainHitCount >= 2 ? 35 : 14;\n            score += boost;\n            reasons.push(`domain-anchors:${domainHitCount}`);\n        }\n\n        const bm25Raw = relatedFileScores[filePath];\n        if (typeof bm25Raw === \"number\" && Number.isFinite(bm25Raw)) {\n            const prior = Math.max(0, Math.min(20, -bm25Raw));\n            score += prior;\n            reasons.push(`bm25-prior:${prior.toFixed(2)}`);\n        }\n\n        const verifyFocus = getVerifyFocusFilePreference({\n            query: retrievalQuery,\n            filePath,\n            explicitRefs,\n        });\n        if (verifyFocus.applies && verifyFocus.score !== 0) {\n            score += verifyFocus.score * 45;\n            reasons.push(...verifyFocus.reasons.map(reason => `verify-focus:${reason}`));\n        }\n\n        if (methodSignals.applicable) {\n            const overlap = pathTokens.filter(token => methodSignals.informativeTokens.has(token));\n            if (overlap.length > 0) {\n                const boost = overlap.length >= 2 ? 28 : 14;\n                score += boost;\n                reasons.push(`method-overlap:${overlap.join(\",\")}`);\n            }\n\n            const roleHits = pathTokens.filter(token => CONTROLLER_ROLE_TOKENS.includes(token));\n            const controllerRoleHits = roleHits.filter(token => token !== \"verify\");\n            if (controllerRoleHits.length > 0 && overlap.length > 0) {\n                score += 10;\n                reasons.push(`controller-role:${controllerRoleHits[0]}`);\n            }\n\n            const decisionHits = pathTokens.filter(token => DECISION_TERMS.includes(token));\n            if (decisionHits.length > 0 && overlap.length > 0) {\n                score += 8;\n                reasons.push(`decision-term:${decisionHits[0]}`);\n            }\n\n            const workflowOnlyHits = pathTokens.filter(token => BROAD_WORKFLOW_TERMS.includes(token));\n            if (workflowOnlyHits.length > 0 && overlap.length === 0) {\n                score -= 12;\n                reasons.push(`workflow-penalty:${workflowOnlyHits[0]}`);\n            }\n\n            const selectionPolicyHits = pathTokens.filter(token => SELECTION_POLICY_TOKENS.includes(token));\n            if (\n                selectionPolicyHits.length > 0 &&\n                overlap.length > 0 &&\n                decisionHits.length === 0 &&\n                controllerRoleHits.length === 0\n            ) {\n                score -= 10;\n                reasons.push(`selection-policy-penalty:${selectionPolicyHits[0]}`);\n            }\n        }\n\n        return { filePath, score, bm25Raw, reasons };\n    });\n\n    return scored.sort((a, b) => {\n        if (b.score !== a.score) return b.score - a.score;\n        const aBm25 = typeof a.bm25Raw === \"number\" ? a.bm25Raw : Number.POSITIVE_INFINITY;\n        const bBm25 = typeof b.bm25Raw === \"number\" ? b.bm25Raw : Number.POSITIVE_INFINITY;\n        return aBm25 - bBm25;\n    });\n}\n\nexport function isMethodSelectionRetrievalQuery(query: string): boolean {\n    const lowered = query.toLowerCase();\n    return (\n        METHOD_SELECTION_TERMS.some(term => lowered.includes(term)) &&\n        DECISION_TERMS.some(term => lowered.includes(term))\n    );\n}\n\nexport function buildMethodSelectionRetrievalQuery(query: string): string | null {\n    const signals = extractMethodSelectionSignals(query);\n    if (!signals.applicable) return null;\n\n    const ordered = [\n        ...signals.informativeTokens,\n    ].filter(token => token.length >= 3 && !METHOD_SELECTION_SCOPE_TOKENS.includes(token));\n\n    const selected = ordered.slice(0, 6);\n    return selected.length > 0 ? selected.join(\" \") : null;\n}\n\nfunction extractSymbolAnchors(query: string): string[] {\n    // Extract high-signal identifier-like anchors only.\n    // Example: \"check ChangeLogUpdateCmd in fileIndex\" -> [\"changelogupdatecmd\", \"fileindex\"].\n    // Example: \"Can you show me...\" -> does NOT include \"can\".\n    const matches = query.match(/[A-Za-z_][A-Za-z0-9_]{2,}/g) ?? [];\n    const out = new Set<string>();\n\n    for (const token of matches) {\n        const lowered = token.toLowerCase();\n        if (STOP_WORDS.has(lowered) || SENTENCE_STARTER_WORDS.has(lowered)) continue;\n        const looksLikeSymbol =\n            /[a-z][A-Z]/.test(token) ||\n            /[A-Z]{2,}[a-z]/.test(token) ||\n            token.includes(\"_\") ||\n            /[0-9]/.test(token) ||\n            token.endsWith(\"Step\") ||\n            token.endsWith(\"Module\");\n        if (!looksLikeSymbol) continue;\n        if (PREFILTER_STOP_WORDS.has(lowered)) continue;\n        out.add(lowered);\n    }\n\n    return Array.from(out);\n}\n\nfunction extractMethodSelectionSignals(query: string): {\n    applicable: boolean;\n    informativeTokens: Set<string>;\n} {\n    const lowered = query.toLowerCase();\n    const rawTokens = lowered.match(/[a-zA-Z_][a-zA-Z0-9_]*/g) ?? [];\n    const informativeTokens = new Set(\n        rawTokens.filter(token =>\n            token.length >= 3 &&\n            !STOP_WORDS.has(token) &&\n            !SENTENCE_STARTER_WORDS.has(token) &&\n            !PREFILTER_STOP_WORDS.has(token) &&\n            !METHOD_SELECTION_TERMS.includes(token) &&\n            !METHOD_SELECTION_SCOPE_TOKENS.includes(token) &&\n            !BROAD_WORKFLOW_TERMS.includes(token)\n        )\n    );\n\n    return {\n        applicable: isMethodSelectionRetrievalQuery(query),\n        informativeTokens,\n    };\n}\n\nfunction splitPathIdentifierParts(filePath: string): string[] {\n    const normalized = filePath\n        .replace(/([a-z0-9])([A-Z])/g, \"$1 $2\")\n        .replace(/[_./-]+/g, \" \")\n        .toLowerCase();\n\n    return Array.from(\n        new Set(\n            normalized\n                .split(/\\s+/)\n                .filter(token => token.length >= 3)\n        )\n    );\n}\n"]}

package/dist/agents/mainAgentVerify.js

@@ -0,0 +1,159 @@
+import fs from "fs";
+import { infoPlanGenStep } from "./infoPlanGenStep.js";
+import { fileCheckStep } from "./fileCheckStep.js";
+import { readinessGateStep } from "./readinessGateStep.js";
+import { evidenceVerifierStep } from "./evidenceVerifierStep.js";
+import { selectRelevantSourcesStep } from "./selectRelevantSourcesStep.js";
+import { structuralPreloadStep } from "./structuralPreloadStep.js";
+import { canExecutePhase, canExecuteRoute, canExecuteScope } from "./guardPolicy.js";
+import { isPathIgnoredByFolderGlobs } from "../fileRules/ignoredPaths.js";
+export function captureVerifyFocusSnapshot(context) {
+    return {
+        selected: context.analysis?.focus?.selectedFiles?.length ?? 0,
+        candidate: context.analysis?.focus?.candidateFiles?.length ?? 0,
+    };
+}
+export function logVerifyFocusDelta(before, after, logLine) {
+    const selectedDelta = after.selected - before.selected;
+    const candidateDelta = after.candidate - before.candidate;
+    logLine("ANALYSIS", "groundingDelta", undefined, `selected ${before.selected}->${after.selected} (${selectedDelta >= 0 ? "+" : ""}${selectedDelta}), candidate ${before.candidate}->${after.candidate} (${candidateDelta >= 0 ? "+" : ""}${candidateDelta})`);
+    return selectedDelta > 0 || candidateDelta > 0;
+}
+export function shouldStopVerifyForSaturation(stagnantWaves, maxStagnantWaves, logLine) {
+    if (stagnantWaves < maxStagnantWaves)
+        return false;
+    logLine("ANALYSIS", "groundingSaturated", undefined, `No focus growth for ${stagnantWaves} consecutive wave(s); stopping early`);
+    return true;
+}
+export function pruneMissingVerifyPaths(context, logLine) {
+    const init = context.initContext;
+    const focus = context.analysis?.focus;
+    if (!init && !focus)
+        return;
+    const existsOrResearch = (filePath) => {
+        if (filePath.startsWith("__research__/"))
+            return true;
+        if (isPathIgnoredByFolderGlobs(filePath))
+            return false;
+        return fs.existsSync(filePath);
+    };
+    let removedRelated = 0;
+    let removedSelected = 0;
+    let removedCandidate = 0;
+    if (init?.relatedFiles?.length) {
+        const existing = init.relatedFiles;
+        init.relatedFiles = existing.filter(filePath => existsOrResearch(filePath));
+        removedRelated = existing.length - init.relatedFiles.length;
+        if (removedRelated > 0 && init.relatedFileScores) {
+            init.relatedFileScores = Object.fromEntries(Object.entries(init.relatedFileScores).filter(([filePath]) => init.relatedFiles?.includes(filePath)));
+        }
+    }
+    if (focus?.selectedFiles?.length) {
+        const existing = focus.selectedFiles;
+        focus.selectedFiles = existing.filter(filePath => existsOrResearch(filePath));
+        removedSelected = existing.length - focus.selectedFiles.length;
+    }
+    if (focus?.candidateFiles?.length) {
+        const existing = focus.candidateFiles;
+        focus.candidateFiles = existing.filter(filePath => existsOrResearch(filePath));
+        removedCandidate = existing.length - focus.candidateFiles.length;
+    }
+    if (removedRelated + removedSelected + removedCandidate > 0) {
+        logLine("ANALYSIS", "verifyPruneMissing", undefined, `removed related=${removedRelated}, selected=${removedSelected}, candidate=${removedCandidate}`);
+    }
+}
+export function getGroundingWaveBudget(context, logLine) {
+    const scope = context.analysis?.scopeType ?? "repo-wide";
+    const decision = context.analysis?.routingDecision?.decision ?? "has-info";
+    const allowSearch = context.analysis?.routingDecision?.allowSearch ?? true;
+    let budget = 2;
+    if (!allowSearch || scope === "none")
+        budget = 1;
+    else if (scope === "single-file" && decision === "has-info")
+        budget = 2;
+    else if (scope === "multi-file")
+        budget = 3;
+    else if (scope === "repo-wide" && decision === "needs-info")
+        budget = 4;
+    logLine("ANALYSIS", "groundingBudget", undefined, `scope=${scope}, decision=${decision}, search=${allowSearch}, maxWaves=${budget}`);
+    return budget;
+}
+function collectStructuralVerifyPaths(context) {
+    return new Set(Object.entries(context.analysis?.fileAnalysis ?? {})
+        .filter(([_, analysis]) => !!analysis?.structural)
+        .map(([filePath]) => filePath));
+}
+export function captureVerifyWaveSnapshot(context) {
+    return {
+        beforeFocus: captureVerifyFocusSnapshot(context),
+        beforeWorking: new Set((context.workingFiles ?? []).map(file => file.path)),
+        beforeSelected: new Set(context.analysis?.focus?.selectedFiles ?? []),
+        beforeCandidate: new Set(context.analysis?.focus?.candidateFiles ?? []),
+        structuralBefore: collectStructuralVerifyPaths(context),
+    };
+}
+export async function runVerifyEvidencePipeline(args) {
+    const { context, query, snapshot, startTimer, logLine } = args;
+    const tStructural = startTimer();
+    await structuralPreloadStep.run({ query, context });
+    const structuralAfter = Object.entries(context.analysis?.fileAnalysis ?? {})
+        .filter(([_, analysis]) => !!analysis?.structural)
+        .map(([filePath]) => filePath);
+    const newStructural = structuralAfter.filter(filePath => !snapshot.structuralBefore.has(filePath));
+    logLine("ANALYSIS", "structuralPreload", tStructural());
+    const tEvidence = startTimer();
+    await evidenceVerifierStep.run({ query, context });
+    logLine("ANALYSIS", "collectAnalysisEvidence", tEvidence());
+    const verifyFiles = Object.keys(context.analysis?.verify?.byFile ?? {});
+    const tFileCheck = startTimer();
+    await fileCheckStep(context);
+    logLine("ANALYSIS", "fileCheckStep", tFileCheck());
+    const selectedAfterCheck = context.analysis?.focus?.selectedFiles ?? [];
+    const candidateAfterCheck = context.analysis?.focus?.candidateFiles ?? [];
+    const addedSelected = selectedAfterCheck.filter(filePath => !snapshot.beforeSelected.has(filePath));
+    const addedCandidate = candidateAfterCheck.filter(filePath => !snapshot.beforeCandidate.has(filePath));
+    const tSelect = startTimer();
+    await selectRelevantSourcesStep.run({ query, context });
+    logLine("ANALYSIS", "selectRelevantSources", tSelect());
+    const workingAfter = context.workingFiles ?? [];
+    const newWorking = workingAfter
+        .map(file => file.path)
+        .filter(filePath => !snapshot.beforeWorking.has(filePath));
+    return {
+        newStructural,
+        verifyFiles,
+        addedSelected,
+        addedCandidate,
+        newWorking,
+    };
+}
+export async function runVerifyReadinessGate(args) {
+    const { context, startTimer, logLine } = args;
+    const t = startTimer();
+    await readinessGateStep.run(context);
+    const readiness = context.analysis?.readiness;
+    const selectedCount = context.analysis?.focus?.selectedFiles?.length ?? 0;
+    logLine("ANALYSIS", "readinessGate", t(), `decision=${readiness?.decision ?? "unknown"}, confidence=${(readiness?.confidence ?? 0).toFixed(2)}, selected=${selectedCount}`);
+    return context.analysis?.readiness?.decision === "ready";
+}
+export async function runVerifyInfoAcquisition(args) {
+    const { context, query, executeStep, startTimer, logLine } = args;
+    const canRouteSearchExpansion = canExecuteRoute(context, "search-expand");
+    if (!canRouteSearchExpansion) {
+        logLine("PLAN", "infoPlanGen", undefined, "skipped (routing disallows search expansion)", { highlight: false });
+        return;
+    }
+    if (!canExecutePhase(context, "planning") ||
+        !canExecuteScope(context, "planning")) {
+        return;
+    }
+    const t = startTimer();
+    await infoPlanGenStep.run(context);
+    const infoPlan = context.analysis?.planSuggestion?.plan ?? { steps: [] };
+    for (const step of infoPlan.steps) {
+        const stepIO = { query };
+        await executeStep(step, stepIO);
+    }
+    logLine("PLAN", "infoPlanGen", t(), undefined, { highlight: false });
+}
+//# sourceMappingURL=mainAgentVerify.js.map

package/dist/agents/mainAgentVerify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mainAgentVerify.js","sourceRoot":"","sources":["../../src/agents/mainAgentVerify.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,IAAI,CAAC;AACpB,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAC3E,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACnE,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACrF,OAAO,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AA+B1E,MAAM,UAAU,0BAA0B,CAAC,OAA0B;IACjE,OAAO;QACH,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,IAAI,CAAC;QAC7D,SAAS,EAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,IAAI,CAAC;KAClE,CAAC;AACN,CAAC;AAED,MAAM,UAAU,mBAAmB,CAC/B,MAA2B,EAC3B,KAA0B,EAC1B,OAAgB;IAEhB,MAAM,aAAa,GAAG,KAAK,CAAC,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;IACvD,MAAM,cAAc,GAAG,KAAK,CAAC,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC;IAE1D,OAAO,CACH,UAAU,EACV,gBAAgB,EAChB,SAAS,EACT,YAAY,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,KAAK,aAAa,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,aAAa,gBAAgB,MAAM,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,KAAK,cAAc,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,cAAc,GAAG,CAC9M,CAAC;IAEF,OAAO,aAAa,GAAG,CAAC,IAAI,cAAc,GAAG,CAAC,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,6BAA6B,CACzC,aAAqB,EACrB,gBAAwB,EACxB,OAAgB;IAEhB,IAAI,aAAa,GAAG,gBAAgB;QAAE,OAAO,KAAK,CAAC;IAEnD,OAAO,CACH,UAAU,EACV,oBAAoB,EACpB,SAAS,EACT,uBAAuB,aAAa,sCAAsC,CAC7E,CAAC;IACF,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,uBAAuB,CACnC,OAA0B,EAC1B,OAAgB;IAEhB,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC;IACjC,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC;IACtC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK;QAAE,OAAO;IAE5B,MAAM,gBAAgB,GAAG,CAAC,QAAgB,EAAW,EAAE;QACnD,IAAI,QAAQ,CAAC,UAAU,CAAC,eAAe,CAAC;YAAE,OAAO,IAAI,CAAC;QACtD,IAAI,0BAA0B,CAAC,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC;QACvD,OAAO,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IACnC,CAAC,CAAC;IAEF,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,IAAI,gBAAgB,GAAG,CAAC,CAAC;IAEzB,IAAI,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC;QACnC,IAAI,CAAC,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC5E,cAAc,GAAG,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC;QAC5D,IAAI,cAAc,GAAG,CAAC,IAAI,IAAI,CAAC,iBAAiB,EAAE,CAAC;YAC/C,IAAI,CAAC,iBAAiB,GAAG,MAAM,CAAC,WAAW,CACvC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CACvG,CAAC;QACN,CAAC;IACL,CAAC;IAED,IAAI,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,KAAK,CAAC,aAAa,CAAC;QACrC,KAAK,CAAC,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC9E,eAAe,GAAG,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC;IACnE,CAAC;IAED,IAAI,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,KAAK,CAAC,cAAc,CAAC;QACtC,KAAK,CAAC,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC/E,gBAAgB,GAAG,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC,cAAc,CAAC,MAAM,CAAC;IACrE,CAAC;IAED,IAAI,cAAc,GAAG,eAAe,GAAG,gBAAgB,GAAG,CAAC,EAAE,CAAC;QAC1D,OAAO,CACH,UAAU,EACV,oBAAoB,EACpB,SAAS,EACT,mBAAmB,cAAc,cAAc,eAAe,eAAe,gBAAgB,EAAE,CAClG,CAAC;IACN,CAAC;AACL,CAAC;AAED,MAAM,UAAU,sBAAsB,CAClC,OAA0B,EAC1B,OAAgB;IAEhB,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,EAAE,SAAS,IAAI,WAAW,CAAC;IACzD,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,EAAE,eAAe,EAAE,QAAQ,IAAI,UAAU,CAAC;IAC3E,MAAM,WAAW,GAAG,OAAO,CAAC,QAAQ,EAAE,eAAe,EAAE,WAAW,IAAI,IAAI,CAAC;IAE3E,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,CAAC,WAAW,IAAI,KAAK,KAAK,MAAM;QAAE,MAAM,GAAG,CAAC,CAAC;SAC5C,IAAI,KAAK,KAAK,aAAa,IAAI,QAAQ,KAAK,UAAU;QAAE,MAAM,GAAG,CAAC,CAAC;SACnE,IAAI,KAAK,KAAK,YAAY;QAAE,MAAM,GAAG,CAAC,CAAC;SACvC,IAAI,KAAK,KAAK,WAAW,IAAI,QAAQ,KAAK,YAAY;QAAE,MAAM,GAAG,CAAC,CAAC;IAExE,OAAO,CACH,UAAU,EACV,iBAAiB,EACjB,SAAS,EACT,SAAS,KAAK,cAAc,QAAQ,YAAY,WAAW,cAAc,MAAM,EAAE,CACpF,CAAC;IAEF,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,SAAS,4BAA4B,CAAC,OAA0B;IAC5D,OAAO,IAAI,GAAG,CACV,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,YAAY,IAAI,EAAE,CAAC;SAC/C,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC;SACjD,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CACrC,CAAC;AACN,CAAC;AAED,MAAM,UAAU,yBAAyB,CACrC,OAA0B;IAE1B,OAAO;QACH,WAAW,EAAE,0BAA0B,CAAC,OAAO,CAAC;QAChD,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3E,cAAc,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,aAAa,IAAI,EAAE,CAAC;QACrE,eAAe,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,cAAc,IAAI,EAAE,CAAC;QACvE,gBAAgB,EAAE,4BAA4B,CAAC,OAAO,CAAC;KAC1D,CAAC;AACN,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAAC,IAM/C;IACG,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;IAE/D,MAAM,WAAW,GAAG,UAAU,EAAE,CAAC;IACjC,MAAM,qBAAqB,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;IACpD,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,YAAY,IAAI,EAAE,CAAC;SACvE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC;SACjD,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC;IACnC,MAAM,aAAa,GAAG,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;IACnG,OAAO,CAAC,UAAU,EAAE,mBAAmB,EAAE,WAAW,EAAE,CAAC,CAAC;IAExD,MAAM,SAAS,GAAG,UAAU,EAAE,CAAC;IAC/B,MAAM,oBAAoB,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;IACnD,OAAO,CAAC,UAAU,EAAE,yBAAyB,EAAE,SAAS,EAAE,CAAC,CAAC;IAC5D,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC;IAExE,MAAM,UAAU,GAAG,UAAU,EAAE,CAAC;IAChC,MAAM,aAAa,CAAC,OAAO,CAAC,CAAC;IAC7B,OAAO,CAAC,UAAU,EAAE,eAAe,EAAE,UAAU,EAAE,CAAC,CAAC;IACnD,MAAM,kBAAkB,GAAG,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,aAAa,IAAI,EAAE,CAAC;IACxE,MAAM,mBAAmB,GAAG,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,cAAc,IAAI,EAAE,CAAC;IAC1E,MAAM,aAAa,GAAG,kBAAkB,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;IACpG,MAAM,cAAc,GAAG,mBAAmB,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;IAEvG,MAAM,OAAO,GAAG,UAAU,EAAE,CAAC;IAC7B,MAAM,yBAAyB,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC;IACxD,OAAO,CAAC,UAAU,EAAE,uBAAuB,EAAE,OAAO,EAAE,CAAC,CAAC;IACxD,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC;IAChD,MAAM,UAAU,GAAG,YAAY;SAC1B,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;SACtB,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;IAE/D,OAAO;QACH,aAAa;QACb,WAAW;QACX,aAAa;QACb,cAAc;QACd,UAAU;KACb,CAAC;AACN,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,IAI5C;IACG,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;IAC9C,MAAM,CAAC,GAAG,UAAU,EAAE,CAAC;IACvB,MAAM,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACrC,MAAM,SAAS,GAAG,OAAO,CAAC,QAAQ,EAAE,SAAS,CAAC;IAC9C,MAAM,aAAa,GAAG,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC;IAC1E,OAAO,CACH,UAAU,EACV,eAAe,EACf,CAAC,EAAE,EACH,YAAY,SAAS,EAAE,QAAQ,IAAI,SAAS,gBAAgB,CAAC,SAAS,EAAE,UAAU,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc,aAAa,EAAE,CACnI,CAAC;IACF,OAAO,OAAO,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,KAAK,OAAO,CAAC;AAC7D,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAAC,IAM9C;IACG,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;IAElE,MAAM,uBAAuB,GAAG,eAAe,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IAC1E,IAAI,CAAC,uBAAuB,EAAE,CAAC;QAC3B,OAAO,CACH,MAAM,EACN,aAAa,EACb,SAAS,EACT,8CAA8C,EAC9C,EAAE,SAAS,EAAE,KAAK,EAAE,CACvB,CAAC;QACF,OAAO;IACX,CAAC;IAED,IACI,CAAC,eAAe,CAAC,OAAO,EAAE,UAAU,CAAC;QACrC,CAAC,eAAe,CAAC,OAAO,EAAE,UAAU,CAAC,EACvC,CAAC;QACC,OAAO;IACX,CAAC;IAED,MAAM,CAAC,GAAG,UAAU,EAAE,CAAC;IACvB,MAAM,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,EAAE,cAAc,EAAE,IAAI,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IAEzE,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAChC,MAAM,MAAM,GAAa,EAAE,KAAK,EAAE,CAAC;QACnC,MAAM,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACpC,CAAC;IAED,OAAO,CAAC,MAAM,EAAE,aAAa,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;AACzE,CAAC","sourcesContent":["import fs from \"fs\";\nimport { infoPlanGenStep } from \"./infoPlanGenStep.js\";\nimport { fileCheckStep } from \"./fileCheckStep.js\";\nimport { readinessGateStep } from \"./readinessGateStep.js\";\nimport { evidenceVerifierStep } from \"./evidenceVerifierStep.js\";\nimport { selectRelevantSourcesStep } from \"./selectRelevantSourcesStep.js\";\nimport { structuralPreloadStep } from \"./structuralPreloadStep.js\";\nimport { canExecutePhase, canExecuteRoute, canExecuteScope } from \"./guardPolicy.js\";\nimport { isPathIgnoredByFolderGlobs } from \"../fileRules/ignoredPaths.js\";\nimport type { AgentPlanStep, ModuleIO, StructuredContext } from \"../types.js\";\n\nexport type VerifyFocusSnapshot = { selected: number; candidate: number };\n\nexport type VerifyWaveSnapshot = {\n    beforeFocus: VerifyFocusSnapshot;\n    beforeWorking: Set<string>;\n    beforeSelected: Set<string>;\n    beforeCandidate: Set<string>;\n    structuralBefore: Set<string>;\n};\n\nexport type VerifyWaveArtifacts = {\n    newStructural: string[];\n    verifyFiles: string[];\n    addedSelected: string[];\n    addedCandidate: string[];\n    newWorking: string[];\n};\n\ntype LogLine = (\n    phase: string,\n    step: string,\n    ms?: number,\n    desc?: string,\n    options?: { highlight?: boolean }\n) => void;\n\ntype StartTimer = () => () => number;\n\nexport function captureVerifyFocusSnapshot(context: StructuredContext): VerifyFocusSnapshot {\n    return {\n        selected: context.analysis?.focus?.selectedFiles?.length ?? 0,\n        candidate: context.analysis?.focus?.candidateFiles?.length ?? 0,\n    };\n}\n\nexport function logVerifyFocusDelta(\n    before: VerifyFocusSnapshot,\n    after: VerifyFocusSnapshot,\n    logLine: LogLine\n): boolean {\n    const selectedDelta = after.selected - before.selected;\n    const candidateDelta = after.candidate - before.candidate;\n\n    logLine(\n        \"ANALYSIS\",\n        \"groundingDelta\",\n        undefined,\n        `selected ${before.selected}->${after.selected} (${selectedDelta >= 0 ? \"+\" : \"\"}${selectedDelta}), candidate ${before.candidate}->${after.candidate} (${candidateDelta >= 0 ? \"+\" : \"\"}${candidateDelta})`\n    );\n\n    return selectedDelta > 0 || candidateDelta > 0;\n}\n\nexport function shouldStopVerifyForSaturation(\n    stagnantWaves: number,\n    maxStagnantWaves: number,\n    logLine: LogLine\n): boolean {\n    if (stagnantWaves < maxStagnantWaves) return false;\n\n    logLine(\n        \"ANALYSIS\",\n        \"groundingSaturated\",\n        undefined,\n        `No focus growth for ${stagnantWaves} consecutive wave(s); stopping early`\n    );\n    return true;\n}\n\nexport function pruneMissingVerifyPaths(\n    context: StructuredContext,\n    logLine: LogLine\n): void {\n    const init = context.initContext;\n    const focus = context.analysis?.focus;\n    if (!init && !focus) return;\n\n    const existsOrResearch = (filePath: string): boolean => {\n        if (filePath.startsWith(\"__research__/\")) return true;\n        if (isPathIgnoredByFolderGlobs(filePath)) return false;\n        return fs.existsSync(filePath);\n    };\n\n    let removedRelated = 0;\n    let removedSelected = 0;\n    let removedCandidate = 0;\n\n    if (init?.relatedFiles?.length) {\n        const existing = init.relatedFiles;\n        init.relatedFiles = existing.filter(filePath => existsOrResearch(filePath));\n        removedRelated = existing.length - init.relatedFiles.length;\n        if (removedRelated > 0 && init.relatedFileScores) {\n            init.relatedFileScores = Object.fromEntries(\n                Object.entries(init.relatedFileScores).filter(([filePath]) => init.relatedFiles?.includes(filePath))\n            );\n        }\n    }\n\n    if (focus?.selectedFiles?.length) {\n        const existing = focus.selectedFiles;\n        focus.selectedFiles = existing.filter(filePath => existsOrResearch(filePath));\n        removedSelected = existing.length - focus.selectedFiles.length;\n    }\n\n    if (focus?.candidateFiles?.length) {\n        const existing = focus.candidateFiles;\n        focus.candidateFiles = existing.filter(filePath => existsOrResearch(filePath));\n        removedCandidate = existing.length - focus.candidateFiles.length;\n    }\n\n    if (removedRelated + removedSelected + removedCandidate > 0) {\n        logLine(\n            \"ANALYSIS\",\n            \"verifyPruneMissing\",\n            undefined,\n            `removed related=${removedRelated}, selected=${removedSelected}, candidate=${removedCandidate}`\n        );\n    }\n}\n\nexport function getGroundingWaveBudget(\n    context: StructuredContext,\n    logLine: LogLine\n): number {\n    const scope = context.analysis?.scopeType ?? \"repo-wide\";\n    const decision = context.analysis?.routingDecision?.decision ?? \"has-info\";\n    const allowSearch = context.analysis?.routingDecision?.allowSearch ?? true;\n\n    let budget = 2;\n    if (!allowSearch || scope === \"none\") budget = 1;\n    else if (scope === \"single-file\" && decision === \"has-info\") budget = 2;\n    else if (scope === \"multi-file\") budget = 3;\n    else if (scope === \"repo-wide\" && decision === \"needs-info\") budget = 4;\n\n    logLine(\n        \"ANALYSIS\",\n        \"groundingBudget\",\n        undefined,\n        `scope=${scope}, decision=${decision}, search=${allowSearch}, maxWaves=${budget}`\n    );\n\n    return budget;\n}\n\nfunction collectStructuralVerifyPaths(context: StructuredContext): Set<string> {\n    return new Set(\n        Object.entries(context.analysis?.fileAnalysis ?? {})\n            .filter(([_, analysis]) => !!analysis?.structural)\n            .map(([filePath]) => filePath)\n    );\n}\n\nexport function captureVerifyWaveSnapshot(\n    context: StructuredContext\n): VerifyWaveSnapshot {\n    return {\n        beforeFocus: captureVerifyFocusSnapshot(context),\n        beforeWorking: new Set((context.workingFiles ?? []).map(file => file.path)),\n        beforeSelected: new Set(context.analysis?.focus?.selectedFiles ?? []),\n        beforeCandidate: new Set(context.analysis?.focus?.candidateFiles ?? []),\n        structuralBefore: collectStructuralVerifyPaths(context),\n    };\n}\n\nexport async function runVerifyEvidencePipeline(args: {\n    context: StructuredContext;\n    query: string;\n    snapshot: VerifyWaveSnapshot;\n    startTimer: StartTimer;\n    logLine: LogLine;\n}): Promise<VerifyWaveArtifacts> {\n    const { context, query, snapshot, startTimer, logLine } = args;\n\n    const tStructural = startTimer();\n    await structuralPreloadStep.run({ query, context });\n    const structuralAfter = Object.entries(context.analysis?.fileAnalysis ?? {})\n        .filter(([_, analysis]) => !!analysis?.structural)\n        .map(([filePath]) => filePath);\n    const newStructural = structuralAfter.filter(filePath => !snapshot.structuralBefore.has(filePath));\n    logLine(\"ANALYSIS\", \"structuralPreload\", tStructural());\n\n    const tEvidence = startTimer();\n    await evidenceVerifierStep.run({ query, context });\n    logLine(\"ANALYSIS\", \"collectAnalysisEvidence\", tEvidence());\n    const verifyFiles = Object.keys(context.analysis?.verify?.byFile ?? {});\n\n    const tFileCheck = startTimer();\n    await fileCheckStep(context);\n    logLine(\"ANALYSIS\", \"fileCheckStep\", tFileCheck());\n    const selectedAfterCheck = context.analysis?.focus?.selectedFiles ?? [];\n    const candidateAfterCheck = context.analysis?.focus?.candidateFiles ?? [];\n    const addedSelected = selectedAfterCheck.filter(filePath => !snapshot.beforeSelected.has(filePath));\n    const addedCandidate = candidateAfterCheck.filter(filePath => !snapshot.beforeCandidate.has(filePath));\n\n    const tSelect = startTimer();\n    await selectRelevantSourcesStep.run({ query, context });\n    logLine(\"ANALYSIS\", \"selectRelevantSources\", tSelect());\n    const workingAfter = context.workingFiles ?? [];\n    const newWorking = workingAfter\n        .map(file => file.path)\n        .filter(filePath => !snapshot.beforeWorking.has(filePath));\n\n    return {\n        newStructural,\n        verifyFiles,\n        addedSelected,\n        addedCandidate,\n        newWorking,\n    };\n}\n\nexport async function runVerifyReadinessGate(args: {\n    context: StructuredContext;\n    startTimer: StartTimer;\n    logLine: LogLine;\n}): Promise<boolean> {\n    const { context, startTimer, logLine } = args;\n    const t = startTimer();\n    await readinessGateStep.run(context);\n    const readiness = context.analysis?.readiness;\n    const selectedCount = context.analysis?.focus?.selectedFiles?.length ?? 0;\n    logLine(\n        \"ANALYSIS\",\n        \"readinessGate\",\n        t(),\n        `decision=${readiness?.decision ?? \"unknown\"}, confidence=${(readiness?.confidence ?? 0).toFixed(2)}, selected=${selectedCount}`\n    );\n    return context.analysis?.readiness?.decision === \"ready\";\n}\n\nexport async function runVerifyInfoAcquisition(args: {\n    context: StructuredContext;\n    query: string;\n    executeStep: (step: AgentPlanStep, input: ModuleIO) => Promise<ModuleIO>;\n    startTimer: StartTimer;\n    logLine: LogLine;\n}): Promise<void> {\n    const { context, query, executeStep, startTimer, logLine } = args;\n\n    const canRouteSearchExpansion = canExecuteRoute(context, \"search-expand\");\n    if (!canRouteSearchExpansion) {\n        logLine(\n            \"PLAN\",\n            \"infoPlanGen\",\n            undefined,\n            \"skipped (routing disallows search expansion)\",\n            { highlight: false }\n        );\n        return;\n    }\n\n    if (\n        !canExecutePhase(context, \"planning\") ||\n        !canExecuteScope(context, \"planning\")\n    ) {\n        return;\n    }\n\n    const t = startTimer();\n    await infoPlanGenStep.run(context);\n    const infoPlan = context.analysis?.planSuggestion?.plan ?? { steps: [] };\n\n    for (const step of infoPlan.steps) {\n        const stepIO: ModuleIO = { query };\n        await executeStep(step, stepIO);\n    }\n\n    logLine(\"PLAN\", \"infoPlanGen\", t(), undefined, { highlight: false });\n}\n"]}