scai 0.1.178 → 1.0.1

package/dist/agents/reasonNextTaskStep.js

@@ -1,15 +1,94 @@
 import { logInputOutput } from "../utils/promptLogHelper.js";
+import { resolveProgressState } from "./guards/resolveProgressState.js";
+function actionAllowed(allowedActions, action) {
+    return allowedActions.length === 0 || allowedActions.includes(action);
+}
 /**
- * REASON NEXT TASK STEP
+ * Keeps next-step logs focused on the decision this step made.
+ * Example: selected "continue" on foo.ts -> log action, reason, target, and current step only.
+ */
+function buildReasonNextTaskStepLog(context, extras) {
+    const iteration = context.analysis?.iterationReasoning;
+    const payload = {
+        nextAction: iteration?.nextAction,
+        rationale: iteration?.rationale,
+        confidence: iteration?.confidence,
+        currentStep: context.task.currentStep,
+        nextTargets: iteration?.nextTargets,
+    };
+    if (!extras) {
+        return payload;
+    }
+    if ((extras.redoFiles?.length ?? 0) > 0) {
+        payload.redoFiles = extras.redoFiles;
+    }
+    if ((extras.remainingFiles?.length ?? 0) > 0) {
+        payload.remainingFiles = extras.remainingFiles;
+    }
+    if (extras?.pendingResearch) {
+        payload.pendingResearch = extras.pendingResearch;
+    }
+    if ((extras.expansionFiles?.length ?? 0) > 0) {
+        payload.expansionFiles = extras.expansionFiles;
+    }
+    if ((extras.expansionQueries?.length ?? 0) > 0) {
+        payload.expansionQueries = extras.expansionQueries;
+    }
+    if (extras?.noScopedFilesDiagnostic) {
+        payload.noScopedFilesDiagnostic = extras.noScopedFilesDiagnostic;
+    }
+    return payload;
+}
+function pickQuestionScopedFile(context, candidates) {
+    if (candidates.length === 0)
+        return undefined;
+    const latest = context.analysis?.recentActionWindow?.latest;
+    if (!latest)
+        return candidates[0];
+    if (latest.questionId) {
+        const scopedStep = (context.task.steps ?? []).find((step) => step.questionId === latest.questionId && candidates.includes(step.filePath));
+        if (scopedStep?.filePath) {
+            return scopedStep.filePath;
+        }
+    }
+    const touched = latest.touchedFiles ?? [];
+    const touchedCandidate = touched.find((filePath) => candidates.includes(filePath));
+    if (touchedCandidate) {
+        return touchedCandidate;
+    }
+    return candidates[0];
+}
+function pickQuestionIdForNextFile(context, nextFile) {
+    if (!nextFile)
+        return undefined;
+    const existing = (context.task.steps ?? []).find((step) => step.filePath === nextFile);
+    if (existing?.questionId) {
+        return existing.questionId;
+    }
+    const latestQuestionId = context.analysis?.recentActionWindow?.latest?.questionId;
+    if (latestQuestionId) {
+        return latestQuestionId;
+    }
+    const questions = context.analysis?.intent?.questions ?? [];
+    if (questions.length === 1) {
+        return questions[0].id;
+    }
+    const matchingQuestion = questions.find((question) => (question.targetFiles ?? []).some((target) => target === nextFile || nextFile.endsWith(String(target))));
+    return matchingQuestion?.id;
+}
+/**
+ * REASON NEXT STEP SELECTION
+ *
+ * Determines the next non-bridge loop action from the current bounded menu.
  *
- * Determines whether the agent should:
- * - continue transforming remaining files
- * - redo a previous step
- * - complete execution
+ * Why this exists:
+ * - bridge actions like run-search/run-verify/seed-* are computed upstream
+ * - this step reasons only within the currently allowed task-level action menu
+ * - decideNextAction still validates the chosen action against that menu
  *
- * Creates a TaskStep if none exists and sets context.task.currentStep.
+ * Creates a durable Step if none exists and sets context.task.currentStep.
  */
