scai 0.1.178 → 1.0.0

package/dist/agents/decideNextAction.js

@@ -0,0 +1,444 @@
+import { logInputOutput } from "../utils/promptLogHelper.js";
+import { reasonNextStepSelection } from "./reasonNextTaskStep.js";
+import { canExecutePhase, canExecuteRoute, canExecuteScope } from "./guardPolicy.js";
+import { buildAllowedActionsFromGuardState, resolveGuardState } from "./guards/guardState.js";
+import { resolveProgressState } from "./guards/resolveProgressState.js";
+const NON_BRIDGE_ALLOWED_ACTIONS = [
+    "continue",
+    "expand-scope",
+    "rework-scope",
+    "request-feedback",
+    "complete",
+    "give-up",
+];
+const ALLOWED_ACTIONS = new Set([
+    "run-search",
+    "run-verify",
+    "seed-research",
+    "seed-plan",
+    "continue",
+    "expand-scope",
+    "rework-scope",
+    "request-feedback",
+    "complete",
+    "give-up",
+]);
+const FORCED_BRIDGE_DECISIONS = {
+    "run-search": {
+        action: "run-search",
+        reason: "Initial evidence bootstrap has not run yet; run search before verify or execution seeding.",
+        confidence: 0.93,
+        source: "reason-next-step-selection",
+    },
+    "run-verify": {
+        action: "run-verify",
+        reason: "Execution is not ready yet; run verify before seeding research or execution work.",
+        confidence: 0.92,
+        source: "reason-next-step-selection",
+    },
+    "seed-research": {
+        action: "seed-research",
+        reason: "No research step exists yet; seed research before execution planning.",
+        confidence: 0.9,
+        source: "reason-next-step-selection",
+    },
+    "seed-plan": {
+        action: "seed-plan",
+        reason: "No eligible execution step exists yet; seed the current execution plan first.",
+        confidence: 0.9,
+        source: "reason-next-step-selection",
+    },
+};
+const TERMINAL_SAFE_ACTIONS = new Set([
+    "complete",
+    "give-up",
+    "request-feedback",
+]);
+function getForcedRecoveryAction(context) {
+    const decision = context.analysis?.recoveryEvaluation?.decision;
+    if (decision === "rework-scope")
+        return "rework-scope";
+    if (decision === "expand-scope")
+        return "expand-scope";
+    if (decision === "request-feedback")
+        return "request-feedback";
+    if (decision === "complete")
+        return "complete";
+    return null;
+}
+function isResearchStep(step) {
+    return (step.action ?? "").startsWith("research-") || (step.filePath ?? "").startsWith("__research__/");
+}
+function shouldContinuePastVerifyWithoutExecution(context) {
+    const policy = context.analysis?.executionPolicy;
+    const researchAllowed = policy?.routeAllowed?.research ??
+        canExecuteRoute(context, "research");
+    const transformAllowed = policy?.routeAllowed?.transform ??
+        canExecuteRoute(context, "transform");
+    return researchAllowed || !transformAllowed;
+}
+function hasSearchAnswerReady(context) {
+    return typeof context.analysis?.directoryListingAnswer?.summary === "string" &&
+        context.analysis.directoryListingAnswer.summary.trim().length > 0;
+}
+function getLatestRecentAction(context) {
+    const entries = context.analysis?.recentActionWindow?.entries ?? [];
+    return entries.length > 0 ? entries[entries.length - 1] : undefined;
+}
+function didLatestSearchFailWithoutNewEvidence(context) {
+    const latest = getLatestRecentAction(context);
+    if (!latest)
+        return false;
+    if (!["search", "search-db", "search-regex", "search-list-directory"].includes(latest.actionKind)) {
+        return false;
+    }
+    if (!["failed", "empty"].includes(latest.outcome)) {
+        return false;
+    }
+    const selectedFiles = context.analysis?.focus?.selectedFiles ?? [];
+    const candidateFiles = context.analysis?.focus?.candidateFiles ?? [];
+    return selectedFiles.length === 0 && candidateFiles.length === 0 && !hasSearchAnswerReady(context);
+}
+function shouldAvoidRepeatedSearch(context) {
+    const latest = getLatestRecentAction(context);
+    if (!latest)
+        return false;
+    if (!["search", "search-db", "search-regex", "search-list-directory"].includes(latest.actionKind)) {
+        return false;
+    }
+    if (!["failed", "empty"].includes(latest.outcome)) {
+        return false;
+    }
+    const currentQuery = (context.analysis?.intent?.normalizedQuery ?? context.initContext?.userQuery ?? "").trim();
+    return latest.target.trim() === currentQuery;
+}
+function shouldRunSearch(context) {
+    if (hasSearchAnswerReady(context)) {
+        return false;
+    }
+    if (!canExecuteScope(context, "analysis")) {
+        return false;
+    }
+    const resolvedTargets = context.analysis?.focus?.resolvedTargetFiles ??
+        context.analysis?.intent?.resolvedTargetFiles ??
+        [];
+    if (resolvedTargets.length > 0) {
+        return false;
+    }
+    if (shouldAvoidRepeatedSearch(context)) {
+        return false;
+    }
+    const relatedFiles = context.initContext?.relatedFiles ?? [];
+    const selectedFiles = context.analysis?.focus?.selectedFiles ?? [];
+    const candidateFiles = context.analysis?.focus?.candidateFiles ?? [];
+    const workingFiles = context.workingFiles ?? [];
+    return (relatedFiles.length === 0 &&
+        selectedFiles.length === 0 &&
+        candidateFiles.length === 0 &&
+        workingFiles.length === 0);
+}
+function shouldRunVerify(context) {
+    if (hasSearchAnswerReady(context)) {
+        return false;
+    }
+    if (!canExecuteScope(context, "analysis")) {
+        return false;
+    }
+    if (didLatestSearchFailWithoutNewEvidence(context)) {
+        return true;
+    }
+    const readinessDecision = context.analysis?.readiness?.decision;
+    if (readinessDecision !== "ready") {
+        return true;
+    }
+    const executionReady = context.analysis?.executionPolicy?.executionReady;
+    if (executionReady === true) {
+        return false;
+    }
+    return !shouldContinuePastVerifyWithoutExecution(context);
+}
+function isBridgeActionEnabled(action, options) {
+    switch (action) {
+        case "run-search":
+            return options?.allowRunSearch ?? true;
+        case "run-verify":
+            return options?.allowRunVerify ?? true;
+        case "seed-research":
+            return options?.allowSeedResearch ?? true;
+        case "seed-plan":
+            return options?.allowSeedPlan ?? true;
+        default:
+            return true;
+    }
+}
+function shouldSeedResearch(context) {
+    if (hasSearchAnswerReady(context)) {
+        return false;
+    }
+    const researchAllowed = context.analysis?.executionPolicy?.routeAllowed?.research ??
+        canExecuteRoute(context, "research");
+    if (!researchAllowed || !canExecuteScope(context, "analysis")) {
+        return false;
+    }
+    return !(context.task?.steps ?? []).some((step) => isResearchStep(step));
+}
+function shouldSeedPlan(context) {
+    if (hasSearchAnswerReady(context)) {
+        return false;
+    }
+    if (!canExecutePhase(context, "planning") || !canExecuteScope(context, "planning")) {
+        return false;
+    }
+    const executionSteps = (context.task.steps ?? []).filter((step) => !isResearchStep(step));
+    const pendingExecutionSteps = executionSteps.filter((step) => step.status !== "completed");
+    if (pendingExecutionSteps.length > 0)
+        return false;
+    return executionSteps.length === 0;
+}
+/**
+ * Captures the current loop-control state in one typed object.
+ * Example: one pending research step -> pendingSteps contains that file/action pair.
+ */
+export function buildAllowedNextActions(context, options) {
+    const forcedRecoveryAction = getForcedRecoveryAction(context);
+    if (forcedRecoveryAction) {
+        return [forcedRecoveryAction];
+    }
+    const guard = context.analysis?.guardState ?? resolveGuardState(context);
+    const hasResolvedGuardState = Boolean(context.analysis?.guardState);
+    if (guard.continuationMode === "terminal") {
+        return buildAllowedActionsFromGuardState(guard);
+    }
+    /**
+     * Trust a resolved guard snapshot when we already have one.
+     * Example: `can-research` should stay `seed-research` instead of being recomputed as `run-search`.
+     *
+     * Keep one narrow override for the micro-loop:
+     * a stale `need-search` may advance to `run-verify` after the latest search already failed with no evidence.
+     */
+    if (hasResolvedGuardState && guard.continuationMode === "need-search" && shouldAvoidRepeatedSearch(context)) {
+        return ["run-verify"];
+    }
+    if (hasResolvedGuardState) {
+        const allowedFromGuard = buildAllowedActionsFromGuardState(guard).filter((action) => isBridgeActionEnabled(action, options));
+        if (allowedFromGuard.length > 0) {
+            return allowedFromGuard;
+        }
+    }
+    const bridgeCandidates = [
+        {
+            enabled: options?.allowRunSearch ?? true,
+            matches: shouldRunSearch,
+            action: "run-search",
+        },
+        {
+            enabled: options?.allowRunVerify ?? true,
+            matches: shouldRunVerify,
+            action: "run-verify",
+        },
+        {
+            enabled: options?.allowSeedResearch ?? true,
+            matches: shouldSeedResearch,
+            action: "seed-research",
+        },
+        {
+            enabled: options?.allowSeedPlan ?? true,
+            matches: shouldSeedPlan,
+            action: "seed-plan",
+        },
+    ];
+    const forcedBridge = bridgeCandidates.find((candidate) => candidate.enabled && candidate.matches(context));
+    if (forcedBridge) {
+        return [forcedBridge.action];
+    }
+    return NON_BRIDGE_ALLOWED_ACTIONS;
+}
+export function buildNextActionInput(context, options) {
+    const steps = context.task?.steps ?? [];
+    const guardState = context.analysis?.guardState ?? resolveGuardState(context);
+    const progressState = context.analysis?.progressState ?? resolveProgressState(context);
+    const routeLane = guardState.lane ?? context.analysis?.runtimeState?.lane ?? "coding";
+    return {
+        taskStatus: context.task.status,
+        routeLane,
+        allowedActions: buildAllowedNextActions(context, options),
+        guardState,
+        progressState,
+        executionPolicy: context.analysis?.executionPolicy,
+        readiness: context.analysis?.readiness,
+        iterationReasoning: context.analysis?.iterationReasoning,
+        recentActionWindow: context.analysis?.recentActionWindow,
+        currentStep: context.task.currentStep,
+        pendingSteps: steps
+            .filter((step) => step.status !== "completed")
+            .map((step) => ({ filePath: step.filePath, action: step.action, status: step.status })),
+        completedSteps: steps
+            .filter((step) => step.status === "completed")
+            .map((step) => ({ filePath: step.filePath, action: step.action, status: step.status })),
+        retryCounters: context.analysis?.attemptCounters?.retriesByTarget,
+        giveUpState: context.analysis?.giveUp,
+    };
+}
+/**
+ * Keeps next-action logs focused on the final loop action, not the full upstream state.
+ * Example: selector asked for continue, bridge forced run-verify -> log both actions and the override.
+ */
+function buildDecideNextActionLog(params) {
+    return {
+        allowedActions: params.allowedActions,
+        selectorAction: params.selectorAction,
+        selectorReason: params.selectorReason,
+        forcedBridgeAction: params.forcedBridgeAction ?? undefined,
+        targetFile: params.targetFile,
+        decision: params.decision,
+        validation: params.validation,
+    };
+}
+/**
+ * Normalizes the selector output to the current supported loop actions.
+ * Example: missing nextAction -> continue.
+ */
+export function validateNextActionDecision(action, allowedActions) {
+    if (action && ALLOWED_ACTIONS.has(action)) {
+        if (allowedActions?.length && !allowedActions.includes(action)) {
+            return {
+                accepted: false,
+                normalizedAction: "continue",
+                rejectionReason: `Action not allowed in current menu: ${action}`,
+            };
+        }
+        return {
+            accepted: true,
+            normalizedAction: action,
+        };
+    }
+    return {
+        accepted: false,
+        normalizedAction: "continue",
+        rejectionReason: action
+            ? `Unsupported next action: ${action}`
+            : "Missing next action from iteration reasoning",
+    };
+}
+function getForcedBridgeAction(allowedActions) {
+    if (allowedActions.length !== 1) {
+        return null;
+    }
+    const onlyAction = allowedActions[0];
+    return NON_BRIDGE_ALLOWED_ACTIONS.includes(onlyAction)
+        ? null
+        : onlyAction;
+}
+function buildForcedBridgeDecision(action) {
+    return {
+        ...FORCED_BRIDGE_DECISIONS[action],
+    };
+}
+/**
+ * Controls the only cases where a terminal action may bypass a required bridge action.
+ *
+ * Examples:
+ * - `run-search` forced in repo-wide evidence lane -> `complete` must not bypass
+ * - continuity-local direct answer -> `complete` may bypass
+ * - explicit-target answer with grounded verify/executed evidence -> `complete` may bypass
+ */
+function canTerminalActionBypassBridge(guardState, progressState, action) {
+    if (!TERMINAL_SAFE_ACTIONS.has(action)) {
+        return false;
+    }
+    if (guardState.lane === "direct-answer") {
+        return true;
+    }
+    if (progressState.continuity.localOnly || progressState.continuity.answerNow) {
+        return true;
+    }
+    if (guardState.lane === "explicit-target" && progressState.evidenceSatisfied) {
+        return true;
+    }
+    return false;
+}
+/**
+ * Wraps the current selector and returns one explicit decision object for the work loop.
+ * Example: selector emits complete -> decision.action becomes complete with the same rationale.
+ */
+export async function decideNextAction(context, options) {
+    var _a;
+    context.analysis || (context.analysis = {});
+    context.analysis.progressState = resolveProgressState(context);
+    (_a = context.analysis).guardState || (_a.guardState = resolveGuardState(context));
+    const input = buildNextActionInput(context, options);
+    context.analysis.nextActionMenu = {
+        allowedActions: input.allowedActions,
+    };
+    const runSelection = options?.runSelection ?? reasonNextStepSelection.run;
+    await runSelection(context);
+    const iteration = context.analysis?.iterationReasoning;
+    const forcedBridgeAction = getForcedBridgeAction(input.allowedActions);
+    const rawValidation = validateNextActionDecision(iteration?.nextAction);
+    const guardState = input.guardState ?? context.analysis.guardState ?? resolveGuardState(context);
+    const progressState = input.progressState ?? context.analysis.progressState ?? resolveProgressState(context);
+    let validation = validateNextActionDecision(iteration?.nextAction, input.allowedActions);
+    let decision;
+    if (forcedBridgeAction &&
+        rawValidation.accepted &&
+        canTerminalActionBypassBridge(guardState, progressState, rawValidation.normalizedAction)) {
+        validation = rawValidation;
+        decision = {
+            action: rawValidation.normalizedAction,
+            reason: iteration?.rationale?.trim() ||
+                "No explicit next action rationale provided.",
+            confidence: iteration?.confidence ?? 0.5,
+            targetFile: context.task.currentStep?.filePath,
+            source: "reason-next-step-selection",
+        };
+    }
+    else if (forcedBridgeAction && validation.normalizedAction !== forcedBridgeAction) {
+        decision = buildForcedBridgeDecision(forcedBridgeAction);
+        validation = {
+            accepted: true,
+            normalizedAction: decision.action,
+        };
+    }
+    else if (input.allowedActions.length === 1 &&
+        input.allowedActions[0] === "rework-scope" &&
+        validation.normalizedAction !== "rework-scope") {
+        decision = {
+            action: "rework-scope",
+            reason: context.analysis?.recoveryEvaluation?.reason ??
+                "Outer-loop recovery marked the current target stale or wrong.",
+            confidence: 0.95,
+            targetFile: context.analysis?.recoveryEvaluation?.targetFile ??
+                context.task.currentStep?.filePath,
+            source: "reason-next-step-selection",
+        };
+        validation = {
+            accepted: true,
+            normalizedAction: "rework-scope",
+        };
+    }
+    else {
+        const normalizedAction = validation.normalizedAction;
+        decision = {
+            action: normalizedAction,
+            reason: iteration?.rationale?.trim() ||
+                validation.rejectionReason ||
+                "No explicit next action rationale provided.",
+            confidence: iteration?.confidence ?? 0.5,
+            targetFile: context.task.currentStep?.filePath,
+            source: "reason-next-step-selection",
+        };
+    }
+    context.analysis.nextActionDecision = decision;
+    context.analysis.nextActionValidation = validation;
+    logInputOutput("decideNextAction", "output", buildDecideNextActionLog({
+        allowedActions: input.allowedActions,
+        selectorAction: iteration?.nextAction,
+        selectorReason: iteration?.rationale,
+        forcedBridgeAction,
+        targetFile: context.task.currentStep?.filePath,
+        decision,
+        validation,
+    }));
+    return decision;
+}
+//# sourceMappingURL=decideNextAction.js.map

