dsh-plugin-tool-management 0.20.3 → 0.21.1

package/lib/mcp/state-section.js

@@ -9,26 +9,30 @@
 // 这类信息在任何工具 schema 里都拿不到：工具只暴露 `mcp__<server>__<tool>` 的名字与
 // 参数，永远不会说「A 挂了改用 B」。所以「列出 server」只是载体。
 //
-// 范围（2026-09-15 用户裁定；2026-09-17 按实测修正"可用"的判据）：
-//   - 分两档，判据全部可验证：
+// 范围（2026-09-15 用户裁定；2026-09-17 按实测修正"可用"的判据；2026-10-18 加第三档）：
+//   - 分三档，判据全部可验证：
 //       ① **可用**：配置上已启用 **且** 当前真实注册了未被停用的工具
 //          （`liveEnabledToolCount > 0`；场景档案收窄与手动逐工具开关都会写停用表，这里如实扣减）。
-//       ② **曾经连上、现在不可用**：已启用、当前一个工具都没注册，但「已知工具」缓存非空。
+//       ② **连着但工具全被停用**：当前注册了工具、但停用表把它们全扣光（`liveToolCount > 0`
+//          而 `liveEnabledToolCount === 0`）。2026-10-18 起列出来：它是"模型手上一条 MCP 工具
+//          都没有，可 server 确实在跑"的唯一线索，而此前不列的理由（"留着只会谎报数量"）
+//          随工具数一起作废了。
+//       ③ **曾经连上、现在不可用**：已启用、当前一个工具都没注册，但「已知工具」缓存非空。
 //          这是**状态变化**，要报 —— 模型据此给"检查网络/命令/凭据"的建议，而不是把
 //          "配了但连不上"读成"本机没配"（后者会让它建议用户去装一个）。同时，用户写在那台
 //          server 上的备注（placeholder 就是「A 不可用时改用 B 兜底」）恰恰只在此时才有用，
 //          不列就永远送不到。
-//     不列的三类：**没开**（用户明确要求）、**工具全被停用**（模型调不到，留着只会谎报数量）、
-//     **从未连上过**（缓存也空 —— 一直没成功过，不该反复打扰；这条抄的是 Claude Code 的通知
-//     策略：一直没连上的不提示，昨天还好今天挂的才提示）。
-//   - 只列 **server 名 + 状态（仅②档）+ 备注**；**具体工具名绝不注入** ——
+//     不列的两类：**没开**（用户明确要求）、**从未连上过**（缓存也空 —— 一直没成功过，不该反复
+//     打扰；这条抄的是 Claude Code 的通知策略：一直没连上的不提示，昨天还好今天挂的才提示）。
+//   - 只列 **server 名 + 状态（②③档）+ 备注**；**具体工具名绝不注入** ——
 //     已启用 server 的工具本来就在模型自己的工具 schema 里（`mcp__<server>__<tool>`），
 //     段里再列一遍是重复；模型按前缀就能对上号。
 //   - **工具数不列**（2026-09-23）：模型不能凭"这台有 N 个工具"做任何事（能调哪些在它自己的
 //     schema 里），而 17 B/台 × 每轮的开销是白付的。
-//   - 无备注 → 只有名字（①档）或名字 + 状态（②档）。
-//   - 不写「已启用」字样：能进段的都是可用的，标状态是废话；②档则必须标，否则就是谎报。
-//   - 两档都空 → 返回 `''`（renderPrompt 删空段，零 token 成本）。
+//   - 无备注 → 只有名字（①档）或名字 + 状态（②③档）。
+//   - 不写「已启用」字样：能进段的都是已启用的，标状态是废话；②③档则必须标，否则就是谎报。
+//   - **三档都空才返回 `''`**（无 server 可讲时零 token 成本）。注意 2026-10-18 的
+//     「无备注就不发」已被同日的用户裁定推翻，理由见 `renderMcpStateSection` 的注释。
 //
 // 一条**测不出来**的边界（写在这里免得后来者以为它是 bug）：宿主没有暴露"MCP 已连接"这个信号
 // （插件清单只有 entryId / moduleName / enabled / fiberPhase），所以本模块只能读"工具有没有注册"。
@@ -49,11 +53,11 @@ export const DEFAULT_MCP_NOTE_MAX_LENGTH = 300;
  * 备注的固定前缀（模型侧口径，用户裁定 2026-09-16：字段与段统一叫 user-hint / 用户提示）。
  *
  * 原为「备注：」，取「降低被读成指令的概率」——备注是自由文本，注入后**由插件背书**地到达模型。
- * 改叫「用户提示：」是有意为之：它本来就该被读成**用户的决策提示**（「A 挂了改用 B」），
+ * 改叫 `user hint:` 是有意为之：它本来就该被读成**用户的决策提示**（「A 挂了改用 B」），
  * 而不是系统策略。威胁模型不变（内容由用户自己写、仅本机可写，属**自伤**而非被攻击），
  * 但前缀如实标明来源，模型据此权衡即可。
  */
