mocode-ai 1.1.7 → 1.1.9

package/dist/agent/index.js

@@ -15,7 +15,6 @@ import { createPetHooks } from '../pet/state.js';
 import { t } from '../i18n/index.js';
 import { isToolErrorOutput } from '../tools/result.js';
 import { appendCurrentSessionTraceEvent } from '../session/index.js';
-import { buildActiveNotesPlanReminder } from '../session/notes-plan.js';
 /** 当前 turn 的 batch id(runAgent 内闭包变量;一条 turn 一轮 tool batch 结束即清空)。 */
 let currentBatchId = null;
 let turnFileChanges = [];
@@ -118,9 +117,9 @@ function flushToolBatch(expandSingleEntry = false) {
     batch.endBatch(id, layout);
     if (expandSingleEntry)
         batch.expandSingleEntryFully(id, layout);
-    // 普通摘要只有一个“当前空行”，再 break 一次把它提交为分隔空行。
-    // mutation 自动展开时 content.insertAfter 已先把该当前空行提交到 rows；若这里仍补 \n，
-    // diff 后就会固定出现两条空白行。
+    // 普通批：endBatch 留了 1 个 hasCurrent 空行，break 一次把它提交为分隔空行。
+    // mutation 自动展开：expandSingleEntryFully 自己补 separator (\n)，这里不能再补 \n，
+    // 不然 diff 后面就会出现两条空白行。
     if (!expandSingleEntry)
         layout.contentWrite('\n');
 }
@@ -202,6 +201,8 @@ onContextUpdate) {
         },
         onStepStart: () => spinner.start(t('agent.thinking')),
         onChatDone: () => spinner.stop(),
+        // 流式实时用量 → 底栏 context 进度条左侧 chip;轮末由 repl 清空。
+        onLiveUsage: (u) => layout.setLiveUsage(u),
         onTextEnd: () => {
             if (lastChar && lastChar !== '\n') {
                 layout.contentWrite('\n');
@@ -240,24 +241,6 @@ onContextUpdate) {
             flushToolBatch();
             layout.contentWrite(`${ui.dim}${t('agent.aborted')}${ui.reset}\n`);
         },
-        onValidationStart: (command) => {
-            flushToolBatch();
-            spinner.start(t('agent.validating', { command }));
-        },
-        onValidationResult: (validation) => {
-            spinner.stop();
-            const color = validation.status === 'passed'
-                ? ui.green
-                : validation.status === 'failed'
-                    ? ui.red
-                    : ui.yellow;
-            const command = validation.command ?? t('agent.validationNoCommand');
-            const detail = validation.status === 'skipped' && validation.skipReason
-                ? `${validation.status}: ${validation.skipReason}`
-                : validation.status;
-            const symbol = validation.status === 'passed' ? '●' : validation.status === 'failed' ? '×' : '!';
-            layout.contentWrite(`  ${color}${symbol}${ui.reset} ${t('agent.validationResult', { command, status: detail })}\n\n`);
-        },
         onDone: (elapsedMs, usage) => {
             flushToolBatch();
             writeChangeOverview();
@@ -281,9 +264,7 @@ onContextUpdate) {
             userInput,
             signal,
             onContextUpdate,
-            dynamicSystemSuffix: buildActiveNotesPlanReminder,
             hooks: combinedHooks,
-            autoValidate: config.autoValidate,
             onTraceEvent: appendCurrentSessionTraceEvent,
         });
     }

package/dist/agent/spawn.js