package/dist/agents/decideNextAction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"decideNextAction.js","sourceRoot":"","sources":["../../src/agents/decideNextAction.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAClE,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACrF,OAAO,EAAE,iCAAiC,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC9F,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AAgBxE,MAAM,0BAA0B,GAAqB;IACnD,UAAU;IACV,cAAc;IACd,cAAc;IACd,kBAAkB;IAClB,UAAU;IACV,SAAS;CACV,CAAC;AAEF,MAAM,eAAe,GAAG,IAAI,GAAG,CAAiB;IAC9C,YAAY;IACZ,YAAY;IACZ,eAAe;IACf,WAAW;IACX,UAAU;IACV,cAAc;IACd,cAAc;IACd,kBAAkB;IAClB,UAAU;IACV,SAAS;CACV,CAAC,CAAC;AAEH,MAAM,uBAAuB,GAGzB;IACF,YAAY,EAAE;QACZ,MAAM,EAAE,YAAY;QACpB,MAAM,EAAE,4FAA4F;QACpG,UAAU,EAAE,IAAI;QAChB,MAAM,EAAE,4BAA4B;KACrC;IACD,YAAY,EAAE;QACZ,MAAM,EAAE,YAAY;QACpB,MAAM,EAAE,mFAAmF;QAC3F,UAAU,EAAE,IAAI;QAChB,MAAM,EAAE,4BAA4B;KACrC;IACD,eAAe,EAAE;QACf,MAAM,EAAE,eAAe;QACvB,MAAM,EAAE,uEAAuE;QAC/E,UAAU,EAAE,GAAG;QACf,MAAM,EAAE,4BAA4B;KACrC;IACD,WAAW,EAAE;QACX,MAAM,EAAE,WAAW;QACnB,MAAM,EAAE,+EAA+E;QACvF,UAAU,EAAE,GAAG;QACf,MAAM,EAAE,4BAA4B;KACrC;CACF,CAAC;AAEF,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAiB;IACpD,UAAU;IACV,SAAS;IACT,kBAAkB;CACnB,CAAC,CAAC;AAEH,SAAS,uBAAuB,CAAC,OAA0B;IACzD,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,EAAE,kBAAkB,EAAE,QAAQ,CAAC;IAChE,IAAI,QAAQ,KAAK,cAAc;QAAE,OAAO,cAAc,CAAC;IACvD,IAAI,QAAQ,KAAK,cAAc;QAAE,OAAO,cAAc,CAAC;IACvD,IAAI,QAAQ,KAAK,kBAAkB;QAAE,OAAO,kBAAkB,CAAC;IAC/D,IAAI,QAAQ,KAAK,UAAU;QAAE,OAAO,UAAU,CAAC;IAC/C,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,cAAc,CAAC,IAA4C;IAClE,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;AAC1G,CAAC;AAED,SAAS,wCAAwC,CAAC,OAA0B;IAC1E,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,EAAE,eAAe,CAAC;IACjD,MAAM,eAAe,GACnB,MAAM,EAAE,YAAY,EAAE,QAAQ;QAC9B,eAAe,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IACvC,MAAM,gBAAgB,GACpB,MAAM,EAAE,YAAY,EAAE,SAAS;QAC/B,eAAe,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IAExC,OAAO,eAAe,IAAI,CAAC,gBAAgB,CAAC;AAC9C,CAAC;AAED,SAAS,oBAAoB,CAAC,OAA0B;IACtD,OAAO,OAAO,OAAO,CAAC,QAAQ,EAAE,sBAAsB,EAAE,OAAO,KAAK,QAAQ;QAC1E,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,qBAAqB,CAAC,OAA0B;IACvD,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,EAAE,kBAAkB,EAAE,OAAO,IAAI,EAAE,CAAC;IACpE,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACtE,CAAC;AAED,SAAS,qCAAqC,CAAC,OAA0B;IACvE,MAAM,MAAM,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;IAC9C,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1B,IAAI,CAAC,CAAC,QAAQ,EAAE,WAAW,EAAE,cAAc,EAAE,uBAAuB,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QAClG,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QAClD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,aAAa,GAAG,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,aAAa,IAAI,EAAE,CAAC;IACnE,MAAM,cAAc,GAAG,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,cAAc,IAAI,EAAE,CAAC;IACrE,OAAO,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC;AACrG,CAAC;AAED,SAAS,yBAAyB,CAAC,OAA0B;IAC3D,MAAM,MAAM,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;IAC9C,IAAI,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAC1B,IAAI,CAAC,CAAC,QAAQ,EAAE,WAAW,EAAE,cAAc,EAAE,uBAAuB,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QAClG,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QAClD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,YAAY,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,eAAe,IAAI,OAAO,CAAC,WAAW,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAChH,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,YAAY,CAAC;AAC/C,CAAC;AAED,SAAS,eAAe,CAAC,OAA0B;IACjD,IAAI,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC;QAClC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,CAAC;QAC1C,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,eAAe,GACnB,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,mBAAmB;QAC5C,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,mBAAmB;QAC7C,EAAE,CAAC;IACL,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QACvC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,YAAY,GAAG,OAAO,CAAC,WAAW,EAAE,YAAY,IAAI,EAAE,CAAC;IAC7D,MAAM,aAAa,GAAG,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,aAAa,IAAI,EAAE,CAAC;IACnE,MAAM,cAAc,GAAG,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,cAAc,IAAI,EAAE,CAAC;IACrE,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC;IAEhD,OAAO,CACL,YAAY,CAAC,MAAM,KAAK,CAAC;QACzB,aAAa,CAAC,MAAM,KAAK,CAAC;QAC1B,cAAc,CAAC,MAAM,KAAK,CAAC;QAC3B,YAAY,CAAC,MAAM,KAAK,CAAC,CAC1B,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,OAA0B;IACjD,IAAI,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC;QAClC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,CAAC;QAC1C,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,qCAAqC,CAAC,OAAO,CAAC,EAAE,CAAC;QACnD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,iBAAiB,GAAG,OAAO,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC;IAChE,IAAI,iBAAiB,KAAK,OAAO,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,cAAc,GAAG,OAAO,CAAC,QAAQ,EAAE,eAAe,EAAE,cAAc,CAAC;IACzE,IAAI,cAAc,KAAK,IAAI,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,CAAC,wCAAwC,CAAC,OAAO,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAsB,EAAE,OAAiC;IACtF,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,YAAY;YACf,OAAO,OAAO,EAAE,cAAc,IAAI,IAAI,CAAC;QACzC,KAAK,YAAY;YACf,OAAO,OAAO,EAAE,cAAc,IAAI,IAAI,CAAC;QACzC,KAAK,eAAe;YAClB,OAAO,OAAO,EAAE,iBAAiB,IAAI,IAAI,CAAC;QAC5C,KAAK,WAAW;YACd,OAAO,OAAO,EAAE,aAAa,IAAI,IAAI,CAAC;QACxC;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,OAA0B;IACpD,IAAI,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC;QAClC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,eAAe,GACnB,OAAO,CAAC,QAAQ,EAAE,eAAe,EAAE,YAAY,EAAE,QAAQ;QACzD,eAAe,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IACvC,IAAI,CAAC,eAAe,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,CAAC;QAC9D,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,cAAc,CAAC,OAA0B;IAChD,IAAI,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC;QAClC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,CAAC;QACnF,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,cAAc,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1F,MAAM,qBAAqB,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC;IAC3F,IAAI,qBAAqB,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAEnD,OAAO,cAAc,CAAC,MAAM,KAAK,CAAC,CAAC;AACrC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CACrC,OAA0B,EAC1B,OAAiC;IAEjC,MAAM,oBAAoB,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;IAC9D,IAAI,oBAAoB,EAAE,CAAC;QACzB,OAAO,CAAC,oBAAoB,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,EAAE,UAAU,IAAI,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACzE,MAAM,qBAAqB,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IACpE,IAAI,KAAK,CAAC,gBAAgB,KAAK,UAAU,EAAE,CAAC;QAC1C,OAAO,iCAAiC,CAAC,KAAK,CAAC,CAAC;IAClD,CAAC;IAED;;;;;;OAMG;IACH,IAAI,qBAAqB,IAAI,KAAK,CAAC,gBAAgB,KAAK,aAAa,IAAI,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5G,OAAO,CAAC,YAAY,CAAC,CAAC;IACxB,CAAC;IACD,IAAI,qBAAqB,EAAE,CAAC;QAC1B,MAAM,gBAAgB,GAAG,iCAAiC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAClF,qBAAqB,CAAC,MAAM,EAAE,OAAO,CAAC,CACvC,CAAC;QACF,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChC,OAAO,gBAAgB,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,MAAM,gBAAgB,GAIjB;QACH;YACE,OAAO,EAAE,OAAO,EAAE,cAAc,IAAI,IAAI;YACxC,OAAO,EAAE,eAAe;YACxB,MAAM,EAAE,YAAY;SACrB;QACD;YACE,OAAO,EAAE,OAAO,EAAE,cAAc,IAAI,IAAI;YACxC,OAAO,EAAE,eAAe;YACxB,MAAM,EAAE,YAAY;SACrB;QACD;YACE,OAAO,EAAE,OAAO,EAAE,iBAAiB,IAAI,IAAI;YAC3C,OAAO,EAAE,kBAAkB;YAC3B,MAAM,EAAE,eAAe;SACxB;QACD;YACE,OAAO,EAAE,OAAO,EAAE,aAAa,IAAI,IAAI;YACvC,OAAO,EAAE,cAAc;YACvB,MAAM,EAAE,WAAW;SACpB;KACF,CAAC;IAEF,MAAM,YAAY,GAAG,gBAAgB,CAAC,IAAI,CACxC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,IAAI,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,CAC/D,CAAC;IACF,IAAI,YAAY,EAAE,CAAC;QACjB,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;IAC/B,CAAC;IAED,OAAO,0BAA0B,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,OAA0B,EAC1B,OAAiC;IAEjC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;IACxC,MAAM,UAAU,GAAG,OAAO,CAAC,QAAQ,EAAE,UAAU,IAAI,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAC9E,MAAM,aAAa,GAAG,OAAO,CAAC,QAAQ,EAAE,aAAa,IAAI,oBAAoB,CAAC,OAAO,CAAC,CAAC;IACvF,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,IAAI,OAAO,CAAC,QAAQ,EAAE,YAAY,EAAE,IAAI,IAAI,QAAQ,CAAC;IAEtF,OAAO;QACL,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;QAC/B,SAAS;QACT,cAAc,EAAE,uBAAuB,CAAC,OAAO,EAAE,OAAO,CAAC;QACzD,UAAU;QACV,aAAa;QACb,eAAe,EAAE,OAAO,CAAC,QAAQ,EAAE,eAAe;QAClD,SAAS,EAAE,OAAO,CAAC,QAAQ,EAAE,SAAS;QACtC,kBAAkB,EAAE,OAAO,CAAC,QAAQ,EAAE,kBAAkB;QACxD,kBAAkB,EAAE,OAAO,CAAC,QAAQ,EAAE,kBAAkB;QACxD,WAAW,EAAE,OAAO,CAAC,IAAI,CAAC,WAAW;QACrC,YAAY,EAAE,KAAK;aAChB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,WAAW,CAAC;aAC7C,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QACzF,cAAc,EAAE,KAAK;aAClB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,WAAW,CAAC;aAC7C,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QACzF,aAAa,EAAE,OAAO,CAAC,QAAQ,EAAE,eAAe,EAAE,eAAe;QACjE,WAAW,EAAE,OAAO,CAAC,QAAQ,EAAE,MAAM;KACtC,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,wBAAwB,CAAC,MAQjC;IACC,OAAO;QACL,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,kBAAkB,EAAE,MAAM,CAAC,kBAAkB,IAAI,SAAS;QAC1D,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,UAAU,EAAE,MAAM,CAAC,UAAU;KAC9B,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,0BAA0B,CACxC,MAA0B,EAC1B,cAAiC;IAEjC,IAAI,MAAM,IAAI,eAAe,CAAC,GAAG,CAAC,MAAwB,CAAC,EAAE,CAAC;QAC5D,IAAI,cAAc,EAAE,MAAM,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,MAAwB,CAAC,EAAE,CAAC;YACjF,OAAO;gBACL,QAAQ,EAAE,KAAK;gBACf,gBAAgB,EAAE,UAAU;gBAC5B,eAAe,EAAE,uCAAuC,MAAM,EAAE;aACjE,CAAC;QACJ,CAAC;QACD,OAAO;YACL,QAAQ,EAAE,IAAI;YACd,gBAAgB,EAAE,MAAwB;SAC3C,CAAC;IACJ,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,KAAK;QACf,gBAAgB,EAAE,UAAU;QAC5B,eAAe,EAAE,MAAM;YACrB,CAAC,CAAC,4BAA4B,MAAM,EAAE;YACtC,CAAC,CAAC,8CAA8C;KACnD,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAAC,cAAgC;IAC7D,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,UAAU,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;IACrC,OAAO,0BAA0B,CAAC,QAAQ,CAAC,UAAU,CAAC;QACpD,CAAC,CAAC,IAAI;QACN,CAAC,CAAE,UAA+B,CAAC;AACvC,CAAC;AAED,SAAS,yBAAyB,CAAC,MAAwB;IACzD,OAAO;QACL,GAAG,uBAAuB,CAAC,MAAM,CAAC;KACnC,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,6BAA6B,CACpC,UAAsB,EACtB,aAA4B,EAC5B,MAAsB;IAEtB,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QACvC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QACxC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,aAAa,CAAC,UAAU,CAAC,SAAS,IAAI,aAAa,CAAC,UAAU,CAAC,SAAS,EAAE,CAAC;QAC7E,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,KAAK,iBAAiB,IAAI,aAAa,CAAC,iBAAiB,EAAE,CAAC;QAC7E,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,OAA0B,EAC1B,OAAiC;;IAEjC,OAAO,CAAC,QAAQ,KAAhB,OAAO,CAAC,QAAQ,GAAK,EAAE,EAAC;IACxB,OAAO,CAAC,QAAQ,CAAC,aAAa,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAC/D,MAAA,OAAO,CAAC,QAAQ,EAAC,UAAU,QAAV,UAAU,GAAK,iBAAiB,CAAC,OAAO,CAAC,EAAC;IAC3D,MAAM,KAAK,GAAG,oBAAoB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAErD,OAAO,CAAC,QAAQ,CAAC,cAAc,GAAG;QAChC,cAAc,EAAE,KAAK,CAAC,cAAc;KACrC,CAAC;IAEF,MAAM,YAAY,GAAG,OAAO,EAAE,YAAY,IAAI,uBAAuB,CAAC,GAAG,CAAC;IAC1E,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC;IAE5B,MAAM,SAAS,GAAG,OAAO,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACvD,MAAM,kBAAkB,GAAG,qBAAqB,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACvE,MAAM,aAAa,GAAG,0BAA0B,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IACxE,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,IAAI,OAAO,CAAC,QAAQ,CAAC,UAAU,IAAI,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACjG,MAAM,aAAa,GACjB,KAAK,CAAC,aAAa,IAAI,OAAO,CAAC,QAAQ,CAAC,aAAa,IAAI,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAEzF,IAAI,UAAU,GAAG,0BAA0B,CAAC,SAAS,EAAE,UAAU,EAAE,KAAK,CAAC,cAAc,CAAC,CAAC;IACzF,IAAI,QAA4B,CAAC;IAEjC,IACE,kBAAkB;QAClB,aAAa,CAAC,QAAQ;QACtB,6BAA6B,CAAC,UAAU,EAAE,aAAa,EAAE,aAAa,CAAC,gBAAgB,CAAC,EACxF,CAAC;QACD,UAAU,GAAG,aAAa,CAAC;QAC3B,QAAQ,GAAG;YACT,MAAM,EAAE,aAAa,CAAC,gBAAgB;YACtC,MAAM,EACJ,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE;gBAC5B,6CAA6C;YAC/C,UAAU,EAAE,SAAS,EAAE,UAAU,IAAI,GAAG;YACxC,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,QAAQ;YAC9C,MAAM,EAAE,4BAA4B;SACrC,CAAC;IACJ,CAAC;SAAM,IAAI,kBAAkB,IAAI,UAAU,CAAC,gBAAgB,KAAK,kBAAkB,EAAE,CAAC;QACpF,QAAQ,GAAG,yBAAyB,CAAC,kBAAkB,CAAC,CAAC;QACzD,UAAU,GAAG;YACX,QAAQ,EAAE,IAAI;YACd,gBAAgB,EAAE,QAAQ,CAAC,MAAM;SAClC,CAAC;IACJ,CAAC;SAAM,IACL,KAAK,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC;QACjC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,cAAc;QAC1C,UAAU,CAAC,gBAAgB,KAAK,cAAc,EAC9C,CAAC;QACD,QAAQ,GAAG;YACT,MAAM,EAAE,cAAc;YACtB,MAAM,EACJ,OAAO,CAAC,QAAQ,EAAE,kBAAkB,EAAE,MAAM;gBAC5C,+DAA+D;YACjE,UAAU,EAAE,IAAI;YAChB,UAAU,EACR,OAAO,CAAC,QAAQ,EAAE,kBAAkB,EAAE,UAAU;gBAChD,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,QAAQ;YACpC,MAAM,EAAE,4BAA4B;SACrC,CAAC;QACF,UAAU,GAAG;YACX,QAAQ,EAAE,IAAI;YACd,gBAAgB,EAAE,cAAc;SACjC,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,MAAM,gBAAgB,GAAG,UAAU,CAAC,gBAAgB,CAAC;QACrD,QAAQ,GAAG;YACT,MAAM,EAAE,gBAAgB;YACxB,MAAM,EACJ,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE;gBAC5B,UAAU,CAAC,eAAe;gBAC1B,6CAA6C;YAC/C,UAAU,EAAE,SAAS,EAAE,UAAU,IAAI,GAAG;YACxC,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,QAAQ;YAC9C,MAAM,EAAE,4BAA4B;SACrC,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,QAAQ,CAAC,kBAAkB,GAAG,QAAQ,CAAC;IAC/C,OAAO,CAAC,QAAQ,CAAC,oBAAoB,GAAG,UAAU,CAAC;IAEnD,cAAc,CAAC,kBAAkB,EAAE,QAAQ,EAAE,wBAAwB,CAAC;QACpE,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,cAAc,EAAE,SAAS,EAAE,UAAU;QACrC,cAAc,EAAE,SAAS,EAAE,SAAS;QACpC,kBAAkB;QAClB,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,QAAQ;QAC9C,QAAQ;QACR,UAAU;KACX,CAAC,CAAC,CAAC;IAEJ,OAAO,QAAQ,CAAC;AAClB,CAAC","sourcesContent":["/**\n * Builds and validates the typed next-action decision used by the current work loop.\n *\n * Why this exists:\n * - the work loop should not branch directly on raw mutable context strings\n * - this is a temporary bridge between the old phase-heavy runtime and a later loop-first design\n * - the current selector still owns the policy; this file only makes that contract explicit\n */\nimport type {\n  GuardState,\n  NextActionDecision,\n  NextActionInput,\n  NextActionName,\n  NextActionValidationResult,\n  ProgressState,\n  StructuredContext,\n} from \"../types.js\";\nimport { logInputOutput } from \"../utils/promptLogHelper.js\";\nimport { reasonNextStepSelection } from \"./reasonNextTaskStep.js\";\nimport { canExecutePhase, canExecuteRoute, canExecuteScope } from \"./guardPolicy.js\";\nimport { buildAllowedActionsFromGuardState, resolveGuardState } from \"./guards/guardState.js\";\nimport { resolveProgressState } from \"./guards/resolveProgressState.js\";\n\ntype DecideNextActionOptions = {\n  runSelection?: (context: StructuredContext) => Promise<void>;\n  allowRunSearch?: boolean;\n  allowRunVerify?: boolean;\n  allowSeedResearch?: boolean;\n  allowSeedPlan?: boolean;\n};\n\ntype BridgeActionName =\n  | \"run-search\"\n  | \"run-verify\"\n  | \"seed-research\"\n  | \"seed-plan\";\n\nconst NON_BRIDGE_ALLOWED_ACTIONS: NextActionName[] = [\n  \"continue\",\n  \"expand-scope\",\n  \"rework-scope\",\n  \"request-feedback\",\n  \"complete\",\n  \"give-up\",\n];\n\nconst ALLOWED_ACTIONS = new Set<NextActionName>([\n  \"run-search\",\n  \"run-verify\",\n  \"seed-research\",\n  \"seed-plan\",\n  \"continue\",\n  \"expand-scope\",\n  \"rework-scope\",\n  \"request-feedback\",\n  \"complete\",\n  \"give-up\",\n]);\n\nconst FORCED_BRIDGE_DECISIONS: Record<\n  BridgeActionName,\n  Omit<NextActionDecision, \"targetFile\">\n> = {\n  \"run-search\": {\n    action: \"run-search\",\n    reason: \"Initial evidence bootstrap has not run yet; run search before verify or execution seeding.\",\n    confidence: 0.93,\n    source: \"reason-next-step-selection\",\n  },\n  \"run-verify\": {\n    action: \"run-verify\",\n    reason: \"Execution is not ready yet; run verify before seeding research or execution work.\",\n    confidence: 0.92,\n    source: \"reason-next-step-selection\",\n  },\n  \"seed-research\": {\n    action: \"seed-research\",\n    reason: \"No research step exists yet; seed research before execution planning.\",\n    confidence: 0.9,\n    source: \"reason-next-step-selection\",\n  },\n  \"seed-plan\": {\n    action: \"seed-plan\",\n    reason: \"No eligible execution step exists yet; seed the current execution plan first.\",\n    confidence: 0.9,\n    source: \"reason-next-step-selection\",\n  },\n};\n\nconst TERMINAL_SAFE_ACTIONS = new Set<NextActionName>([\n  \"complete\",\n  \"give-up\",\n  \"request-feedback\",\n]);\n\nfunction getForcedRecoveryAction(context: StructuredContext): NextActionName | null {\n  const decision = context.analysis?.recoveryEvaluation?.decision;\n  if (decision === \"rework-scope\") return \"rework-scope\";\n  if (decision === \"expand-scope\") return \"expand-scope\";\n  if (decision === \"request-feedback\") return \"request-feedback\";\n  if (decision === \"complete\") return \"complete\";\n  return null;\n}\n\nfunction isResearchStep(step: { filePath?: string; action?: string }): boolean {\n  return (step.action ?? \"\").startsWith(\"research-\") || (step.filePath ?? \"\").startsWith(\"__research__/\");\n}\n\nfunction shouldContinuePastVerifyWithoutExecution(context: StructuredContext): boolean {\n  const policy = context.analysis?.executionPolicy;\n  const researchAllowed =\n    policy?.routeAllowed?.research ??\n    canExecuteRoute(context, \"research\");\n  const transformAllowed =\n    policy?.routeAllowed?.transform ??\n    canExecuteRoute(context, \"transform\");\n\n  return researchAllowed || !transformAllowed;\n}\n\nfunction hasSearchAnswerReady(context: StructuredContext): boolean {\n  return typeof context.analysis?.directoryListingAnswer?.summary === \"string\" &&\n    context.analysis.directoryListingAnswer.summary.trim().length > 0;\n}\n\nfunction getLatestRecentAction(context: StructuredContext) {\n  const entries = context.analysis?.recentActionWindow?.entries ?? [];\n  return entries.length > 0 ? entries[entries.length - 1] : undefined;\n}\n\nfunction didLatestSearchFailWithoutNewEvidence(context: StructuredContext): boolean {\n  const latest = getLatestRecentAction(context);\n  if (!latest) return false;\n  if (![\"search\", \"search-db\", \"search-regex\", \"search-list-directory\"].includes(latest.actionKind)) {\n    return false;\n  }\n  if (![\"failed\", \"empty\"].includes(latest.outcome)) {\n    return false;\n  }\n  const selectedFiles = context.analysis?.focus?.selectedFiles ?? [];\n  const candidateFiles = context.analysis?.focus?.candidateFiles ?? [];\n  return selectedFiles.length === 0 && candidateFiles.length === 0 && !hasSearchAnswerReady(context);\n}\n\nfunction shouldAvoidRepeatedSearch(context: StructuredContext): boolean {\n  const latest = getLatestRecentAction(context);\n  if (!latest) return false;\n  if (![\"search\", \"search-db\", \"search-regex\", \"search-list-directory\"].includes(latest.actionKind)) {\n    return false;\n  }\n  if (![\"failed\", \"empty\"].includes(latest.outcome)) {\n    return false;\n  }\n  const currentQuery = (context.analysis?.intent?.normalizedQuery ?? context.initContext?.userQuery ?? \"\").trim();\n  return latest.target.trim() === currentQuery;\n}\n\nfunction shouldRunSearch(context: StructuredContext): boolean {\n  if (hasSearchAnswerReady(context)) {\n    return false;\n  }\n  if (!canExecuteScope(context, \"analysis\")) {\n    return false;\n  }\n\n  const resolvedTargets =\n    context.analysis?.focus?.resolvedTargetFiles ??\n    context.analysis?.intent?.resolvedTargetFiles ??\n    [];\n  if (resolvedTargets.length > 0) {\n    return false;\n  }\n\n  if (shouldAvoidRepeatedSearch(context)) {\n    return false;\n  }\n\n  const relatedFiles = context.initContext?.relatedFiles ?? [];\n  const selectedFiles = context.analysis?.focus?.selectedFiles ?? [];\n  const candidateFiles = context.analysis?.focus?.candidateFiles ?? [];\n  const workingFiles = context.workingFiles ?? [];\n\n  return (\n    relatedFiles.length === 0 &&\n    selectedFiles.length === 0 &&\n    candidateFiles.length === 0 &&\n    workingFiles.length === 0\n  );\n}\n\nfunction shouldRunVerify(context: StructuredContext): boolean {\n  if (hasSearchAnswerReady(context)) {\n    return false;\n  }\n  if (!canExecuteScope(context, \"analysis\")) {\n    return false;\n  }\n\n  if (didLatestSearchFailWithoutNewEvidence(context)) {\n    return true;\n  }\n\n  const readinessDecision = context.analysis?.readiness?.decision;\n  if (readinessDecision !== \"ready\") {\n    return true;\n  }\n\n  const executionReady = context.analysis?.executionPolicy?.executionReady;\n  if (executionReady === true) {\n    return false;\n  }\n\n  return !shouldContinuePastVerifyWithoutExecution(context);\n}\n\nfunction isBridgeActionEnabled(action: NextActionName, options?: DecideNextActionOptions): boolean {\n  switch (action) {\n    case \"run-search\":\n      return options?.allowRunSearch ?? true;\n    case \"run-verify\":\n      return options?.allowRunVerify ?? true;\n    case \"seed-research\":\n      return options?.allowSeedResearch ?? true;\n    case \"seed-plan\":\n      return options?.allowSeedPlan ?? true;\n    default:\n      return true;\n  }\n}\n\nfunction shouldSeedResearch(context: StructuredContext): boolean {\n  if (hasSearchAnswerReady(context)) {\n    return false;\n  }\n  const researchAllowed =\n    context.analysis?.executionPolicy?.routeAllowed?.research ??\n    canExecuteRoute(context, \"research\");\n  if (!researchAllowed || !canExecuteScope(context, \"analysis\")) {\n    return false;\n  }\n\n  return !(context.task?.steps ?? []).some((step) => isResearchStep(step));\n}\n\nfunction shouldSeedPlan(context: StructuredContext): boolean {\n  if (hasSearchAnswerReady(context)) {\n    return false;\n  }\n  if (!canExecutePhase(context, \"planning\") || !canExecuteScope(context, \"planning\")) {\n    return false;\n  }\n\n  const executionSteps = (context.task.steps ?? []).filter((step) => !isResearchStep(step));\n  const pendingExecutionSteps = executionSteps.filter((step) => step.status !== \"completed\");\n  if (pendingExecutionSteps.length > 0) return false;\n\n  return executionSteps.length === 0;\n}\n\n/**\n * Captures the current loop-control state in one typed object.\n * Example: one pending research step -> pendingSteps contains that file/action pair.\n */\nexport function buildAllowedNextActions(\n  context: StructuredContext,\n  options?: DecideNextActionOptions\n): NextActionName[] {\n  const forcedRecoveryAction = getForcedRecoveryAction(context);\n  if (forcedRecoveryAction) {\n    return [forcedRecoveryAction];\n  }\n\n  const guard = context.analysis?.guardState ?? resolveGuardState(context);\n  const hasResolvedGuardState = Boolean(context.analysis?.guardState);\n  if (guard.continuationMode === \"terminal\") {\n    return buildAllowedActionsFromGuardState(guard);\n  }\n\n  /**\n   * Trust a resolved guard snapshot when we already have one.\n   * Example: `can-research` should stay `seed-research` instead of being recomputed as `run-search`.\n   *\n   * Keep one narrow override for the micro-loop:\n   * a stale `need-search` may advance to `run-verify` after the latest search already failed with no evidence.\n   */\n  if (hasResolvedGuardState && guard.continuationMode === \"need-search\" && shouldAvoidRepeatedSearch(context)) {\n    return [\"run-verify\"];\n  }\n  if (hasResolvedGuardState) {\n    const allowedFromGuard = buildAllowedActionsFromGuardState(guard).filter((action) =>\n      isBridgeActionEnabled(action, options)\n    );\n    if (allowedFromGuard.length > 0) {\n      return allowedFromGuard;\n    }\n  }\n\n  const bridgeCandidates: Array<{\n    enabled: boolean;\n    matches: (context: StructuredContext) => boolean;\n    action: NextActionName;\n  }> = [\n    {\n      enabled: options?.allowRunSearch ?? true,\n      matches: shouldRunSearch,\n      action: \"run-search\",\n    },\n    {\n      enabled: options?.allowRunVerify ?? true,\n      matches: shouldRunVerify,\n      action: \"run-verify\",\n    },\n    {\n      enabled: options?.allowSeedResearch ?? true,\n      matches: shouldSeedResearch,\n      action: \"seed-research\",\n    },\n    {\n      enabled: options?.allowSeedPlan ?? true,\n      matches: shouldSeedPlan,\n      action: \"seed-plan\",\n    },\n  ];\n\n  const forcedBridge = bridgeCandidates.find(\n    (candidate) => candidate.enabled && candidate.matches(context)\n  );\n  if (forcedBridge) {\n    return [forcedBridge.action];\n  }\n\n  return NON_BRIDGE_ALLOWED_ACTIONS;\n}\n\nexport function buildNextActionInput(\n  context: StructuredContext,\n  options?: DecideNextActionOptions\n): NextActionInput {\n  const steps = context.task?.steps ?? [];\n  const guardState = context.analysis?.guardState ?? resolveGuardState(context);\n  const progressState = context.analysis?.progressState ?? resolveProgressState(context);\n  const routeLane = guardState.lane ?? context.analysis?.runtimeState?.lane ?? \"coding\";\n\n  return {\n    taskStatus: context.task.status,\n    routeLane,\n    allowedActions: buildAllowedNextActions(context, options),\n    guardState,\n    progressState,\n    executionPolicy: context.analysis?.executionPolicy,\n    readiness: context.analysis?.readiness,\n    iterationReasoning: context.analysis?.iterationReasoning,\n    recentActionWindow: context.analysis?.recentActionWindow,\n    currentStep: context.task.currentStep,\n    pendingSteps: steps\n      .filter((step) => step.status !== \"completed\")\n      .map((step) => ({ filePath: step.filePath, action: step.action, status: step.status })),\n    completedSteps: steps\n      .filter((step) => step.status === \"completed\")\n      .map((step) => ({ filePath: step.filePath, action: step.action, status: step.status })),\n    retryCounters: context.analysis?.attemptCounters?.retriesByTarget,\n    giveUpState: context.analysis?.giveUp,\n  };\n}\n\n/**\n * Keeps next-action logs focused on the final loop action, not the full upstream state.\n * Example: selector asked for continue, bridge forced run-verify -> log both actions and the override.\n */\nfunction buildDecideNextActionLog(params: {\n  allowedActions: NextActionName[];\n  selectorAction?: string;\n  selectorReason?: string;\n  decision: NextActionDecision;\n  validation: NextActionValidationResult;\n  forcedBridgeAction: BridgeActionName | null;\n  targetFile?: string;\n}): Record<string, unknown> {\n  return {\n    allowedActions: params.allowedActions,\n    selectorAction: params.selectorAction,\n    selectorReason: params.selectorReason,\n    forcedBridgeAction: params.forcedBridgeAction ?? undefined,\n    targetFile: params.targetFile,\n    decision: params.decision,\n    validation: params.validation,\n  };\n}\n\n/**\n * Normalizes the selector output to the current supported loop actions.\n * Example: missing nextAction -> continue.\n */\nexport function validateNextActionDecision(\n  action: string | undefined,\n  allowedActions?: NextActionName[]\n): NextActionValidationResult {\n  if (action && ALLOWED_ACTIONS.has(action as NextActionName)) {\n    if (allowedActions?.length && !allowedActions.includes(action as NextActionName)) {\n      return {\n        accepted: false,\n        normalizedAction: \"continue\",\n        rejectionReason: `Action not allowed in current menu: ${action}`,\n      };\n    }\n    return {\n      accepted: true,\n      normalizedAction: action as NextActionName,\n    };\n  }\n\n  return {\n    accepted: false,\n    normalizedAction: \"continue\",\n    rejectionReason: action\n      ? `Unsupported next action: ${action}`\n      : \"Missing next action from iteration reasoning\",\n  };\n}\n\nfunction getForcedBridgeAction(allowedActions: NextActionName[]): BridgeActionName | null {\n  if (allowedActions.length !== 1) {\n    return null;\n  }\n\n  const onlyAction = allowedActions[0];\n  return NON_BRIDGE_ALLOWED_ACTIONS.includes(onlyAction)\n    ? null\n    : (onlyAction as BridgeActionName);\n}\n\nfunction buildForcedBridgeDecision(action: BridgeActionName): NextActionDecision {\n  return {\n    ...FORCED_BRIDGE_DECISIONS[action],\n  };\n}\n\n/**\n * Controls the only cases where a terminal action may bypass a required bridge action.\n *\n * Examples:\n * - `run-search` forced in repo-wide evidence lane -> `complete` must not bypass\n * - continuity-local direct answer -> `complete` may bypass\n * - explicit-target answer with grounded verify/executed evidence -> `complete` may bypass\n */\nfunction canTerminalActionBypassBridge(\n  guardState: GuardState,\n  progressState: ProgressState,\n  action: NextActionName\n): boolean {\n  if (!TERMINAL_SAFE_ACTIONS.has(action)) {\n    return false;\n  }\n\n  if (guardState.lane === \"direct-answer\") {\n    return true;\n  }\n\n  if (progressState.continuity.localOnly || progressState.continuity.answerNow) {\n    return true;\n  }\n\n  if (guardState.lane === \"explicit-target\" && progressState.evidenceSatisfied) {\n    return true;\n  }\n\n  return false;\n}\n\n/**\n * Wraps the current selector and returns one explicit decision object for the work loop.\n * Example: selector emits complete -> decision.action becomes complete with the same rationale.\n */\nexport async function decideNextAction(\n  context: StructuredContext,\n  options?: DecideNextActionOptions\n): Promise<NextActionDecision> {\n  context.analysis ||= {};\n  context.analysis.progressState = resolveProgressState(context);\n  context.analysis.guardState ||= resolveGuardState(context);\n  const input = buildNextActionInput(context, options);\n\n  context.analysis.nextActionMenu = {\n    allowedActions: input.allowedActions,\n  };\n\n  const runSelection = options?.runSelection ?? reasonNextStepSelection.run;\n  await runSelection(context);\n\n  const iteration = context.analysis?.iterationReasoning;\n  const forcedBridgeAction = getForcedBridgeAction(input.allowedActions);\n  const rawValidation = validateNextActionDecision(iteration?.nextAction);\n  const guardState = input.guardState ?? context.analysis.guardState ?? resolveGuardState(context);\n  const progressState =\n    input.progressState ?? context.analysis.progressState ?? resolveProgressState(context);\n\n  let validation = validateNextActionDecision(iteration?.nextAction, input.allowedActions);\n  let decision: NextActionDecision;\n\n  if (\n    forcedBridgeAction &&\n    rawValidation.accepted &&\n    canTerminalActionBypassBridge(guardState, progressState, rawValidation.normalizedAction)\n  ) {\n    validation = rawValidation;\n    decision = {\n      action: rawValidation.normalizedAction,\n      reason:\n        iteration?.rationale?.trim() ||\n        \"No explicit next action rationale provided.\",\n      confidence: iteration?.confidence ?? 0.5,\n      targetFile: context.task.currentStep?.filePath,\n      source: \"reason-next-step-selection\",\n    };\n  } else if (forcedBridgeAction && validation.normalizedAction !== forcedBridgeAction) {\n    decision = buildForcedBridgeDecision(forcedBridgeAction);\n    validation = {\n      accepted: true,\n      normalizedAction: decision.action,\n    };\n  } else if (\n    input.allowedActions.length === 1 &&\n    input.allowedActions[0] === \"rework-scope\" &&\n    validation.normalizedAction !== \"rework-scope\"\n  ) {\n    decision = {\n      action: \"rework-scope\",\n      reason:\n        context.analysis?.recoveryEvaluation?.reason ??\n        \"Outer-loop recovery marked the current target stale or wrong.\",\n      confidence: 0.95,\n      targetFile:\n        context.analysis?.recoveryEvaluation?.targetFile ??\n        context.task.currentStep?.filePath,\n      source: \"reason-next-step-selection\",\n    };\n    validation = {\n      accepted: true,\n      normalizedAction: \"rework-scope\",\n    };\n  } else {\n    const normalizedAction = validation.normalizedAction;\n    decision = {\n      action: normalizedAction,\n      reason:\n        iteration?.rationale?.trim() ||\n        validation.rejectionReason ||\n        \"No explicit next action rationale provided.\",\n      confidence: iteration?.confidence ?? 0.5,\n      targetFile: context.task.currentStep?.filePath,\n      source: \"reason-next-step-selection\",\n    };\n  }\n\n  context.analysis.nextActionDecision = decision;\n  context.analysis.nextActionValidation = validation;\n\n  logInputOutput(\"decideNextAction\", \"output\", buildDecideNextActionLog({\n    allowedActions: input.allowedActions,\n    selectorAction: iteration?.nextAction,\n    selectorReason: iteration?.rationale,\n    forcedBridgeAction,\n    targetFile: context.task.currentStep?.filePath,\n    decision,\n    validation,\n  }));\n\n  return decision;\n}\n"]}