-export const MCP_NOTE_PREFIX = '用户提示：';
+export const MCP_NOTE_PREFIX = 'user hint: ';
 /**
  * 备注压成单行（换行 → 空格）并截断。
  *
@@ -70,12 +74,17 @@ export function normalizeMcpNote(value, maxLength) {
 /**
  * 渲染 MCP 状态段（纯函数，便于单独推理）。
  *
- * 分两档：**可用**（当前真注册了可用工具）与**曾经连上、现在不可用**（当前没注册，
- * 但「已知工具」缓存证明它曾经成功过）。判据与不列的三类见文件头。
+ * **整段的取舍**（2026-10-18 用户裁定「无备注不发这样不好」，推翻了同日的 A 方案）：
+ * 只要有一台该说的 server 就发，不因为"没有备注"而整段省略。理由：
+ *   - 这一域是**唯一**说明"这台机器上配了哪些 server、各自什么状态"的地方，而模型手里的工具表
+ *     只说得出"我现在能调什么"。少了它，"配过但没连上 / 连着但工具被关掉"与"根本没配过"
+ *     在模型看来完全等价 —— 那正是本模块存在的理由（见文件头）。
+ *   - 代价已经不是问题：`how` 行按需发、权威声明只在替换时发之后，只有名字的那种段在上下文里
+ *     只剩标题 + 一两行，且内容不变就不重发。
  *
- * 返回 `''` 表示不注入 —— 没有可用 server 的用户零 token 成本。
+ * @param listToolVisible `mcp_manager_list` 在这个 agent 手里吗（尾句那个出口的前提）
  */
