micro-models-agent 0.43.1 → 0.43.3

package/dist/main.js

@@ -2358,7 +2358,9 @@ var init_en = __esm(() => {
     "file.is_directory": "Is a directory, use rmdir: {path}",
     "file.replaced_in": "Replaced in {path}",
     "file.string_not_found": `String not found in file:
-{str}`,
+{str}
+
+Use read_file on {path} to see the current content before editing — the target may differ (whitespace, line endings) or was already replaced.`,
     "file.moved": "Moved {from} → {to}",
     "file.not_found_short": "Not found: {path}",
     "file.notfound_resolved": "File not found: {path} (resolved to {resolved})",
@@ -2540,6 +2542,9 @@ Command: {command}`,
     "plan.kinds_invalid": 'Invalid step kind(s): {kinds}. Use "create" or "delete".',
     "plan.kinds_not_array": 'kinds must be an array of "create" or "delete"',
     "plan.deliverables_remain": "Cannot mark step {step} done: the files it names still exist: {files}. This step is kind=delete — delete these files first (or set status=skipped if they should stay).",
+    "plan.typecheck_failed": `Cannot mark step {step} done: the last check still reports a compile error:
+{error}
+Fix the error and re-edit the file (a clean write clears the failure), or mark the step status=skipped if it is not needed.`,
     "plan.show_header": "Plan status:",
     "plan.show_empty": "(plan has no steps)",
     "plan.list_header": "Plans:",
@@ -2575,6 +2580,7 @@ Command: {command}`,
     "verify.script_passed": "Script '{script}' passed",
     "verify.script_failed": "Script '{script}' failed: {message}",
     "verify.syntax_error": "Syntax error in: {path}",
+    "verify.file_still_exists": "File should be deleted but still exists: {path}",
     "verify.no_files": "Step {step} has no named files to verify — run a real check instead (bash: bun run build / bun test / lsp_check) and confirm the result.",
     "lsp.unavailable": "static checks are unavailable (server not found). Verify via the project's own build/test instead.",
     "lsp.check_disabled": "LSP checks are disabled in the config.",
@@ -3012,7 +3018,9 @@ var init_ru = __esm(() => {
     "file.is_directory": "Это каталог, используйте rmdir: {path}",
     "file.replaced_in": "Заменено в {path}",
     "file.string_not_found": `Строка не найдена в файле:
-{str}`,
+{str}
+
+Используй read_file для {path}, чтобы увидеть текущее содержимое файла перед редактированием — искомая строка может отличаться (пробелы, переводы строк) или уже была заменена.`,
     "file.moved": "Перемещён {from} → {to}",
     "file.not_found_short": "Не найдено: {path}",
     "file.empty": "(пусто)",
@@ -3192,6 +3200,9 @@ var init_ru = __esm(() => {
     "plan.kinds_invalid": 'Недопустимый kind шага: {kinds}. Используй "create" или "delete".',
     "plan.kinds_not_array": 'kinds должен быть массивом значений "create" или "delete"',
     "plan.deliverables_remain": "Нельзя пометить шаг {step} как выполненный: указанные файлы всё ещё существуют: {files}. Шаг имеет kind=delete — сначала удали их (или поставь status=skipped, если они должны остаться).",
+    "plan.typecheck_failed": `Нельзя отметить шаг {step} выполненным: последняя проверка всё ещё сообщает об ошибке компиляции:
+{error}
+Исправь ошибку и снова отредактируй файл (чистая запись снимает блокировку), либо отметь шаг status=skipped, если он не нужен.`,
     "plan.show_header": "Статус плана:",
     "plan.show_empty": "(в плане нет шагов)",
     "plan.list_header": "Планы:",
@@ -3227,6 +3238,7 @@ var init_ru = __esm(() => {
     "verify.script_passed": "Скрипт '{script}' пройден",
     "verify.script_failed": "Скрипт '{script}' не пройден: {message}",
     "verify.syntax_error": "Синтаксическая ошибка в: {path}",
+    "verify.file_still_exists": "Файл должен быть удалён, но всё ещё существует: {path}",
     "verify.no_files": "Шаг {step} не содержит именованных файлов для проверки — выполни реальную проверку (bun run build / bun test / lsp_check) и подтверди результат.",
     "lsp.unavailable": "статические проверки недоступны (сервер не найден). Проверяйте через собственный build/test проекта.",
     "lsp.check_disabled": "LSP-проверки отключены в конфигурации.",
@@ -6764,7 +6776,7 @@ var init_edit_file = __esm(() => {
       if (!content.includes(oldStr)) {
         return {
           success: false,
-          output: t("file.string_not_found", { str: oldStr })
+          output: t("file.string_not_found", { str: oldStr, path })
         };
       }
       const updated = content.replace(oldStr, newStr);
@@ -9660,6 +9672,9 @@ class StuckDetector {
     this.consecutiveFailures = 0;
     this.lastFailedTool = "";
     this.escalationCount = 0;
+    if (this.iterationsOnCurrentStep > 0) {
+      this.iterationsOnCurrentStep = Math.max(0, this.iterationsOnCurrentStep - 1);
+    }
   }
   setCurrentStep(stepId, description) {
     if (stepId !== this.currentStepId) {
@@ -11051,7 +11066,7 @@ class StepVerifier {
       details
     };
   }
-  async verifyStep(stepDescription) {
+  async verifyStep(stepDescription, kind) {
     const fileMatches = extractFileLikeTokens(stripUrls(stepDescription));
     if (fileMatches.length === 0) {
       return { passed: false, syntaxValid: true, failed: [], noFiles: true };
@@ -11060,7 +11075,15 @@ class StepVerifier {
     let syntaxValid = true;
     for (const filePath of fileMatches) {
       const resolved = findExistingFile(this.baseDir, filePath);
-      if (!resolved) {
+      const exists = !!resolved;
+      if (kind === "delete") {
+        results.push({
+          passed: !exists,
+          message: exists ? t("verify.file_still_exists", { path: filePath }) : t("verify.file_not_found", { path: filePath })
+        });
+        continue;
+      }
+      if (!exists) {
         results.push({ passed: false, message: t("verify.file_not_found", { path: filePath }) });
         continue;
       }
@@ -17402,6 +17425,317 @@ var init_plan_coverage = __esm(() => {
   ]);
 });
 
+// src/modules/execution/windows-commands.ts
+function firstWord(command) {
+  const segs = command.trim().split(/[\s;|&]+/);
+  return (segs[0] || "").replace(/[^\w-]/g, "").toLowerCase();
+}
+function forbiddenWindowsCommand(command) {
+  const m = command.match(/^\s*cd\s+\S+\s*&&\s*(\S+)/);
+  if (m)
+    return forbiddenWindowsCommand(m[1]);
+  const word = firstWord(command);
+  if (word && FORBIDDEN_COMMANDS.has(word))
+    return word;
+  return null;
+}
+var FORBIDDEN_COMMANDS;
+var init_windows_commands = __esm(() => {
+  FORBIDDEN_COMMANDS = new Set([
+    "grep",
+    "sed",
+    "ls",
+    "find",
+    "rm",
+    "touch",
+    "which",
+    "diff",
+    "cp",
+    "mv"
+  ]);
+});
+
+// src/modules/execution/execution-plugin.ts
+import { platform as platform6 } from "os";
+function normalizeBrokenPath(p) {
+  return p.replace(/\\/g, "/").replace(/^\.\//, "");
+}
+function parseBrokenFile(line) {
+  const trimmed = line.trim();
+  const tsc = /^(.+?)\s*\(\d+,\d+\)\s*:\s*error TS\d+/.exec(trimmed);
+  if (tsc)
+    return normalizeBrokenPath(tsc[1]);
+  const bn = /^(.+?):\d+:\d+\s*:\s*(?:error|SyntaxError)/.exec(trimmed);
+  if (bn)
+    return normalizeBrokenPath(bn[1]);
+  return null;
+}
+function extractBrokenFiles(output) {
+  const out = [];
+  for (const line of output.split(`
+`)) {
+    const marker = /\[(?:Project typecheck failed|Syntax check failed)\]:\s*(.+)$/.exec(line);
+    if (!marker)
+      continue;
+    const errLine = marker[1].trim();
+    out.push({ file: parseBrokenFile(errLine) ?? "", error: errLine.slice(0, 300) });
+  }
+  return out;
+}
+function stepTypecheckGate(failures, stepDescription) {
+  if (failures.size === 0)
+    return null;
+  const projectError = failures.get("");
+  if (projectError)
+    return projectError;
+  const stepTokens = extractFileLikeTokens(stripUrls(stepDescription)).map((p) => normalizeBrokenPath(p).toLowerCase());
+  if (stepTokens.length === 0)
+    return null;
+  for (const [file, err] of failures) {
+    const f = normalizeBrokenPath(file).toLowerCase();
+    if (stepTokens.some((tok) => f.endsWith(tok) || tok.endsWith(f)))
+      return err;
+  }
+  return null;
+}
+function createExecutionPlugin(deps) {
+  return {
+    name: "execution",
+    onBeforeThink: (ctx) => {
+      if (ctx.contextManager && deps.pendingMessages.length > 0) {
+        for (const m of deps.pendingMessages.splice(0)) {
+          ctx.contextManager.addMessage(m);
+        }
+      }
+      if (deps.trackerRef.current?.isComplete()) {
+        deps.stuckDetector.resetStepProgress();
+        deps.state.consecutivePlanWarnings = 0;
+        deps.state.lastStepId = -1;
+        deps.state.stuckNotified = false;
+        deps.state.mutationsWithoutPlan = 0;
+        deps.state.planNudgeSent = false;
+      } else {
+        const step = deps.trackerRef.current?.getCurrentStep();
+        if (deps.trackerRef.current && step) {
+          if (step.id !== deps.state.lastStepId) {
+            deps.state.consecutivePlanWarnings = 0;
+            deps.state.lastStepId = step.id;
+            deps.state.stuckNotified = false;
+          }
+          deps.stuckDetector.setCurrentStep(step.id, step.description);
+          deps.stuckDetector.recordIteration(step.id);
+          deps.state.mutationsWithoutPlan = 0;
+          deps.state.planNudgeSent = false;
+        } else {
+          deps.stuckDetector.reset();
+          deps.state.consecutivePlanWarnings = 0;
+          deps.state.lastStepId = -1;
+          deps.state.stuckNotified = false;
+          const mutations = deps.state.mutationsWithoutPlan;
+          if (mutations >= PLAN_NUDGE_THRESHOLD && !deps.state.planNudgeSent && ctx.contextManager) {
+            deps.state.planNudgeSent = true;
+            ctx.contextManager.addMessage({
+              role: "user",
+              content: `<system-summary>${t("exec.plan_nudge", {
+                count: String(mutations)
+              })}</system-summary>`
+            });
+          }
+        }
+      }
+      const stuckReason = deps.stuckDetector.getStuckReason();
+      if (stuckReason) {
+        const logIt = deps.stuckDetector.isStuck() ? !deps.state.stuckNotified : true;
+        if (logIt) {
+          ctx.logger?.warn(stuckReason);
+          ctx.sessionLog?.plan("stuck-warning", stuckReason, typeof ctx.iteration === "number" ? ctx.iteration : undefined);
+          if (deps.stuckDetector.isStuck())
+            deps.state.stuckNotified = true;
+        }
+      }
+      if (deps.stuckDetector.isStuck() || deps.stuckDetector.hasRepetitiveToolCalls() || deps.stuckDetector.hasReadOnlyLoop()) {
+        const currentIter = typeof ctx.iteration === "number" ? ctx.iteration : 0;
+        if (currentIter - deps.state.lastRecoveryIteration >= STUCK_RECOVERY_COOLDOWN) {
+          const recovery = deps.stuckDetector.getRecoveryMessage();
+          if (recovery && ctx.contextManager) {
+            let tscContext = "";
+            if (deps.state.typecheckFailures.size > 0) {
+              const currentStep = deps.trackerRef.current?.getCurrentStep();
+              if (currentStep) {
+                const stepFiles = extractFileLikeTokens(stripUrls(currentStep.description));
+                for (const [file, error] of deps.state.typecheckFailures) {
+                  if (!file || stepFiles.some((f) => file.endsWith(f) || f.endsWith(file))) {
+                    tscContext = `
+Last compile error: ${error}`;
+                    break;
+                  }
+                }
+                if (!tscContext) {
+                  const first = deps.state.typecheckFailures.entries().next().value;
+                  if (first)
+                    tscContext = `
+Last compile error: ${first[1]}`;
+                }
+              }
+            }
+            ctx.contextManager.addMessage({
+              role: "user",
+              content: `<system-summary>${recovery}${tscContext}</system-summary>`
+            });
+          }
+          deps.stuckDetector.recordEscalation();
+          deps.state.lastRecoveryIteration = currentIter;
+          if (deps.stuckDetector.shouldEscalate() && ctx.onMeta) {
+            const escalation = t("exec.escalation", {
+              stepId: String(deps.trackerRef.current?.getCurrentStep()?.id ?? "?"),
+              description: deps.trackerRef.current?.getCurrentStep()?.description ?? ""
+            });
+            ctx.onMeta(escalation);
+          }
+          if (deps.stuckDetector.getIterationsOnCurrentStep() >= FORCE_SKIP_THRESHOLD && ctx.contextManager) {
+            const step = deps.trackerRef.current?.getCurrentStep();
+            ctx.contextManager.addMessage({
+              role: "user",
+              content: `<system-summary>STOP. Step ${step?.id ?? "?"} ("${step?.description ?? ""}") took ${deps.stuckDetector.getIterationsOnCurrentStep()} iterations with no progress. DO NOT continue this step. Immediately call: plan update step=${step?.id ?? "?"} status=done (if code works despite warnings) OR plan update step=${step?.id ?? "?"} status=skipped note="reason". Do NOT make any other tool calls before updating the plan.</system-summary>`
+            });
+          }
+        }
+      }
+    },
+    onBeforeTool: (_ctx, call) => {
+      const warning = deps.checkPlanAlignment(call);
+      if (warning) {
+        deps.pendingMessages.push({
+          role: "user",
+          content: `<system-summary>${warning}</system-summary>`
+        });
+        deps.state.consecutivePlanWarnings++;
+        if (deps.state.consecutivePlanWarnings >= MAX_PLAN_WARNINGS_BEFORE_BLOCK) {
+          deps.pendingMessages.push({
+            role: "user",
+            content: `<system-summary>${t("exec.plan_blocked", { step: String(deps.trackerRef.current?.getCurrentStep()?.id ?? "?"), max: MAX_PLAN_WARNINGS_BEFORE_BLOCK })}</system-summary>`
+          });
+          return t("exec.plan_blocked", {
+            step: String(deps.trackerRef.current?.getCurrentStep()?.id ?? "?"),
+            max: MAX_PLAN_WARNINGS_BEFORE_BLOCK
+          });
+        }
+      } else {
+        deps.state.consecutivePlanWarnings = 0;
+      }
+      return true;
+    },
+    onToolCall: (ctx) => {
+      const toolName = ctx?.toolName;
+      const args = ctx?.args;
+      if (toolName && args) {
+        deps.stuckDetector.recordToolCall(toolName, args);
+        if (!deps.trackerRef.current && (toolName === "write_file" || toolName === "edit_file" || toolName === "bash" || toolName === "download_file")) {
+          deps.state.mutationsWithoutPlan++;
+        }
+      }
+    },
+    onAfterTool: (ctx, call, result) => {
+      if (call.name === "bash") {
+        deps.stuckDetector.recordBashOutput(String(call.arguments?.command ?? ""), String(result.output ?? ""));
+      }
+      if (call.name === "delete_file" && result.success && deps.trackerRef.current) {
+        const deletedPath = String(call.arguments?.path ?? "");
+        if (deletedPath) {
+          const plan = deps.trackerRef.current.getPlan();
+          const tokens = extractFileLikeTokens(stripUrls(deletedPath));
+          for (const step of plan.steps) {
+            if (step.status !== "pending" && step.status !== "in_progress")
+              continue;
+            const stepTokens = extractFileLikeTokens(stripUrls(step.description));
+            const overlap = tokens.some((t2) => stepTokens.some((st) => t2.endsWith(st) || st.endsWith(t2)));
+            if (overlap && step.kind !== "delete") {
+              step.kind = "delete";
+              deps.store.saveActive(plan);
+              break;
+            }
+          }
+        }
+      }
+      const toolText = String(result.output ?? "");
+      const hasTypeError = /error TS\d+|\[Project typecheck failed\]|\[Syntax check failed\]/.test(toolText);
+      if (hasTypeError) {
+        deps.stuckDetector.recordToolError(call.name, toolText.slice(0, 300));
+      }
+      if (call.name === "write_file" || call.name === "edit_file") {
+        const broken = extractBrokenFiles(toolText);
+        if (broken.length > 0) {
+          for (const b of broken)
+            deps.state.typecheckFailures.set(b.file, b.error);
+        } else if (result.success) {
+          deps.state.typecheckFailures.clear();
+        }
+      }
+      if (!result.success) {
+        if (call.name === "bash" && platform6() === "win32") {
+          const cmd = String(call.arguments?.command ?? "");
+          const forbidden = forbiddenWindowsCommand(cmd);
+          if (forbidden) {
+            const n = (deps.forbiddenBashFailures.get(forbidden) || 0) + 1;
+            deps.forbiddenBashFailures.set(forbidden, n);
+            if (n === 2) {
+              deps.pendingMessages.push({
+                role: "user",
+                content: `<system-summary>${t("exec.forbidden_cmd", { cmd: forbidden })}</system-summary>`
+              });
+            }
+          }
+        }
+        if (!hasTypeError) {
+          deps.stuckDetector.recordToolError(call.name, result.output);
+        }
+      } else {
+        deps.stuckDetector.recordToolSuccess();
+        if (call.name === "bash" && result.success) {
+          const cmd = String(call.arguments?.command ?? "");
+          const testRun = detectTestResults(String(result.output ?? ""));
+          if (testRun && testRun.failed > 0) {
+            deps.pendingMessages.push({
+              role: "user",
+              content: `<system-summary>${testRun.framework} reported ${testRun.failed} FAILING test(s) (${testRun.passed} passing). Do NOT mark the current step as done — fix the failing tests (read the failure output, correct the code) and re-run them until all pass.</system-summary>`
+            });
+          } else if (testRun && testRun.failed === 0 && testRun.passed > 0) {
+            deps.pendingMessages.push({
+              role: "user",
+              content: `<system-summary>${testRun.framework}: all ${testRun.passed} test(s) passed for "${cmd}". You may mark the current step as done via plan update step=N status=done.</system-summary>`
+            });
+          }
+        }
+      }
+      if (result.success && (call.name === "write_file" || call.name === "edit_file")) {
+        const filePath = call.arguments?.path;
+        if (filePath) {
+          deps.stuckDetector.recordFileRewrite(filePath);
+          if (deps.stuckDetector.hasExcessiveRewrites()) {
+            const file = deps.stuckDetector.getExcessiveRewriteFile();
+            const count = deps.stuckDetector.getFileRewriteCount(file);
+            if (ctx.onMeta) {
+              ctx.onMeta(t("exec.file_rewrite_warning", {
+                file,
+                count: String(count)
+              }));
+            }
+          }
+        }
+        deps.advancePlanIfStepComplete(ctx.contextManager, ctx.sessionLog);
+      }
+      deps.maybeSearchError(ctx, call);
+    }
+  };
+}
+var STUCK_RECOVERY_COOLDOWN = 5, MAX_PLAN_WARNINGS_BEFORE_BLOCK = 3, FORCE_SKIP_THRESHOLD = 10, PLAN_NUDGE_THRESHOLD = 2;
+var init_execution_plugin = __esm(() => {
+  init_i18n();
+  init_bash();
+  init_windows_commands();
+  init_js_identifiers();
+});
+
 // src/modules/execution/plan-tool.ts
 function createPlanToolDefinitions(deps) {
   return [
@@ -17708,6 +18042,18 @@ ${progress2}`,
               }
             }
           }
+          if (status === "done") {
+            const blocked = stepTypecheckGate(deps.typecheckFailures, target.description);
+            if (blocked) {
+              return {
+                success: false,
+                output: t("plan.typecheck_failed", {
+                  step: String(stepId),
+                  error: blocked
+                })
+              };
+            }
+          }
           tracker.updateStepStatus(stepId, status);
           if (args.note)
             tracker.addNote(Number(args.step), String(args.note));
@@ -17951,7 +18297,7 @@ ${lines.join(`
         const step = args.step ? tracker.getStep(Number(args.step)) : tracker.getCurrentStep();
         if (!step)
           return { success: false, output: t("plan.step_not_found") };
-        const result = await deps.verifier.verifyStep(step.description);
+        const result = await deps.verifier.verifyStep(step.description, step.kind);
         if (result.noFiles) {
           return {
             success: true,
@@ -17971,267 +18317,7 @@ ${lines.join(`
 var init_plan_tool = __esm(() => {
   init_i18n();
   init_plan_coverage();
-});
-
-// src/modules/execution/windows-commands.ts
-function firstWord(command) {
-  const segs = command.trim().split(/[\s;|&]+/);
-  return (segs[0] || "").replace(/[^\w-]/g, "").toLowerCase();
-}
-function forbiddenWindowsCommand(command) {
-  const m = command.match(/^\s*cd\s+\S+\s*&&\s*(\S+)/);
-  if (m)
-    return forbiddenWindowsCommand(m[1]);
-  const word = firstWord(command);
-  if (word && FORBIDDEN_COMMANDS.has(word))
-    return word;
-  return null;
-}
-var FORBIDDEN_COMMANDS;
-var init_windows_commands = __esm(() => {
-  FORBIDDEN_COMMANDS = new Set([
-    "grep",
-    "sed",
-    "ls",
-    "find",
-    "rm",
-    "touch",
-    "which",
-    "diff",
-    "cp",
-    "mv"
-  ]);
-});
-
-// src/modules/execution/execution-plugin.ts
-import { platform as platform6 } from "os";
-function createExecutionPlugin(deps) {
-  return {
-    name: "execution",
-    onBeforeThink: (ctx) => {
-      if (ctx.contextManager && deps.pendingMessages.length > 0) {
-        for (const m of deps.pendingMessages.splice(0)) {
-          ctx.contextManager.addMessage(m);
-        }
-      }
-      if (deps.trackerRef.current?.isComplete()) {
-        deps.stuckDetector.resetStepProgress();
-        deps.state.consecutivePlanWarnings = 0;
-        deps.state.lastStepId = -1;
-        deps.state.stuckNotified = false;
-        deps.state.mutationsWithoutPlan = 0;
-        deps.state.planNudgeSent = false;
-      } else {
-        const step = deps.trackerRef.current?.getCurrentStep();
-        if (deps.trackerRef.current && step) {
-          if (step.id !== deps.state.lastStepId) {
-            deps.state.consecutivePlanWarnings = 0;
-            deps.state.lastStepId = step.id;
-            deps.state.stuckNotified = false;
-          }
-          deps.stuckDetector.setCurrentStep(step.id, step.description);
-          deps.stuckDetector.recordIteration(step.id);
-          deps.state.mutationsWithoutPlan = 0;
-          deps.state.planNudgeSent = false;
-        } else {
-          deps.stuckDetector.reset();
-          deps.state.consecutivePlanWarnings = 0;
-          deps.state.lastStepId = -1;
-          deps.state.stuckNotified = false;
-          const mutations = deps.state.mutationsWithoutPlan;
-          if (mutations >= PLAN_NUDGE_THRESHOLD && !deps.state.planNudgeSent && ctx.contextManager) {
-            deps.state.planNudgeSent = true;
-            ctx.contextManager.addMessage({
-              role: "user",
-              content: `<system-summary>${t("exec.plan_nudge", {
-                count: String(mutations)
-              })}</system-summary>`
-            });
-          }
-        }
-      }
-      const stuckReason = deps.stuckDetector.getStuckReason();
-      if (stuckReason) {
-        const logIt = deps.stuckDetector.isStuck() ? !deps.state.stuckNotified : true;
-        if (logIt) {
-          ctx.logger?.warn(stuckReason);
-          ctx.sessionLog?.plan("stuck-warning", stuckReason, typeof ctx.iteration === "number" ? ctx.iteration : undefined);
-          if (deps.stuckDetector.isStuck())
-            deps.state.stuckNotified = true;
-        }
-      }
-      if (deps.stuckDetector.isStuck() || deps.stuckDetector.hasRepetitiveToolCalls() || deps.stuckDetector.hasReadOnlyLoop()) {
-        const currentIter = typeof ctx.iteration === "number" ? ctx.iteration : 0;
-        if (currentIter - deps.state.lastRecoveryIteration >= STUCK_RECOVERY_COOLDOWN) {
-          const recovery = deps.stuckDetector.getRecoveryMessage();
-          if (recovery && ctx.contextManager) {
-            const lastError = deps.stuckDetector.getLastErrorOutput();
-            const skillHint = lastError ? `
-If you have relevant skills available, consider loading one with load_skill for expert guidance.` : "";
-            const actionableHints = deps.stuckDetector.getActionableHints();
-            const actionableHintStr = actionableHints.length > 0 ? `
-${t("exec.hints", { hints: actionableHints.map((h) => `- ${h}`).join(`
-`) })}` : "";
-            const alternative = deps.stuckDetector.getToolAlternative();
-            const altHint = alternative ? `
-Tool "${deps.stuckDetector.getLastFailedTool()}" is failing. Try "${alternative}" instead.` : "";
-            ctx.contextManager.addMessage({
-              role: "user",
-              content: `<system-summary>${recovery}${skillHint}${actionableHintStr}${altHint}</system-summary>`
-            });
-          }
-          const hints = deps.stuckDetector.getHints();
-          if (hints.length > 0 && ctx.contextManager) {
-            const hintMsg = t("exec.hints", {
-              hints: hints.map((h) => `- ${h}`).join(`
-`)
-            });
-            ctx.contextManager.addMessage({
-              role: "user",
-              content: `<system-summary>${hintMsg}</system-summary>`
-            });
-          }
-          deps.stuckDetector.recordEscalation();
-          deps.state.lastRecoveryIteration = currentIter;
-          if (deps.stuckDetector.shouldEscalate() && ctx.onMeta) {
-            const escalation = t("exec.escalation", {
-              stepId: String(deps.trackerRef.current?.getCurrentStep()?.id ?? "?"),
-              description: deps.trackerRef.current?.getCurrentStep()?.description ?? ""
-            });
-            ctx.onMeta(escalation);
-          }
-          if (deps.stuckDetector.getIterationsOnCurrentStep() >= FORCE_SKIP_THRESHOLD && ctx.contextManager) {
-            const step = deps.trackerRef.current?.getCurrentStep();
-            ctx.contextManager.addMessage({
-              role: "user",
-              content: `<system-summary>STOP. Step ${step?.id ?? "?"} ("${step?.description ?? ""}") took ${deps.stuckDetector.getIterationsOnCurrentStep()} iterations with no progress. DO NOT continue this step. Immediately call: plan update step=${step?.id ?? "?"} status=done (if code works despite warnings) OR plan update step=${step?.id ?? "?"} status=skipped note="reason". Do NOT make any other tool calls before updating the plan.</system-summary>`
-            });
-          }
-        }
-      }
-    },
-    onBeforeTool: (_ctx, call) => {
-      const warning = deps.checkPlanAlignment(call);
-      if (warning) {
-        deps.pendingMessages.push({
-          role: "user",
-          content: `<system-summary>${warning}</system-summary>`
-        });
-        deps.state.consecutivePlanWarnings++;
-        if (deps.state.consecutivePlanWarnings >= MAX_PLAN_WARNINGS_BEFORE_BLOCK) {
-          deps.pendingMessages.push({
-            role: "user",
-            content: `<system-summary>${t("exec.plan_blocked", { step: String(deps.trackerRef.current?.getCurrentStep()?.id ?? "?"), max: MAX_PLAN_WARNINGS_BEFORE_BLOCK })}</system-summary>`
-          });
-          return t("exec.plan_blocked", {
-            step: String(deps.trackerRef.current?.getCurrentStep()?.id ?? "?"),
-            max: MAX_PLAN_WARNINGS_BEFORE_BLOCK
-          });
-        }
-      } else {
-        deps.state.consecutivePlanWarnings = 0;
-      }
-      return true;
-    },
-    onToolCall: (ctx) => {
-      const toolName = ctx?.toolName;
-      const args = ctx?.args;
-      if (toolName && args) {
-        deps.stuckDetector.recordToolCall(toolName, args);
-        if (!deps.trackerRef.current && (toolName === "write_file" || toolName === "edit_file" || toolName === "bash" || toolName === "download_file")) {
-          deps.state.mutationsWithoutPlan++;
-        }
-      }
-    },
-    onAfterTool: (ctx, call, result) => {
-      if (call.name === "bash") {
-        deps.stuckDetector.recordBashOutput(String(call.arguments?.command ?? ""), String(result.output ?? ""));
-      }
-      const toolText = String(result.output ?? "");
-      const hasTypeError = /error TS\d+|\[Project typecheck failed\]|\[Syntax check failed\]/.test(toolText);
-      if (hasTypeError) {
-        deps.stuckDetector.recordToolError(call.name, toolText.slice(0, 300));
-      }
-      if (!result.success) {
-        if (call.name === "bash" && platform6() === "win32") {
-          const cmd = String(call.arguments?.command ?? "");
-          const forbidden = forbiddenWindowsCommand(cmd);
-          if (forbidden) {
-            const n = (deps.forbiddenBashFailures.get(forbidden) || 0) + 1;
-            deps.forbiddenBashFailures.set(forbidden, n);
-            if (n === 2) {
-              deps.pendingMessages.push({
-                role: "user",
-                content: `<system-summary>${t("exec.forbidden_cmd", { cmd: forbidden })}</system-summary>`
-              });
-            }
-          }
-        }
-        if (!hasTypeError) {
-          deps.stuckDetector.recordToolError(call.name, result.output);
-        }
-        const actionableHints = deps.stuckDetector.getActionableHints();
-        const alternative = deps.stuckDetector.getToolAlternative();
-        if (actionableHints.length > 0 || alternative) {
-          const parts = [...actionableHints];
-          if (alternative) {
-            parts.push(`Tool "${call.name}" crashed. Try "${alternative}" instead.`);
-          }
-          deps.pendingMessages.push({
-            role: "user",
-            content: `<system-summary>${t("exec.hints", { hints: parts.map((h) => `- ${h}`).join(`
-`) })}</system-summary>`
-          });
-        }
-      } else {
-        deps.stuckDetector.recordToolSuccess();
-        if (call.name === "bash" && result.success) {
-          const cmd = String(call.arguments?.command ?? "");
-          const testRun = detectTestResults(String(result.output ?? ""));
-          if (testRun && testRun.failed > 0) {
-            deps.pendingMessages.push({
-              role: "user",
-              content: `<system-summary>${testRun.framework} reported ${testRun.failed} FAILING test(s) (${testRun.passed} passing). Do NOT mark the current step as done — fix the failing tests (read the failure output, correct the code) and re-run them until all pass.</system-summary>`
-            });
-          } else if (testRun && testRun.failed === 0 && testRun.passed > 0) {
-            deps.pendingMessages.push({
-              role: "user",
-              content: `<system-summary>${testRun.framework}: all ${testRun.passed} test(s) passed for "${cmd}". You may mark the current step as done via plan update step=N status=done.</system-summary>`
-            });
-          } else if (/node|tsx|ts-node|python|npm\s+(start|test|run)/.test(cmd)) {
-            deps.pendingMessages.push({
-              role: "user",
-              content: `<system-summary>The command "${cmd}" completed successfully. If this was testing your code, mark the current step as done via plan update step=N status=done.</system-summary>`
-            });
-          }
-        }
-      }
-      if (result.success && (call.name === "write_file" || call.name === "edit_file")) {
-        const filePath = call.arguments?.path;
-        if (filePath) {
-          deps.stuckDetector.recordFileRewrite(filePath);
-          if (deps.stuckDetector.hasExcessiveRewrites()) {
-            const file = deps.stuckDetector.getExcessiveRewriteFile();
-            const count = deps.stuckDetector.getFileRewriteCount(file);
-            if (ctx.onMeta) {
-              ctx.onMeta(t("exec.file_rewrite_warning", {
-                file,
-                count: String(count)
-              }));
-            }
-          }
-        }
-        deps.advancePlanIfStepComplete(ctx.contextManager, ctx.sessionLog);
-      }
-      deps.maybeSearchError(ctx, call);
-    }
-  };
-}
-var STUCK_RECOVERY_COOLDOWN = 5, MAX_PLAN_WARNINGS_BEFORE_BLOCK = 3, FORCE_SKIP_THRESHOLD = 10, PLAN_NUDGE_THRESHOLD = 2;
-var init_execution_plugin = __esm(() => {
-  init_i18n();
-  init_bash();
-  init_windows_commands();
+  init_execution_plugin();
 });
 
 // src/modules/execution/module.ts
@@ -18263,7 +18349,8 @@ class ExecutionModule {
     stuckNotified: false,
     depsGateHints: new Map,
     mutationsWithoutPlan: 0,
-    planNudgeSent: false
+    planNudgeSent: false,
+    typecheckFailures: new Map
   };
   trackerRef = (() => {
     const self = this;
@@ -18446,6 +18533,7 @@ class ExecutionModule {
       stillExistingDeliverables: (s) => this.stillExistingDeliverables(s),
       parseKinds: (a, st) => this.parseKinds(a, st),
       getTaskText: (c) => this.getTaskText(c),
+      typecheckFailures: this.state.typecheckFailures,
       baseDir: this.baseDir
     });
   }
@@ -18456,6 +18544,7 @@ class ExecutionModule {
       pendingMessages: this.pendingMessages,
       forbiddenBashFailures: this.forbiddenBashFailures,
       state: this.state,
+      store: this.store,
       checkPlanAlignment: (call) => this.checkPlanAlignment(call),
       advancePlanIfStepComplete: (cm, sl) => this.advancePlanIfStepComplete(cm, sl),
       maybeSearchError: (ctx, call) => this.maybeSearchError(ctx, call)
@@ -21192,8 +21281,6 @@ async function bootstrap(configDir, projectDir, noAgentsMd, exitOnComplete) {
     exitOnComplete,
     contextManager,
     activeToolTags,
-    sessionId: sessionManager.getActiveMeta()?.id,
-    sessionContext: sessionManager.getSessionContext() ?? undefined,
     recursionDepth: 0,
     fileOperationsCount: 0,
     sessionHistory: {
@@ -21221,6 +21308,14 @@ async function bootstrap(configDir, projectDir, noAgentsMd, exitOnComplete) {
       }
     }
   };
+  Object.defineProperty(toolCtx, "sessionId", {
+    get: () => sessionManager.getActiveMeta()?.id,
+    configurable: true
+  });
+  Object.defineProperty(toolCtx, "sessionContext", {
+    get: () => sessionManager.getSessionContext() ?? undefined,
+    configurable: true
+  });
   const toolExecutor = new ToolExecutor(toolRegistry, toolCtx, pluginManager);
   toolCtx.llmProvider = llmProvider;
   toolCtx.toolExecutor = toolExecutor;
@@ -21393,6 +21488,7 @@ async function bootstrap(configDir, projectDir, noAgentsMd, exitOnComplete) {
     sessionManager,
     skillsModule,
     pluginManager,
+    toolCtx,
     configDir: dir,
     baseDir,
     noAgentsMd: skipAgentsMd

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "micro-models-agent",
-  "version": "0.43.1",
+  "version": "0.43.3",
   "description": "Micro Models Agent (MMA) — LLM agent harness for small models (Qwen3.5-9B, 32K-64K context)",
   "type": "module",
   "bin": {