-export const reasonNextTaskStep = {
+export const reasonNextStepSelection = {
     name: "reasonNextTaskStep",
     description: "Reasons over working files and execution artifacts to decide the next task step.",
     async run(context) {
@@ -19,32 +98,78 @@ export const reasonNextTaskStep = {
         }
         context.analysis || (context.analysis = {});
         context.execution || (context.execution = {});
-        (_a = context.task).taskSteps || (_a.taskSteps = []);
+        (_a = context.task).steps || (_a.steps = []);
         (_b = context.analysis).iterationReasoning || (_b.iterationReasoning = {
             summary: "",
             nextAction: "continue",
             rationale: "",
             confidence: 0.5,
         });
+        const allowedActions = context.analysis.nextActionMenu?.allowedActions ?? [];
         const iteration = context.analysis.iterationReasoning;
+        const giveUp = context.analysis.giveUp;
+        const executionPolicy = context.analysis.executionPolicy;
+        const progressState = resolveProgressState(context);
+        if (progressState.completion.eligible &&
+            actionAllowed(allowedActions, "complete")) {
+            context.task.status = "completed";
+            context.task.currentStep = undefined;
+            context.analysis.iterationReasoning = {
+                ...iteration,
+                nextAction: "complete",
+                rationale: progressState.completion.reason,
+                confidence: 0.99,
+                summary: "Task step decision: complete (objective satisfied)",
+            };
+            logInputOutput("reasonNextTaskStep", "output", buildReasonNextTaskStepLog(context));
+            return;
+        }
+        if (giveUp?.status === "triggered") {
+            context.task.status = "gave-up";
+            context.task.reason = giveUp.rationale;
+            context.task.currentStep = undefined;
+            context.analysis.iterationReasoning = {
+                ...iteration,
+                nextAction: "give-up",
+                rationale: giveUp.rationale ?? "Give-up policy triggered.",
+                confidence: 0.98,
+                summary: "Task step decision: give-up",
+            };
+            logInputOutput("reasonNextTaskStep", "output", buildReasonNextTaskStepLog(context));
+            return;
+        }
         // ---------------------------
         // 1️⃣ Determine intended files (deduplicated)
         // ---------------------------
-        const plannedExecutionFiles = context.task.taskSteps
+        const plannedExecutionFiles = context.task.steps
             .filter(step => !!step.filePath &&
             !step.filePath.startsWith("__research__/"))
             .map(step => step.filePath)
             .filter((filePath, index, all) => all.indexOf(filePath) === index);
-        const fallbackIntendedFiles = Array.from(new Set([
-            ...(context.analysis.focus?.selectedFiles ?? []),
+        const requiredLaneFiles = Array.from(new Set([
+            ...(executionPolicy?.executionRequired ??
+                context.analysis.focus?.executionRequired ??
+                context.analysis.focus?.selectedFiles ??
+                []),
             ...(context.workingFiles?.map(f => f.path).filter(Boolean) ?? []),
         ]));
-        // Use union (not fallback switch) so docs-only or planning-skipped lanes
-        // still process all selected files instead of only ad-hoc seeded taskSteps.
-        const intendedFiles = Array.from(new Set([
-            ...plannedExecutionFiles,
-            ...fallbackIntendedFiles,
+        const explorationLaneFiles = Array.from(new Set([
+            ...(executionPolicy?.explorationCandidates ??
+                context.analysis.focus?.explorationCandidates ??
+                context.analysis.focus?.candidateFiles ??
+                []),
         ]));
+        const intendedFiles = Array.from(new Set([...plannedExecutionFiles, ...requiredLaneFiles]));
+        const noScopedFilesDiagnostic = intendedFiles.length === 0
+            ? {
+                selectedFiles: context.analysis.focus?.selectedFiles ?? [],
+                executionRequired: executionPolicy?.executionRequired ?? [],
+                resolvedTargetFiles: context.analysis.focus?.resolvedTargetFiles ??
+                    context.analysis.intent?.resolvedTargetFiles ??
+                    [],
+                relatedFiles: context.initContext?.relatedFiles ?? [],
+            }
+            : undefined;
         // ---------------------------
         // 2️⃣ Transformed and analyzed files
         // ---------------------------
@@ -53,54 +178,24 @@ export const reasonNextTaskStep = {
             .filter(([_, fa]) => fa.semanticAnalyzed)
             .map(([path]) => path);
         const fileAnalysis = context.analysis.fileAnalysis ?? {};
-        const taskSteps = context.task.taskSteps;
-        // ---------------------------
-        // 2.5️⃣ Prioritize pending research steps
-        // ---------------------------
-        const pendingResearchStep = taskSteps.find(step => typeof step.action === "string" &&
+        const steps = context.task.steps;
+        const pendingResearchStep = steps.find(step => typeof step.action === "string" &&
             step.action.startsWith("research-") &&
             step.status !== "completed");
-        if (pendingResearchStep) {
+        if (progressState.research.status === "required" && pendingResearchStep) {
             context.task.currentStep = pendingResearchStep;
             context.analysis.iterationReasoning = {
                 ...iteration,
                 nextAction: "continue",
-                rationale: `Research step pending: ${pendingResearchStep.action}`,
+                rationale: progressState.research.reason,
                 confidence: 0.95,
                 nextTargets: { files: [pendingResearchStep.filePath] },
                 summary: "Task step decision: continue (research priority)",
             };
             logInputOutput("reasonNextTaskStep", "output", {
-                pendingResearch: pendingResearchStep,
-                iterationReasoning: context.analysis.iterationReasoning,
-            });
-            return;
-        }
-        // ---------------------------
-        // 2.6️⃣ Architecture-summary completion gate
-        // ---------------------------
-        const intentCategory = (context.analysis.intent?.intentCategory ?? "").toLowerCase();
-        const isSummaryLikeIntent = intentCategory === "question" || intentCategory === "explanation";
-        const synthesisCompleted = taskSteps.some(step => step.action === "research-architecture-synthesis" &&
-            step.status === "completed");
-        const tierCoverage = computeTierCoverage(context, intendedFiles, analyzedFiles, transformedFiles, taskSteps);
-        if (isSummaryLikeIntent && synthesisCompleted && tierCoverage.satisfied) {
-            context.task.status = "completed";
-            context.task.currentStep = undefined;
-            context.analysis.iterationReasoning = {
-                ...iteration,
-                nextAction: "complete",
-                rationale: `Architecture summary ready after synthesis and tiered coverage (tier1 ${tierCoverage.tier1.covered}/${tierCoverage.tier1.target}, tier2 ${tierCoverage.tier2.covered}/${tierCoverage.tier2.target}, overall ${tierCoverage.overall.covered}/${tierCoverage.overall.target}).`,
-                confidence: 0.98,
-                redoFiles: [],
-                nextTargets: { files: [] },
-                summary: "Task step decision: complete (synthesis + tiered coverage)",
-            };
-            logInputOutput("reasonNextTaskStep", "output", {
-                intentCategory,
-                synthesisCompleted,
-                tiers: tierCoverage,
-                iterationReasoning: context.analysis.iterationReasoning,
+                ...buildReasonNextTaskStepLog(context, {
+                    pendingResearch: pendingResearchStep,
+                }),
             });
             return;
         }
@@ -109,7 +204,7 @@ export const reasonNextTaskStep = {
         // ---------------------------
         for (const path of analyzedFiles) {
             const fa = fileAnalysis[path];
-            const step = taskSteps.find(s => s.filePath === path);
+            const step = steps.find(s => s.filePath === path);
             if (!step)
                 continue;
             if (fa?.semanticAnalyzed && context.executionControl?.constraints?.allowFileWrites === false) {
@@ -122,50 +217,110 @@ export const reasonNextTaskStep = {
         // ---------------------------
         // 4️⃣ Validation-based redo
         // ---------------------------
-        const validations = context.analysis.executionOutcome?.validations ?? [];
-        const redoFiles = validations.filter(v => v.requiresRedo && v.filePath).map(v => v.filePath);
+        const redoFiles = progressState.redoTargets;
         iteration.redoFiles = redoFiles;
         // ---------------------------
+        // 4.5️⃣ Trail expansion signal
+        // ---------------------------
+        const trail = context.analysis.trail;
+        const expansionRequest = context.analysis.expansionRequest;
+        const trailFrontier = (trail?.frontier ?? [])
+            .filter(candidate => (candidate.confidence ?? 0) >= 0.58)
+            .map(candidate => candidate.filePath)
+            .filter(Boolean);
+        const expansionFiles = Array.from(new Set([
+            ...(expansionRequest?.files ?? []),
+            ...trailFrontier,
+        ]));
+        const expansionQueries = Array.from(new Set([
+            ...(expansionRequest?.queries ?? []),
+            ...(trailFrontier.length > 0 ? (trail?.pendingQueries ?? []) : []),
+        ])).slice(0, 6);
+        const hasExpansionSignal = expansionFiles.length > 0 || expansionQueries.length > 0;
+        // ---------------------------
         // 5️⃣ Task-level reasoning (cross-file)
         // ---------------------------
-        // Instead of deriving remainingFiles from artifacts, use TaskStep.status
-        const pendingFiles = intendedFiles.filter(path => {
-            const step = taskSteps.find(s => s.filePath === path);
-            return !step || step.status !== "completed";
-        });
+        // Instead of deriving remainingFiles from artifacts, use durable step status.
+        const pendingFiles = progressState.requiredTargets.filter((path) => !progressState.completedTargets.includes(path) && !progressState.redoTargets.includes(path) && !progressState.blockedTargets.includes(path));
         // ---------------------------
         // 🛑 Deterministic Completion Gate
         // ---------------------------
-        const isDeterministicallyComplete = redoFiles.length === 0 &&
-            pendingFiles.length === 0;
+        const isDeterministicallyComplete = progressState.completion.eligible;
         if (isDeterministicallyComplete) {
+            const shouldRunOptionalExploration = !!executionPolicy?.explorationReady &&
+                !executionPolicy?.executionLock?.enabled &&
+                progressState.optionalTargets.length > 0;
+            if (hasExpansionSignal || shouldRunOptionalExploration) {
+                context.task.currentStep = undefined;
+                context.analysis.iterationReasoning = {
+                    ...iteration,
+                    nextAction: "expand-scope",
+                    rationale: hasExpansionSignal
+                        ? `Trail expansion requested (${expansionFiles.length} file(s), ${expansionQueries.length} query term(s)).`
+                        : `Execution lane complete; optional exploration lane has ${explorationLaneFiles.length} candidate file(s).`,
+                    confidence: 0.86,
+                    redoFiles: [],
+                    nextTargets: {
+                        files: hasExpansionSignal ? expansionFiles : progressState.optionalTargets,
+                        searchQueries: expansionQueries,
+                    },
+                    summary: "Task step decision: expand-scope",
+                };
+                logInputOutput("reasonNextTaskStep", "output", {
+                    ...buildReasonNextTaskStepLog(context, {
+                        redoFiles,
+                        expansionFiles,
+                        expansionQueries,
+                        noScopedFilesDiagnostic,
+                    }),
+                });
+                return;
+            }
+            if (!actionAllowed(allowedActions, "complete")) {
+                context.task.currentStep = undefined;
+                context.analysis.iterationReasoning = {
+                    ...iteration,
+                    nextAction: "continue",
+                    rationale: "Deterministic completion is blocked until the current loop bridge runs.",
+                    confidence: 0.92,
+                    redoFiles: [],
+                    nextTargets: { files: [] },
+                    summary: "Task step decision: continue (bridge pending)",
+                };
+                logInputOutput("reasonNextTaskStep", "output", {
+                    ...buildReasonNextTaskStepLog(context, {
+                        redoFiles,
+                        noScopedFilesDiagnostic,
+                    }),
+                });
+                return;
+            }
             // ✅ mark task as completed
             context.task.status = "completed";
             context.task.currentStep = undefined;
             context.analysis.iterationReasoning = {
                 ...iteration,
                 nextAction: "complete",
-                rationale: "All selected files have completed TaskSteps and passed validation.",
+                rationale: progressState.completion.reason,
                 confidence: 1.0,
                 redoFiles: [],
                 nextTargets: { files: [] },
                 summary: "Task step decision: complete",
             };
             logInputOutput("reasonNextTaskStep", "output", {
-                intendedFiles,
-                pendingFiles,
-                redoFiles,
-                currentStep: context.task.currentStep,
-                iterationReasoning: context.analysis.iterationReasoning,
+                ...buildReasonNextTaskStepLog(context, {
+                    redoFiles,
+                    noScopedFilesDiagnostic,
+                }),
             });
             return; // 🔴 HARD EXIT — skip Step 6 and risk reasoning entirely
         }
         // ---------------------------
         //  Task-level reasoning (cross-file)
         // ---------------------------
-        // Remaining work should respect TaskStep completion state first.
+        // Remaining work should respect durable step completion state first.
         // This avoids re-selecting files that were completed via analyze-only fallback.
-        const remainingFiles = pendingFiles.filter(path => !redoFiles.includes(path));
+        const remainingFiles = pendingFiles.filter((path) => !redoFiles.includes(path));
         // ---------------------------
         //  Decide next step
         // ---------------------------
@@ -175,20 +330,30 @@ export const reasonNextTaskStep = {
         let nextFile;
         if (redoFiles.length > 0) {
             nextAction = "redo-step";
-            rationale = `Some transformed files failed validation and require redo: ${redoFiles.join(", ")}`;
+            rationale = progressState.completion.reason;
             nextFile = redoFiles[0];
             confidence = 0.7;
         }
+        else if (hasExpansionSignal) {
+            nextAction = "expand-scope";
+            rationale = `Trail expansion requested from prior research (${expansionFiles.length} file(s), ${expansionQueries.length} query term(s)).`;
+            confidence = 0.86;
+        }
         else if (remainingFiles.length > 0) {
             nextAction = "continue";
-            rationale = `Not all selected files have been analyzed or transformed yet. Remaining files: ${remainingFiles.join(", ")}`;
-            nextFile = remainingFiles[0];
+            rationale = `Required targets remain unresolved: ${remainingFiles.join(", ")}`;
+            nextFile = pickQuestionScopedFile(context, remainingFiles);
             confidence = 0.95;
         }
+        else if (!progressState.evidenceSatisfied && progressState.optionalTargets.length > 0) {
+            nextAction = "expand-scope";
+            rationale = `Need grounded evidence before completion; ${progressState.optionalTargets.length} candidate file(s) remain to explore.`;
+            confidence = 0.9;
+        }
         else {
-            nextAction = "complete";
-            rationale = "All selected files have been analyzed, transformed, and validated successfully.";
-            confidence = 0.98;
+            nextAction = progressState.completion.eligible ? "complete" : "continue";
+            rationale = progressState.completion.reason;
+            confidence = progressState.completion.eligible ? 0.98 : 0.86;
         }
         /* // ---------------------------
         // 6.5️⃣ Optional: Reason over known risks
@@ -239,17 +404,24 @@ Task:
             }
         } */
         // ---------------------------
-        // 7️⃣ Ensure a TaskStep exists for nextFile
+        // 7️⃣ Ensure a durable Step exists for nextFile
         // ---------------------------
         if (nextFile) {
-            let nextStep = taskSteps.find(s => s.filePath === nextFile);
+            let nextStep = steps.find(s => s.filePath === nextFile);
+            const nextQuestionId = pickQuestionIdForNextFile(context, nextFile);
             if (!nextStep) {
                 nextStep = {
                     taskId: context.task.id,
                     filePath: nextFile,
                     status: "pending",
+                    questionId: nextQuestionId,
+                    stepQuestions: nextQuestionId ? [nextQuestionId] : undefined,
                 };
-                context.task.taskSteps.push(nextStep);
+                context.task.steps.push(nextStep);
+            }
+            if (!nextStep.questionId && nextQuestionId) {
+                nextStep.questionId = nextQuestionId;
+                nextStep.stepQuestions = [nextQuestionId];
             }
             if (nextAction === "redo-step") {
                 nextStep.status = "pending";
@@ -269,73 +441,24 @@ Task:
             nextAction,
             rationale,
             confidence,
-            nextTargets: { files: Array.from(new Set(redoFiles.length > 0 ? redoFiles : remainingFiles)) },
+            nextTargets: nextAction === "expand-scope"
+                ? {
+                    files: expansionFiles.length > 0 ? expansionFiles : progressState.optionalTargets,
+                    searchQueries: expansionQueries,
+                }
+                : { files: Array.from(new Set(redoFiles.length > 0 ? redoFiles : remainingFiles)) },
             summary: `Task step decision: ${nextAction}`,
         };
         logInputOutput("reasonNextTaskStep", "output", {
-            intendedFiles,
-            analyzedFiles,
-            transformedFiles,
-            remainingFiles,
-            redoFiles,
-            currentStep: context.task.currentStep,
-            iterationReasoning: context.analysis.iterationReasoning,
+            ...buildReasonNextTaskStepLog(context, {
+                redoFiles,
+                remainingFiles,
+                expansionFiles: nextAction === "expand-scope" ? expansionFiles : undefined,
+                expansionQueries: nextAction === "expand-scope" ? expansionQueries : undefined,
+                noScopedFilesDiagnostic,
+            }),
         });
     },
 };
-/**
- * Computes tiered coverage using selected/research/verify signals.
- * Tier1 is highest-priority, tier2 is remaining selected, tier3 is the rest.
- */
-function computeTierCoverage(context, intendedFiles, analyzedFiles, transformedFiles, taskSteps) {
-    const selectedSet = new Set(context.analysis?.focus?.selectedFiles ?? []);
-    const researchTouchedSet = new Set(context.analysis?.researchArtifacts?.touchedFiles ?? []);
-    const verifyByFile = context.analysis?.verify?.byFile ?? {};
-    const plannedRankByFile = buildPlannedRankMap(taskSteps);
-    const coveredSet = new Set([...analyzedFiles, ...transformedFiles]);
-    const tier1Files = intendedFiles.filter(filePath => {
-        const verifyConfidence = verifyByFile[filePath]?.fileConfidence ?? 0;
-        const plannedRank = plannedRankByFile.get(filePath);
-        const selected = selectedSet.has(filePath);
-        const touchedByResearch = researchTouchedSet.has(filePath);
-        const highVerifyConfidence = verifyConfidence >= 0.65;
-        const highPlanPriority = typeof plannedRank === "number" && plannedRank <= 1;
-        return selected && (touchedByResearch || highVerifyConfidence || highPlanPriority);
-    });
-    const tier2Files = intendedFiles.filter(filePath => !tier1Files.includes(filePath) && selectedSet.has(filePath));
-    const tier3Files = intendedFiles.filter(filePath => !tier1Files.includes(filePath) && !tier2Files.includes(filePath));
-    const tier1Covered = tier1Files.filter(filePath => coveredSet.has(filePath)).length;
-    const tier2Covered = tier2Files.filter(filePath => coveredSet.has(filePath)).length;
-    const tier3Covered = tier3Files.filter(filePath => coveredSet.has(filePath)).length;
-    const overallCovered = intendedFiles.filter(filePath => coveredSet.has(filePath)).length;
-    const tier1Target = computeCoverageTarget(tier1Files.length, 0.7);
-    const tier2Target = computeCoverageTarget(tier2Files.length, 0.4);
-    const overallTarget = Math.min(Math.min(6, Math.max(4, intendedFiles.length)), intendedFiles.length);
-    const satisfied = tier1Covered >= tier1Target &&
-        tier2Covered >= tier2Target &&
-        overallCovered >= overallTarget;
-    return {
-        tier1: { files: tier1Files, covered: tier1Covered, target: tier1Target },
-        tier2: { files: tier2Files, covered: tier2Covered, target: tier2Target },
-        tier3: { files: tier3Files, covered: tier3Covered, target: tier3Files.length },
-        overall: { covered: overallCovered, target: overallTarget },
-        satisfied,
-    };
-}
-/**
- * Reads planning rank from task step metadata.
- * Lower rank means higher priority.
- */
-function buildPlannedRankMap(taskSteps) {
-    return new Map(taskSteps
-        .filter(step => !!step.filePath && !step.filePath.startsWith("__research__/"))
-        .map(step => [
-        step.filePath,
-        typeof step.result?.priorityRank === "number" ? step.result.priorityRank : undefined,
-    ]));
-}
-function computeCoverageTarget(total, ratio) {
-    if (total === 0)
-        return 0;
-    return Math.min(total, Math.max(1, Math.ceil(total * ratio)));
-}
+export const reasonNextTaskStep = reasonNextStepSelection;
+//# sourceMappingURL=reasonNextTaskStep.js.map

package/dist/agents/reasonNextTaskStep.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reasonNextTaskStep.js","sourceRoot":"","sources":["../../src/agents/reasonNextTaskStep.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AAExE,SAAS,aAAa,CAClB,cAAwB,EACxB,MAAiF;IAEjF,OAAO,cAAc,CAAC,MAAM,KAAK,CAAC,IAAI,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AAC1E,CAAC;AAED;;;GAGG;AACH,SAAS,0BAA0B,CAC/B,OAA0B,EAC1B,MAOC;IAED,MAAM,SAAS,GAAG,OAAO,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACvD,MAAM,OAAO,GAA4B;QACrC,UAAU,EAAE,SAAS,EAAE,UAAU;QACjC,SAAS,EAAE,SAAS,EAAE,SAAS;QAC/B,UAAU,EAAE,SAAS,EAAE,UAAU;QACjC,WAAW,EAAE,OAAO,CAAC,IAAI,CAAC,WAAW;QACrC,WAAW,EAAE,SAAS,EAAE,WAAW;KACtC,CAAC;IAEF,IAAI,CAAC,MAAM,EAAE,CAAC;QACV,OAAO,OAAO,CAAC;IACnB,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QACtC,OAAO,CAAC,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC;IACzC,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,cAAc,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3C,OAAO,CAAC,cAAc,GAAG,MAAM,CAAC,cAAc,CAAC;IACnD,CAAC;IACD,IAAI,MAAM,EAAE,eAAe,EAAE,CAAC;QAC1B,OAAO,CAAC,eAAe,GAAG,MAAM,CAAC,eAAe,CAAC;IACrD,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,cAAc,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3C,OAAO,CAAC,cAAc,GAAG,MAAM,CAAC,cAAc,CAAC;IACnD,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7C,OAAO,CAAC,gBAAgB,GAAG,MAAM,CAAC,gBAAgB,CAAC;IACvD,CAAC;IACD,IAAI,MAAM,EAAE,uBAAuB,EAAE,CAAC;QAClC,OAAO,CAAC,uBAAuB,GAAG,MAAM,CAAC,uBAAuB,CAAC;IACrE,CAAC;IAED,OAAO,OAAO,CAAC;AACnB,CAAC;AAED,SAAS,sBAAsB,CAAC,OAA0B,EAAE,UAAoB;IAC5E,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9C,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,EAAE,kBAAkB,EAAE,MAAM,CAAC;IAC5D,IAAI,CAAC,MAAM;QAAE,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;IAElC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACpB,MAAM,UAAU,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,CAC9C,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,KAAK,MAAM,CAAC,UAAU,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CACxF,CAAC;QACF,IAAI,UAAU,EAAE,QAAQ,EAAE,CAAC;YACvB,OAAO,UAAU,CAAC,QAAQ,CAAC;QAC/B,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC;IAC1C,MAAM,gBAAgB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;IACnF,IAAI,gBAAgB,EAAE,CAAC;QACnB,OAAO,gBAAgB,CAAC;IAC5B,CAAC;IAED,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC;AACzB,CAAC;AAED,SAAS,yBAAyB,CAAC,OAA0B,EAAE,QAA4B;IACvF,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChC,MAAM,QAAQ,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;IACvF,IAAI,QAAQ,EAAE,UAAU,EAAE,CAAC;QACvB,OAAO,QAAQ,CAAC,UAAU,CAAC;IAC/B,CAAC;IAED,MAAM,gBAAgB,GAAG,OAAO,CAAC,QAAQ,EAAE,kBAAkB,EAAE,MAAM,EAAE,UAAU,CAAC;IAClF,IAAI,gBAAgB,EAAE,CAAC;QACnB,OAAO,gBAAgB,CAAC;IAC5B,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,IAAI,EAAE,CAAC;IAC5D,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3B,CAAC;IAED,MAAM,gBAAgB,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CACjD,CAAC,QAAQ,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,QAAQ,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAC1G,CAAC;IACF,OAAO,gBAAgB,EAAE,EAAE,CAAC;AAChC,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACnC,IAAI,EAAE,oBAAoB;IAC1B,WAAW,EACP,kFAAkF;IAEtF,KAAK,CAAC,GAAG,CAAC,OAA0B;;QAChC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;YAChB,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;QAChE,CAAC;QAED,OAAO,CAAC,QAAQ,KAAhB,OAAO,CAAC,QAAQ,GAAK,EAAE,EAAC;QACxB,OAAO,CAAC,SAAS,KAAjB,OAAO,CAAC,SAAS,GAAK,EAAE,EAAC;QACzB,MAAA,OAAO,CAAC,IAAI,EAAC,KAAK,QAAL,KAAK,GAAK,EAAE,EAAC;QAE1B,MAAA,OAAO,CAAC,QAAQ,EAAC,kBAAkB,QAAlB,kBAAkB,GAAK;YACpC,OAAO,EAAE,EAAE;YACX,UAAU,EAAE,UAAU;YACtB,SAAS,EAAE,EAAE;YACb,UAAU,EAAE,GAAG;SAClB,EAAC;QACF,MAAM,cAAc,GAAG,OAAO,CAAC,QAAQ,CAAC,cAAc,EAAE,cAAc,IAAI,EAAE,CAAC;QAC7E,MAAM,SAAS,GAAG,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAC;QACtD,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;QACvC,MAAM,eAAe,GAAG,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC;QACzD,MAAM,aAAa,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;QAEpD,IACI,aAAa,CAAC,UAAU,CAAC,QAAQ;YACjC,aAAa,CAAC,cAAc,EAAE,UAAU,CAAC,EAC3C,CAAC;YACC,OAAO,CAAC,IAAI,CAAC,MAAM,GAAG,WAAW,CAAC;YAClC,OAAO,CAAC,IAAI,CAAC,WAAW,GAAG,SAAS,CAAC;YACrC,OAAO,CAAC,QAAQ,CAAC,kBAAkB,GAAG;gBAClC,GAAG,SAAS;gBACZ,UAAU,EAAE,UAAU;gBACtB,SAAS,EAAE,aAAa,CAAC,UAAU,CAAC,MAAM;gBAC1C,UAAU,EAAE,IAAI;gBAChB,OAAO,EAAE,oDAAoD;aAChE,CAAC;YACF,cAAc,CAAC,oBAAoB,EAAE,QAAQ,EAAE,0BAA0B,CAAC,OAAO,CAAC,CAAC,CAAC;YACpF,OAAO;QACX,CAAC;QAED,IAAI,MAAM,EAAE,MAAM,KAAK,WAAW,EAAE,CAAC;YACjC,OAAO,CAAC,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC;YAChC,OAAO,CAAC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC;YACvC,OAAO,CAAC,IAAI,CAAC,WAAW,GAAG,SAAS,CAAC;YACrC,OAAO,CAAC,QAAQ,CAAC,kBAAkB,GAAG;gBAClC,GAAG,SAAS;gBACZ,UAAU,EAAE,SAAS;gBACrB,SAAS,EAAE,MAAM,CAAC,SAAS,IAAI,2BAA2B;gBAC1D,UAAU,EAAE,IAAI;gBAChB,OAAO,EAAE,6BAA6B;aACzC,CAAC;YACF,cAAc,CAAC,oBAAoB,EAAE,QAAQ,EAAE,0BAA0B,CAAC,OAAO,CAAC,CAAC,CAAC;YACpF,OAAO;QACX,CAAC;QAED,8BAA8B;QAC9B,8CAA8C;QAC9C,8BAA8B;QAC9B,MAAM,qBAAqB,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK;aAC3C,MAAM,CAAC,IAAI,CAAC,EAAE,CACX,CAAC,CAAC,IAAI,CAAC,QAAQ;YACf,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,eAAe,CAAC,CAC7C;aACA,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC;aAC1B,MAAM,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,KAAK,CAAC,CAAC;QAEvE,MAAM,iBAAiB,GAAG,KAAK,CAAC,IAAI,CAChC,IAAI,GAAG,CAAC;YACJ,GAAG,CAAC,eAAe,EAAE,iBAAiB;gBAClC,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,iBAAiB;gBACzC,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,aAAa;gBACrC,EAAE,CAAC;YACP,GAAG,CAAC,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;SACpE,CAAC,CACL,CAAC;QACF,MAAM,oBAAoB,GAAG,KAAK,CAAC,IAAI,CACnC,IAAI,GAAG,CAAC;YACJ,GAAG,CAAC,eAAe,EAAE,qBAAqB;gBACtC,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,qBAAqB;gBAC7C,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,cAAc;gBACtC,EAAE,CAAC;SACV,CAAC,CACL,CAAC;QACF,MAAM,aAAa,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,qBAAqB,EAAE,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC;QAC5F,MAAM,uBAAuB,GAAG,aAAa,CAAC,MAAM,KAAK,CAAC;YACtD,CAAC,CAAC;gBACE,aAAa,EAAE,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,aAAa,IAAI,EAAE;gBAC1D,iBAAiB,EAAE,eAAe,EAAE,iBAAiB,IAAI,EAAE;gBAC3D,mBAAmB,EACf,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,mBAAmB;oBAC3C,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,mBAAmB;oBAC5C,EAAE;gBACN,YAAY,EAAE,OAAO,CAAC,WAAW,EAAE,YAAY,IAAI,EAAE;aACxD;YACD,CAAC,CAAC,SAAS,CAAC;QAEhB,8BAA8B;QAC9B,qCAAqC;QACrC,8BAA8B;QAC9B,MAAM,gBAAgB,GAClB,OAAO,CAAC,SAAS,CAAC,sBAAsB,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QAE/E,MAAM,aAAa,GAAa,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,IAAI,EAAE,CAAC;aAC9E,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,gBAAgB,CAAC;aACxC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QAE3B,MAAM,YAAY,GAAiC,OAAO,CAAC,QAAQ,CAAC,YAAY,IAAI,EAAE,CAAC;QACvF,MAAM,KAAK,GAAW,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;QAEzC,MAAM,mBAAmB,GAAG,KAAK,CAAC,IAAI,CAClC,IAAI,CAAC,EAAE,CACH,OAAO,IAAI,CAAC,MAAM,KAAK,QAAQ;YAC/B,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,WAAW,CAAC;YACnC,IAAI,CAAC,MAAM,KAAK,WAAW,CAClC,CAAC;QAEF,IAAI,aAAa,CAAC,QAAQ,CAAC,MAAM,KAAK,UAAU,IAAI,mBAAmB,EAAE,CAAC;YACtE,OAAO,CAAC,IAAI,CAAC,WAAW,GAAG,mBAAmB,CAAC;YAC/C,OAAO,CAAC,QAAQ,CAAC,kBAAkB,GAAG;gBAClC,GAAG,SAAS;gBACZ,UAAU,EAAE,UAAU;gBACtB,SAAS,EAAE,aAAa,CAAC,QAAQ,CAAC,MAAM;gBACxC,UAAU,EAAE,IAAI;gBAChB,WAAW,EAAE,EAAE,KAAK,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAAE;gBACtD,OAAO,EAAE,kDAAkD;aAC9D,CAAC;YAEF,cAAc,CAAC,oBAAoB,EAAE,QAAQ,EAAE;gBAC3C,GAAG,0BAA0B,CAAC,OAAO,EAAE;oBACnC,eAAe,EAAE,mBAAmB;iBACvC,CAAC;aACL,CAAC,CAAC;YACH,OAAO;QACX,CAAC;QAED,8BAA8B;QAC9B,4DAA4D;QAC5D,8BAA8B;QAC9B,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;YAC/B,MAAM,EAAE,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;YAC9B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC;YAClD,IAAI,CAAC,IAAI;gBAAE,SAAS;YAEpB,IAAI,EAAE,EAAE,gBAAgB,IAAI,OAAO,CAAC,gBAAgB,EAAE,WAAW,EAAE,eAAe,KAAK,KAAK,EAAE,CAAC;gBAC3F,IAAI,CAAC,MAAM,GAAG,WAAW,CAAC;YAC9B,CAAC;YACD,IAAI,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClC,IAAI,CAAC,MAAM,GAAG,WAAW,CAAC;YAC9B,CAAC;QACL,CAAC;QAED,8BAA8B;QAC9B,4BAA4B;QAC5B,8BAA8B;QAC9B,MAAM,SAAS,GAAG,aAAa,CAAC,WAAW,CAAC;QAC5C,SAAS,CAAC,SAAS,GAAG,SAAS,CAAC;QAEhC,8BAA8B;QAC9B,+BAA+B;QAC/B,8BAA8B;QAC9B,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC;QACrC,MAAM,gBAAgB,GAAG,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAC;QAC3D,MAAM,aAAa,GAAG,CAAC,KAAK,EAAE,QAAQ,IAAI,EAAE,CAAC;aACxC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,UAAU,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC;aACxD,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC;aACpC,MAAM,CAAC,OAAO,CAAC,CAAC;QACrB,MAAM,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC;YACtC,GAAG,CAAC,gBAAgB,EAAE,KAAK,IAAI,EAAE,CAAC;YAClC,GAAG,aAAa;SACnB,CAAC,CAAC,CAAC;QACJ,MAAM,gBAAgB,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC;YACxC,GAAG,CAAC,gBAAgB,EAAE,OAAO,IAAI,EAAE,CAAC;YACpC,GAAG,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,cAAc,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;SACrE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChB,MAAM,kBAAkB,GAAG,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC;QAEpF,8BAA8B;QAC9B,wCAAwC;QACxC,8BAA8B;QAE9B,8EAA8E;QAC9E,MAAM,YAAY,GAAG,aAAa,CAAC,eAAe,CAAC,MAAM,CACrD,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,CACxJ,CAAC;QAEF,8BAA8B;QAC9B,mCAAmC;QACnC,8BAA8B;QAC9B,MAAM,2BAA2B,GAAG,aAAa,CAAC,UAAU,CAAC,QAAQ,CAAC;QAEtE,IAAI,2BAA2B,EAAE,CAAC;YAC9B,MAAM,4BAA4B,GAC9B,CAAC,CAAC,eAAe,EAAE,gBAAgB;gBACnC,CAAC,eAAe,EAAE,aAAa,EAAE,OAAO;gBACxC,aAAa,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC;YAC7C,IAAI,kBAAkB,IAAI,4BAA4B,EAAE,CAAC;gBACrD,OAAO,CAAC,IAAI,CAAC,WAAW,GAAG,SAAS,CAAC;gBACrC,OAAO,CAAC,QAAQ,CAAC,kBAAkB,GAAG;oBAClC,GAAG,SAAS;oBACZ,UAAU,EAAE,cAAc;oBAC1B,SAAS,EAAE,kBAAkB;wBACzB,CAAC,CAAC,8BAA8B,cAAc,CAAC,MAAM,aAAa,gBAAgB,CAAC,MAAM,kBAAkB;wBAC3G,CAAC,CAAC,0DAA0D,oBAAoB,CAAC,MAAM,qBAAqB;oBAChH,UAAU,EAAE,IAAI;oBAChB,SAAS,EAAE,EAAE;oBACb,WAAW,EAAE;wBACT,KAAK,EAAE,kBAAkB,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,aAAa,CAAC,eAAe;wBAC1E,aAAa,EAAE,gBAAgB;qBAClC;oBACD,OAAO,EAAE,kCAAkC;iBAC9C,CAAC;gBAEF,cAAc,CAAC,oBAAoB,EAAE,QAAQ,EAAE;oBAC3C,GAAG,0BAA0B,CAAC,OAAO,EAAE;wBACnC,SAAS;wBACT,cAAc;wBACd,gBAAgB;wBAChB,uBAAuB;qBAC1B,CAAC;iBACL,CAAC,CAAC;gBAEH,OAAO;YACX,CAAC;YAED,IAAI,CAAC,aAAa,CAAC,cAAc,EAAE,UAAU,CAAC,EAAE,CAAC;gBAC7C,OAAO,CAAC,IAAI,CAAC,WAAW,GAAG,SAAS,CAAC;gBACrC,OAAO,CAAC,QAAQ,CAAC,kBAAkB,GAAG;oBAClC,GAAG,SAAS;oBACZ,UAAU,EAAE,UAAU;oBACtB,SAAS,EAAE,yEAAyE;oBACpF,UAAU,EAAE,IAAI;oBAChB,SAAS,EAAE,EAAE;oBACb,WAAW,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;oBAC1B,OAAO,EAAE,+CAA+C;iBAC3D,CAAC;gBAEF,cAAc,CAAC,oBAAoB,EAAE,QAAQ,EAAE;oBAC3C,GAAG,0BAA0B,CAAC,OAAO,EAAE;wBACnC,SAAS;wBACT,uBAAuB;qBAC1B,CAAC;iBACL,CAAC,CAAC;gBAEH,OAAO;YACX,CAAC;YAED,2BAA2B;YAC3B,OAAO,CAAC,IAAI,CAAC,MAAM,GAAG,WAAW,CAAC;YAClC,OAAO,CAAC,IAAI,CAAC,WAAW,GAAG,SAAS,CAAC;YAErC,OAAO,CAAC,QAAQ,CAAC,kBAAkB,GAAG;gBAClC,GAAG,SAAS;gBACZ,UAAU,EAAE,UAAU;gBACtB,SAAS,EAAE,aAAa,CAAC,UAAU,CAAC,MAAM;gBAC1C,UAAU,EAAE,GAAG;gBACf,SAAS,EAAE,EAAE;gBACb,WAAW,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;gBAC1B,OAAO,EAAE,8BAA8B;aAC1C,CAAC;YAEF,cAAc,CAAC,oBAAoB,EAAE,QAAQ,EAAE;gBAC3C,GAAG,0BAA0B,CAAC,OAAO,EAAE;oBACnC,SAAS;oBACT,uBAAuB;iBAC1B,CAAC;aACL,CAAC,CAAC;YAEH,OAAO,CAAC,yDAAyD;QACrE,CAAC;QAED,8BAA8B;QAC9B,qCAAqC;QACrC,8BAA8B;QAC9B,qEAAqE;QACrE,gFAAgF;QAChF,MAAM,cAAc,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QAGhF,8BAA8B;QAC9B,oBAAoB;QACpB,8BAA8B;QAC9B,IAAI,UAAU,GAAgC,UAAU,CAAC;QACzD,IAAI,SAAS,GAAG,EAAE,CAAC;QACnB,IAAI,UAAU,GAAG,GAAG,CAAC;QACrB,IAAI,QAA4B,CAAC;QAEjC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,UAAU,GAAG,WAAW,CAAC;YACzB,SAAS,GAAG,aAAa,CAAC,UAAU,CAAC,MAAM,CAAC;YAC5C,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YACxB,UAAU,GAAG,GAAG,CAAC;QACrB,CAAC;aAAM,IAAI,kBAAkB,EAAE,CAAC;YAC5B,UAAU,GAAG,cAAc,CAAC;YAC5B,SAAS,GAAG,kDAAkD,cAAc,CAAC,MAAM,aAAa,gBAAgB,CAAC,MAAM,kBAAkB,CAAC;YAC1I,UAAU,GAAG,IAAI,CAAC;QACtB,CAAC;aAAM,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnC,UAAU,GAAG,UAAU,CAAC;YACxB,SAAS,GAAG,uCAAuC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/E,QAAQ,GAAG,sBAAsB,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;YAC3D,UAAU,GAAG,IAAI,CAAC;QACtB,CAAC;aAAM,IAAI,CAAC,aAAa,CAAC,iBAAiB,IAAI,aAAa,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtF,UAAU,GAAG,cAAc,CAAC;YAC5B,SAAS,GAAG,6CAA6C,aAAa,CAAC,eAAe,CAAC,MAAM,uCAAuC,CAAC;YACrI,UAAU,GAAG,GAAG,CAAC;QACrB,CAAC;aAAM,CAAC;YACJ,UAAU,GAAG,aAAa,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;YACzE,SAAS,GAAG,aAAa,CAAC,UAAU,CAAC,MAAM,CAAC;YAC5C,UAAU,GAAG,aAAa,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QACjE,CAAC;QAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;YA+CI;QAGJ,8BAA8B;QAC9B,gDAAgD;QAChD,8BAA8B;QAC9B,IAAI,QAAQ,EAAE,CAAC;YACX,IAAI,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;YACxD,MAAM,cAAc,GAAG,yBAAyB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;YACpE,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACZ,QAAQ,GAAG;oBACP,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE;oBACvB,QAAQ,EAAE,QAAQ;oBAClB,MAAM,EAAE,SAAS;oBACjB,UAAU,EAAE,cAAc;oBAC1B,aAAa,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,SAAS;iBAC/D,CAAC;gBACF,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACtC,CAAC;YACD,IAAI,CAAC,QAAQ,CAAC,UAAU,IAAI,cAAc,EAAE,CAAC;gBACzC,QAAQ,CAAC,UAAU,GAAG,cAAc,CAAC;gBACrC,QAAQ,CAAC,aAAa,GAAG,CAAC,cAAc,CAAC,CAAC;YAC9C,CAAC;YAED,IAAI,UAAU,KAAK,WAAW,EAAE,CAAC;gBAC7B,QAAQ,CAAC,MAAM,GAAG,SAAS,CAAC;gBAC5B,QAAQ,CAAC,SAAS,GAAG,SAAS,CAAC;gBAC/B,QAAQ,CAAC,OAAO,GAAG,SAAS,CAAC;gBAC7B,IAAI,QAAQ,CAAC,MAAM,IAAI,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;oBACzD,OAAQ,QAAQ,CAAC,MAAkC,CAAC,aAAa,CAAC;gBACtE,CAAC;YACL,CAAC;YAED,OAAO,CAAC,IAAI,CAAC,WAAW,GAAG,QAAQ,CAAC;QACxC,CAAC;QAED,8BAA8B;QAC9B,wBAAwB;QACxB,8BAA8B;QAC9B,OAAO,CAAC,QAAQ,CAAC,kBAAkB,GAAG;YAClC,GAAG,SAAS;YACZ,UAAU;YACV,SAAS;YACT,UAAU;YACV,WAAW,EAAE,UAAU,KAAK,cAAc;gBACtC,CAAC,CAAC;oBACE,KAAK,EAAE,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,aAAa,CAAC,eAAe;oBACjF,aAAa,EAAE,gBAAgB;iBAClC;gBACD,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,EAAE;YACvF,OAAO,EAAE,uBAAuB,UAAU,EAAE;SAC/C,CAAC;QAEF,cAAc,CAAC,oBAAoB,EAAE,QAAQ,EAAE;YAC3C,GAAG,0BAA0B,CAAC,OAAO,EAAE;gBACnC,SAAS;gBACT,cAAc;gBACd,cAAc,EAAE,UAAU,KAAK,cAAc,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS;gBAC1E,gBAAgB,EAAE,UAAU,KAAK,cAAc,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,SAAS;gBAC9E,uBAAuB;aAC1B,CAAC;SACL,CAAC,CAAC;IACP,CAAC;CACJ,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,uBAAuB,CAAC","sourcesContent":["/**\n * Chooses the next task-level step from the current deterministic loop state.\n *\n * Why this file exists:\n * - the loop still needs one selector for continue, redo, expand, complete, or give-up\n * - `ProgressState` now owns \"what remains?\" so this file should not rebuild progress itself\n * - this step stays focused on picking the next durable step and logging the reason\n */\nimport type { StructuredContext, Step, FileAnalysis } from \"../types.js\";\nimport { logInputOutput } from \"../utils/promptLogHelper.js\";\nimport { resolveProgressState } from \"./guards/resolveProgressState.js\";\n\nfunction actionAllowed(\n    allowedActions: string[],\n    action: \"continue\" | \"expand-scope\" | \"request-feedback\" | \"complete\" | \"give-up\"\n): boolean {\n    return allowedActions.length === 0 || allowedActions.includes(action);\n}\n\n/**\n * Keeps next-step logs focused on the decision this step made.\n * Example: selected \"continue\" on foo.ts -> log action, reason, target, and current step only.\n */\nfunction buildReasonNextTaskStepLog(\n    context: StructuredContext,\n    extras?: {\n        redoFiles?: string[];\n        remainingFiles?: string[];\n        pendingResearch?: Step;\n        expansionFiles?: string[];\n        expansionQueries?: string[];\n        noScopedFilesDiagnostic?: Record<string, unknown>;\n    }\n): Record<string, unknown> {\n    const iteration = context.analysis?.iterationReasoning;\n    const payload: Record<string, unknown> = {\n        nextAction: iteration?.nextAction,\n        rationale: iteration?.rationale,\n        confidence: iteration?.confidence,\n        currentStep: context.task.currentStep,\n        nextTargets: iteration?.nextTargets,\n    };\n\n    if (!extras) {\n        return payload;\n    }\n\n    if ((extras.redoFiles?.length ?? 0) > 0) {\n        payload.redoFiles = extras.redoFiles;\n    }\n    if ((extras.remainingFiles?.length ?? 0) > 0) {\n        payload.remainingFiles = extras.remainingFiles;\n    }\n    if (extras?.pendingResearch) {\n        payload.pendingResearch = extras.pendingResearch;\n    }\n    if ((extras.expansionFiles?.length ?? 0) > 0) {\n        payload.expansionFiles = extras.expansionFiles;\n    }\n    if ((extras.expansionQueries?.length ?? 0) > 0) {\n        payload.expansionQueries = extras.expansionQueries;\n    }\n    if (extras?.noScopedFilesDiagnostic) {\n        payload.noScopedFilesDiagnostic = extras.noScopedFilesDiagnostic;\n    }\n\n    return payload;\n}\n\nfunction pickQuestionScopedFile(context: StructuredContext, candidates: string[]): string | undefined {\n    if (candidates.length === 0) return undefined;\n    const latest = context.analysis?.recentActionWindow?.latest;\n    if (!latest) return candidates[0];\n\n    if (latest.questionId) {\n        const scopedStep = (context.task.steps ?? []).find(\n            (step) => step.questionId === latest.questionId && candidates.includes(step.filePath)\n        );\n        if (scopedStep?.filePath) {\n            return scopedStep.filePath;\n        }\n    }\n\n    const touched = latest.touchedFiles ?? [];\n    const touchedCandidate = touched.find((filePath) => candidates.includes(filePath));\n    if (touchedCandidate) {\n        return touchedCandidate;\n    }\n\n    return candidates[0];\n}\n\nfunction pickQuestionIdForNextFile(context: StructuredContext, nextFile: string | undefined): string | undefined {\n    if (!nextFile) return undefined;\n    const existing = (context.task.steps ?? []).find((step) => step.filePath === nextFile);\n    if (existing?.questionId) {\n        return existing.questionId;\n    }\n\n    const latestQuestionId = context.analysis?.recentActionWindow?.latest?.questionId;\n    if (latestQuestionId) {\n        return latestQuestionId;\n    }\n\n    const questions = context.analysis?.intent?.questions ?? [];\n    if (questions.length === 1) {\n        return questions[0].id;\n    }\n\n    const matchingQuestion = questions.find((question) =>\n        (question.targetFiles ?? []).some((target) => target === nextFile || nextFile.endsWith(String(target)))\n    );\n    return matchingQuestion?.id;\n}\n\n/**\n * REASON NEXT STEP SELECTION\n *\n * Determines the next non-bridge loop action from the current bounded menu.\n *\n * Why this exists:\n * - bridge actions like run-search/run-verify/seed-* are computed upstream\n * - this step reasons only within the currently allowed task-level action menu\n * - decideNextAction still validates the chosen action against that menu\n *\n * Creates a durable Step if none exists and sets context.task.currentStep.\n */\nexport const reasonNextStepSelection = {\n    name: \"reasonNextTaskStep\",\n    description:\n        \"Reasons over working files and execution artifacts to decide the next task step.\",\n\n    async run(context: StructuredContext): Promise<void> {\n        if (!context.task) {\n            throw new Error(\"reasonNextTaskStep: missing context.task\");\n        }\n\n        context.analysis ||= {};\n        context.execution ||= {};\n        context.task.steps ||= [];\n\n        context.analysis.iterationReasoning ||= {\n            summary: \"\",\n            nextAction: \"continue\",\n            rationale: \"\",\n            confidence: 0.5,\n        };\n        const allowedActions = context.analysis.nextActionMenu?.allowedActions ?? [];\n        const iteration = context.analysis.iterationReasoning;\n        const giveUp = context.analysis.giveUp;\n        const executionPolicy = context.analysis.executionPolicy;\n        const progressState = resolveProgressState(context);\n\n        if (\n            progressState.completion.eligible &&\n            actionAllowed(allowedActions, \"complete\")\n        ) {\n            context.task.status = \"completed\";\n            context.task.currentStep = undefined;\n            context.analysis.iterationReasoning = {\n                ...iteration,\n                nextAction: \"complete\",\n                rationale: progressState.completion.reason,\n                confidence: 0.99,\n                summary: \"Task step decision: complete (objective satisfied)\",\n            };\n            logInputOutput(\"reasonNextTaskStep\", \"output\", buildReasonNextTaskStepLog(context));\n            return;\n        }\n\n        if (giveUp?.status === \"triggered\") {\n            context.task.status = \"gave-up\";\n            context.task.reason = giveUp.rationale;\n            context.task.currentStep = undefined;\n            context.analysis.iterationReasoning = {\n                ...iteration,\n                nextAction: \"give-up\",\n                rationale: giveUp.rationale ?? \"Give-up policy triggered.\",\n                confidence: 0.98,\n                summary: \"Task step decision: give-up\",\n            };\n            logInputOutput(\"reasonNextTaskStep\", \"output\", buildReasonNextTaskStepLog(context));\n            return;\n        }\n\n        // ---------------------------\n        // 1️⃣ Determine intended files (deduplicated)\n        // ---------------------------\n        const plannedExecutionFiles = context.task.steps\n            .filter(step =>\n                !!step.filePath &&\n                !step.filePath.startsWith(\"__research__/\")\n            )\n            .map(step => step.filePath)\n            .filter((filePath, index, all) => all.indexOf(filePath) === index);\n\n        const requiredLaneFiles = Array.from(\n            new Set([\n                ...(executionPolicy?.executionRequired ??\n                    context.analysis.focus?.executionRequired ??\n                    context.analysis.focus?.selectedFiles ??\n                    []),\n                ...(context.workingFiles?.map(f => f.path).filter(Boolean) ?? []),\n            ])\n        );\n        const explorationLaneFiles = Array.from(\n            new Set([\n                ...(executionPolicy?.explorationCandidates ??\n                    context.analysis.focus?.explorationCandidates ??\n                    context.analysis.focus?.candidateFiles ??\n                    []),\n            ])\n        );\n        const intendedFiles = Array.from(new Set([...plannedExecutionFiles, ...requiredLaneFiles]));\n        const noScopedFilesDiagnostic = intendedFiles.length === 0\n            ? {\n                selectedFiles: context.analysis.focus?.selectedFiles ?? [],\n                executionRequired: executionPolicy?.executionRequired ?? [],\n                resolvedTargetFiles:\n                    context.analysis.focus?.resolvedTargetFiles ??\n                    context.analysis.intent?.resolvedTargetFiles ??\n                    [],\n                relatedFiles: context.initContext?.relatedFiles ?? [],\n            }\n            : undefined;\n\n        // ---------------------------\n        // 2️⃣ Transformed and analyzed files\n        // ---------------------------\n        const transformedFiles: string[] =\n            context.execution.codeTransformArtifacts?.files.map(f => f.filePath) ?? [];\n\n        const analyzedFiles: string[] = Object.entries(context.analysis.fileAnalysis ?? {})\n            .filter(([_, fa]) => fa.semanticAnalyzed)\n            .map(([path]) => path);\n\n        const fileAnalysis: Record<string, FileAnalysis> = context.analysis.fileAnalysis ?? {};\n        const steps: Step[] = context.task.steps;\n\n        const pendingResearchStep = steps.find(\n            step =>\n                typeof step.action === \"string\" &&\n                step.action.startsWith(\"research-\") &&\n                step.status !== \"completed\"\n        );\n\n        if (progressState.research.status === \"required\" && pendingResearchStep) {\n            context.task.currentStep = pendingResearchStep;\n            context.analysis.iterationReasoning = {\n                ...iteration,\n                nextAction: \"continue\",\n                rationale: progressState.research.reason,\n                confidence: 0.95,\n                nextTargets: { files: [pendingResearchStep.filePath] },\n                summary: \"Task step decision: continue (research priority)\",\n            };\n\n            logInputOutput(\"reasonNextTaskStep\", \"output\", {\n                ...buildReasonNextTaskStepLog(context, {\n                    pendingResearch: pendingResearchStep,\n                }),\n            });\n            return;\n        }\n\n        // ---------------------------\n        // 3️⃣ Mark analysis-only and transformed files as completed\n        // ---------------------------\n        for (const path of analyzedFiles) {\n            const fa = fileAnalysis[path];\n            const step = steps.find(s => s.filePath === path);\n            if (!step) continue;\n\n            if (fa?.semanticAnalyzed && context.executionControl?.constraints?.allowFileWrites === false) {\n                step.status = \"completed\";\n            }\n            if (transformedFiles.includes(path)) {\n                step.status = \"completed\";\n            }\n        }\n\n        // ---------------------------\n        // 4️⃣ Validation-based redo\n        // ---------------------------\n        const redoFiles = progressState.redoTargets;\n        iteration.redoFiles = redoFiles;\n\n        // ---------------------------\n        // 4.5️⃣ Trail expansion signal\n        // ---------------------------\n        const trail = context.analysis.trail;\n        const expansionRequest = context.analysis.expansionRequest;\n        const trailFrontier = (trail?.frontier ?? [])\n            .filter(candidate => (candidate.confidence ?? 0) >= 0.58)\n            .map(candidate => candidate.filePath)\n            .filter(Boolean);\n        const expansionFiles = Array.from(new Set([\n            ...(expansionRequest?.files ?? []),\n            ...trailFrontier,\n        ]));\n        const expansionQueries = Array.from(new Set([\n            ...(expansionRequest?.queries ?? []),\n            ...(trailFrontier.length > 0 ? (trail?.pendingQueries ?? []) : []),\n        ])).slice(0, 6);\n        const hasExpansionSignal = expansionFiles.length > 0 || expansionQueries.length > 0;\n\n        // ---------------------------\n        // 5️⃣ Task-level reasoning (cross-file)\n        // ---------------------------\n\n        // Instead of deriving remainingFiles from artifacts, use durable step status.\n        const pendingFiles = progressState.requiredTargets.filter(\n            (path) => !progressState.completedTargets.includes(path) && !progressState.redoTargets.includes(path) && !progressState.blockedTargets.includes(path)\n        );\n\n        // ---------------------------\n        // 🛑 Deterministic Completion Gate\n        // ---------------------------\n        const isDeterministicallyComplete = progressState.completion.eligible;\n\n        if (isDeterministicallyComplete) {\n            const shouldRunOptionalExploration =\n                !!executionPolicy?.explorationReady &&\n                !executionPolicy?.executionLock?.enabled &&\n                progressState.optionalTargets.length > 0;\n            if (hasExpansionSignal || shouldRunOptionalExploration) {\n                context.task.currentStep = undefined;\n                context.analysis.iterationReasoning = {\n                    ...iteration,\n                    nextAction: \"expand-scope\",\n                    rationale: hasExpansionSignal\n                        ? `Trail expansion requested (${expansionFiles.length} file(s), ${expansionQueries.length} query term(s)).`\n                        : `Execution lane complete; optional exploration lane has ${explorationLaneFiles.length} candidate file(s).`,\n                    confidence: 0.86,\n                    redoFiles: [],\n                    nextTargets: {\n                        files: hasExpansionSignal ? expansionFiles : progressState.optionalTargets,\n                        searchQueries: expansionQueries,\n                    },\n                    summary: \"Task step decision: expand-scope\",\n                };\n\n                logInputOutput(\"reasonNextTaskStep\", \"output\", {\n                    ...buildReasonNextTaskStepLog(context, {\n                        redoFiles,\n                        expansionFiles,\n                        expansionQueries,\n                        noScopedFilesDiagnostic,\n                    }),\n                });\n\n                return;\n            }\n\n            if (!actionAllowed(allowedActions, \"complete\")) {\n                context.task.currentStep = undefined;\n                context.analysis.iterationReasoning = {\n                    ...iteration,\n                    nextAction: \"continue\",\n                    rationale: \"Deterministic completion is blocked until the current loop bridge runs.\",\n                    confidence: 0.92,\n                    redoFiles: [],\n                    nextTargets: { files: [] },\n                    summary: \"Task step decision: continue (bridge pending)\",\n                };\n\n                logInputOutput(\"reasonNextTaskStep\", \"output\", {\n                    ...buildReasonNextTaskStepLog(context, {\n                        redoFiles,\n                        noScopedFilesDiagnostic,\n                    }),\n                });\n\n                return;\n            }\n\n            // ✅ mark task as completed\n            context.task.status = \"completed\";\n            context.task.currentStep = undefined;\n\n            context.analysis.iterationReasoning = {\n                ...iteration,\n                nextAction: \"complete\",\n                rationale: progressState.completion.reason,\n                confidence: 1.0,\n                redoFiles: [],\n                nextTargets: { files: [] },\n                summary: \"Task step decision: complete\",\n            };\n\n            logInputOutput(\"reasonNextTaskStep\", \"output\", {\n                ...buildReasonNextTaskStepLog(context, {\n                    redoFiles,\n                    noScopedFilesDiagnostic,\n                }),\n            });\n\n            return; // 🔴 HARD EXIT — skip Step 6 and risk reasoning entirely\n        }\n\n        // ---------------------------\n        //  Task-level reasoning (cross-file)\n        // ---------------------------\n        // Remaining work should respect durable step completion state first.\n        // This avoids re-selecting files that were completed via analyze-only fallback.\n        const remainingFiles = pendingFiles.filter((path) => !redoFiles.includes(path));\n\n\n        // ---------------------------\n        //  Decide next step\n        // ---------------------------\n        let nextAction: typeof iteration.nextAction = \"continue\";\n        let rationale = \"\";\n        let confidence = 0.9;\n        let nextFile: string | undefined;\n\n        if (redoFiles.length > 0) {\n            nextAction = \"redo-step\";\n            rationale = progressState.completion.reason;\n            nextFile = redoFiles[0];\n            confidence = 0.7;\n        } else if (hasExpansionSignal) {\n            nextAction = \"expand-scope\";\n            rationale = `Trail expansion requested from prior research (${expansionFiles.length} file(s), ${expansionQueries.length} query term(s)).`;\n            confidence = 0.86;\n        } else if (remainingFiles.length > 0) {\n            nextAction = \"continue\";\n            rationale = `Required targets remain unresolved: ${remainingFiles.join(\", \")}`;\n            nextFile = pickQuestionScopedFile(context, remainingFiles);\n            confidence = 0.95;\n        } else if (!progressState.evidenceSatisfied && progressState.optionalTargets.length > 0) {\n            nextAction = \"expand-scope\";\n            rationale = `Need grounded evidence before completion; ${progressState.optionalTargets.length} candidate file(s) remain to explore.`;\n            confidence = 0.9;\n        } else {\n            nextAction = progressState.completion.eligible ? \"complete\" : \"continue\";\n            rationale = progressState.completion.reason;\n            confidence = progressState.completion.eligible ? 0.98 : 0.86;\n        }\n\n        /* // ---------------------------\n        // 6.5️⃣ Optional: Reason over known risks\n        // ---------------------------\n        const knownRisks = context.analysis.understanding?.risks ?? [];\n\n        if (knownRisks.length > 0) {\n            // Optionally call the LLM with constrained instructions\n            const riskPrompt = `\nYou are given the following KNOWN RISKS (authoritative, do not invent new ones):\n${knownRisks.map(r => \"- \" + r).join(\"\\n\")}\n\nTask:\n- Decide whether it is reasonable to ask the user for clarification before proceeding.\n- Return STRICT JSON: { askUser: true|false, rationale: string }\n`;\n\n            try {\n                const aiResponse = await generate({\n                    query: context.initContext?.userQuery ?? \"\",\n                    content: riskPrompt\n                });\n\n                const cleaned = await cleanupModule.run({\n                    query: context.initContext?.userQuery ?? \"\",\n                    content: aiResponse.data ?? \"\"\n                });\n\n                const parsed = cleaned.data;\n\n                // type guard\n                if (\n                    parsed &&\n                    typeof parsed === \"object\" &&\n                    \"askUser\" in parsed &&\n                    \"rationale\" in parsed &&\n                    typeof (parsed as { rationale?: unknown }).rationale === \"string\"\n                ) {\n                    if ((parsed as { askUser: boolean }).askUser) {\n                        nextAction = \"request-feedback\";\n                        rationale += `\\nUser clarification recommended due to known risks: ${(parsed as { rationale: string }).rationale}`;\n                        confidence = Math.min(confidence, 0.8); // slightly lower because human needed\n                    }\n                }\n            } catch (err) {\n                console.warn(\"[reasonNextTaskStep] Risk reasoning failed\", err);\n                // fallback: ignore, keep deterministic nextAction\n            }\n        } */\n\n\n        // ---------------------------\n        // 7️⃣ Ensure a durable Step exists for nextFile\n        // ---------------------------\n        if (nextFile) {\n            let nextStep = steps.find(s => s.filePath === nextFile);\n            const nextQuestionId = pickQuestionIdForNextFile(context, nextFile);\n            if (!nextStep) {\n                nextStep = {\n                    taskId: context.task.id,\n                    filePath: nextFile,\n                    status: \"pending\",\n                    questionId: nextQuestionId,\n                    stepQuestions: nextQuestionId ? [nextQuestionId] : undefined,\n                };\n                context.task.steps.push(nextStep);\n            }\n            if (!nextStep.questionId && nextQuestionId) {\n                nextStep.questionId = nextQuestionId;\n                nextStep.stepQuestions = [nextQuestionId];\n            }\n\n            if (nextAction === \"redo-step\") {\n                nextStep.status = \"pending\";\n                nextStep.startTime = undefined;\n                nextStep.endTime = undefined;\n                if (nextStep.result && typeof nextStep.result === \"object\") {\n                    delete (nextStep.result as Record<string, unknown>).stepReasoning;\n                }\n            }\n\n            context.task.currentStep = nextStep;\n        }\n\n        // ---------------------------\n        // 8️⃣ Persist reasoning\n        // ---------------------------\n        context.analysis.iterationReasoning = {\n            ...iteration,\n            nextAction,\n            rationale,\n            confidence,\n            nextTargets: nextAction === \"expand-scope\"\n                ? {\n                    files: expansionFiles.length > 0 ? expansionFiles : progressState.optionalTargets,\n                    searchQueries: expansionQueries,\n                }\n                : { files: Array.from(new Set(redoFiles.length > 0 ? redoFiles : remainingFiles)) },\n            summary: `Task step decision: ${nextAction}`,\n        };\n\n        logInputOutput(\"reasonNextTaskStep\", \"output\", {\n            ...buildReasonNextTaskStepLog(context, {\n                redoFiles,\n                remainingFiles,\n                expansionFiles: nextAction === \"expand-scope\" ? expansionFiles : undefined,\n                expansionQueries: nextAction === \"expand-scope\" ? expansionQueries : undefined,\n                noScopedFilesDiagnostic,\n            }),\n        });\n    },\n};\n\nexport const reasonNextTaskStep = reasonNextStepSelection;\n"]}