-export function renderMcpStateSection(rows, opts = {}) {
+export function renderMcpStateSection(rows, opts = {}, listToolVisible = true) {
     const maxEntries = opts.maxEntries ?? DEFAULT_MCP_MAX_ENTRIES;
     const noteMaxLength = opts.noteMaxLength ?? DEFAULT_MCP_NOTE_MAX_LENGTH;
     // 当前真实可用的工具数（停用表扣减后）。**优先读 live 那个数** —— 旧调用方只给
@@ -91,12 +100,20 @@ export function renderMcpStateSection(rows, opts = {}) {
     const liveOf = (r) => (Number.isFinite(Number(r.liveToolCount)) ? Number(r.liveToolCount) : liveEnabledOf(r));
     // 曾经连上过的证据。缺省 0 = 从未连上过（旧调用方给不出这个信号，按"不列"处理 —— 少说不错）。
     const knownOf = (r) => Number(r.knownToolCount) || 0;
+    // 三档，判据全部可验证：
+    //   ① `usable`   —— 已启用，当前真注册了未被停用的工具（模型现在就能调）。
+    //   ② `muted`    —— 已启用、也真的连着（注册过工具），但**工具全被停用**：场景档案收窄或
+    //                   手动逐工具开关的结果。2026-10-18 起列出来并标注（此前不列）：它是
+    //                   "模型手上一条工具都没有，但 server 确实在跑"的**唯一**线索，而旧理由
+    //                   （"留着只会谎报数量"）随着工具数一起消失了 —— 现在只给名字与状态。
+    //   ③ `offline`  —— 已启用、当前一个工具都没注册，但「已知工具」缓存非空（曾经连上过）。
     const usable = rows.filter((r) => !r.disabled && liveEnabledOf(r) > 0);
+    const muted = rows.filter((r) => !r.disabled && liveOf(r) > 0 && liveEnabledOf(r) === 0);
     const offline = rows.filter((r) => !r.disabled && liveOf(r) === 0 && knownOf(r) > 0);
-    if (!usable.length && !offline.length)
+    if (!usable.length && !muted.length && !offline.length)
         return '';
     // 按展示名排序：即使补丁文件里的行序变化，段文本也保持逐字节稳定（前缀缓存契约）。
-    // 两档各自排序，可用的一律排在前面（它才是模型当下能用的东西）。
+    // 三档各自排序，可用的一律排在前面（它才是模型当下能用的东西）。
     const byName = (a, b) => {
         const x = String(a.serverName ?? '');
         const y = String(b.serverName ?? '');
@@ -104,48 +121,65 @@ export function renderMcpStateSection(rows, opts = {}) {
     };
     const cap = Math.max(0, maxEntries);
     const shownUsable = [...usable].sort(byName).slice(0, cap);
+    const shownMuted = [...muted].sort(byName).slice(0, cap);
     const shownOffline = [...offline].sort(byName).slice(0, cap);
-    const lineOf = (r, count, isOffline) => {
-        const name = String(r.serverName ?? r.id);
-        // ②档必须把状态写出来：不写就等于谎报"可用"。
+    const lineOf = (row, status) => {
+        const name = String(row.serverName ?? row.id);
+        // 非"可用"的两档必须把状态写出来：不写就等于谎报"可用"。
         //
         // 2026-09-23：两档的**工具数都去掉了**（用户看到实际注入后要求精简）。数字对模型没有
         // 动作价值 —— 它不能凭"这台有 8 个工具"列举出工具名（真正能调的都在它自己的工具
         // schema 里，按 `mcp__<server>__` 前缀就能对上号），而每轮都要付 17 B/台。
         // 顺带消掉一处隐患：②档原来写「上次连上时 N 个工具」，那个数字是**历史事实**，措辞上
         // 必须和现状区分开；数字没了，这个歧义也就不存在了。
-        const head = isOffline ? '- **' + name + '**（当前未连上）' : '- **' + name + '**';
-        const note = normalizeMcpNote(r.notes, noteMaxLength);
+        const head = status === 'offline'
+            ? '- **' + name + '** (not connected now)'
+            : status === 'muted'
+                ? '- **' + name + '** (no tools enabled here)'
+                : '- **' + name + '**';
+        const note = normalizeMcpNote(row.notes, noteMaxLength);
         return note ? head + ' — ' + MCP_NOTE_PREFIX + note : head;
     };
     const lines = [
-        ...shownUsable.map((r) => lineOf(r, liveEnabledOf(r), false)),
-        ...shownOffline.map((r) => lineOf(r, knownOf(r), true)),
+        ...shownUsable.map((row) => lineOf(row, 'ok')),
+        ...shownMuted.map((row) => lineOf(row, 'muted')),
+        ...shownOffline.map((row) => lineOf(row, 'offline')),
     ];
-    // 只有清单：标题（`# 当前 MCP 服务器`）由注入通道的框架承担
+    // 只有清单：标题（`# Current MCP servers`）由注入通道的框架承担
     // （2026-09-18 起，见 context-inject.ts 的 DOMAIN_FRAME）—— 同一件事只有一个出处，
     // 框架已经写了标题，正文再写一遍就是每步多付一行 token。
     const out = [...lines];
-    const hidden = (usable.length + offline.length) - (shownUsable.length + shownOffline.length);
-    if (hidden > 0)
-        out.push('', `（另有 ${hidden} 台未列出。）`);
+    const hidden = (usable.length + muted.length + offline.length)
+        - (shownUsable.length + shownMuted.length + shownOffline.length);
+    // 超上限时给出口（2026-10-18 审查 B）：技能与子智能体两个目录早就这么写了，这是唯一漏掉
+    // 的一处。工具被关掉（兼容页 / 人设 toolsDeny）时不点名 —— 点名一个模型手里没有的工具，
+    // 只会让它去猜名字；数量照报，那是实话。
+    if (hidden > 0) {
+        out.push('', listToolVisible
+            ? `(${hidden} more not listed — see them with \`mcp_manager_list\`.)`
+            : `(${hidden} more not listed.)`);
+    }
     return out.join('\n');
 }
 /** 创建 SWR 的 MCP 状态目录。计算失败时保留上一次的值，不把段清空。 */
 export function createMcpStateCatalog(deps, opts = {}) {
     const ttlMs = opts.ttlMs ?? 3000;
     const now = opts.now ?? (() => Date.now());
-    let value = '';
+    // 缓存的是**行数据**而不是渲染结果（与技能 / 子智能体两个目录同一手法）：清单只依赖磁盘，
+    // 而尾句要不要点名查询工具取决于**这个 agent 手里有没有它**。渲染是纯字符串操作，代价可忽略。
+    let data = null;
     let loadedAt = Number.NEGATIVE_INFINITY;
     let inflight = null;
+    let rendered = null;
     const recompute = async () => {
         try {
             const result = await deps.rows();
             if (result && result.ok !== false) {
-                value = renderMcpStateSection(result.rows ?? [], opts);
+                data = result.rows ?? [];
+                rendered = null;
             }
         }
-        catch { /* 保留上一次的值；首次失败则维持 '' */ }
+        catch { /* 保留上一次的值；首次失败则维持 null */ }
         loadedAt = now();
     };
     const revalidate = () => {
@@ -155,10 +189,17 @@ export function createMcpStateCatalog(deps, opts = {}) {
         return inflight;
     };
     return {
-        text: () => {
+        text: (agent) => {
             if (now() - loadedAt > ttlMs)
                 void revalidate();
-            return value;
+            if (data === null)
+                return '';
+            const visible = deps.listToolVisible ? deps.listToolVisible(agent) : true;
+            if (rendered && rendered.visible === visible)
+                return rendered.text;
+            const out = renderMcpStateSection(data, opts, visible);
+            rendered = { visible, text: out };
+            return out;
         },
         refresh: () => {
             loadedAt = Number.NEGATIVE_INFINITY;

package/lib/memories/constants.js

@@ -34,10 +34,22 @@ export const GLOBAL_SCENE = 'global';
 export const GLOBAL_SCENE_LABEL = '全局';
 export const SHARED_GROUP = '_shared'; // 保留场景名：公共基线（历史语义，仍可使用）
 // ── 段渲染 ─────────────────────────────────────────────────────────────────
-export const TRUNCATION_MARKER = '<!-- truncated -->';
+/**
+ * 截断标记。**给模型看的一句英文**，不再是 `<!-- truncated -->`（2026-10-18 审查）。
+ *
+ * 旧值是个 HTML 注释：对人眼不可见（要的就是"别显示"），但模型读的是**原始 markdown** ——
+ * 它看到的是一串 `<!-- truncated -->`，既不知道这是什么、也不知道该拿它怎么办。注入正文里
+ * 没有"注释"这个概念，凡是进上下文的东西都该是给模型的一句话。
+ *
+ * 现在的写法说清两件事：有内容没进来（`Truncated`）、进来的是少于全部的（`not shown`）。
+ * 具体漏了哪些由段尾的 `## Not injected` 清单回答，标记只在清单本身也放不下时才独自出现。
+ */
+export const TRUNCATION_MARKER = '(Truncated: some entries are not shown.)';
 // 段尾清单：让模型知道自己漏了什么。去掉伞标题后这里也不再挂「场景记忆」前缀 ——
-// 它紧跟在场景块之后，`参考信息` 与段首引导语同一说法。
-export const DROPPED_HEADING = '## 未注入的参考信息（超出预算）';
+// 它紧跟在场景块之后，与段首引导语同一说法。2026-10-18 起两者都是英文（见 SCENE_MEMORY_NOTE）。
+// 每行只有 `场景/名称`：原先还带 `(N B)`，那个字节数对人有用、对模型零动作价值
+// （它不能凭"这条 800 B"决定读不读）—— 2026-10-18 审查按"注入只写模型能用的信息"删掉。
+export const DROPPED_HEADING = '## Not injected (over the size limit)';
 /** 单行正文的最大长度：超过就退回「标题 + 正文块」，避免出现一条几千字符的列表行。 */
 export const INLINE_BODY_MAX = 120;
 /** 附件行里最多列几个文件名；多的只报总数（路径已经给了，缺的名字模型自己列目录即可）。 */
@@ -63,7 +75,7 @@ export const ATTACHMENT_LIST_MAX = 10;
  *
  * 用词：不用「常驻」「注入」这类内部行话（模型没有先验）。
  * ⚠️ 「用『信息』而不是『记忆』」那条**已被 2026-09-23 第四次裁定推翻**（见下）：用户
- * 给定的定稿文案里就是「记忆」，而板块标题本来就是「当前记忆」—— 两者同名反而更好，
+ * 给定的定稿文案里就是「记忆」，而板块标题本来就是 `Current memories` —— 两者同名反而更好，
  * 当时那条理由（「记忆」在系统提示词里指代不明）在板块标题定名之后也不成立了。
  *
  * 2026-09-17 重写（用户：「当前模式会不重视这些提示词」）。上一版的三个毛病都在**授权**
@@ -110,7 +122,7 @@ export const ATTACHMENT_LIST_MAX = 10;
  * 时以实际情况为准、④ 与用户当场说的冲突时以用户为准、⑤ 无关不必提 + 完整性声明（防探测，
  * 见上，那半句是整句里唯一不能删的）。77 → 48 字符（219 → 144 字节），而它**每个场景块各来
  * 一次**，所以省的是 N 倍。删掉的只有修饰与重复：「以下是用户为本机写的记录」→「本机记录」
- * （板块标题 `# 当前记忆` 已经把"这是本机的记忆"说过了），两句"冲突时以…为准"
+ * （板块标题 `# Current memories` 已经把"这是本机的记忆"说过了），两句"冲突时以…为准"
  * 合成一句。
  *
  * 2026-09-23 第四次裁定（用户直接给定稿文案，逐字）：
@@ -118,7 +130,7 @@ export const ATTACHMENT_LIST_MAX = 10;
  * 相对第三版有三处变化，都不是措辞偏好：
  *   ① 「本机记录」→「以下是**当前场景对应的**记忆」：说清这是**哪个范围**的记忆。记忆本来
  *      就按场景组织，而这一段列出的条目确实全来自"当前启用的场景 + 两个保留桶" —— 比
- *      "本机记录"准确，也解释了为什么下面的条目按 `## 场景：X` 分组。
+ *      "本机记录"准确，也解释了为什么下面的条目按 `## Scene: X` 分组。
  *   ② 「用户当场说的」→「用户**目前的对话**」：同一个意思，后者更贴注入发生的场合。
  *   ③ **删掉「可能已过期」，以及完整性声明「以下就是全部信息」**。
  *      - 「可能已过期」：用户判断它与紧接的「冲突时以实际情况为准」重复 —— 后半句已经把
@@ -139,12 +151,32 @@ export const ATTACHMENT_LIST_MAX = 10;
  *   ② **`global` 的分组标题从 `## 场景：全局` 改成 `## 常驻信息`**（见 `sceneHeading`）：
  *      全局是恒常生效的保留桶，不是"一个场景"，写成场景会让模型以为它是当前场景的另一种
  *      取值。
+ *
+ * 2026-10-18（用户裁定）：**模型侧模板一律英文**，这句引导语的五个功能一个不动 ——
+ * ① 这是当前场景对应的记忆 ② 冲突时以实际情况与用户当场说的为准 ③ 无关勿提（不必提及，
+ * 不是不采用）④ 完整性声明（防探测）。**用户写的内容（记忆正文、场景名与说明）原样注入。**
+ *
+ * 同日晚些时候二次收紧（用户：「让 agent 更能注意到信息，信息高效，也不要冗余」）：
+ * `when` → `where`，`do not bring them up unless relevant` → `bring them up only when relevant`。
+ * 后者不是同义改写：否定式读起来像"对内容的态度许可"（正是第三次裁定要拆掉的那个毛病），
+ * 正向式说的是"可以提，只是别主动提"。四个功能一个没少，字数少 11 个。
  */
 /**
  * 记忆段（`memory-manager-catalog`）的授权语：条目是**记录**（权威等级低于"用户当场说的"）。
  * 放在**板块层**（第一个场景块之前），整段只出现一次 —— 见 `renderBody` 尾部。
  */
-export const SCENE_MEMORY_NOTE = '**以下是当前场景对应的记忆；冲突时以实际情况和用户目前的对话为准；无关勿提；以下就是全部信息：**';
+export const SCENE_MEMORY_NOTE = '**Memories for the current scene; where they conflict with what you observe or with what the user says in this conversation, trust that instead; bring them up only when relevant; this is the complete set:**';
+/**
+ * 同一条授权语，**去掉完整性声明**的版本 —— 只在真发生截断时用（2026-10-18 审查恢复分叉）。
+ *
+ * 第五次裁定当时判定"真截断时的矛盾可以接受"，理由是默认 128 KiB 正常碰不到。但
+ * `rulesMaxBytes` 是公开旋钮（`index.ts` 的 config），预算配小时这个矛盾就是**每一条注入都在
+ * 说谎**：段首说"这就是全部"，段尾的 `## Not injected` 紧接着列出没进来的条目。模型按段首
+ * 那句判断"没有别的记忆了"，正好是这条声明本来要防的那个误判。
+ *
+ * 预算仍按全量版预留（`sceneNoteBytes`），而截断态这句更短，所以恢复分叉不会挤掉任何条目。
+ */
+export const SCENE_MEMORY_NOTE_PARTIAL = '**Memories for the current scene; where they conflict with what you observe or with what the user says in this conversation, trust that instead; bring them up only when relevant:**';
 // ── bundle 与索引 ──────────────────────────────────────────────────────────
 // bundle 附件限制（body 走 HTTP JSON + base64，故比技能上传收紧一档）。
 export const MAX_ATTACH_ENTRY_BYTES = 8 << 20; // 单个附件 8 MiB

package/lib/memories/projection.js

@@ -129,38 +129,38 @@ export function sceneLabel(scene, index) {
 /**
  * 记忆段里的场景**分组**标题。
  *
- * `global` 是恒常生效的保留桶，不是"一个场景" —— 叫它 `## 场景：全局` 会让模型以为"全局"
+ * `global` 是恒常生效的保留桶，不是"一个场景" —— 叫它 `## Scene: 全局` 会让模型以为"全局"
  * 是当前场景的另一种取值（用户 2026-09-23：「全局不需要写成场景」）。所以它单独成一种标题：
- * `## 常驻信息`。其余场景仍是 `## 场景：X`。
+ * `## Always-on memories`。其余场景仍是 `## Scene: X`。
  *
- * `_shared`（历史保留名）保持 `## 场景：_shared` 不动 —— 它只在旧数据里出现，且没有
+ * `_shared`（历史保留名）保持 `## Scene: _shared` 不动 —— 它只在旧数据里出现，且没有
  * "全局"这种"它不是场景"的语义歧义（它确实曾是一个共享场景）。
  */
-export const sceneHeading = (scene) => scene === GLOBAL_SCENE ? '## 常驻信息' : `## 场景：${sceneLabel(scene)}`;
+export const sceneHeading = (scene) => scene === GLOBAL_SCENE ? '## Always-on memories' : `## Scene: ${sceneLabel(scene)}`;
 /**
- * 场景段（`scene-manager-catalog`）里的一行：`**「<场景名>」—— 用户描述：<场景说明>**`。
+ * 场景段（`scene-manager-catalog`）里的一行：`**"<场景名>" — user description: <场景说明>**`。
  *
- * 2026-09-23 用户裁定，替换了原来的两行式（`## 场景：X` + `**场景说明：X**`）。三条理由都是
+ * 2026-09-23 用户裁定，替换了原来的两行式（`## Scene: X` + `**场景说明：X**`）。三条理由都是
  * 用户看到**实际注入**之后提的：
  *   - **场景名只出现一次**。上一版里它出现三次（框架线索"现在处在哪个场景"、引导语里的
- *     「代码」、标题里的 `## 场景：代码`），而说明行只是把同一件事换个标签再说一遍。
+ *     「代码」、标题里的 `## Scene: 代码`），而说明行只是把同一件事换个标签再说一遍。
  *   - **场景说明是「标签」，不是「约定」**。它答的是"这个场景是干什么的"，用户的实例就是
  *     「写代码」「前端相关」。上一版把它写成"一律照办、覆盖你的默认做法"，等于要求模型
  *     "照办一个标签" —— 那正是它读不懂这一段的根源。授权语已删，说明只作注解跟在名字后面。
  *   - **没填说明就不带后缀**。上一版会补 `defaultSceneDescription` 的默认句，而
  *     "用户配置的上下文，当前启用"贴在名字后面，读起来像一句真的说明。
  *
- * `用户描述：` 这个前缀是同日追加的（用户：「防止模型误解这是场景名或者其它」）：破折号后面
+ * `user description:` 这半句是同日追加的（用户：「防止模型误解这是场景名或者其它」）：破折号后面
  * 那截的形态本来有歧义 —— `**「代码」—— 写代码**` 读起来像"名字 —— 别名"，而它其实是
- * **用户写的一句说明**。加四个字把来源点明，模型就不会把它当成场景的另一个名字或某种标识符。
- * 前缀只在真有描述时出现（没填描述时整截不出现，不存在"用户描述："后面空着）。
+ * **用户写的一句说明**。加这半句把来源点明，模型就不会把它当成场景的另一个名字或某种标识符。
+ * 前缀只在真有描述时出现（没填描述时整截不出现，不存在"user description:"后面空着）。
  *
  * 为什么不再用 `##` 标题：这一段只讲"当前启用的是哪个 + 它是什么"，一行说完就够。
  * 场景**分组**标题仍在记忆段里用（`sceneHeading`），两段各自承担自己的职责。
  */
 export const sceneLine = (scene, index) => {
     const described = String(index?.scenes?.[scene]?.description ?? '').replaceAll(/\s+/g, ' ').trim();
-    return `**「${sceneLabel(scene)}」${described === '' ? '' : `—— 用户描述：${described}`}**\n\n`;
+    return `**"${sceneLabel(scene)}"${described === '' ? '' : ` — user description: ${described}`}**\n\n`;
 };
 /** 场景渲染顺序：全局 `global` 最先（它的记忆对任何对话都成立，先讲总则），
  *  其次 `_shared`（历史保留名），其余按（索引 scenes.order, 场景名）。 */
@@ -246,7 +246,7 @@ export function attachmentLine(file) {
         return '';
     const shown = names.slice(0, ATTACHMENT_LIST_MAX);
     const more = names.length - shown.length;
-    return `附件：${file.bundleDir}（${shown.join('、')}${more > 0 ? ` 等 ${names.length} 个` : ''}）`;
+    return `Attachments: ${file.bundleDir} (${shown.join(', ')}${more > 0 ? `, ${names.length} total` : ''})`;
 }
 // ── 单条记忆的渲染 ─────────────────────────────────────────────────────────
 /**
@@ -254,7 +254,7 @@ export function attachmentLine(file) {
  *
  * 为什么不是"缩进 2 格就完事"（这是上一版的实现，被实测推翻）：markdown 里缩进 ≤3 格的 `#`
  * **仍然算标题**，所以正文里一句手写的 `# 代码/需求` 会渲染成 H1，**盖过容器自己的
- * `## 场景：X`** —— 用户看到的就是这个：内容看起来"逃出了条目"，与场景标题平级甚至更高。
+ * `## Scene: X`** —— 用户看到的就是这个：内容看起来"逃出了条目"，与场景标题平级甚至更高。
  * 缩到 4 格能压住标题（块级标记都要求 ≤3 格缩进），但正文里的列表/引用只是被"压平"，
  * 视觉上仍与条目正文同级，达不到"明显从属"。
  *
@@ -279,8 +279,8 @@ export const explicitDescriptionOf = (f) => (f.descriptionDerived || !f.descript
 /**
  * 单条信息的渲染形态 —— **能一行就一行，但恒为列表项**。
  *
- *   单行且不长的正文 → `- **名称**（描述） — 正文`（与 MCP / 子智能体两个段的列表同形；无显式描述时括号不出现）
- *   多行或过长的正文 → `- **名称**（描述）` + 空行 + **围栏代码块里的正文**（挂在条目下；理由见 `bodyBlock`）
+ *   单行且不长的正文 → `- **名称** (描述) — 正文`（与 MCP / 子智能体两个段的列表同形；无显式描述时括号不出现）
+ *   多行或过长的正文 → `- **名称** (描述)` + 空行 + **围栏代码块里的正文**（挂在条目下；理由见 `bodyBlock`）
  *
  * 名称恒为标题：它就是这条记忆的身份（工具 id `<场景>/<名称>`、bundle 目录/文件名都以它为准），
  * 用户说「记忆里的 X」、模型再调 `memory_manager_*` 时都对得上号；显式描述是括号注解，不抢标题。
@@ -293,14 +293,14 @@ export const explicitDescriptionOf = (f) => (f.descriptionDerived || !f.descript
  * 为什么要分两种：用户常有十几条「一句话事实」（「提交格式：PDF」），每条都占标题 + 空行 +
  * 正文三行，整段会散成一长串标题；压成一行后十条信息就是十行。多行正文是**用户写的完整
  * Markdown**（可能自带标题、代码块、嵌套列表），放进围栏块挂到条目下 —— 上一版让它以普通
- * 段落参与外围排版，结果正文里的 `#` 会盖过 `## 场景：X`（见 `bodyBlock` 的说明）。
+ * 段落参与外围排版，结果正文里的 `#` 会盖过 `## Scene: X`（见 `bodyBlock` 的说明）。
  *
  * 返回值带 `inline`：调用方据此决定下一条记忆前要不要空行（单行条目连续排列，其余空行分隔）。
  */
 export function memoryBlock(file) {
     const desc = explicitDescriptionOf(file);
-    // 加粗的只有名称：`- **名称**（描述） — 正文`，与 MCP 段 `- **server**（N 个工具） — …` 同形。
-    const title = `**${file.name}**` + (desc === '' ? '' : `（${desc}）`);
+    // 加粗的只有名称：`- **名称** (描述) — 正文`，与 MCP 段 `- **server**（N 个工具） — …` 同形。
+    const title = `**${file.name}**` + (desc === '' ? '' : ` (${desc})`);
     const text = String(file.body ?? '').trim();
     const inline = text === '' || (!text.includes('\n') && text.length <= INLINE_BODY_MAX);
     const head = text === ''

package/lib/memories/service.js

@@ -661,9 +661,10 @@ export function createMemoriesService(ctx, deps) {
      * sha1 hex）：算的是**文件内容**（AGENTS.md 取截断前的原文），是"文件这一版"的身份，
      * 不是"这次注入了什么"；界面只拿它当悬停提示，不参与任何判定。
      *
-     * `text` 是**模型侧**正文，开头一行 `来源：<展示路径>` —— 照抄官方 agent-instructions 的
-     * 写法（`Instructions from: <path>`，`render.js` 的 `sectionText`）。模型据此知道这些规则
-     * 写在哪个文件里：用户说"把这条记下来"时它知道该改哪份文件，而不是只能凭印象回答。
+     * `text` 是**模型侧**正文，开头一行 `Instructions from: <展示路径>` —— 与官方 agent-instructions
+     * 逐字同形（`render.js` 的 `sectionText`；2026-10-18 由 `Source:` 改过来：官方注入本来就用
+     * 这个措辞，模型对它有现成的先验）。模型据此知道这些规则写在哪个文件里：用户说"把这条记下来"
+     * 时它知道该改哪份文件，而不是只能凭印象回答。
      */
     const resolvePrompt = () => {
         // 场景提示词与 AGENTS.md 正文在用户眼里就是同一件事（"全局提示词"）：场景期间前者取代后者，
@@ -678,11 +679,11 @@ export function createMemoriesService(ctx, deps) {
             const body = Buffer.byteLength(scene.text, 'utf8') <= AGENTS_MD_MAX_BYTES
                 ? scene.text
                 : Buffer.from(scene.text, 'utf8').subarray(0, AGENTS_MD_MAX_BYTES).toString('utf8') +
-                    `\n\n（…预设正文超过 ${Math.floor(AGENTS_MD_MAX_BYTES / 1024)} KiB，已截断。）`;
+                    `\n\n(Truncated: the preset body is over ${Math.floor(AGENTS_MD_MAX_BYTES / 1024)} KiB.)`;
             return {
                 path,
                 digest: createHash('sha1').update(scene.text).digest('hex'),
-                text: `来源：${path}\n\n${body}`,
+                text: `Instructions from: ${path}\n\n${body}`,
             };
         }
         const raw = readGlobalAgentsMdSync();
@@ -692,8 +693,8 @@ export function createMemoriesService(ctx, deps) {
         const body = Buffer.byteLength(raw, 'utf8') <= AGENTS_MD_MAX_BYTES
             ? raw
             : Buffer.from(raw, 'utf8').subarray(0, AGENTS_MD_MAX_BYTES).toString('utf8') +
-                `\n\n（…文件超过 ${Math.floor(AGENTS_MD_MAX_BYTES / 1024)} KiB，已截断。）`;
-        return { path, digest: createHash('sha1').update(raw).digest('hex'), text: `来源：${path}\n\n${body}` };
+                `\n\n(Truncated: the file is over ${Math.floor(AGENTS_MD_MAX_BYTES / 1024)} KiB.)`;
+        return { path, digest: createHash('sha1').update(raw).digest('hex'), text: `Instructions from: ${path}\n\n${body}` };
     };
     /**
      * 模型侧的提示词正文（`''` = 没有可注入的内容）。

package/lib/memories/snapshot.js

@@ -11,7 +11,7 @@ import { readdirSync, statSync } from 'node:fs';
 import { readFile } from 'node:fs/promises';
 import { dirname, join } from 'node:path';
 import { parseSkillDoc } from '../skills/core.js';
-import { MAX_SOURCE_DEPTH, MAX_DIRECTORIES, MAX_ENTRIES, DEFAULT_ORDER, DEFAULT_GROUP_ORDER, GLOBAL_SCENE, TRUNCATION_MARKER, DROPPED_HEADING, SCENE_MEMORY_NOTE, LEGACY_BUNDLE_DOC, bundleDocName, SHARED_GROUP, byteLen, message, isValidGroupSegment } from './constants.js';
+import { MAX_SOURCE_DEPTH, MAX_DIRECTORIES, MAX_ENTRIES, DEFAULT_ORDER, DEFAULT_GROUP_ORDER, GLOBAL_SCENE, TRUNCATION_MARKER, DROPPED_HEADING, SCENE_MEMORY_NOTE, SCENE_MEMORY_NOTE_PARTIAL, LEGACY_BUNDLE_DOC, bundleDocName, SHARED_GROUP, byteLen, message, isValidGroupSegment } from './constants.js';
 import { ensureSceneRecords, resolveActiveScenes, signatureOfIndex, sceneLabel, sceneHeading, sceneLine, compareSceneBuckets, memoryBlock } from './projection.js';
 import { isIndexQuarantined, readIndex, writeIndex, readFileOrThrowSync, isAbsentError } from './index-io.js';
 // 来源发现与投影（扫目录读成条目 / frontmatter 投成规则 / 老布局搬家）2026-10-01 整段搬到
@@ -326,7 +326,7 @@ export function renderSceneMemory(probe, index, maxBytes) {
         // 场景块只留标题：**场景说明归场景段**（`renderSceneCatalog`），否则同一句话会在
         // 上下文里出现两遍。记忆段要的是"这些条目属于哪个场景"这个分组标签。
         // `sceneHeading` 只给标题、不自带结尾空行（场景段的 `sceneLine` 才自带），这里补上 ——
-        // 否则标题会与紧跟的引导语/条目贴成一行（`## 场景：全局**以下是…**`）。
+        // 否则标题会与紧跟的引导语/条目贴成一行（`## Always-on memories**Memories for…**`）。
         const header = sceneHeading(scene) + '\n\n';
         for (const file of sceneFiles) {
             const { text: block, inline } = memoryBlock(file);
@@ -344,16 +344,16 @@ export function renderSceneMemory(probe, index, maxBytes) {
         return { text: '', bytes: 0, truncated: probe.truncated, maxBytes, scenes: [], items: [], dropped: [] };
     }
     /**
-     * 选中块 → 段正文（同一场景的 `## 场景：x` 只在首次出现时发出）。
+     * 选中块 → 段正文（同一场景的 `## Scene: x` 只在首次出现时发出）。
      *
-     * 授权语**只有一版**：2026-09-23 第四次裁定删掉了完整性声明（「以下就是全部信息」），
-     * 于是"按截断状态选长短两版"的自适应失去意义（两版会完全相同），`dropped` 参数一并移除。
-     * 详见 `SCENE_MEMORY_NOTE` 的注释 —— 代价是这一段不再有防探测手段。
+     * 授权语**两版**（2026-10-18 审查恢复分叉，理由见 `SCENE_MEMORY_NOTE_PARTIAL`）：不截断时带
+     * "this is the complete set"，截断时去掉 —— 否则段首的完整性与段尾的 `## Not injected` 直接
+     * 打架。预算仍按全量版预留（`sceneNoteBytes()`），截断态那句更短，不会多占。
      */
-    const renderBody = (selected) => {
+    const renderBody = (selected, truncated) => {
         if (selected.length === 0)
             return '';
-        const note = SCENE_MEMORY_NOTE;
+        const note = truncated ? SCENE_MEMORY_NOTE_PARTIAL : SCENE_MEMORY_NOTE;
         const chunks = [];
         let current = null;
         let buf = '';
@@ -380,7 +380,7 @@ export function renderSceneMemory(probe, index, maxBytes) {
         // 引导语只出现**一次**，放在板块层（第一个场景块之前）。
         //
         // 为什么挪上来（用户 2026-09-23 看到实际注入后要求）：此前它跟着**每个场景块**各来一遍
-        // —— 2 个场景就是 272 B ≈68 tok/轮，占记忆段整段的 22%；而且它夹在 `## 场景：X` 与条目
+        // —— 2 个场景就是 272 B ≈68 tok/轮，占记忆段整段的 22%；而且它夹在 `## Scene: X` 与条目
         // 之间，把"分组"和"内容"隔开了。它管的本来就是整段（授权语讲的是这一整段条目的效力，
         // 不是某个场景的），放在最前面才对得上。
         //
@@ -401,7 +401,8 @@ export function renderSceneMemory(probe, index, maxBytes) {
         const lines = [];
         let used = byteLen(head) + byteLen(marker);
         for (const c of missed) {
-            const line = `- ${sceneLabelOf(c.scene)}/${c.item.name}（${c.item.bytes} B）\n`;
+            // 只给 `场景/名称`：字节数对人有用、对模型没有动作价值（2026-10-18 审查）。
+            const line = `- ${sceneLabelOf(c.scene)}/${c.item.name}\n`;
             if (used + byteLen(line) > space)
                 break;
             lines.push(line);
@@ -410,8 +411,13 @@ export function renderSceneMemory(probe, index, maxBytes) {
         if (lines.length === 0)
             return byteLen(marker) <= space ? marker : '';
         const rest = missed.length - lines.length;
-        const fold = `- …（其余 ${rest} 条未列出）\n`;
-        const tail = `${head}${lines.join('')}${rest > 0 && used + byteLen(fold) <= space ? fold : ''}${marker}`;
+        const fold = `- ... (${rest} more not listed)\n`;
+        // 标记与折叠行的关系（2026-10-18 审查收口）：
+        //   - 清单列全（rest === 0）→ 不发标记也不发折叠行：`## Not injected` 标题已说清。
+        //   - 清单不全 + 折叠行放得下 → 只发折叠行（给了具体计数），不发标记（重复）。
+        //   - 清单不全 + 折叠行放不下 → 只发标记（折叠行是更具体的版本，但放不下时标记是唯一信号）。
+        const folded = rest > 0 && used + byteLen(fold) <= space;
+        const tail = `${head}${lines.join('')}${folded ? fold : ''}${rest > 0 && !folded ? marker : ''}`;
         return tail;
     };
     // ── ① 贪心：放得下就放，越界**跳过**（而不是整体停止）──────────────────
@@ -436,19 +442,31 @@ export function renderSceneMemory(probe, index, maxBytes) {
     }
     missed.sort((a, b) => a.seq - b.seq);
     // ── ② 尾注自身也占字节：放不下就把已入选的块从后往前退回，直到回到预算内 ──
-    let body = renderBody(selected);
-    let tail = renderTail(missed, maxBytes - byteLen(body), probe.truncated || missed.length > 0);
+    // 引导语要不要带完整性声明，取决于**最终**有没有截断 —— 所以每轮重算 body（贪心阶段不知道
+    // 结论）。两版字数差在 3 个词以内，预算按全量版预留，不会因此挤掉条目。
+    let truncatedNow = probe.truncated || missed.length > 0;
+    let body = renderBody(selected, truncatedNow);
+    let tail = renderTail(missed, maxBytes - byteLen(body), truncatedNow);
     while (byteLen(body) + byteLen(tail) > maxBytes && selected.length > 0) {
         missed.push(selected.pop());
         missed.sort((a, b) => a.seq - b.seq);
-        body = renderBody(selected);
-        tail = renderTail(missed, maxBytes - byteLen(body), true);
+        truncatedNow = true;
+        body = renderBody(selected, truncatedNow);
+        tail = renderTail(missed, maxBytes - byteLen(body), truncatedNow);
     }
     let text = `${body}${tail}`.replace(/^\n+/, '');
-    // ③ 兜底：预算小到连标记都放不下时也宁可超出几个字节——"有记忆没注入"这件事
-    // 绝不能静默消失（原来单条超预算会让整段变成空串，模型端完全无痕）。
-    if (text === '' && (missed.length > 0 || probe.truncated))
-        text = `${TRUNCATION_MARKER}\n`;
+    // ③ 兜底：有记忆没注入时绝不能静默消失。
+    //   - 原来（2026-09-? 初版）只兜 text === '' 的情形：body 非空、tail 放不下时，
+    //     模型看到的是一段看起来完整的记忆段 —— 既没有 `## Not injected` 也没有标记，
+    //     被截掉的那些条目就**完全无痕**了。这是 2026-10-18 审查发现的 P1：body 的字节
+    //     核算（`used`）与 `byteLen(body)` 有几字节的误差（渲染时条目间的 `\n` / `\n\n`
+    //     没全进 `used`），于是 reserve 留的余量偶尔不够，标记放不下，3 兜底又不触发。
+    //   - 现在的判据：只要 missed 非空或发现阶段截断，而 text 里既没有标记也没有
+    //     `## Not injected` 标题，就强制追加标记 —— 宁可超预算几字节（原 ③ 注释的原则），
+    //     也不能让截断无痕。两样有一样就不追加（信号已经在）。
+    if ((missed.length > 0 || probe.truncated) && !text.includes(TRUNCATION_MARKER) && !text.includes(DROPPED_HEADING)) {
+        text = text === '' ? `${TRUNCATION_MARKER}\n` : `${text.replace(/\n+$/, '')}\n${TRUNCATION_MARKER}\n`;
+    }
     const scenes = [];
     for (const c of selected)
         if (!scenes.includes(c.scene))
@@ -456,7 +474,7 @@ export function renderSceneMemory(probe, index, maxBytes) {
     return {
         text,
         bytes: byteLen(text),
-        truncated: probe.truncated || missed.length > 0,
+        truncated: truncatedNow,
         maxBytes,
         scenes,
         items: selected.map((c) => c.item),

package/lib/op-registry.js

@@ -243,6 +243,9 @@ export const OP_REGISTRY = Object.freeze({
     // 客户端 boot 时必问一次决定挂不挂 `/` 菜单，那一次不能要令牌，否则没配令牌的宿主上这个功能
     // 永远出不来。
     'slash-settings': { write: true, writeWhen: (a) => a.set === true },
+    // 侧栏入口的开关（侧车 `sidebar-settings.json`）：同 `slash-settings` —— 写侧车按写门禁、
+    // 不冻结；读侧是纯读（客户端 boot 时必问一次，那一次不能要令牌）。
+    'sidebar-settings': { write: true, writeWhen: (a) => a.set === true },
     // 清理 patch 备份：删磁盘文件（备份里含明文凭据副本），按写操作门禁。
     'backups-clean': { write: true },
     // ── 场景候选源（4）与内联（1）──────────────────────────────────────────────