@@ -31,8 +31,8 @@ const SUBAGENT_ROLE = `## Sub-agent execution
 You are executing one delegated sub-task with the same engineering standards and capabilities as mocode.
 - Treat Task context as authoritative facts already established by the main agent; do not rediscover them without evidence they are stale.
 - Focus on the delegated scope, but continue until it is genuinely complete. Do not stop to save tokens.
-- Do not recursively call sub-agent. A write task runs in an isolated overlay; the coordinator merges and performs final unified verification.
-- Return concise findings, changes, verification evidence, and blockers to the coordinator.`;
+- Do not recursively call sub-agent. A write task runs in an isolated overlay; the coordinator merges it safely.
+- Return concise findings, changes, checks you chose to run, and blockers to the coordinator.`;
 /**
  * 派生一个子 agent 执行独立子任务。
  *
@@ -51,7 +51,7 @@ export async function spawnAgent(opts) {
             summary: null,
             completed: false,
             transcript: 'Sub-agent execution is disabled. Enable it with /subagent on.',
-            status: 'failed', findings: [], readSet: [], changeSet: null, verification: null,
+            status: 'failed', findings: [], readSet: [], changeSet: null,
             usage: { promptTokens: 0, completionTokens: 0, totalTokens: 0, cachedTokens: 0, reasoningTokens: 0 },
         };
     }
@@ -68,6 +68,8 @@ export async function spawnAgent(opts) {
     const requested = opts.tools?.length ? new Set(opts.tools) : null;
     const readOnly = new Set(['read_file', 'glob', 'grep', 'web_search', 'web_fetch', 'use_skill', 'memory_search', 'memory_list']);
     toolsOverride = chatTools.filter((tool) => tool.function.name !== 'sub-agent' &&
+        // plan_update 直写主会话 notes.md(不走 overlay),子代理不应改动主计划——统一排除。
+        tool.function.name !== 'plan_update' &&
         (!requested || requested.has(tool.function.name)) &&
         (mode === 'write' || readOnly.has(tool.function.name)));
     // 独立 history(子 agent 自己持有,不共享主对话)。
@@ -135,7 +137,6 @@ export async function spawnAgent(opts) {
         maxSteps,
         toolsOverride,
         contextState: localContextState,
-        autoValidate: false,
         onToolOutcome: (tool, args) => {
             if (tool === 'read_file' && typeof args.path === 'string')
                 readSet.add(args.path);
@@ -173,7 +174,6 @@ export async function spawnAgent(opts) {
         findings: result.finalText ? [result.finalText] : [],
         readSet: [...readSet].sort(),
         changeSet,
-        verification: null, // 主 Agent 在所有 coordinator merge 完成后统一验证
         usage: {
             promptTokens: result.usage?.promptTokens ?? 0,
             completionTokens: result.usage?.completionTokens ?? 0,

package/dist/agent/work-discipline.js

@@ -1,18 +1,5 @@
-// PROMPT-01: Build-and-Self-Verify working discipline.
-//
-// 把"完成必须验证"作为 system prompt 的一等公民,而不是事后选项。注入一段
-// 4 阶段纪律(Plan & Discover → Build → Verify → Fix),并提供 per-model
-// 措辞(anthropic / openai / qwen)让 base model 拿到最适合自己的表述。
-//
-// 关键约束:
-// - 纯函数,无副作用,无 config 依赖 → 不踩 TDZ,易测,易回滚。
-// - 段标题在 buildMocodeCorePrompt 之外,不会被 `## Project context` 索引
-//   切片误伤;且 buildBasePrompt 注入位置在 ## Workflow 之前,确保 LLM
-//   先看到纪律再看工具/平台细节。
-// - per-model 措辞是"轻量"差异:3 个家族共享 4 阶段结构,只在首句
-//   上贴近该家族的指令遵从习惯;真正的 prompt 反演化交给 AHE。
-// - 语种统一英文:4 份都用同一份核心纪律文本,避免多语种漂移;用户语言
-//   偏好由现有 i18n 段(assistant.languageInstruction)负责。
+// Lightweight, advisory working guidance. The agent decides how much discovery and
+// validation each task needs; the framework does not enforce a completion gate.
 /**
  * 从 config.model 字符串里嗅探 model family。匹配规则尽量宽松,够用即可。
  * 未来 AHE 闭环后可以换成 config.modelFamily 字段。
@@ -33,40 +20,19 @@ export function inferModelFamily(model) {
  * 4 阶段核心纪律(英文)。4 个 model family 共用此文本,只在首句与标题
  * 标签上做轻量变体。保持短小，详细的完成检查由动态 checklist 按需注入。
  */
-const CORE_SECTION = `## Working discipline — coding tasks (Build-and-Self-Verify)
+const CORE_SECTION = `## Working discipline — coding tasks
 
-Treat "verification" as a first-class part of the task, not an afterthought. Use the smallest evidence-driven loop below.
+Use your judgment to choose the shortest reliable path from the request to a useful result.
 