package/dist/agents/deriveFocusFromSearchStep.js

@@ -0,0 +1,83 @@
+import path from "path";
+export function deriveFocusFromSearchResult(context, search, options = {}) {
+    var _a, _b;
+    context.analysis || (context.analysis = {});
+    context.analysis.search = search;
+    (_a = context.analysis).focus || (_a.focus = { selectedFiles: [], candidateFiles: [] });
+    (_b = context.analysis).intent || (_b.intent = {
+        intent: "",
+        intentCategory: "request",
+        normalizedQuery: context.initContext?.userQuery ?? "",
+        confidence: 0,
+        targetFiles: [],
+        targetSymbols: [],
+    });
+    const resolvedTargetFiles = search.resolvedFiles.map(item => item.path);
+    const resolvedTargetFolders = search.resolvedFolders;
+    const resolvedTargetSymbols = search.resolvedSymbols.map(item => item.symbol);
+    const previousResolvedTargetFiles = context.analysis.focus.resolvedTargetFiles ?? [];
+    const previousResolvedTargetFolders = context.analysis.focus.resolvedTargetFolders ?? [];
+    const previousResolvedTargetSymbols = context.analysis.focus.resolvedTargetSymbols ?? [];
+    const nextSelected = new Set(context.analysis.focus.selectedFiles ?? []);
+    const nextCandidates = new Set(options.appendCandidates ? context.analysis.focus.candidateFiles ?? [] : []);
+    // Keep exact-target discoveries sticky across later broad searches.
+    // Example: exact-target resolves `MainAgent.ts`, then semantic retrieval runs later.
+    // We must not clear the explicit target signal just because semantic search has no resolvedFiles field.
+    const nextResolvedTargetFiles = keepExactTargetStateSticky(search.mode, previousResolvedTargetFiles, resolvedTargetFiles);
+    const nextResolvedTargetFolders = keepExactTargetStateSticky(search.mode, previousResolvedTargetFolders, resolvedTargetFolders);
+    const nextResolvedTargetSymbols = keepExactTargetStateSticky(search.mode, previousResolvedTargetSymbols, resolvedTargetSymbols);
+    for (const filePath of nextResolvedTargetFiles) {
+        nextSelected.add(filePath);
+    }
+    const shouldPromoteOperatorMatches = search.mode !== "operator-pattern" || options.promoteOperatorMatchesToCandidates === true;
+    const shouldPromoteFolderMatches = search.mode === "exact-target" && nextResolvedTargetFolders.length > 0;
+    if ((search.mode !== "exact-target" && shouldPromoteOperatorMatches) || shouldPromoteFolderMatches) {
+        for (const candidate of search.fileCandidates) {
+            if (!nextSelected.has(candidate.path)) {
+                nextCandidates.add(candidate.path);
+            }
+        }
+    }
+    context.analysis.focus.resolvedTargetFiles = normalizeCanonicalFilePaths(nextResolvedTargetFiles);
+    context.analysis.focus.resolvedTargetFolders = nextResolvedTargetFolders;
+    context.analysis.focus.resolvedTargetSymbols = nextResolvedTargetSymbols;
+    context.analysis.focus.selectedFiles = normalizeCanonicalFilePaths(Array.from(nextSelected));
+    context.analysis.focus.candidateFiles = normalizeCanonicalFilePaths(Array.from(nextCandidates).filter(filePath => !nextSelected.has(filePath)));
+    // Keep compatibility fields alive while routing and downstream consumers migrate.
+    context.analysis.intent.resolvedTargetFiles = context.analysis.focus.resolvedTargetFiles;
+}
+/**
+ * Keeps exact-target discoveries sticky until a later exact-target pass replaces them.
+ * Example: `["MainAgent.ts"]` + later semantic retrieval `[]` still keeps `["MainAgent.ts"]`.
+ */
+function keepExactTargetStateSticky(valuesMode, previous, next) {
+    if (valuesMode === "exact-target") {
+        return next;
+    }
+    return Array.from(new Set([...previous, ...next]));
+}
+/**
+ * Keeps compatibility file lists canonical.
+ * Examples:
+ * - "/repo/a.ts" -> keep
+ * - "db/fileIndex.ts" -> drop because search should already have resolved it
+ * - "__research__/impact-map" -> drop because research pseudo-paths are not file focus
+ */
+function normalizeCanonicalFilePaths(paths) {
+    const out = new Set();
+    for (const filePath of paths) {
+        const trimmed = String(filePath ?? "").trim();
+        if (!trimmed || trimmed.startsWith("__research__/") || !path.isAbsolute(trimmed)) {
+            continue;
+        }
+        out.add(path.normalize(trimmed));
+    }
+    return Array.from(out);
+}
+export const deriveFocusFromSearchStep = {
+    name: "deriveFocusFromSearch",
+    run(context, search, options) {
+        deriveFocusFromSearchResult(context, search, options);
+    },
+};
+//# sourceMappingURL=deriveFocusFromSearchStep.js.map