-### Phase 1 — Plan & Discover
-- Restate the request in one sentence ONLY when it admits two or more materially different readings; name the reading you picked and move on. An unambiguous request gets no restatement — start working. This is the single exception to staying silent during tool-calling turns.
-- Settle on the goal and a concrete acceptance signal before inspecting the relevant code; keep them internal unless the user has to weigh in.
-- Ask only when an unresolved choice is high-impact or user-owned; otherwise follow repository evidence and proceed.
+- Inspect only the code and context needed for the next decision.
+- Make the smallest coherent change and avoid unrelated refactors.
+- Decide whether validation is useful based on risk, scope, available commands, and the user's request. Validation is optional, not a completion gate.
+- When validation is useful, choose the smallest relevant check yourself; do not run broad test/build suites by default.
+- Re-read or rerun only when evidence is stale or the next edit depends on exact current content.
+- On failure, diagnose before retrying; after repeated identical failures, change approach.
+- Report honestly what you changed, what you checked, and anything left uncertain.
 
-### Phase 2 — Build
-- Make the smallest coherent change; avoid unrelated refactors.
-- Add or update a focused test when behavior changes and the project has an applicable test suite.
-- Re-read only when a dependent edit needs fresh exact content or state may be stale.
-
-### Phase 3 — Verify
-- Run the smallest executable check that proves the requested behavior, then read its complete result.
-- Compare evidence with the user's request, not merely with the diff.
-
-### Phase 4 — Fix
-- Diagnose the root cause, make a focused correction, and rerun the relevant check.
-- After two identical failures, change the approach instead of repeating the same call.
-
-**Hard rule (non-negotiable):** "I read the code and it looks right" is not a completion signal. Report the verification performed, or state clearly why it could not be run.
-
-**Hard rule (non-negotiable):** Never invent file paths, APIs, config keys, flags, or behavior. Every claim about the codebase must trace to tool output in this conversation; explicitly label anything you have not verified as an assumption.`;
-/**
- * 把核心段适配到指定 model family:只替换首行(语序 / 强动词),段标题
- * 保持原样。Phase 内容保持原样,4 份共享同一份结构化文本。
- * 注意:不再往标题注入 "[model: X]" 标签——它对模型是无意义噪声,
- * 还可能引发自我指涉,反而干扰遵从。
- */
-function adapt(_model, opener) {
-    return CORE_SECTION.replace('Treat "verification" as a first-class part of the task, not an afterthought.', opener);
-}
+Never invent file paths, APIs, config keys, flags, or behavior. Distinguish repository evidence from assumptions.`;
 /** ASK-01: only user-owned, high-impact choices should interrupt autonomous execution. */
 const ASK_WHITELIST_SECTION = `## When to ask instead of guess
 
@@ -76,30 +42,10 @@ Call \`ask_human\` before coding only when repository evidence cannot resolve a
 3. multiple reasonable options that materially change product behavior;
 4. the request itself admits two or more materially different readings that lead to different deliverables (do not silently pick one and guess).
 
-For naming, implementation detail, and verification commands, follow repository precedent and choose the safest reversible default. Disclose any consequential assumption.
+For naming and implementation details, follow repository precedent and choose the safest reversible default. Disclose any consequential assumption.
 
 Budget: at most 2 \`ask_human\` calls per turn. Beyond that, use the safest reversible default and disclose it in the final reply.`;
-/**
- * 拼出纪律段 + ASK-01 卡点白名单。返回完整段(两段用 \`\\n\\n\` 隔开);
- * 工厂之前只返回纪律段,ASK-01 落地后变成纪律 + 白名单两段;
- * ASK-01 段是固定英文,不参与 per-model 适配(避免 4 份变体维护成本)。
- */
-export function buildWorkDisciplineSection(modelFamily) {
-    let section;
-    switch (modelFamily) {
-        case 'anthropic':
-            section = adapt('anthropic', 'Verification is a hard prerequisite for completion, not a courtesy.');
-            break;
-        case 'openai':
-            section = adapt('openai', 'Every coding task MUST complete these four phases in order. Skipping or merging phases is treated as a failure. For trivial or read-only requests, phases may collapse.');
-            break;
-        case 'qwen':
-            section = adapt('qwen', 'Verification is a hard prerequisite for completion; "I wrote the code" is not evidence the code works.');
-            break;
-        case 'other':
-        case undefined:
-        default:
-            section = CORE_SECTION;
-    }
-    return `${section}\n\n${ASK_WHITELIST_SECTION}`;
+/** Advisory guidance shared by main and sub-agents. */
+export function buildWorkDisciplineSection(_modelFamily) {
+    return `${CORE_SECTION}\n\n${ASK_WHITELIST_SECTION}`;
 }

package/dist/config/index.js

@@ -2,8 +2,8 @@ import fs from 'node:fs';
 import os from 'node:os';
 import path from 'node:path';
 import dotenv from 'dotenv';
-import { getSandboxRoot } from '../sandbox/root.js';
 import { getCurrentSessionId } from '../session/state.js';
+import { getNotesFilePath } from '../session/notes.js';
 import { buildWorkDisciplineSection, inferModelFamily } from '../agent/work-discipline.js';
 import { detectLanguage, setLanguage, t, } from '../i18n/index.js';
 /**
@@ -41,6 +41,7 @@ export const languageFromShell = process.env.MOCODE_LANGUAGE !== undefined;
 // 仿 themeFromShell 模式:shell export 的环境变量在 loadEnvFiles 中不被回填(优先级最高),
 // 故 /model 写入 ~/.mocode/config 的同名键下次启动会被 shell 值覆盖——据此给 dim 警告。
 const LLM_ENV_KEYS = ['LLM_BASE_URL', 'LLM_API_KEY', 'LLM_MODEL', 'CONTEXT_WINDOW_TOKENS'];
+export const DEFAULT_CONTEXT_WINDOW_TOKENS = 256000;
 const llmKeysFromShell = LLM_ENV_KEYS.filter((k) => process.env[k] !== undefined);
 loadEnvFiles();
 setLanguage(detectLanguage(process.env.MOCODE_LANGUAGE));
@@ -88,11 +89,8 @@ const PLATFORM_NOTE = (() => {
  * 这样比纯目录列表更显眼，降低 agent 在长上下文里扫过去就忘了的概率。
  */
 export function buildNotepadSection(sessionId = getCurrentSessionId()) {
-    if (!sessionId)
-        return '';
-    const root = getSandboxRoot() ?? process.cwd();
-    const p = path.join(root, '.mocode', 'sessions', sessionId, 'notes.md');
-    if (!fs.existsSync(p))
+    const p = getNotesFilePath(sessionId);
+    if (!p || !fs.existsSync(p))
         return '';
     try {
         const content = fs.readFileSync(p, 'utf8').trim();
@@ -132,6 +130,55 @@ export function buildNotepadSection(sessionId = getCurrentSessionId()) {
         return '';
     }
 }
+/**
+ * 抽取 notes.md 中**唯一活跃**的 `## Plan:` 段原文（含标题行到下一个 `## ` 之前）。
+ * 用于 compact 后把计划重注入系统提示，避免 agent 因上下文压缩丢失执行计划。
+ * 已结算（`## Done:`）或无 plan 时返回 null。
+ */
+export function extractActivePlanSection(sessionId = getCurrentSessionId()) {
+    const p = getNotesFilePath(sessionId);
+    if (!p || !fs.existsSync(p))
+        return null;
+    try {
+        const normalized = fs.readFileSync(p, 'utf8').replace(/\r\n?/g, '\n');
+        const lines = normalized.split('\n');
+        const start = lines.findIndex((l) => /^## Plan:\s*.+$/.test(l));
+        if (start < 0)
+            return null;
+        const endOffset = lines.slice(start + 1).findIndex((l) => /^##\s/.test(l));
+        const end = endOffset < 0 ? lines.length : start + 1 + endOffset;
+        return lines.slice(start, end).join('\n').trimEnd();
+    }
+    catch {
+        return null;
+    }
+}
+/** compact 重注入用的幂等标记：history[0] 中夹住活跃 plan 块，重复注入只替换不累积。 */
+const ACTIVE_PLAN_MARKER = '\n\n<!-- mocode:active-plan -->\n';
+/**
+ * 把活跃 `## Plan:` 段重注入系统提示（history[0]）。compact 后调用：
+ * 若 notes.md 有活跃 plan，则覆盖旧标记块写入最新内容；若无，则清掉残留标记块。
+ * 直接改 history[0].content（compact 不破坏 index 0），幂等，返回是否改动。
+ */
+export function reinjectActivePlanIntoSystem(history) {
+    const sys = history[0];
+    if (!sys || sys.role !== 'system' || typeof sys.content !== 'string')
+        return false;
+    let content = sys.content;
+    const markerIdx = content.indexOf(ACTIVE_PLAN_MARKER);
+    if (markerIdx >= 0) {
+        content = content.slice(0, markerIdx).replace(/\s+$/, '');
+    }
+    const plan = extractActivePlanSection();
+    if (!plan) {
+        if (markerIdx < 0)
+            return false;
+        sys.content = content;
+        return true;
+    }
+    sys.content = `${content}${ACTIVE_PLAN_MARKER}${plan}\n`;
+    return true;
+}
 const SYSTEM_PROMPT_MEMORY_SECTION = `
 ## Memory (cross-session facts)
 - The prompt may contain a title/summary index; retrieve details with memory_search or inspect all with memory_list.
@@ -195,7 +242,7 @@ ${buildWorkDisciplineSection(inferModelFamily(config.model))}
 
 ## Workflow
 - Use existing conversation and tool evidence before gathering more. Inspect only what supports the next decision; do not guess.
-- Keep changes focused. After modifications, run the smallest relevant executable verification that actually exercises the requested behavior, and report its result. A command exiting 0 is not proof the task is done — confirm the specific behavior the user asked for is observed, not merely that the diff applied.
+- Keep changes focused. Decide for yourself whether a check is worth running; prefer the smallest relevant check and avoid broad test/build suites unless the task or risk justifies them.
 - Use web search only when freshness materially affects the answer.
 ${buildCodegraphSection()}
 
@@ -220,31 +267,30 @@ ${buildCodegraphSection()}
 - **No flattery / no preamble in conclusions**: skip "Sure", "好的", "我已经完成了" and similar no-information prefixes — jump straight to substance.
 - Report honestly: say success when successful, say where you're stuck when failing, and mention anything skipped. Reference code in "path:line" format (e.g., src/index.ts:42). Keep it concise.
 ${t('assistant.languageInstruction')}`;
-    // 动态段(置于末尾):memory 索引 + notepad 目录与使用说明。
-    // 按需注入(#13):仅当有内容才拼对应标题/说明,避免空标题与无文件时的模板噪声。
-    //   - "## Project context" 仅当 memorySection/notepadSection 非空;
-    //   - notepad 使用说明仅当 notes.md 文件存在(notepadSection 非空)—
-    //     无文件时连 marker 都不拼,既省 token 也让前缀缓存更稳。core 切片
-    //     回退到 MARKER_DYNAMIC_SECTION 或整段(见 buildMocodeCorePrompt)。
+    // 动态段(置于末尾):memory 索引 + notepad 索引 + notepad 使用说明。
+    // 按需注入(#13):有内容的索引才拼对应标题,避免空标题噪声。
+    //   - "## Project context" 仅当 memorySection/notepadSection 非空(notepad 索引依赖 notes.md 存在);
+    //   - notepad 使用说明**无条件**注入:否则会陷入"说明依赖 notes.md 存在 → 模型不知要建 → 文件永不存在"的鸡生蛋循环,功能对模型不可见。说明放在 prompt 末尾,不影响 staticBody 的前缀缓存。
     const dynamicParts = [];
     const ctxContent = `${memorySection}${notepadSection}`.trimEnd();
     if (ctxContent) {
         dynamicParts.push(`## Project context (dynamic reference)\n${ctxContent}`);
     }
-    if (notepadSection) {
-        dynamicParts.push(`## Session Notepad (\`.mocode/sessions/${sessionId ?? '<id>'}/notes.md\`)\n` +
-            'Use this compact, persistent working surface for tasks with at least three steps or context-loss risk; skip it for simple work.\n\n' +
-            'Keep at most one active plan:\n' +
-            '```\n' +
-            '## Plan: <title>\n' +
-            'Goal: <outcome>\n' +
-            '### Steps\n' +
-            '- [ ] 1. <verifiable step>\n' +
-            '### Progress\n' +
-            '- <completed phase and evidence>\n' +
-            '```\n' +
-            'Update checkboxes and Progress after each completed phase. Before the final reply, reconcile the plan with actual work, then rename it to `## Done:` or remove it. Keep other notes concise and session-specific; use memory for stable cross-session facts.');
-    }
+    dynamicParts.push(`## Session Notepad (\`.mocode/sessions/${sessionId ?? '<id>'}/notes.md\`)\n` +
+        'Use this compact, persistent working surface for tasks with at least three steps or context-loss risk; skip it for simple work.\n\n' +
+        'Record and update the execution plan with the `plan_update` tool (preferred over editing checkboxes by hand); it keeps at most one active plan as a `## Plan:` section:\n' +
+        '```\n' +
+        '## Plan: <title>\n' +
+        'Goal: <outcome>\n' +
+        '### Steps\n' +
+        '- [ ] 1. <self-contained step: target file/symbol, the change, and how to verify>\n' +
+        '### Progress\n' +
+        '- <completed/total>\n' +
+        '```\n' +
+        'Keep at most one step in_progress, and mark a step completed as soon as its work is done — do not batch updates to the end of the turn. ' +
+        'Write each step so a teammate who lost the conversation could pick it up cold: name the file or symbol, the exact change, and the verification, so the plan survives context compaction. ' +
+        'plan_update creates notes.md for you when the task warrants it; read_file the full notes.md whenever you need to recover context after compaction. ' +
+        'When every step is completed, plan_update settles the plan to `## Done:` automatically. Keep other notes concise and session-specific; use memory for stable cross-session facts.');
     return `${staticBody}\n\n${dynamicParts.join('\n\n')}`;
 }
 /** 静态主体结束 + 会话私有段起点标记,供 buildMocodeCorePrompt 稳健切片(#17)。 */
@@ -298,21 +344,20 @@ export const config = {
     get systemPrompt() {
         return buildBasePrompt();
     },
-    contextWindowTokens: Number(process.env.CONTEXT_WINDOW_TOKENS) || 128000,
-    compactThreshold: Number(process.env.COMPACT_THRESHOLD) || 0.85,
+    contextWindowTokens: Number(process.env.CONTEXT_WINDOW_TOKENS) || DEFAULT_CONTEXT_WINDOW_TOKENS,
     includeUsage: process.env.LLM_STREAM_USAGE !== 'false',
     autoCompact: process.env.AUTO_COMPACT !== 'false',
-    autoValidate: process.env.MOCODE_AUTO_VALIDATE !== 'false',
-    contextOptimize: process.env.MOCODE_CONTEXT_OPTIMIZE !== 'false',
-    contextRelprune: process.env.MOCODE_CONTEXT_RELPRUNE !== 'false',
+    contextOptimize: process.env.MOCODE_CONTEXT_OPTIMIZE === 'true',
+    contextRelprune: process.env.MOCODE_CONTEXT_RELPRUNE === 'true',
     contextLifecycle: process.env.MOCODE_LIFECYCLE !== 'false',
     contextBudget: process.env.MOCODE_BUDGET_SCHEDULER !== 'false',
-    autoReflect: process.env.AUTO_REFLECT !== 'false',
+    autoReflect: process.env.AUTO_REFLECT === 'true',
     memoryEnabled: process.env.MEMORY_ENABLED === 'true',
     reflectEveryN: Number(process.env.REFLECT_EVERY_N) || 5,
     maxSteps: Number(process.env.MAX_STEPS) || 1000,
     subAgentEnabled: process.env.MOCODE_SUBAGENT_ENABLED === 'true',
     subAgentMaxSteps: Number(process.env.SUB_AGENT_MAX_STEPS) || Number(process.env.MAX_STEPS) || 1000,
+    frontendToolsEnabled: process.env.MOCODE_FRONTEND_TOOLS_ENABLED === 'true',
     sessionDir: path.join(process.cwd(), '.mocode', 'sessions'),
     searchApiKey: process.env.ANYSEARCH_API_KEY,
     sandboxRoot: process.env.SANDBOX_ROOT || undefined,
@@ -361,6 +406,15 @@ export function updateSubAgentConfig(enabled) {
     config.subAgentEnabled = enabled;
     process.env.MOCODE_SUBAGENT_ENABLED = enabled ? 'true' : 'false';
 }
+/** 前端工具簇总开关；默认 false，关闭时 browser/dev_server/screenshot/view_image 不进入模型工具表。 */
+export function isFrontendToolsEnabled() {
+    return config.frontendToolsEnabled;
+}
+/** 运行时切换前端工具簇；工具 schema 刷新与持久化由 REPL 调用方完成。 */
+export function updateFrontendToolsConfig(enabled) {
+    config.frontendToolsEnabled = enabled;
+    process.env.MOCODE_FRONTEND_TOOLS_ENABLED = enabled ? 'true' : 'false';
+}
 /**
  * 记忆子系统总开关:单一来源。/memory_switch、/memory_status、buildSystemPrompt、
  * tools/builtins/index.ts、tools/constants.ts 的 plan-mode 列表都从这里查。

package/dist/context/age-aware.js

@@ -1,12 +1,8 @@
-// Age-aware tool-result encoding coordinator.
-// Initial pushes stay conservative; old Cold results are re-encoded before chat.
-import { TOOL_OLD_AGE } from './budget.js';
+// Pressure-only tool-result encoding coordinator.
+// Normal pushes are raw apart from the per-result hard safety cap.
 import { optimizeToolResult } from './pipeline.js';
 import { canonicalizePath, extractPath, isToolResultSuccess, toText, } from './utils.js';
-/**
- * Tracks successful first reads and tool-result age without coupling encoders to
- * lifecycle's mutable history indexes. All methods are fail-safe and idempotent.
- */
+/** Rebuilds records from current history for each pressure pass. */
 export class AgeAwareEncodingState {
     pushOrdinal = 0;
     records = new Map();
@@ -14,36 +10,16 @@ export class AgeAwareEncodingState {
     constructor(history = []) {
         this.rehydrate(history);
     }
-    /** Build the conservative context for a newly completed tool result. */
-    preparePush(tc, succeeded) {
-        const path = tc.name === 'read_file'
-            ? canonicalizePath(extractPath(tc.arguments))
-            : null;
-        const isFirstRead = path ? !this.seenReadPaths.has(path) : undefined;
-        this.records.set(tc.id, {
-            toolCallId: tc.id,
-            toolName: tc.name,
-            argsRaw: tc.arguments,
-            pushOrdinal: this.pushOrdinal,
-            succeeded,
-            isFirstRead,
-            agedEncoded: false,
-        });
-        this.pushOrdinal++;
-        // Failed reads must not consume the "first successful read" privilege.
-        if (succeeded && path)
-            this.seenReadPaths.add(path);
-        return {
-            age: 0,
-            isCold: false,
-            isFirstRead,
-            phase: 'push',
-        };
-    }
-    /** Re-encode eligible tool messages in the Cold prefix in place. */
-    sweep(history, hotBoundary) {
+    /**
+     * Pressure-only, progressive encoding of Cold logs and retrievable searches.
+     * It never touches code reads, skills, human decisions, or sub-agent output;
+     * repeated pressure passes may further reduce content only when strictly shorter.
+     */
+    sweepPressure(history, hotBoundary) {
         try {
+            const pressureEncodable = new Set(['run_command', 'grep', 'glob', 'web_search', 'web_fetch']);
             const end = Math.min(Math.max(hotBoundary, 1), history.length);
+            let encodedCount = 0;
             for (let idx = 1; idx < end; idx++) {
                 const message = history[idx];
                 if (message.role !== 'tool')
@@ -51,32 +27,27 @@ export class AgeAwareEncodingState {
                 const toolMessage = message;
                 const id = toolMessage.tool_call_id;
                 const record = id ? this.records.get(id) : undefined;
-                if (!record || !record.succeeded || record.agedEncoded)
+                if (!record || !record.succeeded || !pressureEncodable.has(record.toolName))
                     continue;
                 const content = toText(toolMessage.content);
-                if (!content || content.startsWith('⌦[')) {
-                    record.agedEncoded = true;
+                if (!content || content.startsWith('⌦['))
                     continue;
-                }
-                // Exclude the result's own push: immediately after insertion its age is 0.
                 const age = Math.max(0, this.pushOrdinal - record.pushOrdinal - 1);
-                if (age < TOOL_OLD_AGE)
-                    continue;
                 const encoded = optimizeToolResult(record.toolName, content, record.argsRaw, {
                     age,
                     isCold: true,
                     isFirstRead: record.isFirstRead,
                     phase: 'sweep',
                 });
-                // Aged encoding is a degradation step: never replace content with a
-                // representation that is equal-sized or larger.
-                if (encoded.length < content.length)
+                if (encoded.length < content.length) {
                     toolMessage.content = encoded;
-                record.agedEncoded = true;
+                    encodedCount++;
+                }
             }
+            return encodedCount;
         }
         catch {
-            // Context optimization must never block an agent request.
+            return 0;
         }
     }
     /** Rebuild stable state after resume or structural history compaction. */
@@ -119,7 +90,6 @@ export class AgeAwareEncodingState {
                     pushOrdinal: this.pushOrdinal,
                     succeeded,
                     isFirstRead,
-                    agedEncoded: false,
                 });
                 this.pushOrdinal++;
                 if (succeeded && path)

package/dist/context/artifacts.js

@@ -132,10 +132,17 @@ export function recordArtifact(state, history, idx, output, succeeded) {
     updateStats(state, stateFor(state));
 }
 function affected(artifact, changed) {
-    return artifact.dependencies.some((dependency) => dependency.path === '*' || changed.has(dependency.path));
+    // '*' 依赖(无法解析出具体文件路径的诊断/搜索结果)不与任何具体写操作关联:
+    // 任何文件写入都会作废全部 '*' artifact,等于每次 mutation 都销毁
+    // git/测试/构建等历史证据,模型被迫反复 re-run,轮次爆炸。只失效路径明确命中的。
+    return artifact.dependencies.some((dependency) => dependency.path !== '*' && changed.has(dependency.path));
 }
-/** Mark and immediately stub stale facts; this is stronger than waiting for budget pressure. */
-export function invalidateArtifacts(state, history, changedFiles) {
+/**
+ * Mark precise, file-backed facts stale without changing the evidence in history.
+ * A stale result can still explain a later edit or failure; pressure compression is
+ * the only path allowed to replace its content with a compact marker.
+ */
+export function invalidateArtifacts(state, _history, changedFiles) {
     const changed = new Set(changedFiles.map(canonicalizePath).filter((item) => !!item));
     if (changed.size === 0)
         return 0;
@@ -145,15 +152,6 @@ export function invalidateArtifacts(state, history, changedFiles) {
         if (artifact.freshness !== 'fresh' || !affected(artifact, changed))
             continue;
         artifact.freshness = 'stale';
-        const message = history[artifact.messageIndex];
-        if (message?.role === 'tool') {
-            const original = toText(message.content);
-            const paths = artifact.dependencies.map((item) => item.path).join(', ');
-            const stub = `${STALE_PREFIX}${artifact.source.tool}] source=${artifact.id} dependencies=${paths} ` +
-                `invalidated-by=${[...changed].join(', ')}; re-run ${artifact.source.tool} before using this fact.`;
-            message.content = stub;
-            artifact.tokenCount = estimateTokens(stub);
-        }
         count++;
     }
     updateStats(state, artifactState);
@@ -193,7 +191,7 @@ export function rehydrateArtifacts(state, history) {
     }
     updateStats(state, artifactState);
 }
-/** Compare captured dependency versions before each model step to detect external edits. */
+/** Compare captured dependency versions before each model step and mark stale metadata only. */
 export function refreshArtifactFreshness(state, history) {
     const changed = new Set();
     for (const artifact of stateFor(state).artifacts.values()) {
@@ -208,19 +206,23 @@ export function refreshArtifactFreshness(state, history) {
     }
     return changed.size > 0 ? invalidateArtifacts(state, history, [...changed]) : 0;
 }
-/** Scheduler entry point: stale artifacts are already stubs; normalize any resumed stale message first. */
-export function pruneStaleArtifacts(state, history) {
+/**
+ * Pressure-only stage: replace stale evidence in the Cold prefix with a compact
+ * marker. Recent/current work stays intact, and normal mutation handling never
+ * calls this function.
+ */
+export function pruneStaleArtifacts(state, history, coldBoundary) {
     const artifactState = stateFor(state);
     let pruned = 0;
     for (const artifact of artifactState.artifacts.values()) {
-        if (artifact.freshness !== 'stale')
+        if (artifact.freshness !== 'stale' || artifact.messageIndex >= coldBoundary)
             continue;
         const message = history[artifact.messageIndex];
         if (message?.role !== 'tool')
             continue;
         const content = toText(message.content);
         if (!content.startsWith(STALE_PREFIX)) {
-            message.content = `${STALE_PREFIX}${artifact.source.tool}] source=${artifact.id}; re-run before use.`;
+            message.content = `${STALE_PREFIX}${artifact.source.tool}] source=${artifact.id}; source changed, so this content may be outdated.`;
             artifact.tokenCount = estimateTokens(String(message.content));
             pruned++;
         }