package/dist/agents/deriveFocusFromSearchStep.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"deriveFocusFromSearchStep.js","sourceRoot":"","sources":["../../src/agents/deriveFocusFromSearchStep.ts"],"names":[],"mappings":"AAcA,OAAO,IAAI,MAAM,MAAM,CAAC;AAQxB,MAAM,UAAU,2BAA2B,CACzC,OAA0B,EAC1B,MAAgC,EAChC,UAAwC,EAAE;;IAE1C,OAAO,CAAC,QAAQ,KAAhB,OAAO,CAAC,QAAQ,GAAK,EAAE,EAAC;IACxB,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,MAAM,CAAC;IACjC,MAAA,OAAO,CAAC,QAAQ,EAAC,KAAK,QAAL,KAAK,GAAK,EAAE,aAAa,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,EAAC;IACrE,MAAA,OAAO,CAAC,QAAQ,EAAC,MAAM,QAAN,MAAM,GAAK;QAC1B,MAAM,EAAE,EAAE;QACV,cAAc,EAAE,SAAS;QACzB,eAAe,EAAE,OAAO,CAAC,WAAW,EAAE,SAAS,IAAI,EAAE;QACrD,UAAU,EAAE,CAAC;QACb,WAAW,EAAE,EAAE;QACf,aAAa,EAAE,EAAE;KAClB,EAAC;IAEF,MAAM,mBAAmB,GAAG,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,MAAM,qBAAqB,GAAG,MAAM,CAAC,eAAe,CAAC;IACrD,MAAM,qBAAqB,GAAG,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9E,MAAM,2BAA2B,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,mBAAmB,IAAI,EAAE,CAAC;IACrF,MAAM,6BAA6B,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,qBAAqB,IAAI,EAAE,CAAC;IACzF,MAAM,6BAA6B,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,qBAAqB,IAAI,EAAE,CAAC;IAEzF,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC;IACzE,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAE5G,oEAAoE;IACpE,qFAAqF;IACrF,wGAAwG;IACxG,MAAM,uBAAuB,GAAG,0BAA0B,CACxD,MAAM,CAAC,IAAI,EACX,2BAA2B,EAC3B,mBAAmB,CACpB,CAAC;IACF,MAAM,yBAAyB,GAAG,0BAA0B,CAC1D,MAAM,CAAC,IAAI,EACX,6BAA6B,EAC7B,qBAAqB,CACtB,CAAC;IACF,MAAM,yBAAyB,GAAG,0BAA0B,CAC1D,MAAM,CAAC,IAAI,EACX,6BAA6B,EAC7B,qBAAqB,CACtB,CAAC;IAEF,KAAK,MAAM,QAAQ,IAAI,uBAAuB,EAAE,CAAC;QAC/C,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC7B,CAAC;IAED,MAAM,4BAA4B,GAChC,MAAM,CAAC,IAAI,KAAK,kBAAkB,IAAI,OAAO,CAAC,kCAAkC,KAAK,IAAI,CAAC;IAC5F,MAAM,0BAA0B,GAC9B,MAAM,CAAC,IAAI,KAAK,cAAc,IAAI,yBAAyB,CAAC,MAAM,GAAG,CAAC,CAAC;IACzE,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc,IAAI,4BAA4B,CAAC,IAAI,0BAA0B,EAAE,CAAC;QACnG,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;YAC9C,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtC,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YACrC,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,mBAAmB,GAAG,2BAA2B,CAAC,uBAAuB,CAAC,CAAC;IAClG,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,qBAAqB,GAAG,yBAAyB,CAAC;IACzE,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,qBAAqB,GAAG,yBAAyB,CAAC;IACzE,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,aAAa,GAAG,2BAA2B,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;IAC7F,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,cAAc,GAAG,2BAA2B,CACjE,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAC3E,CAAC;IAEF,kFAAkF;IAClF,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,mBAAmB,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,mBAAmB,CAAC;AAC3F,CAAC;AAED;;;GAGG;AACH,SAAS,0BAA0B,CAAC,UAA4C,EAAE,QAAkB,EAAE,IAAc;IAClH,IAAI,UAAU,KAAK,cAAc,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;AACrD,CAAC;AAED;;;;;;GAMG;AACH,SAAS,2BAA2B,CAAC,KAAe;IAClD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,QAAQ,IAAI,KAAK,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QAC9C,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;YACjF,SAAS;QACX,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC;AAED,MAAM,CAAC,MAAM,yBAAyB,GAAG;IACvC,IAAI,EAAE,uBAAuB;IAE7B,GAAG,CACD,OAA0B,EAC1B,MAAgC,EAChC,OAAsC;QAEtC,2BAA2B,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACxD,CAAC;CACF,CAAC","sourcesContent":["/**\n * Derives focus and routing-ready target fields from the latest search packet.\n *\n * Why this file exists:\n * - search should only report discovery facts\n * - focus owns \"what do we act on next?\"\n * - existing fields like `selectedFiles` and `candidateFiles` still need to exist for compatibility\n *\n * Example:\n * - exact target search resolves `MainAgent.ts` -> selectedFiles includes that file\n * - semantic retrieval finds 8 likely files -> candidateFiles includes them, but selectedFiles stays empty\n * - operator-pattern search returns raw matches -> candidates stay empty unless a caller opts in\n */\nimport type { SearchOrchestratorResult, StructuredContext } from \"../types.js\";\nimport path from \"path\";\n\ntype DeriveFocusFromSearchOptions = {\n  source?: string;\n  promoteOperatorMatchesToCandidates?: boolean;\n  appendCandidates?: boolean;\n};\n\nexport function deriveFocusFromSearchResult(\n  context: StructuredContext,\n  search: SearchOrchestratorResult,\n  options: DeriveFocusFromSearchOptions = {}\n): void {\n  context.analysis ||= {};\n  context.analysis.search = search;\n  context.analysis.focus ||= { selectedFiles: [], candidateFiles: [] };\n  context.analysis.intent ||= {\n    intent: \"\",\n    intentCategory: \"request\",\n    normalizedQuery: context.initContext?.userQuery ?? \"\",\n    confidence: 0,\n    targetFiles: [],\n    targetSymbols: [],\n  };\n\n  const resolvedTargetFiles = search.resolvedFiles.map(item => item.path);\n  const resolvedTargetFolders = search.resolvedFolders;\n  const resolvedTargetSymbols = search.resolvedSymbols.map(item => item.symbol);\n  const previousResolvedTargetFiles = context.analysis.focus.resolvedTargetFiles ?? [];\n  const previousResolvedTargetFolders = context.analysis.focus.resolvedTargetFolders ?? [];\n  const previousResolvedTargetSymbols = context.analysis.focus.resolvedTargetSymbols ?? [];\n\n  const nextSelected = new Set(context.analysis.focus.selectedFiles ?? []);\n  const nextCandidates = new Set(options.appendCandidates ? context.analysis.focus.candidateFiles ?? [] : []);\n\n  // Keep exact-target discoveries sticky across later broad searches.\n  // Example: exact-target resolves `MainAgent.ts`, then semantic retrieval runs later.\n  // We must not clear the explicit target signal just because semantic search has no resolvedFiles field.\n  const nextResolvedTargetFiles = keepExactTargetStateSticky(\n    search.mode,\n    previousResolvedTargetFiles,\n    resolvedTargetFiles\n  );\n  const nextResolvedTargetFolders = keepExactTargetStateSticky(\n    search.mode,\n    previousResolvedTargetFolders,\n    resolvedTargetFolders\n  );\n  const nextResolvedTargetSymbols = keepExactTargetStateSticky(\n    search.mode,\n    previousResolvedTargetSymbols,\n    resolvedTargetSymbols\n  );\n\n  for (const filePath of nextResolvedTargetFiles) {\n    nextSelected.add(filePath);\n  }\n\n  const shouldPromoteOperatorMatches =\n    search.mode !== \"operator-pattern\" || options.promoteOperatorMatchesToCandidates === true;\n  const shouldPromoteFolderMatches =\n    search.mode === \"exact-target\" && nextResolvedTargetFolders.length > 0;\n  if ((search.mode !== \"exact-target\" && shouldPromoteOperatorMatches) || shouldPromoteFolderMatches) {\n    for (const candidate of search.fileCandidates) {\n      if (!nextSelected.has(candidate.path)) {\n        nextCandidates.add(candidate.path);\n      }\n    }\n  }\n\n  context.analysis.focus.resolvedTargetFiles = normalizeCanonicalFilePaths(nextResolvedTargetFiles);\n  context.analysis.focus.resolvedTargetFolders = nextResolvedTargetFolders;\n  context.analysis.focus.resolvedTargetSymbols = nextResolvedTargetSymbols;\n  context.analysis.focus.selectedFiles = normalizeCanonicalFilePaths(Array.from(nextSelected));\n  context.analysis.focus.candidateFiles = normalizeCanonicalFilePaths(\n    Array.from(nextCandidates).filter(filePath => !nextSelected.has(filePath))\n  );\n\n  // Keep compatibility fields alive while routing and downstream consumers migrate.\n  context.analysis.intent.resolvedTargetFiles = context.analysis.focus.resolvedTargetFiles;\n}\n\n/**\n * Keeps exact-target discoveries sticky until a later exact-target pass replaces them.\n * Example: `[\"MainAgent.ts\"]` + later semantic retrieval `[]` still keeps `[\"MainAgent.ts\"]`.\n */\nfunction keepExactTargetStateSticky(valuesMode: SearchOrchestratorResult[\"mode\"], previous: string[], next: string[]): string[] {\n  if (valuesMode === \"exact-target\") {\n    return next;\n  }\n  return Array.from(new Set([...previous, ...next]));\n}\n\n/**\n * Keeps compatibility file lists canonical.\n * Examples:\n * - \"/repo/a.ts\" -> keep\n * - \"db/fileIndex.ts\" -> drop because search should already have resolved it\n * - \"__research__/impact-map\" -> drop because research pseudo-paths are not file focus\n */\nfunction normalizeCanonicalFilePaths(paths: string[]): string[] {\n  const out = new Set<string>();\n  for (const filePath of paths) {\n    const trimmed = String(filePath ?? \"\").trim();\n    if (!trimmed || trimmed.startsWith(\"__research__/\") || !path.isAbsolute(trimmed)) {\n      continue;\n    }\n    out.add(path.normalize(trimmed));\n  }\n  return Array.from(out);\n}\n\nexport const deriveFocusFromSearchStep = {\n  name: \"deriveFocusFromSearch\",\n\n  run(\n    context: StructuredContext,\n    search: SearchOrchestratorResult,\n    options?: DeriveFocusFromSearchOptions\n  ): void {\n    deriveFocusFromSearchResult(context, search, options);\n  },\n};\n"]}