@a9i5k4/dsh-auto-memory 3.0.0 → 3.0.1

package/lib/index.js

@@ -31,6 +31,9 @@ import { retryRename } from './fs-retry.js'
 import { parseAnchors, stripAnchorLines } from './memory-anchor.js'
 import { createShadowHost } from './shadow-host.js'
 import { createContextHost } from './context-host.js'
+// R3（2026-09-18）：降级留痕层。fail-soft 本身是对的，缺陷在「降级不可见」——
+// 检索链四条臂各自静默失效，使用者只感到「检索不太对」。本层让「哪条臂没在工作」可查询。
+import { createDegradeSinkPre, deriveArmsHealthPre, persistDegradeLedgerPre, createQuotaProbePre, deriveQuotaVerdictPre } from './degrade.js'
 import { createSuccessEvidencePre } from './context-bridge.js'
 import { createIndexSyncHostPre } from './m7-index-sync-host.js'
 import { createActivationHost } from './activation-host.js'
@@ -44,8 +47,12 @@ import { createPythonSetupPre } from './python-setup.js'
 import { createEpisodicStorePre } from './episodic-store.js'
 import { createFactStorePre } from './fact-store.js'
 import { createProcedureStorePre } from './procedure-store.js'
+import { exportSkillForPre, resolveSkillsRootPre } from './skill-export-host.js'
 import { createMemoryHubPre } from './memory-hub.js'
 import { pickConsolidationTextPre } from './intent-clean.js'
+// T1-3（2026-09-19）：hubFlushTick 写入前的**内容卫生门**复用 ⑨ 同源清洗器。
+// 必须独占一行（本仓契约守卫以字面量断言既有 import 行，禁止为排版合并）。
+import { stripRuntimeIntentPre, looksRuntimeResiduePre } from './intent-clean-safe.js'
 import { createStorageManagerPre } from './storage-manage.js'
 import { rankWorkspacesByMemoryRecencyPre } from './ws-overview-rank.js'
 import { scanPluginSubagentSessions, recycleSessions, PLUGIN_LABEL_PREFIX, decodeZstdFrames, decodeZstdFramesHead } from './subagent-gc.js'
@@ -61,6 +68,14 @@ import { composeMemoryEnvelopePre } from './memory-envelope.js'
 import { validateMutationBoundaryPre, mutationRefusalTextPre } from './memory-mutation.js'
 import { parseWhiteboardPre, toMutationProjectionPre, extractProtectedRegionsPre, checkHandoffCriteriaPre, checkPlanCriteriaPre, criteriaRefusalTextPre, WB_MARKERS_V1, WB_CONTRACT_VERSION } from './wb-contract.js'
 import { resolveBoardModePre } from './board-mode.js'
+// ★#86-3（2026-09-20）：DSH_HOME 解析统一到单一口径（此前全仓 7 处、4 种回落）。
+import { resolveDshHomePre } from './dsh-home.js'
+// ★R7（2026-09-20 用户要求「用户级硬性约束必须可以让用户自己增删改」）：
+//   条目级解析/增删改的**纯逻辑**（不含 IO；IO 走既有 writeFull 事务）。
+import { listRuleItemsPre, updateRuleItemPre, removeRuleItemPre, appendRuleItemPre } from './rules-edit.js'
+// ★#82（2026-09-20）：配置读写切到原子写 + 损坏隔离模块。
+//   原实现：写侧裸 writeFileSync（写到一半被杀 ⇒ 半截 JSON），读侧 catch 静默回落出厂默认。
+import { writeTextAtomicPreSync, writeTextAtomicPre, readJsonQuarantinePreSync } from './config-io.js'
 import { WB_SIDECAR_VERSION, buildSidecarEntryPre, rebuildSidecarIndexPre, expandByTagPre, traceByIdPre, applyAnchorsPre, collectAnchorIdsPre, wbRefPre, normalizeRelPathPre, normalizeTitlePre, buildKanbanPre, buildSectionCardsPre, splitSectionsPre, buildKanbanMatrixPre, ledgerDateOfPre, WB_KANBAN_LANES_V1 } from './wb-sidecar.js'
 // P6A 规则层（规则类与参考类分开措辞；规则真源 = 既有用户级记忆，不新增 RULES.md）
 import { extractRulesLayerPre, renderRulesSectionPre, RULES_SECTION_TITLE_V1, RULES_SECTION_GUIDE_V1, REFERENCE_SECTION_GUIDE_V1, LOG_KINDS_V1 } from './rules-layer.js'
@@ -140,7 +155,7 @@ const SECTION_ORDER = 10000
 const NOTICES_URL = 'https://raw.githubusercontent.com/Aik358/dsh-auto-memory/main/notices.json'
 
 /** Model-facing announcement (tools + engine). */
-export const GUIDANCE = '本机已安装 dsh-auto-memory 插件(集中式自动记忆 + 外部记忆继承）：三层本地记忆（用户级 ~/.dsh/memory/MEMORY.md、项目笔记与每日日志 .dsh-memory/）+ 会话自动注入 + 每日反思 + 其他 AI 工具记忆接入。能力：memory_log 追加今日日志（append-only，完成实质性工作后必须调用）；memory_note 更新项目笔记；memory_user 更新用户级规则；memory_recall 检索本地记忆 + 外部记忆（WorkBuddy/CodeBuddy/Claude Code/Codex/ZCode/Kimi Code/TRAE 记忆与会话）+ 历史 DSH 会话；memory_external 查看/接入外部记忆源；memory_maintain 归档 30 天前日志；memory_reflect 保存每日反思；memory_status 查看状态；memory_consolidate 让 AI 读日志发散提炼长期要点固化进笔记。自动沉淀：每轮对话结束插件自动评估本轮内容并写今日日志/升格长期记忆（寒暄轮跳过，间隔与每日额度可在设置页「自动化」分组调整），无需你手动调 memory_log。主动性纪律：任务开始遇到不熟悉的代码/领域/历史决策时，先 memory_recall 检索本机全部 AI 工具历史，不凭空猜测；新工作区主动探索历史。限制：记忆文件为明文 Markdown；不存密钥除非用户明确要求；外部会话检索为关键词级（非语义）；GUI 侧边栏「记忆」面板（含「接续」页签，可查看来源内容、从记忆 prompt 移除已导入段落）与设置页可查看/配置/接入。用户提到「记忆 / 昨天做了什么 / 之前怎么做的 / 每日反思 / 接续 / 其他 AI 的记忆」时即指本插件，请据此协作。'
+export const GUIDANCE = '本机已安装 dsh-auto-memory 插件(集中式自动记忆 + 外部记忆继承）：三层本地记忆（用户级 ~/.dsh/memory/MEMORY.md、项目笔记与每日日志 .dsh-memory/）+ 会话自动注入 + 每日反思 + 其他 AI 工具记忆接入。能力：memory_log 追加今日日志（append-only，完成实质性工作后必须调用）；memory_note 更新项目笔记；memory_user 更新用户级规则；memory_recall 检索本地记忆 + 外部记忆（WorkBuddy/CodeBuddy/Claude Code/Codex/ZCode/Kimi Code/TRAE 记忆与会话）+ 历史 DSH 会话；memory_external 查看/接入外部记忆源；memory_maintain 归档 30 天前日志；memory_reflect 保存每日反思；memory_status 查看状态；memory_consolidate 让 AI 读日志发散提炼长期要点固化进笔记。自动沉淀：每轮对话结束插件自动评估本轮内容并写今日日志/升格长期记忆（寒暄轮跳过，间隔与每日额度可在设置页「自动化」分组调整），无需你手动调 memory_log。主动性纪律：任务开始遇到不熟悉的代码/领域/历史决策时，先 memory_recall 检索本机全部 AI 工具历史，不凭空猜测；新工作区主动探索历史。限制：记忆文件为明文 Markdown；不存密钥除非用户明确要求；外部会话检索为关键词级（非语义）；GUI 侧边栏「记忆」面板（含「接续」页签，可查看来源内容、从记忆 prompt 移除已导入段落）与设置页可查看/配置/接入。用户提到「记忆 / 昨天做了什么 / 之前怎么做的 / 每日反思 / 接续 / 其他 AI 的记忆」时即指本插件，请据此协作。白板纪律（三层分工，2026-09-17 定稿）：①**白板 PLAN.md = 项目稳定的"是什么/怎么跑"事实**，由 memory_note(kind=plan) 整体重写（这是 12 个工具里**唯一**能覆盖已有结论的能力，旧版自动归档）；②**交接账本 handoff-*.md = 动态状态的唯一权威**（任务状态/目标/已试方案与失败原因/进度与下一步），由 memory_note(kind=handoff) 新开一篇，**append-only、不追改旧账本**；③**项目笔记 MEMORY.md = 可复用的结论/决策**。维护时机（**条件触发，不是每轮**）：完成阶段性工作、或发现白板/账本所述与现状不符、或方向有实质变化时——**写记忆的同时顺手维护白板**，不要新开一轮专程去做。**禁止**：未得用户同意不得删减白板既有内容（只报告过时，不自动删）；白板/产物功能关闭时跳过白板维护、不要因此报错。'
 
 /** Route family. */
 export const API = {
@@ -160,6 +175,9 @@ export const API = {
   reflect: '/api/dsh-auto-memory/reflect',
   'reflect-auto': '/api/dsh-auto-memory/reflect-auto',
   note: '/api/dsh-auto-memory/note',
+  // ★R7：用户级硬性约束的条目级读写（前端「设置 → 硬性约束」页用）
+  'rules-list': '/api/dsh-auto-memory/rules',
+  'rules-apply': '/api/dsh-auto-memory/rules/apply',
   external: '/api/dsh-auto-memory/external',
   'external-view': '/api/dsh-auto-memory/external-view',
   'external-import': '/api/dsh-auto-memory/external-import',
@@ -197,9 +215,20 @@ export const API = {
  * 记忆文件**容量上限**(字符,非字节)。超过即触发一次自动整理(先 AI 折叠、后退整条归档),
  * 整理后仍超才拒绝写入 —— 正常情况下"新记忆永不堵在外面"。
  * 只影响"多久整理一次",不直接决定每轮注入体积(那是 injectBudgetChars 的职责,两者互不相干)。
+ *
+ * ★2026-09-18(用户裁定,用户级反馈驱动):12000 → **24000**。多个真实用户报"写满了、写不进去",
+ * 12k 对长期项目(多天累积、大量决策/路径)偏紧,触发整理过于频繁。翻倍到 24k 后,
+ * 一个"信息量大"的工作日(实测约 8700 字符)能连续记录近 3 天而不整理。
+ * ⚠️ 只改常量**救不了老用户** —— `saveConfig` 会把整个合并后的 config 落盘,
+ * 老用户只要在设置页存过任何一项,12000 就已被钉死在磁盘上。故配套一次性迁移
+ * `upgradeCapacityDefaultsPre()`,见其注释。
  */
-const DEFAULT_NOTE_CAPACITY_CHARS = 12000
-const DEFAULT_USER_CAPACITY_CHARS = 12000
+const DEFAULT_NOTE_CAPACITY_CHARS = 24000
+const DEFAULT_USER_CAPACITY_CHARS = 24000
+/** 上一版出厂默认容量(迁移判据:配置里仍是这个值 ⇒ 视为"用户没表达过偏好")。 */
+const DEFAULT_CAPACITY_CHARS_PREV = 12000
+/** 容量出厂默认的档位版本(用于老配置**只升一次**;用户此后手动设回 12000 也不再被覆盖)。 */
+const CAPACITY_DEFAULTS_VERSION = 24
 /**
  * 整理保护窗口:最近写入的这么多字符**不参与回收**(软下限)。
  * 硬底线是"至少保留最新 1 条记录":若保护窗口自身就超过上限,允许对其折叠成要点(但不整条删除),
@@ -212,6 +241,20 @@ const COMPACT_FOLD_MAX_CHARS = 1500
  *  注意:节流只作用于"折叠"这一步,不阻止"整条归档"——否则短时间内反复超容量时仍会拒绝写入。 */
 const COMPACT_THROTTLE_MS = 10 * 60 * 1000
 
+/** ★T7-a（2026-09-20 · 上游 #86-4）：水位建议阈值的**唯一真源**。
+ *  为什么抽常量：此前 0.75 以字面量散在 8 处（7 处 `|| 0.75` 兜底 + DEFAULT_CONFIG 一行），
+ *  而该默认值历史上**全局调过一次**（2026-09-08 由 0.8 下调到 0.75）——下次再调极易漏站点，
+ *  任何一处漏改都会造成"部分路径用新值、部分路径用旧值"的静默不一致。
+ *  ⚠️ 不要把它和 `Math.max(..., 0.1)` 的下限钳制混为一谈：后者是另一件事，保持原样。 */
+export const DEFAULT_WATER_LEVEL_THRESHOLD = 0.75
+
+/** ★T7-a（2026-09-20 · 上游 #86-4）：自动接续阈值的**唯一真源**。
+ *  ⚠️ **与 waterLevelThreshold 是两个独立配置项**（各自可单独设、各自有 `|| 兜底`），
+ *  只是历史上被**同时**下调过一次（2026-09-08 两者一起 0.8→0.75，见 DEFAULT_CONFIG 注释）。
+ *  ⇒ 故意**不复用** DEFAULT_WATER_LEVEL_THRESHOLD：复用会让"只调水位、不动自动接续"变成不可能，
+ *  那是把两个开关耦合成一个（违反本仓「功能开关必须解耦」纪律）。 */
+export const DEFAULT_AUTO_CONTINUE_THRESHOLD = 0.75
+
 const DEFAULT_CONFIG = {
   /** WB-GRAPH 白板线总开关(2026-09-16, board_mode_v1)。
    *  ★2026-09-17（3.0.0 大版本，用户裁定「白板默认新版，旧版为了兼容而保留」）：默认由 'legacy'
@@ -277,12 +320,15 @@ const DEFAULT_CONFIG = {
   subagentReasoningEffort: '',
   /**
    * 项目笔记 / 用户级记忆的**容量上限**(字符)。超过即自动整理(先 AI 折叠成要点,失败退回整条归档),
-   * 整理后仍超才拒绝写入 —— 新记忆不会被堵在外面。默认 12000(实测一个"信息量大"的工作日约写入 8700 字符,
-   * 12k 留出约 1.4 倍余量,避免同一天反复折叠)。与「注入预算」injectBudgetChars 是两回事:
-   * 容量上限管文件本体大小,注入预算管每轮往提示里塞多少摘要。
+   * 整理后仍超才拒绝写入 —— 新记忆不会被堵在外面。默认 **24000**(2026-09-18 由 12000 上调;
+   * 实测一个"信息量大"的工作日约写入 8700 字符,24k 能连续记录近 3 天而不整理)。与「注入预算」
+   * injectBudgetChars 是两回事:容量上限管文件本体大小,注入预算管每轮往提示里塞多少摘要。
    */
   noteCapacityChars: DEFAULT_NOTE_CAPACITY_CHARS,
   userCapacityChars: DEFAULT_USER_CAPACITY_CHARS,
+  /** 容量出厂默认的档位版本(2026-09-18 新增)。低于当前值时,`upgradeCapacityDefaultsPre()`
+   *  会把仍是上一版默认(12000)的容量键抬到新默认;只升一次 ⇒ 用户自设值永不被覆盖。 */
+  capacityDefaultsVersion: CAPACITY_DEFAULTS_VERSION,
   /** M3a 只读记忆索引开关(默认关闭;开启后仅构建只读索引与调试快照,不修改任何 Markdown)。 */
   memoryFileIndexEnabled: false,
   /** M3b 稳定 Anchor 写入开关(默认关闭=全部旧 Markdown 写法逐字节不变;开启后记忆写路径经 anchor-aware 事务,CALENDAR.md 始终除外)。 */
@@ -341,8 +387,12 @@ const DEFAULT_CONFIG = {
   waterLevelWindowTokens: 0,
   /** 水位建议阈值(0.1-1.5):ratio 越阈值时注入交接建议。
    *  2026-09-08 由 0.8 下调到 0.75:harness 官方自动压缩阈值是 80%,阈值贴着 80% 会在交接动作完成前先被官方压缩掉,
-   *  留 5% 余量(约 1M 窗口的 50K token)才来得及走完「写账本 → 建新会话 → 注入材料」。 */
-  waterLevelThreshold: 0.75,
+   *  留 5% 余量(约 1M 窗口的 50K token)才来得及走完「写账本 → 建新会话 → 注入材料」。
+   *  ★T7-a（2026-09-20 · 上游 #86-4）：**该默认值的唯一真源 = 常量 DEFAULT_WATER_LEVEL_THRESHOLD**。
+   *  此前 0.75 在 7 处内联兜底 + 本行字面量共 8 处；该默认值历史上**全局调过一次**（0.8→0.75），
+   *  下次再调极易漏站点，任何一处漏改即静默不一致。故抽常量、全站引用。
+   *  ⚠️ `Math.max(..., 0.1)` 的下限钳制是**另一件事**，不在本常量职责内，保持原样。 */
+  waterLevelThreshold: DEFAULT_WATER_LEVEL_THRESHOLD,
   /** 水位建议注入(无人值守时始终静默)。 */
   waterLevelAdvisory: true,
   /** 水位越阈时自动写一篇系统骨架账本(每会话一次;模型仍应自己写正式交接)。 */
@@ -353,7 +403,7 @@ const DEFAULT_CONFIG = {
   // 注:老用户已落盘的显式值不受影响,只有新装用户吃这个默认。
   autoContinueEnabled: false,
   /** 自动接续水位阈值(0.5-0.95);2026-09-08 与 waterLevelThreshold 同步下调到 0.75(官方自动压缩阈值 80%,必须留余量)。 */
-  autoContinueThreshold: 0.75,
+  autoContinueThreshold: DEFAULT_AUTO_CONTINUE_THRESHOLD,
   /** 确认卡倒计时秒数(30-40s 无操作 = 挂机 → 自动接续兜底)。 */
   autoContinueConfirmSeconds: 35,
   /** 接续前刷新仪式(默认开):先让旧 Agent 刷新 PLAN.md + 交接账本,host 再用最新材料组装交接。 */
@@ -494,6 +544,17 @@ const DEFAULT_CONFIG = {
   reasoningObserverEnabled: true,
   /** Procedure 自动晋升。 */
   procedurePromotionEnabled: false,
+  /** ★T10（2026-09-20）：**机械 procedure 切片**开关。
+   *  背景（用户 2026-09-20 报「白板/审批里的技能名与内容看不懂」）：
+   *  `memory-hub.js` 的 `crossFeed()` 会把 episode 的 intent **机械截断**成
+   *  `title: intent.slice(0, 40)` / `steps: ['观察任务：' + intent.slice(0, 80)]`
+   *  —— **无任何模型介入**，产出的观察行既不像技能名也不像步骤。
+   *  默认 **false**：关闭该机械来源。procedural 线的写入只剩两条正经通路——
+   *  ① 模型直写 `memory_procedure`（T4）；② 用户手动。
+   *  ⚠️ **解耦声明**：本开关**只**控制 procedure 切片；fact 分支、episode 巩固、
+   *  judgement 消费等一律不受影响（对应用户硬规矩「单一开关不得顺带改变其他功能」）。
+   *  设为 true 可恢复旧行为（回退通路）。 */
+  hubMechanicalProcedureFeedEnabled: false,
   /** ── M8 记忆中枢(Memory Hub)── 三层记忆(episodic/semantic/procedural)编排参数。
    *  所有参数都在设置页「记忆中枢」分组可调;默认值对应 M-02/M-03/M-04 元代码门槛。 */
   /** 记忆中枢总开关(2026-09-09 M8-3 经用户书面确认默认启用;开启后消费 judgement-shadow + 三层 store 运行;设置页「记忆中枢」开关可回滚)。 */
@@ -553,7 +614,25 @@ const DEFAULT_PROMPT_LAYERS = Object.freeze({
   snapshotCalendarTitle: '[日历与日程(未完成)]',
   snapshotWelcomeTitle: '[欢迎回来]',
   snapshotWelcomeBody: '用户离开已超过 1 小时(暂离/下班后回来)。在本轮回复的开头,先用一句简短温暖的话欢迎用户回来(如"欢迎回来!你离开的这段时间,我已经帮你把日志整理好了。"),然后提示"自动记忆窗口将打开,方便你了解这段时间的状况"(如已由 GUI 弹出概览则不必重复提示)。语气自然,一两句即可,不要长篇大论。',
-  snapshotInscription: '[铭文 · 每轮提醒 {date}]',
+  // ★T5（2026-09-20 用户拍板）：**填回收尾自检正文**。
+  //   背景取证：本常量自 v0.1.30（fbc14fb, 2026-09-01）重构起即为空壳标题——v0.1.9（85d9340）
+  //   的尾部提醒正文在那次重构中被固化进 renderMemoryStatic（走 system prompt，位置在最前）。
+  //   用户裁定「记忆写入提醒必须固定在每轮收尾，不能只靠开头注入」⇒ 本段正是收尾位
+  //   （动态快照倒数第二段，仅 frame-tail 在其后），recency 最高。
+  //   与 G4-6 的关系：G4-6 当时否决「往铭文塞白板散文」，理由是"纯每轮成本"；
+  //   2026-09-20 用户明确要求恢复三大方向收尾提醒 ⇒ **该否决被推翻**，G4-6 断言同步改写。
+  //   成本纪律：只列**方向 + 工具名 + 分类枚举**，不写解释性散文（详版在 renderMemoryStatic，
+  //   那里是 system prompt，不随对话增长）。实测约 420 字符 ≈ 210 token，单份快照预算 8000 的 5%。
+  //   缓存纪律：本段走 systemPrompt.context()（user-role，追加在历史尾部），**不击穿前缀缓存**
+  //   （见 :5194 设计说明）；含 {date} 模板 ⇒ 日期不变则该段内容不变。
+  snapshotInscription: '[铭文 · 每轮提醒 {date}]\n'
+    + '【收尾自检】本轮有实质产出才做；纯只读/闲聊轮跳过。三个方向 + 分类别丢：\n'
+    + '① 写记忆文件 memory_log —— kind 按性质选，**不要一律 fact**：rule=用户约束/约定（会被规则层当硬约束注入）、preference=偏好、fact=事实记录、todo=待办；\n'
+    + '② 更新白板与账本 —— ★**硬映射(满足即必须做,别自行判断"算不算"变化)**:\n   · 本轮**改过 lib/ 下任何文件**(含测试/工具) ⇒ 必写 **memory_note(kind=handoff)** 四段式账本;\n   · 白板"当前进度"与本轮结束时的**事实不符**(回归数字/已完成项/下一步) ⇒ 必做 **memory_note(kind=plan)** 重写白板;\n   · 仅补充一条可复用结论 ⇒ 才用 **memory_note(kind=note, action=append)**。\n   ⚠️ **kind=note 不等于白板/账本**——只写 note 却宣称"已更新白板与账本"是**失职**;write 直接写 docs/ 的 md 也**不算**插件记忆。\n'
+    + '③ 长期记忆判断（三个去处）—— 跨会话有用的 → memory_note / 跨项目规则 → memory_user / **跑通且可复用的多步流程 → memory_procedure**（技能库唯一模型入口，不写就没有；建议填 successCriteria）；\n'
+    + '④ 结论失效/被取代 —— 传 `supersedes=` 旧条目 mem_id 标 **superseded（被更新结论取代）**；**当时就做错了要撤回**则传 `retract=` 标 **retracted（撤回）**并尽量附 `retractReason=` 说明错在哪（两者不同：前者有后继，后者本身就是教训）；标错了用 `restore=` 撤回；\n'
+    + '⑤ 看板落列 —— 白板/账本内容要进面板看板泳道，须在标题或正文写 tag：`type:goal` / `type:state` / `type:dead-end` / `type:progress`（5 条泳道含「版本归档」，靠归档动作而非 tag）；不写 tag 系统只能按标题文字猜，常落空；\n'
+    + '⑥ 语体 —— 客观陈述、第三人称，只留可复用的事实/决策/规则/路径（不写"我考虑/我排查/我想"）。',
   // ★2026-09-15（用户裁定"不是不注入，而是精简注入"）：精简版尾部说明。
   // 作用：让模型知道**这是精简版**、完整版每 {n} 轮来一次、以及"知道有什么但没给全文"时怎么取。
   // 不写"请稍后再看"这类无效指令——只给可执行的取用方式（与 Tier-0 目录的用法一致）。
@@ -621,12 +700,132 @@ const truncateLinesBounded = (s, n) => {
   return (nl > Math.floor(n * 0.5) ? cut.slice(0, nl) : cut) + '\n…(截断,全文见 handoff/ 白板与账本)'
 }
 const truncateTail = (s, n) => (s && s.length > n) ? '…(截断,完整内容用 memory_recall 或 GUI 面板)\n' + s.slice(-n) : (s || '')
+
+/**
+ * 接续材料组装(L3, 2026-09-17) —— **导航区不可截断**。
+ *
+ * 为什么需要它(终端用户实测报障「有些文件没有办法接续过去」):
+ *   旧实现把所有层顺序 push 进一个数组, 最后 `parts.join(NL+NL).slice(0, 18000)` **从尾部一刀切**。
+ *   而 第2层(20 条 × 700 字 = 最多 14000) + 白板 3000 + 账本 8000 最坏 ≈ 25000 > 18000 ⇒ 必然溢出,
+ *   于是**第一个被砍掉的正是排在最后的第3层「完整转写路径」**——那是模型的**逃生通道**
+ *   ("前 0-2 层不够时去 read 全量转写")。逃生通道被砍 ⇒ 模型根本不知道全量转写存在
+ *   ⇒ 只能靠被砍过的摘要干活 ⇒ 表现为"接不过去"。
+ *
+ * 语义(与调用方约定):
+ *   - `nav`: **永不截断**, 配额先扣(转写路径 / 锚点入口)。
+ *   - `head`: 指令区, 也基本固定(短)。
+ *   - `bulk`: 正文层(白板/账本/近期线程/辅助表), **可截断**; 超出时按预算切, 并**如实报告哪些层被丢**。
+ *   - 发生截断时,**显式写入未包含清单** —— 让模型知道自己拿到的**不是全部**, 从而主动去 read,
+ *     而不是以为已经拿全了(旧实现的最大隐患是"沉默截断")。
+ *
+ * 纯函数、无副作用、字节稳定(同输入 → 同输出)。
+ */
+export function assembleCarryPre({ head = [], nav = [], bulk = [], budget = 18000 } = {}) {
+  const E = '\n\n'
+  const headText = head.filter(Boolean).join(E)
+  const navText = nav.filter(Boolean).join(E)
+  const bulkParts = bulk.filter(Boolean)
+  const fullBulk = bulkParts.join(E)
+  const fixed = headText.length + navText.length + (headText || navText ? E.length * 2 : 0)
+  const room = Math.max(0, Number(budget) - fixed)
+  if (fullBulk.length <= room) {
+    return { text: [headText, navText, fullBulk].filter(Boolean).join(E), truncated: false, dropped: [] }
+  }
+  // 需截断: 逐段累计, 记录被整体丢弃的段
+  const kept = []
+  const dropped = []
+  let used = 0
+  for (const p of bulkParts) {
+    const cost = p.length + (kept.length ? E.length : 0)
+    if (used + cost <= room) { kept.push(p); used += cost } else { dropped.push(p) }
+  }
+  // 若一段都放不下(room 太小), 至少保底切一段的开头
+  if (!kept.length && bulkParts.length) {
+    kept.push(bulkParts[0].slice(0, Math.max(0, room)))
+  }
+  const droppedHeads = dropped.map((p) => {
+    const heads = p.match(/^【[^】]{0,60}】/gm)
+    return heads ? heads.join(' ') : '(一段正文)'
+  })
+  const notice = '⚠️ **材料因预算被截断, 以下内容未包含**: ' + (droppedHeads.length ? droppedHeads.join('; ') : '(部分正文尾部)') +
+    '。**完整材料仍在第3层转写里**(见上方路径), 需要时请直接 read, 不要仅凭本摘要下结论。'
+  const text = [headText, navText, kept.join(E), notice].filter(Boolean).join(E)
+  return { text, truncated: true, dropped: droppedHeads }
+}
+
+/** ★L3.6(2026-09-17)·旧会话转写**瘦身**(纯函数,供 smoke 驱动)。
+ *  实测(2026-09-17): 一个会话的事件里 `tool/ptc-dispatch` 1854 条 vs `assistant/message` 530 条
+ *  ⇒ 工具噪声压过正文 3 倍以上。全量转写既浪费磁盘也让模型检索时被噪声淹没。
+ *  用户批准的方案:**只保留用户输入与助手的最终输出**, 工具调用/结果压成**计数行**。
+ *  保留角色标记与顺序 ⇒ 第2层"近期线程"的结构还原不受影响。
+ *  返回 { body, keptMsgs, toolCalls, toolResults, droppedChars }。 */
+export function slimTranscriptPre(msgs, opts = {}) {
+  const NL = String.fromCharCode(10)
+  const perMsg = Number(opts.perMsgChars) > 0 ? Number(opts.perMsgChars) : 2000
+  const totalCap = Number(opts.totalChars) > 0 ? Number(opts.totalChars) : 60000
+  const decorate = typeof opts.decorate === 'function' ? opts.decorate : null
+  const list = Array.isArray(msgs) ? msgs : []
+  const out = []
+  let toolCalls = 0, toolResults = 0, droppedChars = 0, keptMsgs = 0, used = 0, trimmed = false
+  for (const m of list) {
+    const role = String((m && m.role) || '')
+    const text = String((m && m.text) || '')
+    if (role === 'tool_call') { toolCalls++; droppedChars += text.length; continue }
+    if (role === 'tool_result') { toolResults++; droppedChars += text.length; continue }
+    if (role !== 'user' && role !== 'assistant') continue
+    // 超总长即停(与旧实现同口径: 保留**较早**内容, 尾部截断并如实告知)
+    const extra = decorate ? String(decorate(m) || '') : ''
+    const chunk = '**' + role + '**: ' + (text.length > perMsg ? text.slice(0, perMsg) : text) + extra
+    if (used + chunk.length > totalCap) { trimmed = true; break }
+    out.push(chunk)
+    used += chunk.length + NL.length * 2
+    keptMsgs++
+    if (text.length > perMsg) droppedChars += text.length - perMsg
+  }
+  return { body: out.join(NL + NL), keptMsgs, toolCalls, toolResults, droppedChars, trimmed }
+}
+
+/** ★L3.6·会话转写的**检索锚点**(纯函数,供 smoke 驱动)。
+ *  旧会话转写此前是"孤岛": `listHandoffLedgers` 的正则
+ *  `/^(?:handoff-\d{8}-\d{6}(-[a-z])?|PLAN-\d{8}-\d{6})\.md$/` **不匹配 prev-session-***,
+ *  所以 `scope='handoff'` 永远看不见它 ⇒ 用户说"有些文件接不过去"。
+ *  这里给每篇转写发一个**由 sid 决定的稳定锚点**(同 sid ⇒ 同 id, 不随写入时刻漂移),
+ *  格式与既有记忆锚点同域(`mem_` + 32 hex), 便于 L0 抽取与 grep。 */
+export function prevSessionSidAnchorPre(sid, createHashFn) {
+  try {
+    const s = String(sid || '')
+    if (!s) return ''
+    const h = createHashFn ? createHashFn() : null
+    if (!h) return ''
+    return 'mem_' + h.update('prev-session\u0000' + s).digest('hex').slice(0, 32)
+  } catch (e) { return '' }
+}
+
+/** ★L3.6·为一篇旧会话转写生成 L0 摘要行(纯函数,供 smoke 驱动)。
+ *  L0 = 一句话"这个会话在干什么" —— 取**首条用户输入** + **末条助手结论**各截断,
+ *  与 `l0-extract.js` 的 L0 口径一致(单行、可 grep、不整段读)。
+ *  作用: 让 `searchHandoffCorpus` 能按关键词命中旧会话, 而不必先通读全文。 */
+export function prevSessionL0Pre(msgs, sid, opts = {}) {
+  try {
+    const cap = Number(opts.cap) > 0 ? Number(opts.cap) : 120
+    const oneLine = (s) => String(s || '').replace(/\s+/g, ' ').trim().slice(0, cap)
+    const list = Array.isArray(msgs) ? msgs : []
+    const firstUser = list.find((m) => m && m.role === 'user' && String(m.text || '').trim())
+    let lastAsst = null
+    for (const m of list) { if (m && m.role === 'assistant' && String(m.text || '').trim()) lastAsst = m }
+    const a = oneLine(firstUser && firstUser.text)
+    const b = oneLine(lastAsst && lastAsst.text)
+    if (!a && !b) return ''
+    const sid8 = String(sid || '').slice(0, 8)
+    return '[' + sid8 + '] ' + (a || '(无用户输入)') + (b ? ' → ' + b : '')
+  } catch (e) { return '' }
+}
+
 const fmtBytes = (n) => (n >= 1024 * 1024 ? (n / 1024 / 1024).toFixed(1) + ' MB' : n >= 1024 ? (n / 1024).toFixed(1) + ' KB' : n + ' B')
 
 function dshHome() {
-  const env = process.env.DSH_HOME
-  if (env && env.trim()) return env.trim()
-  return path.join(homedir(), '.dsh')
+  // ★#86-3：统一口径（原实现自带一套回落链，与其余 6 处不一致）。
+  return resolveDshHomePre()
 }
 
 /** 本插件 lib/ 的上级目录(开发树=仓库根;发行包=包根)。 */
@@ -634,6 +833,76 @@ function pluginRootDir() {
   return path.resolve(path.dirname(fileURLToPath(import.meta.url)), '..')
 }
 
+/**
+ * 诊断节流(2026-09-21):同一 key 在 windowMs(默认 5 分钟)内只输出一次。
+ *
+ * 为什么需要: tickTime 是**定时**驱动的,任何「每 tick 都失败且都打日志」的分支都会
+ *   在宿主控制台无限刷屏。实测事故: restoreLastAgent 的 candidate rejected 每 tick 一条,
+ *   用户侧表现为「打开就一直弹这些消息」。诊断信息本身有用,但**不该以 tick 频率重复**。
+ */
+const _diagLastAt = new Map()
+function diagThrottled(key, msg, windowMs) {
+  try {
+    const w = Number(windowMs) > 0 ? Number(windowMs) : 300000
+    const now = Date.now()
+    if (now - (Number(_diagLastAt.get(key)) || 0) < w) return
+    _diagLastAt.set(key, now)
+  } catch (e) {}
+  diag(msg)
+}
+
+/**
+ * 会话归属判定 —— 区分「子代理会话」与「接续会话」(2026-09-21 修 bug)。
+ *
+ * ── 背景(实测证据: tools/probe-session-kind.mjs 解压会话头部得到) ──
+ * 本插件原判据是「`header.parentSession` 非空 ⇒ 子代理, 一律排除」。实测**该判据过宽**:
+ * 带 parentSession 的会话其实分两类 ——
+ *   · **子代理**  : `delegationDepth: 1`, `origin: 'subagent'`
+ *   · **接续会话**: `delegationDepth: 0`, `origin` 缺省     ← **用户真实在用的会话**
+ * 接续会话由「一键接续 / 自动接续」从旧会话派生, 是**用户会话**, 却被旧判据当子代理拒掉。
+ *
+ * ── 后果(用户报告的现象) ──
+ * `_lastAgent` 永远恢复不了, 而 `tickTime` 每 15 秒重试一次 ⇒ 控制台**无限刷屏**
+ * `restoreLastAgent: candidate rejected`。诊断日志可证: 该行**首次出现于 2026-09-20 17:16**,
+ * 正是 session-85e2b7e8(接续会话)的创建时刻 —— 此前用户一直用无 parent 的顶层会话,
+ * 故从未触发。⇒ 不是回归, 是「接续会话」这一新形态第一次撞上过宽判据。
+ *
+ * ── 判定方向(安全优先: 只认「明确是子代理」, 其余放行) ──
+ * 漏判子代理的代价 = 少一次恢复(退化为旧行为); 误拒用户会话的代价 = 功能失效 + 刷屏。
+ * 两害相权取轻。放行时会打一条**可观测**的诊断(带 origin/depth 原值), 便于事后核对误判。
+ */
+const SESSION_SUBAGENT_ORIGIN = 'subagent'
+/** 从各种可能形态里取出会话头部(list 项 / agent.session.header / list 项自身)。 */
+function sessionHeaderOf(x) {
+  try {
+    if (!x) return null
+    if (x.session && x.session.header) return x.session.header
+    if (x.header) return x.header
+    if (x.session) return x.session
+    return x
+  } catch (e) { return null }
+}
+/** 是否**明确**是子代理会话。字段缺失一律不算(⇒ 放行)。 */
+function isSubAgentSession(x) {
+  try {
+    const h = sessionHeaderOf(x)
+    if (!h) return false
+    if (String(h.origin || '') === SESSION_SUBAGENT_ORIGIN) return true
+    const d = Number(h.delegationDepth)
+    if (Number.isFinite(d) && d > 0) return true
+  } catch (e) {}
+  return false
+}
+/** 是否有 parentSession(用于诊断与「接续会话」识别, 不单独作为排除依据)。 */
+function hasParentSession(x) {
+  try {
+    const h = sessionHeaderOf(x)
+    if (!h) return false
+    const p = h.parentSession
+    return p !== undefined && p !== null && p !== ''
+  } catch (e) { return false }
+}
+
 /** 诊断输出:写 ~/.dsh/dsh-auto-memory-diagnose.log(append)+console.log 双保险。验证完移除。 */
 let _diagChain = Promise.resolve()
 function diag(msg) {
@@ -943,6 +1212,11 @@ class SessionRuntimeStore {
     runtime.pendingPacket = undefined
     // M4-3:Shadow per-runtime 状态与 inFlight abort
     try { if (this._shadowHost) this._shadowHost.disposeRuntime(runtime) } catch (e) {}
+    // M6(issue#58 修复,2026-09-19):activation host 的 per-runtime 投影与步进计数器同样必须回收。
+    // 旧实现只接了 shadowHost,`activationHost.disposeRuntime` 全仓零调用方 ⇒ `runtimeState`
+    // (step/claimed)与 `stepsByRuntime`(会话×工作区步进)只增不减,长进程内存单调增长。
+    // 传 runtime.key(与 activation-host 内部 runtimeState 的键空间一致)。
+    try { if (this._activationHost && runtime.key) this._activationHost.disposeRuntime(runtime.key) } catch (e) {}
     // M2: 清空观察账本与语义环,断开 call 关联(abort 已由 abortController 完成);ring 为惰性分配,可能为 null
     if (runtime.envelopes) runtime.envelopes.clear()
     if (runtime.segments) runtime.segments.clear()
@@ -1620,6 +1894,51 @@ class MemoryEngine {
     return this.config
   }
 
+  /**
+   * 一次性迁移(2026-09-18,容量默认 12000 → 24000)。
+   *
+   * **为什么需要它**:`saveConfig` 把**整个合并后的 config** 落盘(实测某实例 95 个键全部在盘上)。
+   * 所以老用户只要在设置页存过**任何一项**,`noteCapacityChars: 12000` 就已经被固化在磁盘里 ——
+   * 光把 `DEFAULT_NOTE_CAPACITY_CHARS` 改成 24000 **对老用户完全无效**(配置值覆盖默认值)。
+   * 这正是"很多人抱怨写满了、写不进去"的机制:他们被钉在 12k 上,永远不会拿到新默认。
+   *
+   * **幂等且尊重用户偏好**:
+   *   - 只在配置里**恰好等于上一版默认(12000)**时才抬到新默认 ⇒ "没表达过偏好"才动;
+   *     用户若显式设成别的数(如 8000 或 50000)一律不动。
+   *   - 用 `capacityDefaultsVersion` 守卫 ⇒ **只升一次**。用户日后手动改回 12000 不会被再次覆盖。
+   *   - 任何异常都吞掉(fail-soft):迁移失败不能挡住插件启动。
+   *
+   * ★★ `rawCfg` 参数是**必须的**, 不是可选装饰 —— 这是 2026-09-18 实测踩到的真 bug:
+   *   `_mergeConfigPre` 做的是 `{...DEFAULT_CONFIG, ...parsed}`, 而 `DEFAULT_CONFIG` 里
+   *   **也有** `capacityDefaultsVersion: CAPACITY_DEFAULTS_VERSION` ⇒ 合并后的 config
+   *   永远带着当前版本号 ⇒ 守卫 `ver >= VER` **结构性恒真** ⇒ 迁移函数一进就 return,
+   *   **永远不会执行**(单测用手搓 config 喂函数, 没走合并路径, 所以自洽地绿了)。
+   *   修法:守卫读**磁盘原文**(未经默认值补全的 parsed), 而不是合并结果。
+   *   调用方必须把 `JSON.parse(raw)` 的结果原样传进来。
+   *
+   * 返回被改动的键名数组(供日志/诊断;空数组表示无需迁移)。
+   */
+  upgradeCapacityDefaultsPre(rawCfg) {
+    const changed = []
+    try {
+      // 守卫读**磁盘原文**的版本号(缺失 = 老配置 = 0, 必然 < 当前版本 ⇒ 继续)
+      const onDiskVer = Number(rawCfg && rawCfg.capacityDefaultsVersion)
+      if (Number.isFinite(onDiskVer) && onDiskVer >= CAPACITY_DEFAULTS_VERSION) return changed
+      for (const key of ['noteCapacityChars', 'userCapacityChars']) {
+        const raw = Number(this.config[key])
+        // 只在"仍是上一版出厂默认"时抬升;用户自设值(含 <500 的脏值由 capacityLimit 兜底)不动。
+        if (Number.isFinite(raw) && raw === DEFAULT_CAPACITY_CHARS_PREV) {
+          this.config[key] = key === 'userCapacityChars' ? DEFAULT_USER_CAPACITY_CHARS : DEFAULT_NOTE_CAPACITY_CHARS
+          changed.push(key)
+        }
+      }
+      this.config.capacityDefaultsVersion = CAPACITY_DEFAULTS_VERSION
+      return changed
+    } catch (e) {
+      return changed
+    }
+  }
+
   /**
    * 同步配置加载(2026-09-16, 修 BUG-1/BUG-11 —— 注册闸门结构性恒假)。
    *
@@ -1635,8 +1954,27 @@ class MemoryEngine {
    */
   loadConfigSync() {
     try {
-      const raw = readFileSync(this._configPath, 'utf8')
-      return this._mergeConfigPre(JSON.parse(raw))
+      // ★#82：解析失败时先**把坏文件挪走留存**（readJsonQuarantinePreSync 内部完成），
+      //   再把「坏过、坏在哪」写进 _readError 让诊断面可见 —— 旧实现只 catch 后静默回落，
+      //   用户看到的只是「设置全没了」，无从知道是被重置。
+      const rd = readJsonQuarantinePreSync(this._configPath)
+      if (!rd.ok) {
+        if (rd.missing) return this._mergeConfigPre(null)
+        this._readError = rd.corrupted
+          ? ('config corrupted, quarantined=' + (rd.quarantined || '(failed)') + ' reason=' + rd.reason)
+          : String(rd.reason)
+        return this._mergeConfigPre(null)
+      }
+      const parsed = rd.value
+      const cfg = this._mergeConfigPre(parsed)
+      // ⚠️ 必须传 parsed(磁盘原文) —— 合并结果里 capacityDefaultsVersion 恒等于当前版本,
+      //    用它做守卫会让迁移结构性永不执行(见 upgradeCapacityDefaultsPre 的注释)。
+      const bumped = this.upgradeCapacityDefaultsPre(parsed)
+      // ★ 这条路径**必须自己落盘**:它是注册期唯一真正跑的那条(apply 不是 async,
+      //   工具注册前就要拿到真配置),而 `loadConfig` 往往再也不会被调用 ⇒
+      //   不落盘的话内存已是 24000、磁盘仍写 12000,设置页读盘显示旧值(会被当成"没生效")。
+      if (bumped.length) this.persistConfigSyncPre()
+      return cfg
     } catch (e) {
       if (e && e.code !== 'ENOENT') this._readError = String(e && e.message ? e.message : e)
       return this._mergeConfigPre(null)
@@ -1645,14 +1983,62 @@ class MemoryEngine {
 
   async loadConfig() {
     try {
-      const raw = await readFile(this._configPath, 'utf8')
-      return this._mergeConfigPre(JSON.parse(raw))
+      // ★#82：与 loadConfigSync 同口径（同一模块，保证两条路径行为一致）。
+      const rd = readJsonQuarantinePreSync(this._configPath)
+      if (!rd.ok) {
+        if (rd.missing) return this._mergeConfigPre(null)
+        this._readError = rd.corrupted
+          ? ('config corrupted, quarantined=' + (rd.quarantined || '(failed)') + ' reason=' + rd.reason)
+          : String(rd.reason)
+        return this._mergeConfigPre(null)
+      }
+      const parsed = rd.value
+      const cfg = this._mergeConfigPre(parsed)
+      // ⚠️ 传 parsed(磁盘原文) —— 合并结果里版本号恒等于当前版本,会使命中外层守卫而永不迁移。
+      const bumped = this.upgradeCapacityDefaultsPre(parsed)
+      // 内存里已抬升,但磁盘上还是旧值 ⇒ 落盘一次(否则下次重启重复走迁移分支;
+      // 且设置页读的是磁盘,不落盘会显示 12000 与实际生效值不一致)。
+      if (bumped.length) await this.persistConfigPre()
+      return cfg
     } catch (e) {
       if (e && e.code !== 'ENOENT') this._readError = String(e && e.message ? e.message : e)
       return this._mergeConfigPre(null)
     }
   }
 
+  /** 把当前内存配置原子写盘(迁移用;与 saveConfig 的写盘段同口径,但不做迁移/联动副作用)。 */
+  async persistConfigPre() {
+    try {
+      // ★#82：tmp → rename 原子写。读方永远只见到完整版本，不会看到半截 JSON。
+      const r = await writeTextAtomicPre(this._configPath, JSON.stringify(this.config, null, 2))
+      if (!r.ok) { console.error('[dsh-auto-memory] persistConfigPre failed', r.error); return false }
+      return true
+    } catch (e) {
+      console.error('[dsh-auto-memory] persistConfigPre failed', e)
+      return false
+    }
+  }
+
+  /**
+   * `persistConfigPre` 的**同步**版本 —— 给注册期的 `loadConfigSync` 用。
+   *
+   * 为什么不能用异步那个:`loadConfigSync` 是在 `apply()` 里同步调用的(见其注释:
+   * apply 不是 async 且返回值不被 await),异步写盘会在插件"加载完成"之后才落,
+   * 期间设置页读盘拿到旧值 ⇒ 用户看到"改了没生效"。同步写盘量极小(一个配置 JSON),
+   * 代价可接受,换来的是"内存值 === 磁盘值"这条不变量在任何时刻都成立。
+   */
+  persistConfigSyncPre() {
+    try {
+      // ★#82：tmp → rename 原子写（与异步版同模块，行为一致）。
+      const r = writeTextAtomicPreSync(this._configPath, JSON.stringify(this.config, null, 2))
+      if (!r.ok) { console.error('[dsh-auto-memory] persistConfigSyncPre failed', r.error); return false }
+      return true
+    } catch (e) {
+      console.error('[dsh-auto-memory] persistConfigSyncPre failed', e)
+      return false
+    }
+  }
+
   async saveConfig(patch) {
     await this.loadConfig()
     const oldRoot = this.expandUserPath(this.config.memoryRoot)
@@ -1953,8 +2339,12 @@ class MemoryEngine {
       let archived = ''
       if (existing && existing.trim() && existing.trim() !== incoming.trim()) {
         const archDir = path.join(dir, 'archive')
-        const archPath = path.join(archDir, 'PLAN-' + handoffStamp() + '.md')
+        // ★2026-09-20 移植（issue #94② / PR #100）：同秒两次重写会算出同一归档名并**静默覆盖**
+        //   上一份 —— 补上与姊妹路径（PLAN-history / 账本）同款的防撞后缀循环。
+        const archBase = 'PLAN-' + handoffStamp()
+        let archPath = path.join(archDir, archBase + '.md')
         await mkdir(archDir, { recursive: true })
+        for (let c = 98; c <= 122 && existsSync(archPath); c++) { archPath = path.join(archDir, archBase + '-' + String.fromCharCode(c) + '.md') }
         await writeFile(archPath, existing, 'utf8')
         archived = archPath
       }
@@ -1989,14 +2379,19 @@ class MemoryEngine {
       // WB-FORMAT-CONVENTION §2 锚点写入(仅 graph 档; legacy 档逐字节不变)
       // 根因修复: 白板内容凭锚点自动进 L0 检索语料 —— 此前只把 id 写进 sidecar, Markdown 正文零锚点,
       // 导致 §2 承诺的收益恒为零(规划 §5「已知现状缺口: 规范已批准、代码从未实现」)。
+      // ★L5(2026-09-17) 解除 boardMode 闸门: 锚点是**写入格式契约**(WB-FORMAT-CONVENTION §2),
+      // 与看板**渲染形态**无关。旧实现在这里误把它当渲染闸门 ⇒ legacy 档的白板永远拿不到锚点,
+      // §2 承诺的「白板内容凭锚点自动进 L0 检索语料」恒为空(规划 §5「规范已批准、代码从未实现」的真因)。
+      // 判据(用户已批准): 不问是不是 boardMode 门, 只问**门控的是「渲染」还是「写入/取材」**。
+      // ⚠️ 注意: `written` 的初始化**必须保留** —— 无锚点变化时它就是写盘内容;
+      // 漏掉会让下面的 writeSidecarEntryPre / return 里的 written 全是 undefined
+      // (p7-write-fix G2 实测抓到: 白板写入直接失败、历史簿路径 undefined)。
       let written = finalContent
-      if ((String((this.config || {}).boardMode || '').trim().toLowerCase() === 'graph')) {
-        try {
-          const wsKey = this.wbWsKeyPre(projectDir)
-          const anchored = applyAnchorsPre(wsKey, 'handoff/PLAN.md', finalContent)
-          if (anchored.text !== finalContent) { written = anchored.text; await this.writeFullRaw(planPath, written) }
-        } catch (_) { /* fail-soft: 锚点绝不阻塞主写入 */ }
-      }
+      try {
+        const wsKey = this.wbWsKeyPre(projectDir)
+        const anchored = applyAnchorsPre(wsKey, 'handoff/PLAN.md', finalContent)
+        if (anchored.text !== finalContent) { written = anchored.text; await this.writeFullRaw(planPath, written) }
+      } catch (_) { /* fail-soft: 锚点绝不阻塞主写入 */ }
       // P2 sidecar(仅 boardMode=graph; fail-soft, 不阻塞主写入)
       await this.writeSidecarEntryPre(projectDir, 'handoff/PLAN.md', written, '白板 PLAN', '')
       if ((String((this.config || {}).boardMode || '').trim().toLowerCase() === 'graph')) {
@@ -2032,15 +2427,13 @@ class MemoryEngine {
       })
       if (!gate.ok) return { ok: false, error: gate.error, gate: gate.gate, report: gate.report }
       for (let c = 98; c <= 122 && existsSync(p); c++) { p = path.join(dir, base + '-' + String.fromCharCode(c) + '.md') }
-      // WB-FORMAT-CONVENTION §2 锚点写入(仅 graph 档) —— 账本同样按 `##` 小节切卡
+      // ★L5(2026-09-17) 同上: 账本锚点也是**写入格式契约**, 解除 boardMode 闸门。
       let writtenLedger = fullText
-      if ((String((this.config || {}).boardMode || '').trim().toLowerCase() === 'graph')) {
-        try {
-          const wsKey = this.wbWsKeyPre(projectDir)
-          const anchored = applyAnchorsPre(wsKey, 'handoff/' + path.basename(p), fullText)
-          if (anchored.text !== fullText) writtenLedger = anchored.text
-        } catch (_) { /* fail-soft */ }
-      }
+      try {
+        const wsKey = this.wbWsKeyPre(projectDir)
+        const anchored = applyAnchorsPre(wsKey, 'handoff/' + path.basename(p), fullText)
+        if (anchored.text !== fullText) writtenLedger = anchored.text
+      } catch (_) { /* fail-soft */ }
       await this.writeFullRaw(p, writtenLedger)
       // P2 sidecar(仅 boardMode=graph; fail-soft, 不阻塞主写入)
       await this.writeSidecarEntryPre(projectDir, 'handoff/' + path.basename(p), writtenLedger, '交接账本 ' + path.basename(p), '')
@@ -2228,10 +2621,17 @@ class MemoryEngine {
    * 闸门: 仅 boardMode='graph' 返回看板数据; legacy 返回 { enabled:false, reason:'legacy-mode' }
    *   —— 前端据此保持旧文字白板(legacy 逐字节不变)。
    * fail-soft: sidecar 缺失由 _loadSidecarIndexPre 自愈重建; 全程 try/catch 不阻塞面板。
+   *
+   * ★2026-09-17 解耦(L1, 终端用户报障): **移除 handoffEnabled 门**。
+   *   原实现首行 `if (handoffEnabled === false) return {enabled:false, reason:'handoff-disabled'}`,
+   *   导致关掉白板产物的用户看到「未启用或加载失败」, 而 `handoff/` 里的 PLAN.md 与账本**根本没被删**——
+   *   数据还在, 只是被这道门挡在门外。
+   *   判据(全批统一): 门控的是「渲染」还是「写入/取材」? `handoffEnabled` 的语义是**产物层**
+   *   (见 buildContinueCarry 头注释: 关时既不写、也不读) ⇒ 它管写入/取材; **看板是渲染**, 不该被它拦。
+   *   保持者: boardMode 门(下方那条) —— 那是渲染形态开关, 且 legacy 须与旧行为逐字节相同(:3673 纪律)。
    */
   async kanbanBoardData(sessionId, opts = {}) {
     if (!this.configLoaded) { try { await this.loadConfig() } catch (e) {} }
-    if (this.config.handoffEnabled === false) return { enabled: false, reason: 'handoff-disabled' }
     if (!(String((this.config || {}).boardMode || '').trim().toLowerCase() === 'graph')) {
       return { enabled: false, reason: 'legacy-mode' }
     }
@@ -2310,12 +2710,19 @@ class MemoryEngine {
           return { ok: false, gate: 'criteria', error: criteriaRefusalTextPre(crit), report: crit, criteria: crit }
         }
       }
-      // ── ② 共同保护门（无条件；只在"重写既有目标"时有意义）──
+      // ── ② 共同保护门（**仅对 plan 生效**；见下方 L6 说明）──
       // 锚点完备性属白板线 P1/P2，**不在此拦截**：现存 PLAN.md 一个锚点都没有，
       // 硬判会让所有既有白板立刻写不进去（那会把"保护"变成"锁死"）。
       // 保护门在**能证明丢卡**时生效：即 before 侧解析出了卡片集合，而 after 侧少了。
-      if (target !== 'plan' && target !== 'handoff') return { ok: true }
-      if (target === 'handoff') return { ok: true }
+      //
+      // ★L6(2026-09-17)·注释与实现对齐:下面两行**不是**"账本被静默放行", 而是**显式不适用**——
+      //   保护门判的是"同一目标被**重写**时是否丢卡", 而账本的写入路径恒为
+      //   `beforeText: ''`(每次新写一篇, 见 writeHandoffLedger 的调用), 无 before 侧可比
+      //   ⇒ 结构性谈不上丢卡。故此处**显式**提前返回, 并把理由写在这里。
+      //   ⚠️ 与 `:332` 模块注释及本函数 docblock 曾声称的"无条件生效"**措辞不一致**, 现以本处为准:
+      //   保护门 = **plan 专属**; 账本/其他 target 走的是"不适用"而非"跳过检查"。
+      if (target !== 'plan' && target !== 'handoff') return { ok: true, gate: 'not-applicable', reason: 'target-not-protected' }
+      if (target === 'handoff') return { ok: true, gate: 'not-applicable', reason: 'ledger-append-only-no-before-side' }
       if (!beforeText.trim()) return { ok: true }
       const projB = parseWhiteboardPre(beforeText, { kind: 'plan' })
       const projA = parseWhiteboardPre(afterText, { kind: 'plan' })
@@ -2354,6 +2761,17 @@ class MemoryEngine {
     } catch (e) { return [] }
   }
 
+  /** ★L3.6(2026-09-17): 列出旧会话转写(名字字典序倒序=新→旧)。
+   *  存在的意义: `listHandoffLedgers` 的正则**结构化地**排除 `prev-session-*`,
+   *  导致这些转写在 scope='handoff' 检索里恒不可见(用户报障"有些文件接不过去"的一条)。
+   *  单独给一个 lister 而不是放宽原正则 —— 原正则同时被账本/归档的白板血缘逻辑复用,
+   *  放宽会改变那些语义(它们本来就只该看见账本与 PLAN 归档)。 */
+  async listPrevSessionTranscripts(dir, limit = 8) {
+    try {
+      return (await readdir(dir)).filter((n) => /^prev-session-[\w-]+\.md$/.test(n)).sort().reverse().slice(0, limit)
+    } catch (e) { return [] }
+  }
+
   /** M-CM2:交接白板语料检索(PLAN.md+账本+归档;词法直返,轻量)。 */
   /**
    * 白板语料检索。**P2-3(2026-09-16 接线)**:由「纯词法」升级为
@@ -2416,6 +2834,18 @@ class MemoryEngine {
       }
     }
     await scan('白板 PLAN.md', path.join(p.handoffDir, 'PLAN.md'), 3)
+    // ★L3.6(2026-09-17): 旧会话转写此前是**检索孤岛** —— listHandoffLedgers 的正则只认
+    //   `handoff-<ts>` / `PLAN-<ts>`, 不认 `prev-session-*` ⇒ scope='handoff' 永远看不见旧会话。
+    //   这里显式纳入(最多 8 篇最新), 并**优先用文件头部的 L0 摘要行**做卡片, 让模型先看到
+    //   "这个会话在干什么"而不是被整篇正文淹没。fail-soft: 读不到就跳过这一篇, 不阻塞其余语料。
+    //   ⚠️ 必须用 typeof 守卫: 本仓老 smoke 用 new Function 从源码重建方法, 重建体里没有本方法
+    //   (它挂在类上、不在这段源码里) ⇒ 直接调用会 TypeError 把整条检索打断。
+    //   守卫后语义正确: 没有该 lister 的宿主就跳过这一类来源, 其余语料照常返回(fail-soft)。
+    const prevList = typeof this.listPrevSessionTranscripts === 'function' ? await this.listPrevSessionTranscripts(p.handoffDir, 8) : []
+    for (const n of prevList) {
+      if (hits.length >= limit) break
+      await scan('旧会话转写/' + n, path.join(p.handoffDir, n), 2)
+    }
     for (const n of await this.listHandoffLedgers(p.handoffDir, 12)) {
       if (hits.length >= limit) break
       await scan('交接账本/' + n, path.join(p.handoffDir, n), 2)
@@ -2689,7 +3119,7 @@ class MemoryEngine {
       // 旧实现硬截断到 1.5 → 任何超额水位都显示成 150%,掩盖真实占用(用户实测 761692/131072 被显示为 150%)。
       // 现在如实上报,仅做防溢出的 99 倍上限。
       const ratio = triggerWin > 0 && Number.isFinite(estTokens) ? Math.min(estTokens / triggerWin, 99) : 0
-      const threshold = Math.max(Number(this.config.waterLevelThreshold) || 0.75, 0.1)
+      const threshold = Math.max(Number(this.config.waterLevelThreshold) || DEFAULT_WATER_LEVEL_THRESHOLD, 0.1)
       // 硬触发:官方已经压缩过/已撞过窗口墙 —— 这一刻必须接续,不依赖比例是否算得准。
       // 2026-09-13 增加预测性硬墙:estTokens + reserve > 判定窗 ⇒ 下一次请求必被 provider 拒绝
       // (消息实占 + 预留输出 > 上限,v2.4.1 之前的 400 事故就是这个等式)。
@@ -3018,7 +3448,7 @@ class MemoryEngine {
         diag('auto-continue not armed: session model unknown (window derived from default model), waiting for a hard signal')
         return
       }
-      if (!(wl.ratio >= (Number(this.config.autoContinueThreshold) || 0.75))) return
+      if (!(wl.ratio >= (Number(this.config.autoContinueThreshold) || DEFAULT_AUTO_CONTINUE_THRESHOLD))) return
       const st = this._autoContState || (this._autoContState = {})
       const now = Date.now()
       const cooldownMin = Number(this.config.autoContinueCooldownMinutes) || 30
@@ -3204,7 +3634,7 @@ class MemoryEngine {
       // 2026-09-14 解耦:卡片可用性只看 autoContinueEnabled(与 armAutoContinue 同源同判);
       // 旧实现的 `&& handoffEnabled !== false` 是同一处耦合的第二份副本(白板关⇒卡片报 disabled)。
       enabled: this.config.autoContinueEnabled !== false,
-      threshold: Number(this.config.autoContinueThreshold) || 0.75,
+      threshold: Number(this.config.autoContinueThreshold) || DEFAULT_AUTO_CONTINUE_THRESHOLD,
       armed: armedMine ? armedRaw : null,
       executing: !!st.executing,
       rejectedEdgeAt: st.rejectedEdgeAt || 0,
@@ -3269,6 +3699,13 @@ class MemoryEngine {
    * 回退按会话日志 mtime 取最新,**只认 `session-` 前缀的普通会话目录**:裸 uuid 目录是子代理会话,
    * 把刷新仪式注进子代理等于白做(还会污染它的上下文),所以宁可返回 '' 让上层明确报"无可刷新目标"。
    * 5 秒缓存避免面板轮询反复扫盘。
+   *
+   * ★2026-09-21 补注(实测校准): 上述前缀规则**成立**, 但有一处需要说清 —— 带 `session-` 前缀的
+   *   目录**不全是「顶层会话」**: 接续会话(由「一键接续/自动接续」派生)同样带此前缀, 且**带
+   *   parentSession**。它是**用户真实会话**(delegationDepth=0), 正是刷新仪式该注入的目标 ——
+   *   故前缀规则无需改。⚠️ **切忌改用「有无 parentSession」来判断归属**: 那会把接续会话误判成
+   *   子代理(restoreLastAgent 的历史 bug 即此, 详见 isSubAgentSession 的注释)。
+   *   判据请统一用 isSubAgentSession()(看 origin / delegationDepth, 不看 parentSession)。
    */
   recentSessionIdFallback() {
     try {
@@ -3283,7 +3720,14 @@ class MemoryEngine {
         const wsPath = path.join(root, wsDir.name)
         let entries = []
         try { entries = readdirSync(wsPath, { withFileTypes: true }) } catch (_) { continue }
-        for (const ent of entries) {
+        // ★2026-09-21 核查结论(证据: tools/probe-session-kind.mjs 解压会话头部):
+      //   「`session-` 前缀 = 用户会话 / 裸 uuid = 子代理」这条规则**经实测仍然成立**, 无需改:
+      //     · session-85e2b7e8…(接续会话, parentSession=aa9ba629)  depth=0 origin=-      ⇒ 用户会话 ✓
+      //     · session-aa9ba629…(顶层会话,  无 parent)               depth=0 origin=-      ⇒ 用户会话 ✓
+      //     · 3cf74a9f… / bae475f2… / c9e60d61…(裸 uuid)            depth=1 origin=subagent ⇒ 子代理 ✗
+      //   注意「接续会话也带 session- 前缀」——这是**期望行为**(它是用户会话, 正是刷新目标),
+      //   但也说明**不能用 parentSession 有无来判断归属**(那正是 restoreLastAgent 那个 bug 的成因)。
+      for (const ent of entries) {
           if (!ent.isDirectory()) continue
           if (!/^session-/.test(ent.name)) continue
           let ms = 0
@@ -3532,6 +3976,20 @@ class MemoryEngine {
       const msgs = folded.msgs
       const p = await this.resolvePaths(undefined)
       const NL = String.fromCharCode(10)
+      // ★L3.6(2026-09-17): 稳定锚点 + L0 摘要行(让旧会话转写**可被检索到**, 见 prevSessionSidAnchorPre 注释)
+      const PER_MSG = 2000
+      const sidAnchor = prevSessionSidAnchorPre(sid, () => createHash('sha256'))
+      const l0Line = prevSessionL0Pre(msgs, sid, { cap: 120 }) || '(无可摘要内容)'
+      const slim = slimTranscriptPre(msgs, {
+        perMsgChars: PER_MSG,
+        totalChars: 60000,
+        // L3.5 的附件内联行保留在**消息附近**(位置语义: 这张图是在说什么的时候投的)
+        decorate: (m) => {
+          if (!Array.isArray(m.attachments) || !m.attachments.length) return ''
+          const inl = renderAttachmentLinesPre(m.attachments)
+          return inl.length ? NL + inl.map((x) => '  - ' + x).join(NL) : ''
+        },
+      })
       const stamp = new Date().toISOString().slice(11, 19).replace(/:/g, '')
       const outPath = path.join(p.handoffDir, 'prev-session-' + sid.slice(0, 8) + '-' + stamp + '.md')
       // 接续序号 v2(2026-09-13):先分配序号、再写包;写包失败回滚计数器(不跳号)。
@@ -3540,20 +3998,34 @@ class MemoryEngine {
       try { contSeq = await this.allocContSeq(p.ws) } catch (eSeq) { diag('allocContSeq error: ' + ((eSeq && eSeq.message) || eSeq)) }
       const body = [
         '# 旧会话完整转写(' + sid + ')', '',
+        '<!-- ' + sidAnchor + ' -->',
         '- 旧会话 ID: ' + sid,
         '- 工作区: ' + (cwd || p.ws || '(未知)'),
         '- 模型: ' + (model || '(未记录)') + (provider ? ' @ ' + provider : ''),
         '- agentPreset: ' + (preset || '(默认)'),
-        '- 消息数: ' + msgs.length + '(单条截断 2000 字符,总长上限 60000)',
+        '- 消息数: ' + msgs.length + '(已瘦身: 仅用户输入与助手最终输出;单条截断 ' + PER_MSG + ' 字符,总长上限 60000)',
+        '- **L0**: ' + l0Line,
         '- 原始持久化: ' + file + '(zstd 压缩帧,AI 的 read 工具读不了;本文件是插件解压后的可读转写)', '',
       ]
-      let total = 0
-      for (const m of msgs) {
-        const chunk = '**' + m.role + '**: ' + m.text.slice(0, 2000) + NL + NL
-        if (total + chunk.length > 60000) { body.push('(更早内容已截断——完整历史可试 memory_recall(scope=\'sessions\', query=\'关键词\') 检索;该检索需宿主侧开启会话内容检索,条件不满足时会明确报错,此时请改用 scope=\'handoff\' 或直接 read 本文件)'); break }
-        body.push(chunk)
-        total += chunk.length
-      }
+      // ★L3.5(2026-09-17): 附件清单 —— 把被丢弃的 attachment 字段还原成"去哪儿找"的路径。
+      // 旧行为: 附件在 foldSessionLogEvents 里就不进 msgs ⇒ 接续会话完全不知道有这些材料。
+      const allAtts = []
+      for (const m of msgs) { if (Array.isArray(m.attachments)) for (const a of m.attachments) allAtts.push(a) }
+      if (allAtts.length) {
+        const attLines = renderAttachmentLinesPre(allAtts)
+        body.push('## 附件清单(' + allAtts.length + ' 项,按出现顺序;同一 blob 只列一次)', '')
+        for (const ln of attLines) body.push('- ' + ln)
+        body.push('', '> 图片是内容寻址 blob,直接 read 上述路径即可看到原图;文件对象同理。', '')
+      }
+      // ★L3.6(2026-09-17): 正文改用**瘦身**结果 —— 只留用户输入与助手最终输出,
+      //   工具调用/结果压成一行计数(实测工具事件是正文的 3 倍以上, 全量转写既费盘又淹没检索)。
+      //   附件行仍按消息内联(见 renderAttachmentLinesPre), 位置语义不变。
+      body.push(slim.body)
+      if (slim.toolCalls || slim.toolResults) {
+        body.push('', '> 本次转写已瘦身: 省略了 ' + slim.toolCalls + ' 次工具调用与 ' + slim.toolResults +
+          ' 条工具结果(共约 ' + slim.droppedChars + ' 字符)。完整原始事件见上方"原始持久化"所指的会话日志文件。')
+      }
+      if (slim.trimmed) body.push('', '(更早内容已截断——完整历史可试 memory_recall(scope=\'sessions\', query=\'关键词\') 检索;该检索需宿主侧开启会话内容检索,条件不满足时会明确报错,此时请改用 scope=\'handoff\' 或直接 read 本文件)')
       try {
         // P2 ALS 修复后 refresh 真正跑起来,与 handoff 写包并发创建同一 handoffDir;
         // Windows 上并发 mkdir(recursive) 有 EEXIST 竞态(nodejs/node#31453 类)——目录已存在即达成目标,
@@ -3565,9 +4037,16 @@ class MemoryEngine {
         if (contSeq) { try { this.rollbackContSeq(p.ws, contSeq) } catch (eR) {} }
         throw eW
       }
-      const tail = msgs.slice(-20).map((m) => m.role + ': ' + m.text.slice(0, 700)).join(NL + '---' + NL)
-      diag('prev-session pack built: sid=' + sid + ' msgs=' + msgs.length + ' model=' + (model || '-') + '@' + (provider || '-') + ' effort=' + (reasoningEffort || '-') + ' contSeq=' + contSeq + ' -> ' + outPath)
-      return { sessionId: sid, transcriptPath: outPath, contSeq, provider, model, reasoningEffort, agentPreset: preset, cwd: cwd || p.ws, tailText: tail, msgCount: msgs.length }
+      // ★L3.5: 第2层近期线程也带上附件行(单行), 让"最近投过什么"在层2就可见
+      const tail = msgs.slice(-20).map((m) => {
+        const base = m.role + ': ' + m.text.slice(0, 700)
+        if (!Array.isArray(m.attachments) || !m.attachments.length) return base
+        const inl = renderAttachmentLinesPre(m.attachments)
+        return inl.length ? base + NL + inl.map((x) => '   ' + x).join(NL) : base
+      }).join(NL + '---' + NL)
+      const attLines = allAtts.length ? renderAttachmentLinesPre(allAtts) : []
+      diag('prev-session pack built: sid=' + sid + ' msgs=' + msgs.length + ' atts=' + allAtts.length + ' model=' + (model || '-') + '@' + (provider || '-') + ' effort=' + (reasoningEffort || '-') + ' contSeq=' + contSeq + ' -> ' + outPath)
+      return { sessionId: sid, transcriptPath: outPath, contSeq, provider, model, reasoningEffort, agentPreset: preset, cwd: cwd || p.ws, tailText: tail, msgCount: msgs.length, attachmentCount: allAtts.length, attachmentLines: attLines }
     } catch (e) { diag('buildPrevSessionPack error: ' + (e && e.message)); return null }
   }
 
@@ -3612,13 +4091,19 @@ class MemoryEngine {
       const prevSid = (pack && pack.sessionId) || this.currentSessionId()
       const wsForSession = (pack && pack.cwd) || p.ws
       const workspaceId = this.resolveWorkspaceIdForSession(prevSid, wsForSession)
-      const parts = [
+      // ★2026-09-17(L3): 材料改为**三段**结构, 由 assembleCarryPre 组装 ——
+      //   headParts(指令, 固定) / navParts(导航区, **永不截断**) / bulkParts(正文层, 可截断)。
+      //   旧实现把导航区(第3层转写路径)**放在数组末尾**, 而 `join().slice(0,18000)` 从尾部砍
+      //   ⇒ 逃生通道第一个被砍(用户实测报障「有些文件接不过去」)。此处把导航区提前并钉住。
+      const headParts = [
         '接续上一会话的任务。材料已分层,请按需取用而非通读:先看第0层白板建立全局图景,再视需要看第1层账本(含已试方案与失败原因)与第2层近期线程;第3层完整转写仅在前三层不足以推进时才 read。恢复上下文后直接继续推进未完成事项,不要重新开始。',
         '材料分层:第0层=指令+白板(全局图景);第1层=交接账本(四段式,最新);第2层=近期线程(最近 20 条,单条上限 700 字,保留角色与工具标记);第3层=完整转写(按需 read)。',
       ]
+      const navParts = []
+      const bulkParts = []
       // 白板关(载体第0/1层缺失)时如实自述,避免新会话去找不存在的 PLAN.md/账本
-      if (!withHandoff) parts.push('注意:本次启用了自动接续但**未启用白板/账本**(handoffEnabled=false)——没有第0/1层材料,请以第2层近期线程与第3层完整转写恢复上下文,不要去找 PLAN.md 或交接账本。')
-      if (plan) parts.push('【第0层 · 白板 PLAN.md(节选)】更新于 ' + fmtMt(planMt) + staleNote + NL + plan.slice(0, 3000))
+      if (!withHandoff) headParts.push('注意:本次启用了自动接续但**未启用白板/账本**(handoffEnabled=false)——没有第0/1层材料,请以第2层近期线程与第3层完整转写恢复上下文,不要去找 PLAN.md 或交接账本。')
+      if (plan) bulkParts.push('【第0层 · 白板 PLAN.md(节选)】更新于 ' + fmtMt(planMt) + staleNote + NL + plan.slice(0, 3000))
       if (ledger) {
         // P6(2026-09-09):账本权重化截断 —— 按账本自身四段标题赋权(失败原因.35>下一步.30>目标.20>任务状态.15),
         // 预算不足从最低权重段开始截(段标题保留)。解析失败/动态 import 失败 fail-soft 回落位置截断,绝不阻塞接续(I4)。
@@ -3629,11 +4114,20 @@ class MemoryEngine {
           const weighted = weightedTrimHandoffLedgerPre(ledger, 8000)
           if (weighted != null) ledgerBody = weighted
         } catch (eLedW) {}
-        parts.push('【第1层 · 交接账本 ' + (ledgerName || ledgerFrom) + '】写于 ' + fmtMt(ledgerMt) + ' (' + ledgerFrom + ')' + NL + ledgerBody)
+        bulkParts.push('【第1层 · 交接账本 ' + (ledgerName || ledgerFrom) + '】写于 ' + fmtMt(ledgerMt) + ' (' + ledgerFrom + ')' + NL + ledgerBody)
       }
       if (pack) {
-        if (pack.tailText) parts.push('【第2层 · 近期线程(最近 ' + Math.min(20, Number(pack.msgCount) || 20) + ' 条 / 共 ' + (pack.msgCount || 0) + ' 条)】' + NL + pack.tailText)
+        if (pack.tailText) bulkParts.push('【第2层 · 近期线程(最近 ' + Math.min(20, Number(pack.msgCount) || 20) + ' 条 / 共 ' + (pack.msgCount || 0) + ' 条)】' + NL + pack.tailText)
+        // ★L3.5(2026-09-17): 附件清单进 **bulk**(可截断的身体层) —— 用户批准的方案 A:
+        //   清单是"材料", 可能很长; 而"去哪儿取"的**指令**进 nav(永不截断), 二者分离。
+        if (Array.isArray(pack.attachmentLines) && pack.attachmentLines.length) {
+          bulkParts.push('【第2.5层 · 旧会话附件清单(' + pack.attachmentCount + ' 项)】' + NL +
+            pack.attachmentLines.map((x) => '- ' + x).join(NL))
+        }
         const guide = ['【第3层 · 完整转写与检索(按需)】']
+        if (pack.attachmentCount > 0) {
+          guide.push('- 旧会话里带有 **' + pack.attachmentCount + ' 个附件**(图片/文件)。它们**不在转写正文里**,而是内容寻址 blob,已在上方"附件清单"逐条列出绝对路径 —— 需要看图/看文件时直接 read 那一路径(图片是 PNG/JPEG 原文件,可直接读);不要因为正文里只有文字就以为用户没投过材料。')
+        }
         if (pack.transcriptPath) {
           guide.push('- 旧会话(' + pack.sessionId + ')的完整对话转写已写入: ' + pack.transcriptPath)
           guide.push('- 完整转写已归档,**不必在接续前通读**:仅在第0-2层不足以推进时再 read;也可用 memory_recall(scope=\'sessions\', query=\'关键词\') 定位片段(前提:宿主侧已开启会话内容检索;该调用返回不可用时改用 scope=\'handoff\' 或直接 read 本转写,不要反复重试)。')
@@ -3643,7 +4137,8 @@ class MemoryEngine {
         guide.push('- 历史会话全文检索: memory_recall(scope=\'sessions\', query=\'关键词\') 可跨全部历史会话查证细节 —— **前提:宿主 DSH 侧已开启会话内容检索(出厂默认关闭)且历史日志格式与当前编解码器兼容**;不满足时该调用会明确报错(未部署/格式不兼容),此时改用 scope=\'handoff\' 或 read 转写文件,不要重复重试。')
         if (pack.model) guide.push('- 状态沿用: 模型 ' + pack.model + (pack.provider ? ' @ ' + pack.provider : '') + (pack.reasoningEffort ? '(思考档位 ' + pack.reasoningEffort + ')' : '') + ' 已在新会话自动选回(失败则回退路由默认);工作区 ' + (workspaceId ? '按 workspaceId 绑定 ' + workspaceId : '按 cwd 绑定 ' + wsForSession) + ';插件配置(无人值守/水位/交接等)为全局配置,自动继承。')
         if (pack.agentPreset) guide.push('- 旧会话 agentPreset: ' + pack.agentPreset + '(已随创建传递;注意 code→ptc 改名的历史会话需用户级兼容预设)。')
-        parts.push(guide.join(NL))
+        // ★L3: 导航区(逃生通道)入 navParts —— **永不截断**, 预算先扣。
+        navParts.push(guide.join(NL))
       }
       // P5(2026-09-09):接续锚点表 —— 用 T1 的 L0 抽取生成「记忆条目地图」,供新会话按需下钻
       // (notesPath/logPath 正是 `<!-- memory:mem_<32hex> -->` 锚点的载体;纯解析零 LLM;字节稳定:
@@ -3664,7 +4159,7 @@ class MemoryEngine {
           anchorSectionFor('今日日志', p.logPath, 10),
         ])).filter(Boolean)
         if (anchorSections.length) {
-          parts.push('【锚点表 · 记忆条目地图(按需下钻,不必通读)】' + NL + anchorSections.join(NL))
+          bulkParts.push('【锚点表 · 记忆条目地图(按需下钻,不必通读)】' + NL + anchorSections.join(NL))
         }
       } catch (eAnchor) {}
       // ── P2-4(2026-09-16 接线):注入端白板 tag 导航层 ─────────────────────────
@@ -3675,17 +4170,17 @@ class MemoryEngine {
       if ((String((this.config || {}).boardMode || '').trim().toLowerCase() === 'graph')) {
         try {
           const tagMap = await this.whiteboardTagMapPre(null, p)
-          if (tagMap) parts.push('【白板 tag 地图(结构化导航)】' + tagMap + NL + '  · 用 memory_expand_pre(tag) 按 tag 展开条目;用 memory_trace_pre(id) 回溯某条的来源与版本链。')
+          if (tagMap) bulkParts.push('【白板 tag 地图(结构化导航)】' + tagMap + NL + '  · 用 memory_expand(tag) 按 tag 展开条目;用 memory_trace(id) 回溯某条的来源与版本链。')
         } catch (eTagMap) {}
       }
       // ── P3-2(2026-09-16 接线):第3层唤醒句 ───────────────────────────────────
-      // 规划 §5 P3-2 原文:第3层 guide 加一句「白板已结构化:可用 memory_expand_pre/memory_trace_pre
+      // 规划 §5 P3-2 原文:第3层 guide 加一句「白板已结构化:可用 memory_expand/memory_trace
       //   按 tag 主动重建,先于通读第3层」。此前只在工具描述里写了用途,接续首条消息里从未提示 ⇒
       //   模型不会主动去用(存量行为等同工具不存在)。同样只在 graph 档注入。
       if ((String((this.config || {}).boardMode || '').trim().toLowerCase() === 'graph')) {
-        parts.push('【白板结构化检索(优先于通读第3层)】' + NL +
+        bulkParts.push('【白板结构化检索(优先于通读第3层)】' + NL +
           '- 白板/账本已建结构化索引(handoff/index.json:按 tag 倒排 + 条目 id + 归档版本链)。' + NL +
-          '- **先按 tag 主动重建,不要直接通读第3层转写**:memory_expand_pre(tag=\'type:dead-end\') 列出所有失败方案;memory_expand_pre(tag=\'*\') 看全部条目;条目 id 可用 memory_trace_pre(id) 回溯其来源(source 文件+行)、同 tag 邻居与归档版本链。' + NL +
+          '- **先按 tag 主动重建,不要直接通读第3层转写**:memory_expand(tag=\'type:dead-end\') 列出所有失败方案;memory_expand(tag=\'*\') 看全部条目;条目 id 可用 memory_trace(id) 回溯其来源(source 文件+行)、同 tag 邻居与归档版本链。' + NL +
           '- 仅当索引查不到所需内容时,再回落 read 第3层转写或 memory_recall(scope=\'handoff\')。')
       }
       // 接续序号 v2(2026-09-13,NEXT-VERSION-TODO 改点2):持久计数器,全局单调(跨工作区不重号)。
@@ -3699,9 +4194,15 @@ class MemoryEngine {
       }
       if (!contSeq) contSeq = 1
       const wsBase = String((pack && pack.cwd) || p.ws || '').split(/[\\/]/).filter(Boolean).pop() || ''
+      // ★L3(2026-09-17): 用 assembleCarryPre 组装 —— headParts/navParts 永不截断, bulkParts 可截断,
+      // 且截断时**显式告知未包含哪些层**。旧实现 `parts.join().slice(0,18000)` 从尾部砍,
+      // 首先砍掉第3层转写路径(模型逃生通道) ⇒ 用户实测"有些文件接不过去"。
+      const carry = assembleCarryPre({ head: headParts, nav: navParts, bulk: bulkParts, budget: 18000 })
       return {
         ok: true,
-        carryText: parts.join(NL + NL).slice(0, 18000),
+        carryText: carry.text,
+        carryTruncated: carry.truncated,
+        carryDropped: carry.dropped,
         planPath: p.planPath,
         ws: (pack && pack.cwd) || p.ws,
         workspaceId: workspaceId,
@@ -3726,7 +4227,12 @@ class MemoryEngine {
     // 配置加载守卫(2026-09-13):handoffEnabled 出厂默认 false,若宿主刚重启、面板先于任何会话活动
     // 打开,旧实现按未加载的默认值误报「白板未启用」——与 resolvePaths 同款守卫。
     if (!this.configLoaded) { try { await this.loadConfig() } catch (e) {} }
-    if (this.config.handoffEnabled === false) return { enabled: false }
+    // ★2026-09-17 解耦(L1, 与 kanbanBoardData 同批): **移除 handoffEnabled 门**,并**补上 reason**
+    // (旧实现 `return { enabled:false }` 连原因都不给,前端只能猜,与看板那个误导提示同源)。
+    // 判据同 kanbanBoardData: 面板是**渲染**, `handoffEnabled` 管的是**写入/取材**, 不该互相牵连。
+    if (!(String((this.config || {}).boardMode || '').trim().toLowerCase() === 'graph')) {
+      return { enabled: false, reason: 'legacy-mode' }
+    }
     // 2026-09-13(工作区切换 bug·终端用户实证):有 sessionId 时按会话解析路径 —— 旧实现白板/账本
     // 恒用全局单值 state.*(最近活跃会话),查看非活跃会话时张冠李戴;会话解析不出身份时如实返回
     // wsBound:false,不再拿 dsh 启动目录(process.cwd() 回退)冒充工作区。
@@ -3749,13 +4255,13 @@ class MemoryEngine {
         water = {
           ratio: Number(rec.ratio) || 0, tokens: Number(rec.tokens) || 0, window: Number(rec.window) || 0,
           source: rec.source || '', meter: rec.meter || '', model: rec.model || '',
-          threshold: Number(this.config.waterLevelThreshold) || 0.75, at: Number(rec.at) || 0, live: true,
+          threshold: Number(this.config.waterLevelThreshold) || DEFAULT_WATER_LEVEL_THRESHOLD, at: Number(rec.at) || 0, live: true,
         }
       } else {
         const wi = await this.waterWindowForSession(sessionId)
         water = {
           ratio: 0, tokens: 0, window: Number(wi.window) || 0, source: wi.source || '', meter: '',
-          model: wi.model || '', threshold: Number(this.config.waterLevelThreshold) || 0.75, at: 0, live: false,
+          model: wi.model || '', threshold: Number(this.config.waterLevelThreshold) || DEFAULT_WATER_LEVEL_THRESHOLD, at: 0, live: false,
         }
       }
     } else {
@@ -3774,7 +4280,7 @@ class MemoryEngine {
         source: this.state.waterLevelSource || '',
         meter: this.state.waterLevelMeter || '',
         model: this.state.waterLevelModel || '',
-        threshold: Number(this.config.waterLevelThreshold) || 0.75,
+        threshold: Number(this.config.waterLevelThreshold) || DEFAULT_WATER_LEVEL_THRESHOLD,
         at: Number(this.state.waterLevelAt) || 0,
         live: Number(this.state.waterLevelAt) > 0,
       }
@@ -4418,7 +4924,19 @@ class MemoryEngine {
     // "无可回收",而文件其实只差几十字符就超限(2026-09-10 实机踩到,报错文案即"可回收内容为空")。
     const needChars = Number(opts.needChars || 0) || (curChars + 1)
     const deficit = Math.max(1, needChars - limit)
-    const keepBudget = Math.max(COMPACT_PROTECT_RECENT_CHARS, limit - deficit - 1) // legacy 文本路径仍按"保留量"口径
+    // ★R4（2026-09-18）修缺陷：保留量目标必须按**当前长度 − 缺口**算，**不能用 limit**。
+    //
+    // 旧写法 `Math.max(COMPACT_PROTECT_RECENT_CHARS, limit - deficit - 1)` 有两处方向性错误：
+    //   ① 代入 deficit = curChars + add − limit 后展开为 `2*limit − curChars − add − 1`
+    //      ⇒ **保留目标随额度单调递增**（额度调大 → 目标变大 → 越"没东西可回收"）；
+    //   ② 被 `COMPACT_PROTECT_RECENT_CHARS`(2000) 抬起 ⇒ **软**保护窗口变成了**硬**下限，
+    //      文件本身不足 2000 字符时"可回收"恒为空 —— 与锚点路径
+    //      （compactAnchoredLayer 的注释明写"保护窗口是**软**下限，唯一硬底线是最新 1 条"）语义打架。
+    // 后果实测：额度落在 [L2, L1) 区间时写入被拒（no-removable），而更小或更大的额度都能写
+    //   ⇒ **非单调**，用户看到的正是「把额度加大成两倍反而锁死」。回归见
+    //   tests/smoke/smoke-test-r4-budget-lockup-pre.mjs。
+    // 现在：保留量 = 恰好能放下本次写入的量；保护窗口仍由"从尾往前保留 + 最新段硬底线"实现。
+    const keepBudget = Math.max(0, curChars - deficit - 1)
 
     const store0 = this.docStore
     if (store0) {
@@ -4493,6 +5011,20 @@ class MemoryEngine {
       const archText = oldSegs.map(seqOf).filter(Boolean).join('\n')
       if (archText) await this.appendText(archiveFile, '\n' + archText)
     }
+    // ★R4（2026-09-18）修缺陷：**回写量护栏** —— 与锚点路径同一纪律（见 compactAnchoredLayer 的
+    //   `if (folded && folded.length > Math.max(0, removed - deficit)) folded = ''`）。
+    //
+    //   旧实现缺这道护栏 ⇒ 上面那条"AI 不可用"分支会把**刚归档掉的老段落原样写回主文件**
+    //   （`folded = remainText.slice(0, keepBudget)`，而 keepBudget 够大时它等于全部老段落）⇒
+    //   **归档确实发生了、空间却没腾出来**（实测 `[compacted] note: 1729 -> 1730 chars`，
+    //   不降反升）。后果：ensureBudget 三轮整理后仍超限 ⇒ 返回 `still-over-capacity` ⇒
+    //   用户看到"写不进去"，而日志里明明写着整理成功 —— 正是最难排查的那种静默失效。
+    //   判据：回写量不得超过"本次腾出的空间 − 还需的缺口"。
+    //   注：本函数签名没有 `deficit`（只收 keepBudget），但 keepBudget 恒等于 `cur.length - deficit - 1`
+    //   的推导目标 ⇒ 用 `cur.length - keepBudget` 等价还原缺口，无需改签名（不动调用契约）。
+    const reclaimed = oldText.length
+    const deficitHere = Math.max(0, cur.length - keepBudget)
+    if (folded && folded.length > Math.max(0, reclaimed - deficitHere)) folded = ''
     const body = [folded, keptText].filter(Boolean).join('\n\n')
     await this.writeFull(layer === 'user' ? p.userFile : p.notesPath, body)
     if (layer === 'user') this.state.userText = body
@@ -4794,6 +5326,10 @@ class MemoryEngine {
         excludedSources: res.excluded || { count: 0, total: 0, patterns: [] },
         at: Date.now(),
       }
+      // ★R4（2026-09-18）：把本轮配额切片喂给探针（观测面，不参与任何判定/行为）。
+      //   采集点紧贴 tier0Meta 赋值 ⇒ 采到的就是本轮**真实生效**的配额与丢弃数。
+      //   与降级台账**判据并列不混**（见 _quotaProbe 的创建注释）。
+      try { if (this._quotaProbe) this._quotaProbe.observe(s.tier0Meta) } catch (_) {}
       return s.tier0LayerText
     } catch (e) {
       // C5 fail-open:目录层出任何异常都不拖垮记忆快照(I7:但必须留下可见痕迹,不静默)
@@ -5091,13 +5627,15 @@ class MemoryEngine {
     // 防御式调用：`renderMemoryDynamic` 是源码抽取式测试的被测对象（`new Function` 里 `this` 是 fake），
     // 宿主方法在沙箱里可能不存在 ⇒ 用 typeof 兜底，避免 ReferenceError 被外层 catch 吞成**整块空串**。
     const planAsk = (typeof this.renderPlanUpdateRequest === 'function') ? this.renderPlanUpdateRequest() : ''
-    if (planAsk) pushPart('otherDynamic', 'plan-update-request', planAsk, null, 'must')
+    // ★2026-09-20 移植（issue #88 / PR #95）：pushPart 只收 4 参（第 4 参才是 priority）——
+    //   旧调用传了 5 个实参，'must' 被 JS 静默丢弃 ⇒ 该段落成 normal，预算超限时可被整段丢弃。
+    if (planAsk) pushPart('otherDynamic', 'plan-update-request', planAsk, 'must')
     // 新bug修复①(2026-09-08):工作区未绑定/项目记忆为空时,注入全局最近账本的绝对路径指针(模型可直接读取续命)
     if (cfg.handoffEnabled !== false && !s.planText && !s.latestHandoffText && s.globalLedgerPath) {
       pushPart('otherDynamic', 'handoff-pointer', '\n[交接续命] 当前会话未绑定工作区(项目记忆不可用)。全局最近交接账本: ' + s.globalLedgerPath + ' —— 需要续接上次任务时,直接读取该文件恢复上下文;工作区绑定后白板/账本即恢复正常注入。')
     }
     // M-CM4/M-CM5 水位建议:越阈注入交接+派子代理建议(advisory;10 分钟新鲜度;无人值守静默)
-    if (cfg.waterLevelAdvisory !== false && !this.isUnattendedNow() && (s.waterLevelRatio || 0) >= (Number(cfg.waterLevelThreshold) || 0.75) && Date.now() - (s.waterLevelAt || 0) < 600000) {
+    if (cfg.waterLevelAdvisory !== false && !this.isUnattendedNow() && (s.waterLevelRatio || 0) >= (Number(cfg.waterLevelThreshold) || DEFAULT_WATER_LEVEL_THRESHOLD) && Date.now() - (s.waterLevelAt || 0) < 600000) {
       pushPart('otherDynamic', 'water-advisory', '\n' + L('snapshotWaterTitle') + '\n' + L('snapshotWaterBody', { pct: Math.round((s.waterLevelRatio || 0) * 100) }))
     }
     // 2026-09-14 T0-3 修复（P0）：原实现把"目录可扣额度"硬封顶为总预算的 35%，
@@ -5164,7 +5702,10 @@ class MemoryEngine {
       pushPart('otherDynamic', 'welcome-title', '\n' + L('snapshotWelcomeTitle'))
       pushPart('otherDynamic', 'welcome-body', L('snapshotWelcomeBody'))
     }
-    pushPart('otherDynamic', 'frame-inscription', '\n' + L('snapshotInscription', { date: this.memToday() })) // 动态快照追加在历史尾部,变化只 miss 快照本身;秒级时间戳也不再击穿 system prompt 前缀
+    // ★T5（2026-09-20 用户拍板）：加 'must' 保护 —— 本段是**收尾自检位**（recency 最高），
+    //   额度紧张时不许被「按优先级丢弃」静默砍掉（那是 M-CM4 期的段丢弃规则）。
+    //   对照：紧随其后的 frame-tail 一直是 'must'，而本段此前裸奔 ⇒ 保护等级反而低于它的结束标记。
+    pushPart('otherDynamic', 'frame-inscription', '\n' + L('snapshotInscription', { date: this.memToday() }), 'must') // 动态快照追加在历史尾部,变化只 miss 快照本身;秒级时间戳也不再击穿 system prompt 前缀
     pushPart('otherDynamic', 'frame-tail', L('snapshotTail') || '</memory_system>', 'must')
     // 0.1.39 兜底:整个动态快照出插件前统一中和模板变量(覆盖反思摘要/日历/外部/层覆盖文案等所有支路)
     // —— T0-3 后改为**逐段**中和：双花括号→全角双花括号 是等长替换，逐段与整篇结果逐字节相同，
@@ -5230,7 +5771,24 @@ class MemoryEngine {
     lines.push('- progress 与 memory 一起写:写日志的同时,把有跨会话长期价值的内容一并写入记忆——跨项目规则 → memory_user,仅本项目 → memory_note;两者在同一轮完成,互不冲突、不遗漏。')
     lines.push('- **交接与白板(长任务续命)**:阶段产出或方向变化时,调用 memory_note(kind=handoff) 写四段式交接账本——任务状态/目标/已试方案与失败原因/进度与下一步,给下一个上下文窗口续命;对项目全貌的理解发生实质变化时,用 memory_note(kind=plan) 重写白板 PLAN.md(人能读的项目规划图,旧版自动归档,用户在面板实时可见)。账本质量纪律:每段 ≤5 行;失败项写成「方案→失败原因」并保留关键报错词;下一步必须是可直接执行的第一步(带文件路径或命令);不写临时信息。两者会注入到你的动态快照首位,是跨窗口交接的凭据。')
     lines.push('- 只记录有跨会话长期价值的;不记临时信息(搜索结果、临时路径、工具报错)。')
-    lines.push('- 记忆容量(设置项 noteCapacityChars/userCapacityChars,默认各 12000 字符):项目笔记与用户级记忆各有容量上限;超出时框架自动整理——先把较早内容交给 AI 折叠成要点、失败则退回整条归档(原文进 archive,信息不丢),整理后仍超才拒绝写入,所以**新记忆正常不会被堵在外面**。整理同一层 10 分钟内只做一次;每日日志无容量限制。注意这与「注入预算」不同:注入预算管每轮往上下文塞多少摘要,容量上限管文件本体大小。')
+    // ★T6（2026-09-20 用户拍板）：**看板分列机制** —— 模型此前完全不知道有 tag 这回事。
+    //   根因：wb-sidecar.js:594-597 的 WB_KANBAN_LANES_V1 靠 matchTags 匹配
+    //   `type:goal` / `type:state` / `type:dead-end` / `type:progress`；不写 tag 就只能靠
+    //   matchTitle 正则（标题含"目标"/"任务状态"/"失败"/"进度"）兜底 ⇒ 模型自拟标题时看板常空列。
+    lines.push('- **看板分列(白板与账本的可视化归类)**:面板看板按 **5 条泳道**分列 —— `目标` / `进行中` / `失败与弯路` / `进度与下一步` / `版本归档`。'
+      + '**要让内容落进对应泳道,须在小节标题行或正文里写 tag**:`type:goal`(目标)、`type:state`(进行中)、`type:dead-end`(失败与弯路)、`type:progress`(进度与下一步)。'
+      + '不写 tag 时系统会退回**按标题文字猜**(含"目标"/"任务状态"/"失败"/"进度"等词),猜不中就等于看板上是空的。'
+      + '注意:这是**白板/账本**的分列规则,与 `memory_note` 的 `kind=plan/handoff/note` 是两回事 —— 后者决定"写到哪个文件",前者决定"面板上排到哪列"。')
+    // ★ T4（2026-09-19 用户拍板）：**procedure memory 的模型直写通路**。
+    //   为什么必须显式提示：此前 procedural 线**只有机械生成**（crossFeed 把 episode 的
+    //   actions=['user','user','user'] 切成候选），产出 14 条里 13 条是空壳；清洗器无法
+    //   把机械切片变成有价值的流程（输入本就不含流程信息）。模型不主动写，这条路就是空的。
+    //   用户原话：「如果有值得介入 procedure memory 的东西，那就接入写进审批列表。」
+    lines.push('- **★技能库(procedure memory)直写**：你刚跑通一个**多步骤、可重复、下次遇到类似场景能照做**的流程（或踩坑后总结出正确做法）时，调 `memory_procedure` 把它写进去——**这是技能库的唯一模型入口，不写就没有**。'
+      + '默认 `action=write` 进审批列表（保守，推荐先这样）；**若你确信它稳定可复用**，用 `action=activate` 一步激活（可被自动召回、并自动导出 SKILL.md）。'
+      + '**必填** title + steps（steps 一行一步）；**强烈建议填 successCriteria**（怎么算跑通）——**没有 successCriteria 的条目结构上永远无法晋升**。'
+      + '**什么值得写**：可复用的操作序列、正确的排查顺序、被验证过的配置步骤。**什么不值得**：一次性的问答、纯信息查询、还没跑通的尝试。判据是「下次我遇到类似场景，会不会想照做」。')
+    lines.push('- 记忆容量(设置项 noteCapacityChars/userCapacityChars,默认各 **24000** 字符;2026-09-18 由 12000 上调,老配置仍是 12000 的会自动抬到 24000 一次):项目笔记与用户级记忆各有容量上限;超出时框架自动整理——先把较早内容交给 AI 折叠成要点、失败则退回整条归档(原文进 archive,信息不丢),整理后仍超才拒绝写入,所以**新记忆正常不会被堵在外面**。整理同一层 10 分钟内只做一次;每日日志无容量限制。注意这与「注入预算」不同:注入预算管每轮往上下文塞多少摘要,容量上限管文件本体大小。')
     lines.push('- **记忆操作必须在正文可见(摘要链)**:调用 memory_log/note/user/reflect 更新记忆后,必须把结果写进本轮回复的正文文本(用户直接看到的那段文字,不是工具调用区),并在**回复末尾**用加粗或换行使其醒目(如"**已更新今日日志**\n新增:修复了XXX");调用 memory_recall/memory_external 检索时,在正文开头写明"我查了记忆,发现..."。工具返回值只是辅助,正文转述是强制要求。')
     lines.push('- 用户明确要求长期记住:跨项目规则 → memory_user;仅本项目 → memory_note。')
     lines.push('- 定期调用 memory_maintain 做 30 天蒸馏:AI 提炼旧日志要点进项目笔记,原文保底归档;不存密钥,除非用户明确要求。')
@@ -5374,6 +5932,13 @@ class MemoryEngine {
 
   async appendText(p, text) {
     if (process.env.DSH_F1_DEBUG) console.error('[f1-diag] appendText -> ' + p + ' len=' + String(text || '').length)
+    // ★ T3-1（2026-09-19）：**新增守卫，一行收口**。
+    //   只做卫生检查（拦乱码/复读/raw-json/base64/重复行），**不做任何体量截断** ——
+    //   故 archive 全文保底(:7716 走 writeFull)与本处的大文本内联(:7733)不受影响。
+    //   拒绝时**抛出**：写入原语的既有契约就是"失败即抛"（见下方 memoryWriteError），
+    //   调用方已有 try/catch 兜底（如 maintain 的 per-log catch、hubFlushTick 的 eFlush 分支）。
+    const _hg = hygieneGateForPrimitive(text)
+    if (!_hg.ok) throw memoryWriteError('hygiene', _hg)
     // M3b-3 分流:anchor 开启 → 记忆文档走原子写入事务(稳定 marker/ID);关闭 → 原逻辑逐字节不变。
     const store = this.docStore
     if (store) {
@@ -5423,6 +5988,87 @@ class MemoryEngine {
     await writeFile(p, text, 'utf8')
   }
 
+  /**
+   * ★G3（2026-09-19）结论层状态写入 —— 给指定条目落 `status`，**只在显式传参时被调用**。
+   *
+   * 纪律（逐条对应设计稿，违反即回滚）：
+   *   ① **不新建状态源**（S10.4）：状态写在**条目自身**正文末尾，走既有写盘通道。
+   *   ② **不绕过写入纪律**：读原文 → 纯函数生成新文 → `writeFull`（备份/校验/无 BOM 全由既有事务负责）。
+   *   ③ **只动目标条目**：`note-status-apply-pre` 保证其余字节不变（含 CRLF），避免无关条目 digest 漂移。
+   *   ④ **留痕**：每次状态变更都写一行到既有日志通道旁（不新建状态源），否则又是"静默改写"。
+   *   ⑤ **fail-soft**：任何一步失败只返回说明并记降级台账，**绝不抛出**（调用方已成功写入笔记）。
+   *
+   * @param {string} notesPath 项目笔记路径
+   * @param {{supersedes?:string[], retract?:string[], restore?:string[], reason?:string}} plan
+   * @param {string} [fallbackText] 调用方刚写入的全文（读取失败时兜底）
+   * @returns {Promise<string>} 追加到工具返回值末尾的说明（无动作时为空串）
+   */
+  async applyNoteStatusPre(notesPath, plan, fallbackText) {
+    try {
+      const { applyStatusToRecordPre, readRecordStatusPre } = await import('./note-status-apply.js')
+      let text = ''
+      try { text = await this.readTextSafe(notesPath) } catch (_) { text = '' }
+      if (!text) text = String(fallbackText || '')
+      if (!text) return '\n(状态写入跳过：笔记为空)'
+
+      const done = []
+      const skipped = []
+      // 指向：用本次**新写入内容**里最后一个锚点 id（即"新结论"）作为 supersededBy。
+      const newIds = (String(fallbackText || '').match(/mem_[0-9a-f]{32}/g) || [])
+      const byId = newIds.length ? newIds[newIds.length - 1] : ''
+
+      for (const id of (plan.supersedes || [])) {
+        const cur = readRecordStatusPre(text, id)
+        if (!cur) { skipped.push(id.slice(4, 12) + '(未找到)'); continue }
+        if (cur.status === 'superseded') { skipped.push(id.slice(4, 12) + '(已作废)'); continue }
+        const next = applyStatusToRecordPre(text, id, 'superseded', byId ? { supersededBy: byId } : {})
+        if (!next) { skipped.push(id.slice(4, 12) + '(不可应用)'); continue }
+        text = next
+        done.push(id.slice(4, 12) + '→superseded')
+      }
+      // ★T6（2026-09-20 用户拍板）：**retracted 通道**。
+      //   为什么必须有：三态枚举（note-status-pre 的 NOTE_STATUSES_V1）含 retracted，renderStatusLinePre
+      //   也支持渲染它，L0 侧还专门有 L0_RETRACTED_MARK_V1='⚠已撤回' 的呈现后缀 —— 但此前
+      //   memory_note 只有 `supersedes` 一个通道且硬编码映射到 superseded ⇒ **retracted 模型写不了**。
+      //   用户 2026-09-18 裁定「retracted 不是垃圾，是教训，不过滤只备注」⇒ 教训通路必须可写。
+      //   语义分工（写进 tool description，模型据此选）：
+      //     supersedes = 被**更新的结论取代**（有后继，可追 mem_id）
+      //     retract    = **做错了、撤回**（无后继，本身就是教训；可带 reason 说明错在哪）
+      for (const id of (plan.retract || [])) {
+        const cur = readRecordStatusPre(text, id)
+        if (!cur) { skipped.push(id.slice(4, 12) + '(未找到)'); continue }
+        if (cur.status === 'retracted') { skipped.push(id.slice(4, 12) + '(已撤回)'); continue }
+        const next = applyStatusToRecordPre(text, id, 'retracted', plan.reason ? { reason: String(plan.reason) } : {})
+        if (!next) { skipped.push(id.slice(4, 12) + '(不可应用)'); continue }
+        text = next
+        done.push(id.slice(4, 12) + '→retracted')
+      }
+      for (const id of (plan.restore || [])) {
+        const cur = readRecordStatusPre(text, id)
+        if (!cur) { skipped.push(id.slice(4, 12) + '(未找到)'); continue }
+        if (cur.status === 'current') { skipped.push(id.slice(4, 12) + '(已是 current)'); continue }
+        const next = applyStatusToRecordPre(text, id, 'current')
+        if (!next) { skipped.push(id.slice(4, 12) + '(不可应用)'); continue }
+        text = next
+        done.push(id.slice(4, 12) + '→current(撤销)')
+      }
+
+      if (!done.length) return skipped.length ? '\n(状态未变更：' + skipped.join(', ') + ')' : ''
+
+      await this.writeFull(notesPath, text)
+      this.state.notesText = text; this.state.loadedAt = Date.now()
+      // ④ 留痕：与笔记同目录（.dsh-memory/），append-only
+      try {
+        await this.appendText(path.join(path.dirname(notesPath), 'STATUS-CHANGES.log'),
+          '[' + new Date().toISOString() + '] ' + done.join(', ') + (skipped.length ? ' | skipped: ' + skipped.join(', ') : '') + '\n')
+      } catch (_) { /* 留痕失败不影响主流程 */ }
+      return '\n状态已更新：' + done.join(', ') + (skipped.length ? '\n（跳过：' + skipped.join(', ') + '）' : '')
+    } catch (e) {
+      try { if (this._degradePre && typeof this._degradePre.record === 'function') this._degradePre.record('note-status', String((e && e.message) || e)) } catch (_) {}
+      return '\n(状态写入失败，笔记已正常保存：' + String((e && e.message) || e) + ')'
+    }
+  }
+
   // ---------- 检索 ----------
   async recall(query, limit = 8, agent, scope = 'all', opts = null) {
     // P4(2026-09-09):按需展开入口 —— opts.expand 指定 mem_<32hex> 时跳过检索,按锚点字节区间直接返回该条原文。
@@ -5453,6 +6099,13 @@ class MemoryEngine {
     }
     const out = []
     const hits = []
+    // ★G3 读侧（2026-09-19）：磁盘状态行解析器。**单一解析点** —— 写侧与读侧共用
+    //   `note-status-apply-pre` / `note-status-pre` 的同一套语法，避免读写口径漂移。
+    //   ★声明位置必须在**方法体顶层**：两个消费点分属互斥分支
+    //   （词法臂在 `if (l0Mode)`、语义臂在 `if (... && !l0Mode)`），
+    //   声明若放进任一分支，另一分支引用即 ReferenceError 并被下游 fail-soft 吞掉
+    //   ⇒ **静默降级、语义臂整体失效**（本仓「标识符作用域」类缺陷，写前必核）。
+    const { readRecordStatusPre: statusOfNotePre } = await import('./note-status-apply.js')
     const scanFile = async (label, filePath, maxMatches = 3, target = hits) => {
       const text = await this.readTextSafe(filePath)
       if (!text) return
@@ -5497,20 +6150,48 @@ class MemoryEngine {
     //  用户级/项目笔记在日志很多时**永远进不了候选**,表现为"够不到 ~5 天前的记录"。)
     if (l0Mode) {
       const { buildL0IndexPre, isCurrentPre } = await import('./l0-extract.js')
+      // ★R4-B（2026-09-18）：分层呈现的分组函数 —— **单独一行 import**，刻意不改上面那行的
+      //   字面形态：`smoke-test-three-layer-pre` 的「三层契约 I5 检索侧接线」断言以**字面量**
+      //   锁定它（`const { buildL0IndexPre, isCurrentPre } = await import(...)`），
+      //   合并 import 会让该契约守卫假红。合并是"更漂亮"，但契约守卫的价值高于排版。
+      const { groupL0ByLayerPre: groupL0 } = await import('./l0-extract.js')
+      // ★R4-A 落地（2026-09-19）：检索侧改用**准入谓词** isRetrievablePre（三态一律放行），
+      //   并在输出处附 supersededMarkPre 的标记后缀。「返回但标记」是用户两次修正后的定稿：
+      //   retracted 不是垃圾，**它是教训**（「不记住这个教训你还会再踩」）。
+      //   注入侧仍用 isCurrentPre（常驻 800 token 不装过时条目）—— 两处判据不同是有意为之。
+      const { isRetrievablePre: retrievableL0, supersededMarkPre: markL0 } = await import('./l0-extract.js')
       const l0Corpus = []
       // C2(2026-09-14,三层契约):语料条目带 layer/status —— 层名由**来源路径**判定(classifyLayerPre);
-      // 非 current(superseded/retracted)在这里就被剔除(契约 I5「检索侧」过滤;注入侧在 context-host 另有一道)。
+      // R4-A(2026-09-19):非 current 的三态条目**不再剔除**,改为标记后一并返回(见上)。
       const pushL0 = (label, text, srcPath) => {
         if (!text) return
-        for (const it of buildL0IndexPre(text, srcPath ? { layer: srcPath } : undefined)) {
-          if (!isCurrentPre(it)) continue
-          l0Corpus.push({ id: it.id, l0: it.l0, label, layer: it.layer || 'log', status: it.status || 'current' })
+        // ★G3 读侧接线（2026-09-19）：把**磁盘上的状态行**解析出来经 statusOf 注入。
+        //   没有这一步，写进 MEMORY.md 的 `<!-- dsh-status: ... -->` 永远读不回来
+        //   ⇒ G3 只会"写得很热闹、检索侧毫无变化"（正是本仓最忌的"接线正确但功能不存在"）。
+        //   解析失败 ⇒ statusOf 返回 current（fail-soft，与索引层「缺失即默认」口径一致）。
+        const opts = srcPath ? { layer: srcPath, statusOf: (id) => statusOfNotePre(text, id) } : undefined
+        for (const it of buildL0IndexPre(text, opts)) {
+          if (!retrievableL0(it)) continue
+          l0Corpus.push({ id: it.id, l0: it.l0, label, layer: it.layer || 'log', status: it.status || 'current', mark: markL0(it) })
         }
       }
       for (const log of logs) { const f = path.join(p.projectDir, log.name); pushL0(log.name, await this.readTextSafe(f), f) }
       for (const rf of reflections) { const f = path.join(p.reflectDir, rf.name); pushL0('reflections/' + rf.name, await this.readTextSafe(f), f) }
       pushL0(p.projectDir + '/MEMORY.md', await this.readTextSafe(p.notesPath), p.notesPath)
       pushL0('~' + p.userFile.slice(homedir().length), await this.readTextSafe(p.userFile), p.userFile)
+      // ★L4(2026-09-17)·白板进检索 —— 缺口 2 的**读取侧**接续。
+      //  此前白板只进"注入"(:4706 一线), **不进检索** ⇒ 模型问"上次那个失败方案是啥"时,
+      //  检索臂扫不到 PLAN/账本, 只能靠注入的目录层碰运气。这里补上检索侧的两个来源。
+      //  闸门口径: 白板是**产物层**, 归 `handoffEnabled` 管(关时既不写也不读, 见 buildContinueCarry 头注释);
+      //  **不是** boardMode 渲染门 —— 故此处只判 handoffEnabled, 不判 boardMode(与 L5 判据同源)。
+      const withHandoffL4 = (this.config || {}).handoffEnabled !== false
+      if (withHandoffL4) {
+        try {
+          pushL0('handoff/PLAN.md', await this.readTextSafe(p.planPath), p.planPath)
+          const ledgerNameL4 = await this.latestLedgerNamePre(p.handoffDir)
+          if (ledgerNameL4) pushL0('handoff/' + ledgerNameL4, await this.readTextSafe(path.join(p.handoffDir, ledgerNameL4)), path.join(p.handoffDir, ledgerNameL4))
+        } catch (eL4) { /* fail-soft: 白板取不到就跳过这两个来源, 绝不阻塞检索 */ }
+      }
       // #45:不再在此处按 256 截断 —— 截断会使追加顺序靠后的来源(笔记/用户级)永久失去候选资格。
       // 输出量由下游 rank + limit 控制,不牺牲召回覆盖。
       for (const c of l0Corpus) {
@@ -5532,7 +6213,11 @@ class MemoryEngine {
         if (typeof this._semanticRankBest === 'function') rank = await this._semanticRankBest(rankSnap, query)
         else if (typeof this._jsSemanticRank === 'function') rank = await this._jsSemanticRank(rankSnap, query)
         if (rank && rank.scores && rank.scores.size) semScores = rank.scores
-      } catch (eBest) { try { diag('recall 语义臂择优降级: ' + String((eBest && eBest.message) || eBest).slice(0, 120)) } catch (_) {} }
+      } catch (eBest) {
+        // R3：预期外失败 —— 引擎/worker 抛错导致回退词法，用户应当能知道（不只是 diag 一行）。
+        try { diag('recall 语义臂择优降级: ' + String((eBest && eBest.message) || eBest).slice(0, 120)) } catch (_) {}
+        try { if (this._degradeSink) this._degradeSink.record('semantic-arm', String((eBest && eBest.message) || eBest).slice(0, 160)) } catch (_) {}
+      }
       if (semScores && semScores.size) {
         for (const c of l0Corpus) {
           const sc = semScores.get(c.id)
@@ -5543,16 +6228,35 @@ class MemoryEngine {
       // 复用 :6876 证据读取范式);中性 0.5 → 因子 0.75 全体一致缩放=排序不变;correction 重则因子降至 0.5。
       // 任何失败 → impMap 空 → 全体中性,绝不阻塞检索。importance 仅为加权因子之一,lex 臂不受影响。
       const impMap = new Map()
+      // ★R2-E1（2026-09-18）：读侧守卫 —— 与写侧「懒建」契约对齐。
+      // 写侧 `evidence-store.js:126` 的 mkdirSync 只在**首次成功 append** 时建目录，
+      // 且 persistEvidence 的两个调用点都带内容前置条件（context-host.js:653/:699）
+      // ⇒ **「目录不存在」在写侧是合法状态**（新装 / 用法未触发写入的用户永远没有它）。
+      // 原实现读侧无条件 readdirSync ⇒ ENOENT 被下方 catch 吞掉 ⇒ impMap 恒空
+      // ⇒ importance 全体中性 ⇒ dense 臂因子恒 0.75 ⇒ **该用户每次 recall 都静默失去 importance 加权**。
+      // 定性：契约缺口（读写对「目录可能不存在」无共识），非容错不足。
+      // 处置：此处**静默跳过**（预期内分支，不算降级、不写 diag，避免刷屏）；
+      //       「该臂整体未生效」的可见性交给 R3 留痕层。
       try {
-        const { scanEvidenceEventsPre, aggregateEvidenceEventsPre } = await import('./evidence-agg.js')
-        const { computeImportancePre } = await import('./memory-importance.js')
         const evDir = path.join(dshHome(), 'memory', 'evidence', 'events')
-        const agg = aggregateEvidenceEventsPre(scanEvidenceEventsPre({
-          listFiles: () => readdirSync(evDir).filter((x) => x.endsWith('.jsonl')),
-          readFile: (name) => readFileSync(path.join(evDir, name), 'utf8'),
-        }, {}))
-        for (const [mid, a] of agg) impMap.set(mid, computeImportancePre(a).importance)
-      } catch (eImp) { try { diag('evidence-agg 降级为中性(impMap 空): ' + String((eImp && eImp.message) || eImp).slice(0, 140)) } catch (_) {} }
+        if (!existsSync(evDir)) {
+          // 目录不存在 = 从未产生过证据事件 = 合法状态 ⇒ 保持 impMap 空（全体中性），直接跳过。
+          // 不抛异常、不写 diag：这不是故障，是「这条臂暂无输入」。
+        } else {
+          const { scanEvidenceEventsPre, aggregateEvidenceEventsPre } = await import('./evidence-agg.js')
+          const { computeImportancePre } = await import('./memory-importance.js')
+          const agg = aggregateEvidenceEventsPre(scanEvidenceEventsPre({
+            listFiles: () => readdirSync(evDir).filter((x) => x.endsWith('.jsonl')),
+            readFile: (name) => readFileSync(path.join(evDir, name), 'utf8'),
+          }, {}))
+          for (const [mid, a] of agg) impMap.set(mid, computeImportancePre(a).importance)
+        }
+      } catch (eImp) {
+        // R3：预期外失败才记。目录不存在已被上面的 existsSync 守卫拦下（预期内分支，静默）；
+        // 走到这里的都是真异常（聚合/读文件/import 失败）⇒ 应当留痕。
+        try { diag('evidence-agg 降级为中性(impMap 空): ' + String((eImp && eImp.message) || eImp).slice(0, 140)) } catch (_) {}
+        try { if (this._degradeSink) this._degradeSink.record('evidence-arm', String((eImp && eImp.message) || eImp).slice(0, 160)) } catch (_) {}
+      }
       const l0Hits = l0Corpus.filter((c) => c.lex > 0 || (typeof c.sem === 'number' && c.sem >= 0.5))
       // 时间臂(2026-09-09):查询含中文时间表达 → 解析 [startMs,endMs),候选 label 中的日志日期
       // (YYYY-MM-DD)命中 → temp=1 软提升;非日期来源(MEMORY.md/~userfile)不给 temp(中性)。
@@ -5582,7 +6286,7 @@ class MemoryEngine {
           // P3(2026-09-16) R1 双显示:RRF 融合输出的 finalRank(输出序=注入/展示序)保留到候选对象上,
           // 与 denseScore(绝对,决策用)并存 —— 相似度在前、融合序号在后,不拿融合分冒充相似度。
           // finalRank 口径 = 本次融合的最终输出序(1 起);决策仍走 sem>=0.5 绝对阈值(R2 维持)。
-          const fusion = rankFusionRRFPre(l0Hits.map((c) => ({ memoryId: c.id, dense: typeof c.sem === 'number' ? c.sem * (0.5 + 0.5 * (impMap.get(c.id) != null ? impMap.get(c.id) : 0.5)) : null, lex: c.lex, temp: tempFieldOf(c) })))
+          const fusion = rankFusionRRFPre(l0Hits.map((c) => ({ memoryId: c.id, dense: typeof c.sem === 'number' ? c.sem * (0.5 + 0.5 * (impMap.get(c.id) != null ? impMap.get(c.id) : 0.5)) : null, lex: c.lex, temp: tempFieldOf(c), layer: c.layer })))
           fusion.forEach((f, i) => {
             const c = byId.get(f.memoryId)
             if (!c) return
@@ -5601,12 +6305,21 @@ class MemoryEngine {
       }
       if (l0Top.length) {
         out.push('== L0 命中(摘要,含 id/得分/匹配原因;展开单条原文传 expand="mem_xxx") ==')
-        for (const c of l0Top) {
-          // R1 双显示(2026-09-16):绝对分(决策用)在前;融合序号 #N(排序用,即 finalRank 口径)在后。
-          // legacy 路径/RRF 降级时无 finalRank,显示保持旧格式不变(回滚=opts.fusion:'legacy')。
-          const sc = typeof c.sem === 'number' ? c.sem.toFixed(2) : String(c.lex)
-          const fr = Number.isInteger(c.finalRank) ? ' #' + c.finalRank : ''
-          out.push('· [' + c.id + '] ×' + sc + fr + ' ' + (c.reason || '语义') + ' ' + c.label + ' — ' + c.l0)
+        // ★R4-B（2026-09-18）分层**呈现**：把已排好序的命中**按层分组**后展示。
+        //   ★排序零改动：分组只重排"行"，不改 `l0Top` 的融合/词法序；组内保持原相对顺序，
+        //     且每行仍带 `#finalRank` ⇒ 全局序完全可由读者还原。**只有多于一层时才打标题**
+        //     ⇒ 单层命中（如纯日志）输出与旧版**逐字节相同**（回滚安全）。
+        const groups0 = groupL0(l0Top, (c) => c.layer)
+        const multi = groups0.length > 1
+        for (const g of groups0) {
+          if (multi) out.push('【' + g.label + '】')
+          for (const c of g.items) {
+            // R1 双显示(2026-09-16):绝对分(决策用)在前;融合序号 #N(排序用,即 finalRank 口径)在后。
+            // legacy 路径/RRF 降级时无 finalRank,显示保持旧格式不变(回滚=opts.fusion:'legacy')。
+            const sc = typeof c.sem === 'number' ? c.sem.toFixed(2) : String(c.lex)
+            const fr = Number.isInteger(c.finalRank) ? ' #' + c.finalRank : ''
+            out.push('· [' + c.id + '] ×' + sc + fr + ' ' + (c.reason || '语义') + ' ' + c.label + ' — ' + c.l0 + (c.mark || ''))
+          }
         }
       }
     } else {
@@ -5671,20 +6384,28 @@ class MemoryEngine {
     if (scope === 'all' && !l0Mode && typeof this._jsSemanticRank === 'function') {
       try {
         const { buildL0IndexPre } = await import('./l0-extract.js')
-        const { isCurrentPre: isCurrentPreArms } = await import('./l0-extract.js')
+        // ★R4-A 落地（2026-09-19）：语义臂与词法臂**同源同判** —— 检索侧三态一律放行 + 标记。
+        const { isRetrievablePre: retrievableSem, supersededMarkPre: markSem } = await import('./l0-extract.js')
+        // R4-B：分层呈现用的分组函数（单独 import，**不动上面两行的字面形态** —— 既有套件
+        // smoke-test-p2 以源码字面量锁定它们，改形态会造成假红）。
+        const { groupL0ByLayerPre: groupSem } = await import('./l0-extract.js')
         const { createHash } = await import('node:crypto')
-        // C2(三层契约 I5『检索侧』过滤)：谓词经 env 传入 —— semanticArm 会被 smoke 套件"抽源码单独求值"，
-        // 那时闭包变量不可见，故这里给**等价内联兜底**（行为与 l0-extract-pre 的 isCurrentPre 一致，勿改语义）。
+        // C2(三层契约 I5『检索侧』准入)：谓词经 env 传入 —— semanticArm 会被 smoke 套件"抽源码单独求值"，
+        // 那时闭包变量不可见，故这里给**等价内联兜底**（行为与 l0-extract-pre 的 isRetrievablePre 一致，
+        // 即：已知三态一律放行、只对未知值 fail-closed，勿改语义）。
         const semanticArm = async (env) => {
-          const cur = typeof env.isCurrentPre === 'function' ? env.isCurrentPre : (r) => !r || !r.status || r.status === 'current'
+          const cur = typeof env.isRetrievablePre === 'function' ? env.isRetrievablePre : ((r) => !r || !r.status || ['current', 'superseded', 'retracted'].includes(r.status))
+          const mk = typeof env.supersededMarkPre === 'function' ? env.supersededMarkPre : (() => '')
+          // ★G3 读侧：语义臂与词法臂**同源同法**（都在 statusOf 处读磁盘状态行）。
+          const st = typeof env.statusOf === 'function' ? env.statusOf : (() => undefined)
           const corpus = []
           for (const src of env.sources) {
             const text = await this.readTextSafe(src.path)
             if (!text) continue
-            const items = env.buildL0IndexPre(text, { layer: src.path })
+            const items = env.buildL0IndexPre(text, { layer: src.path, statusOf: (id) => st(text, id) })
             for (const it of items) {
               if (!cur(it)) continue
-              corpus.push({ memoryId: it.id, text: it.l0, label: src.label, layer: it.layer || 'log' })
+              corpus.push({ memoryId: it.id, text: it.l0, label: src.label, layer: it.layer || 'log', mark: mk(it) })
             }
           }
           if (!corpus.length) return []
@@ -5702,7 +6423,9 @@ class MemoryEngine {
             .slice(0, Math.max(2, env.limit))
             .map(([id, sc]) => {
               const rec = corpus.find((c) => c.memoryId === id) || {}
-              return { label: rec.label || '', id8: String(id).slice(4, 12), score: sc, l0: rec.text || '' }
+              // R4-B：把层带出去（分组在调用点做）。★本闭包会被 smoke 套件用 `new Function`
+              // 抽源码单独求值，故**只能依赖 env/自身**：这里不做任何分组、不引用外部符号。
+              return { label: rec.label || '', id8: String(id).slice(4, 12), score: sc, l0: rec.text || '', layer: rec.layer || 'log', mark: rec.mark || '' }
             })
         }
         const semSources = []
@@ -5710,11 +6433,27 @@ class MemoryEngine {
         for (const rf of reflections) semSources.push({ label: 'reflections/' + rf.name, path: path.join(p.reflectDir, rf.name) })
         semSources.push({ label: p.projectDir + '/MEMORY.md', path: p.notesPath })
         semSources.push({ label: '~' + p.userFile.slice(homedir().length), path: p.userFile })
+        // ★L4: 语义臂同样接上白板(与上方 pushL0 同源同闸; fail-soft 取不到就跳过)
+        if ((this.config || {}).handoffEnabled !== false) {
+          try {
+            semSources.push({ label: 'handoff/PLAN.md', path: p.planPath })
+            const ledgerNameL4s = await this.latestLedgerNamePre(p.handoffDir)
+            if (ledgerNameL4s) semSources.push({ label: 'handoff/' + ledgerNameL4s, path: path.join(p.handoffDir, ledgerNameL4s) })
+          } catch (eL4s) {}
+        }
         // #45:不再传 maxRecords(=256) —— 语料截断即召回截断,会让靠后的来源永远够不到。
-        const semHits = await semanticArm({ sources: semSources, buildL0IndexPre, isCurrentPre: isCurrentPreArms, createHash, query, limit, minScore: 0.5 })
+        const semHits = await semanticArm({ sources: semSources, buildL0IndexPre, isRetrievablePre: retrievableSem, supersededMarkPre: markSem, statusOf: statusOfNotePre, createHash, query, limit, minScore: 0.5 })
         if (semHits.length) {
           out.push('== 语义命中(L0 摘要,按相关度;可按锚点下钻) ==')
-          for (const s of semHits) out.push('· ' + s.label + ' [' + s.id8 + '] ×' + s.score.toFixed(2) + ' ' + s.l0)
+          // ★R4-B（2026-09-18）分层**呈现**（与上方 L0 命中段同源同法）：只重排"行"、不改分数序，
+          //   组内保持原相对序（原行无序号，故组内相对序即原排序序）。**只有一层时不打标题**
+          //   ⇒ 单层输出与旧版逐字节相同（回滚安全）。
+          const groupsS = groupSem(semHits, (s) => s.layer)
+          const multiS = groupsS.length > 1
+          for (const g of groupsS) {
+            if (multiS) out.push('【' + g.label + '】')
+            for (const s of g.items) out.push('· ' + s.label + ' [' + s.id8 + '] ×' + s.score.toFixed(2) + ' ' + s.l0 + (s.mark || ''))
+          }
         }
       } catch (eSem) {}
     }
@@ -5975,6 +6714,78 @@ class MemoryEngine {
     return { workspaces, graph, cached: false, generatedAt: result.generatedAt }
   }
 
+  // ---------- R3-②（2026-09-18）：降级台账视图 + 落盘 ----------
+  /**
+   * 返回降级台账最小投影，并**顺带落盘**为可查询状态文件。
+   *
+   * 形态：**读驱动写** —— 只在 `debugInfo()`（诊断端点）被调用时写一次，
+   * 不引入定时器、不新增常驻任务、不产生空闲期 IO。
+   *
+   * ★ 元规则：**落盘失败绝不可影响 debugInfo** —— 全程 try/catch，失败仅返回快照。
+   */
+  _degradeViewSnapshot() {
+    let snap
+    try {
+      snap = this._degradeSink
+        ? this._degradeSink.snapshot()
+        : { schemaVersion: 'degrade_v1', updatedAt: null, counts: {}, recent: [], evicted: 0, cap: 0 }
+    } catch (_) {
+      snap = { schemaVersion: 'degrade_v1', updatedAt: null, counts: {}, recent: [], evicted: 0, cap: 0 }
+    }
+    // 落盘（best-effort）。失败不影响返回值，也不抛 —— 但**必须可见**。
+    // ★ 本文件 `import path from 'node:path'` 是**默认导入**，没有裸 `join` 可用。
+    //   曾误写裸 join ⇒ ReferenceError 被本 catch 静默吞掉 ⇒ 落盘长期失效而无人知晓
+    //   （同族事故第三次：dshHome / evDir / join 均属「闭包或导入不可见」类）。
+    //   ⇒ 因此返回值带 `persisted` 字段：失败在诊断面板/响应里**一眼可见**，
+    //     符合本仓铁律「静默降级视为结构性缺陷」。
+    // ★R4（2026-09-18）：改为**合并写入** —— 同一文件同时带降级台账与配额测量两个键。
+    //   保持向后兼容：degrade 的原有键（schemaVersion/counts/recent/…）位置与含义不变，
+    //   仅**追加** `quota` 键 ⇒ 既有读者（面板/排障脚本）零改动。
+    let persisted = false
+    try {
+      const quota = this._quotaViewSnapshot()
+      persisted = this._persistObservabilityPre(snap, quota)
+    } catch (_) { /* fail-soft：台账持久化不得打断诊断 */ }
+    return Object.assign({}, snap, { persisted })
+  }
+
+  // ---------- R4（2026-09-18）：配额测量视图 ----------
+  /**
+   * 返回**配额测量**视图：采样快照 + 判定结论，并**顺带落盘**到与降级台账**同一个文件**
+   * （多一个 `quota` 键 —— 不新增文件、不新增配置键、不新增常驻任务，遵守 S10.4）。
+   *
+   * 与 `_degradeViewSnapshot` 同一形态（读驱动写）与同一元规则（落盘失败绝不影响诊断），
+   * 但**判据并列不混**：那边只记预期外失败，这边是常规业务观测。
+   */
+  _quotaViewSnapshot() {
+    let snap
+    try {
+      snap = this._quotaProbe
+        ? this._quotaProbe.snapshot()
+        : { schemaVersion: 'quota_probe_v1', updatedAt: null, samples: [], evicted: 0, cap: 0 }
+    } catch (_) {
+      snap = { schemaVersion: 'quota_probe_v1', updatedAt: null, samples: [], evicted: 0, cap: 0 }
+    }
+    let verdict
+    try {
+      verdict = deriveQuotaVerdictPre(snap)
+    } catch (_) {
+      verdict = { version: 'quota_verdict_v1', verdict: 'insufficient-data', samples: 0, dropRate: 0, usage: 0, perLayer: {}, reasons: ['判定异常'] }
+    }
+    return Object.assign({}, snap, { verdict })
+  }
+
+  /** 把降级台账与配额测量**合并写入同一状态文件**（读驱动写；失败返回 false，不抛）。 */
+  _persistObservabilityPre(snap, quota) {
+    let persisted = false
+    try {
+      const file = path.join(dshHome(), 'memory', 'degrade-pre', 'latest.json')
+      // 合并形态：保留 degrade 的原有键（向后兼容既有读者），追加 quota 键。
+      persisted = persistDegradeLedgerPre({ file, snapshot: Object.assign({}, snap, { quota }), mkdirSync, writeFileSync }) === true
+    } catch (_) { /* fail-soft：观测面持久化不得打断诊断 */ }
+    return persisted
+  }
+
   // ---------- 调试中心(为提 issue 提供诊断信息) ----------
   async debugInfo() {
     const p = await this.resolvePaths(undefined)
@@ -6062,6 +6873,13 @@ class MemoryEngine {
           return Object.assign({ enabled: this.config.pythonBackendEnabled === true }, c ? c.debugView() : {})
         })(),
         indexSyncHost: this._indexSyncHost ? this._indexSyncHost.debugView() : { enabled: false },
+        // R3-②（2026-09-18）：降级台账最小投影。与各 host 的 debugView 走**同一出口**，不新增通道；
+        // 只暴露 counts/recent/evicted（无原文、无路径）—— 与既有「§17 最小投影」纪律一致。
+        degrade: this._degradeViewSnapshot(),
+        // ★R4（2026-09-18）：配额测量视图 —— 与降级台账**同一出口、同一落盘文件**（多一个 `quota` 键）。
+        //   回答用户那两个问题：「配额太少（内容进不来）」还是「配额多了（白花 token）」。
+        //   判定默认 `insufficient-data`（样本不足**不猜**），符合用户「基于长期观察」的要求。
+        quota: this._quotaViewSnapshot(),
         runtimes: this.runtimes.values().map((rt) => ({
           key: rt.key,
           sessionId: rt.sessionId,
@@ -6401,25 +7219,46 @@ class MemoryEngine {
     try {
       const sessionsSvc = this._sessionsSvc
       const agentSvc = this._agentSvc
-      if (!sessionsSvc || !agentSvc || typeof sessionsSvc.list !== 'function') { diag('restoreLastAgent: svc missing sessions=' + !!sessionsSvc + ' agent=' + !!agentSvc); return }
+      if (!sessionsSvc || !agentSvc || typeof sessionsSvc.list !== 'function') { diagThrottled('rla:svc', 'restoreLastAgent: svc missing sessions=' + !!sessionsSvc + ' agent=' + !!agentSvc); return }
       const sessions = sessionsSvc.list()
-      if (!sessions || !sessions.length) { diag('restoreLastAgent: no sessions'); return }
-      // 找最近活跃的顶层会话(log 最后事件时间最大)
+      if (!sessions || !sessions.length) { diagThrottled('rla:none', 'restoreLastAgent: no sessions'); return }
+      if (typeof agentSvc.get !== 'function') { diagThrottled('rla:get', 'restoreLastAgent: agentSvc.get unavailable'); return }
+      // 找最近活跃的**用户会话**(log 最后事件时间最大)。
+      // ★2026-09-21 二次修 bug(证据: tools/probe-session-kind.mjs 解压会话头部):
+      //   上一轮修的判据是「有 parentSession 就跳过」, **过宽** —— 它把「接续会话」也一并排除。
+      //   实测两类会话的区别:
+      //     · 子代理   : origin='subagent', delegationDepth=1   ⇒ 该排除
+      //     · 接续会话 : origin 缺省,       delegationDepth=0   ⇒ **是用户会话, 必须收**
+      //   当列表里只有接续会话时(用户点过「一键接续」后即为此形态), best 永远是 null ⇒
+      //   `_lastAgent` 恢复不了 + 每 tick 重试 ⇒ 刷屏。改用 isSubAgentSession() 精确判定。
       let best = null, bestTime = 0
+      let skippedSub = 0
       for (const s of sessions) {
+        if (isSubAgentSession(s)) { skippedSub++; continue }
         let t = 0
         try { const last = s.log && s.log[s.log.length - 1]; if (last && last.time) t = last.time } catch (e) {}
         if (t >= bestTime) { bestTime = t; best = s }
       }
-      if (!best || typeof agentSvc.get !== 'function') { diag('restoreLastAgent: no best session or no get'); return }
+      if (!best) { diagThrottled('rla:nobest', 'restoreLastAgent: no usable session (总 ' + sessions.length + ' 个, 其中子代理 ' + skippedSub + ' 个)'); return }
       const a = agentSvc.get(best.id)
-      if (a && a.session && a.session.header && a.session.header.parentSession === undefined) {
+      // 接受条件: agent 可用且**不是子代理**。接续会话(有 parent 但 delegationDepth=0)必须接受 ——
+      //   这正是本 bug 的核心: 旧判据 `parentSession === undefined` 会把它拒掉。
+      if (a && a.session && !isSubAgentSession(a)) {
         this._lastAgent = a
-        diag('restoreLastAgent: recovered agent id=' + a.id + ' session=' + a.session.id + ' logEvents=' + sessionEventsOf(a.session).length)
+        _diagLastAt.delete('rla:reject') // 成功即清退避, 下次真失败能立刻看到
+        const h = sessionHeaderOf(a) || {}
+        diag('restoreLastAgent: recovered agent id=' + a.id + ' session=' + a.session.id +
+          ' logEvents=' + sessionEventsOf(a.session).length +
+          // 带归属信息便于事后核对: continuation 表示它是接续会话(修复的主要目标形态)
+          ' kind=' + (hasParentSession(a) ? 'continuation' : 'top') +
+          ' depth=' + (h.delegationDepth === undefined ? '-' : h.delegationDepth) +
+          ' origin=' + (h.origin || '-'))
       } else {
-        diag('restoreLastAgent: candidate rejected (id=' + (a && a.id) + ' hasSession=' + !!(a && a.session) + ' parent=' + (a && a.session && a.session.header && a.session.header.parentSession) + ')')
+        // 选中了可用候选却仍拿不到 agent —— 多为宿主尚未把该会话实例化, 属**暂时**状态。
+        // 用节流(5 分钟一条)而非每 tick 一条, 避免刷屏; 恢复成功后自动清退避。
+        diagThrottled('rla:reject', 'restoreLastAgent: candidate rejected (id=' + (a && a.id) + ' hasSession=' + !!(a && a.session) + ' parent=' + (a && a.session && a.session.header && a.session.header.parentSession) + ')')
       }
-    } catch (e) { diag('restoreLastAgent error: ' + (e && e.message)) }
+    } catch (e) { diagThrottled('rla:err', 'restoreLastAgent error: ' + (e && e.message)) }
   }
 
   /** 自动总结:按时间点推断时段,生成总结并置 pendingSummary(供 client 弹窗)。 */
@@ -6728,8 +7567,10 @@ class MemoryEngine {
     if (!this.configLoaded) { try { await this.loadConfig() } catch (e) {} }
     if (this.config.autoConsolidate === false) { why('config.autoConsolidate=false'); return }
     if (!agent || !agent.session) { why('no agent/session'); return }
-    // 只处理顶层会话(子代理/接续会话的 header.parentSession 非空,避免子代理轮次误沉淀)
-    try { if (agent.session.header && agent.session.header.parentSession) { why('parentSession sub-agent'); return } } catch (e) {}
+    // 只处理**用户会话**(2026-09-21 修: 原判据「有 parentSession 就跳过」过宽, 会把接续会话一并跳过
+    //   ⇒ 接续会话里的对话**永远不自动沉淀**。改用 isSubAgentSession() 精确排除子代理;
+    //   接续会话(delegationDepth=0)是用户真实会话, 必须正常沉淀。)
+    try { if (isSubAgentSession(agent)) { why('sub-agent session skipped'); return } } catch (e) {}
     const minChars = Math.max(Number(this.config.autoConsolidateMinChars) || 240, 80)
     const today = this.memToday()
     if (this._autoCallDate !== today) { this._autoCallDate = today; this._autoCallCount = 0 }
@@ -7128,9 +7969,14 @@ class MemoryEngine {
       noteMsg = '\nAI 蒸馏不可用,原文已按老方式归档到 ' + p.notesPath
     }
     // 4) 活跃目录移除旧日志(原文已在 archive/ 保底)
+    // ★ T3-1（2026-09-19）**数据丢失修复**：原实现遍历 `oldLogs` ⇒
+    //   归档失败(磁盘/权限/新卫生门拒绝)的日志**照样被 rm** ⇒ 永久丢失。
+    //   上方注释虽写「原文已在 archive/ 保底」，但第 2 步的 catch 只记日志、
+    //   并不保证 archived 收录了它。此处改为**以 archived 为准**：没归档成功的一律保留在活跃目录。
     const deleted = []
     const kept = []
     for (const log of oldLogs) {
+      if (archived.indexOf(log.name) === -1) { kept.push(log.name); continue }
       try {
         await rm(path.join(p.projectDir, log.name), { force: true })
         deleted.push(log.name)
@@ -7184,6 +8030,9 @@ class MemoryEngine {
       periodSummary: this.periodSummary(),
       refreshedAt: this.state.loadedAt,
       configReadError: this._readError,
+      // ★#82：配置是否曾被隔离过（坏文件已挪到 .corrupt-<ts>，用户数据未被覆盖）。
+      //   供前端「设置」页与诊断接口显示，避免「设置莫名全没了」无从解释。
+      configCorrupted: !!(this._readError && String(this._readError).includes('quarantined=')),
     }
   }
 }
@@ -7706,6 +8555,62 @@ function sanitizeForInjection(text, maxChars) {
   return neutralizePromptTemplateVars(truncateHead(s.clean, maxChars || 2000))
 }
 /** 写入端: 单条上限 + 乱码拒写 + 连续重复拒写。返回 { ok, reason, clean }。 */
+/**
+ * ★ T3-1（2026-09-19）：**写入原语卫生门（hygiene-only，无体量语义）**。
+ *
+ * **为什么另开一个函数，而不是把 `sanitizeForWrite` 下沉：**
+ *   `sanitizeForWrite` 除了卫生检查，还带一条**单条载荷上限 8000 字**，
+ *   超长时**不是拒绝而是 `slice(0, 8000)` 静默截断**（见其 `:8327-8329`）。
+ *   而 `appendText` / `writeFull` 目前**没有任何体量限制**，且承担两类"必须写全文"的职责：
+ *     · `:7716` **原文保底归档**（maintain 的最后一道保险，注释即写「绝不丢信息」）
+ *     · `:7733` AI 不可用时把归档日志**原文内联**回笔记
+ *   实测真实日志 77805 / 52394 / 43224 字 ⇒ 若把带截断的闸门下沉，这两条会被**静默砍到 8000 字**。
+ *
+ * **所以本函数只做「拦脏」，绝不做「截断」** —— 体量策略属于调用方的业务语义，
+ *   不该进写入原语。`sanitizeForWrite` 保持原样、现有 6 个入口继续用它，
+ *   二者**判据同源**（复用同一批正则与同一批函数），因此不会出现"两套标准"。
+ *
+ * **返回**：`{ ok, reason? }`。**不返回 clean** —— 本门不改写正文，只决定放行/拒绝。
+ *
+ * **★★ 判据范围（2026-09-19 实测决定，勿扩）**：
+ *   只保留**内容级**判据（无论文本多长、无论写什么文件都该拦的）：
+ *     `mojibake`（乱码）/ `stutter`（复读退化）/ `base64`（base64 残骸行）/ `duplicate-lines`（连续重复行）
+ *   **刻意不含两样**：
+ *     · **`RAW_JSON_MARK`** —— 它是**入口级**判据（针对"AI 调写入工具时传了外部画像 raw JSON"），
+ *       且含**裸词 `updatedAt`**。实测扫描 541 个真实记忆文件：**124 个命中该正则**（多数是正常提到
+ *       `updatedAt` 的正文），若下沉到原语层会**大面积误伤**。它继续留在 `sanitizeForWrite` 入口层。
+ *     · **体量上限** —— 见上文，截断是调用方的业务语义。
+ *
+ * **★ 只挂在 `appendText` 一处，不挂 `writeFull`**（实测依据）：
+ *   `writeFull` 写的是**整篇文档**（`:8193` 移除导入段落 / `:9905`/`:9943` 整篇重写），
+ *   用内容级判据审"整篇文档"命中面过大；且 `:7723` 是**原文保底归档**，绝不能因判据误伤而失败。
+ *   `appendText` 追加的是**单条新内容**，正是判据设计时面对的形态。
+ *
+ * **fail-soft 纪律**：本函数**绝不抛出**；任何内部异常一律视为放行（`ok:true`），
+ *   因为它是**新增的守卫**，不能成为新的失败源。
+ */
+function hygieneGateForPrimitive(text) {
+  try {
+    var raw = String(text == null ? '' : text)
+    if (raw.length === 0) return { ok: true } // 空串由调用方语义决定(append 空串无害),本门不拦
+    if (mojibakeDensity(raw) > 0.001) return { ok: false, reason: 'mojibake' }
+    if (hasStutter(raw)) return { ok: false, reason: 'stutter' }
+    var b64line = raw.split('\n').some(function (l) { var k = l.trim(); return k.length > 100 && BASE64_LINE.test(k) })
+    if (b64line) return { ok: false, reason: 'base64' }
+    // 连续行重复(同一段一模一样的行连续 ≥3 次 → 疑似退化 writer 循环;空行打断连续)
+    var seq = 0, prev = '', repeated = false
+    for (var l of raw.split('\n')) {
+      var t = l.trim()
+      if (!t) { seq = 0; prev = ''; continue }
+      if (t === prev) { seq++; if (seq >= 3) { repeated = true; break } } else { prev = t; seq = 1 }
+    }
+    if (repeated) return { ok: false, reason: 'duplicate-lines' }
+    return { ok: true }
+  } catch (e) {
+    return { ok: true } // fail-soft:新守卫绝不成为新失败源
+  }
+}
+
 function sanitizeForWrite(text, opts) {
   var o = opts || {}
   var maxEntry = o.maxEntryChars || 8000
@@ -7841,7 +8746,13 @@ function foldSessionLogEvents(lines) {
       const m = messageOfEvent(ev)
       if (m && m.role && Array.isArray(m.content)) {
         const txt = textOfContent(m.content)
-        if (txt) out.msgs.push({ role: m.role, text: txt })
+        // ★L3.5(2026-09-17): 附件描述符必须在这里就带上 —— 旧实现只取 text, 附件字段
+        // 在源头被丢弃, 转写/接续材料因此完全看不到"用户投过这张图/这个文件"。
+        // 只有文本的消息保持**原样形状** {role,text}(不新增字段), 守 legacy 逐字节兼容纪律。
+        const atts = attachmentsOfContent(m.content)
+        if (txt && atts.length) out.msgs.push({ role: m.role, text: txt, attachments: atts })
+        else if (txt) out.msgs.push({ role: m.role, text: txt })
+        else if (atts.length) out.msgs.push({ role: m.role, text: '', attachments: atts })
       }
     } else if (t === 'tool/call') {
       const d = (ev && ev.data) || {}
@@ -7875,6 +8786,34 @@ function workspaceIdForSession(workspaces, sessionId, cwd) {
   return ''
 }
 
+/** ★L5(2026-09-17)·板式判定(纯函数,单一真源)。
+ *  **本函数只服务于真正的 graph 特性**(看板卡渲染、sidecar 事件、白板 tag 地图等)。
+ *  ⚠️ 纪律(用户已批准的判据):锚点是**写入格式契约**, 与看板**渲染形态**无关 ⇒
+ *  **锚点写入处不得用本函数把关** —— 旧实现在 PLAN 锚点与账本锚点两处误把它当渲染闸门,
+ *  导致 legacy 档的白板/账本永远拿不到锚点, §2 承诺的「白板内容凭锚点进 L0 检索语料」恒为空。
+ *  这条判据取代早先"只数 boardMode 门"的窄口径:不问是不是 boardMode 门, 只问
+ *  **这个门控的是「渲染」还是「写入/取材」**。 */
+function isGraphModePre(cfg) {
+  try { return String((cfg || {}).boardMode || '').trim().toLowerCase() === 'graph' } catch (e) { return false }
+}
+
+/** ★L4(2026-09-17)·取交接目录里**最新一篇**账本的文件名(纯 IO 助手)。
+ *  判据与 buildContinueCarry 的 ledgerName 选取**同源**(mtime 最大, 平手取字典序靠后者),
+ *  但不复用其中的内联循环 —— 那段落有它自己的 staleNote 计算, 抽出来会改变它的形状。
+ *  找不到/无权限 ⇒ 空串(fail-soft, 绝不抛, 白板进检索绝不因它阻塞)。 */
+async function latestLedgerNamePre(handoffDir) {
+  try {
+    const names = (await readdir(handoffDir).catch(() => [])).filter((n) => /^handoff-\d{8}-\d{6}(-[a-z])?\.md$/.test(n))
+    let best = '', bestMt = -1
+    for (const n of names.sort()) {
+      const st = await stat(path.join(handoffDir, n)).catch(() => null)
+      const mt = st ? Number(st.mtimeMs) : 0
+      if (mt >= bestMt) { bestMt = mt; best = n }
+    }
+    return best
+  } catch (e) { return '' }
+}
+
 /** 从 session 提取消息。surface 不是完整可靠的 user 来源,因此失败时回退完整事件日志。 */
 function messageOfEvent(ev) {
   if (!ev) return null
@@ -7896,6 +8835,84 @@ function textOfContent(content) {
   walk(content, 0)
   return out.join('')
 }
+/** ★L3.5(2026-09-17)·附件描述符抽取(纯函数,供 smoke 驱动)。
+ *  实测:DSH 附件是**内容寻址 blob**(非 base64 内嵌),会话日志里存的是结构化 part
+ *  `{type:'image'|'file', attachment:{attachmentId:'sha256:<hex>', mediaType, name, bytes, width, height}}`;
+ *  官方落盘规则(@deepseek-ai/dsh-attachment-local/lib/index.js):
+ *    图片对象 :290  join(root,'objects', sha256.slice(0,2), sha256)
+ *    文件对象 :661  join(root,'files',  sha256.slice(0,2), sha256, ref.name)
+ *  旧实现 `textOfContent(m.content)` **只取文本** ⇒ 附件字段在源头就被丢掉, 转写里看不到
+ *  "用户投过这张图/这个文件", 接续会话因此完全不知道有这些材料可读。 */
+function attachmentsOfContent(content) {
+  const out = []
+  const seen = Object.create(null)
+  const walk = (v, depth) => {
+    if (depth > 8 || v == null) return
+    if (Array.isArray(v)) { for (const x of v) walk(x, depth + 1); return }
+    if (typeof v !== 'object') return
+    const a = v.attachment && typeof v.attachment === 'object' ? v.attachment : null
+    if (a && typeof a.attachmentId === 'string' && a.attachmentId) {
+      const kind = v.type === 'file' ? 'file' : (v.type === 'image' ? 'image' : '')
+      const key = kind + '|' + a.attachmentId + '|' + String(a.name || '')
+      if (kind && !seen[key]) {
+        seen[key] = 1
+        out.push({
+          kind,
+          ref: a.attachmentId,
+          id: a.attachmentId.indexOf('sha256:') === 0 ? a.attachmentId.slice(7) : a.attachmentId,
+          mediaType: String(a.mediaType || ''),
+          name: String(a.name || ''),
+          bytes: Number(a.bytes) || 0,
+          width: Number(a.width) || 0,
+          height: Number(a.height) || 0,
+        })
+      }
+    }
+    if (v.content !== undefined) walk(v.content, depth + 1)
+  }
+  walk(content, 0)
+  return out
+}
+
+/** ★L3.5·按 attachmentId 推导 blob 落盘路径(纯函数,供 smoke 驱动;不校验存在性)。
+ *  返回 {objectPath, filePath} 两个候选:图片在 objects/<前2位>/<hex>, 具名文件在
+ *  files/<前2位>/<hex>/<name>。未知/异常 id ⇒ 两值均为 ''(fail-soft,绝不抛)。 */
+function attachmentBlobPathsPre(att, homeDir) {
+  const empty = { objectPath: '', filePath: '' }
+  try {
+    if (!att || !att.id) return empty
+    const hex = String(att.id)
+    if (!/^[0-9a-f]{16,}$/i.test(hex)) return empty
+    const root = path.join(String(homeDir || dshHome()), 'attachments', 'v1')
+    const two = hex.slice(0, 2)
+    return {
+      objectPath: path.join(root, 'objects', two, hex),
+      filePath: att.kind === 'file' && att.name ? path.join(root, 'files', two, hex, att.name) : '',
+    }
+  } catch (e) { return empty }
+}
+
+/** ★L3.5·把附件描述符渲染成可读文本行(纯函数,供 smoke 驱动)。
+ *  输出形如 `[附件 image] name.png (12.3 KB) → <绝对路径>`；blob 不存在时也照样列出
+ *  —— 路径是"去哪儿找"的线索, 存在性由调用方(接续会话的 read)自行判定。
+ *  homeDir 传空时调用 dshHome(); 渲染零副作用、零 IO。 */
+function renderAttachmentLinesPre(atts, homeDir) {
+  try {
+    const list = Array.isArray(atts) ? atts : []
+    if (!list.length) return []
+    return list.map((a) => {
+      const paths = attachmentBlobPathsPre(a, homeDir)
+      const target = paths.filePath || paths.objectPath
+      const bits = []
+      if (a.mediaType) bits.push(a.mediaType)
+      if (a.bytes > 0) bits.push(a.bytes >= 1024 ? (Math.round(a.bytes / 1024 * 10) / 10) + ' KB' : a.bytes + ' B')
+      if (a.width && a.height) bits.push(a.width + 'x' + a.height)
+      const label = a.kind === 'file' ? '文件' : '图片'
+      return '[附件 ' + label + '] ' + (a.name || (a.id || '').slice(0, 12)) + (bits.length ? ' (' + bits.join(', ') + ')' : '') + ' → ' + (target || '(路径不可解析)')
+    })
+  } catch (e) { return [] }
+}
+
 /**
  * 新旧两代 Session API 兼容的原始事件数组读取:
  * - 旧版 @deepseek-ai/dsh-session 在 Session 上暴露 .events 数组;
@@ -8051,7 +9068,21 @@ export function apply(ctx, config) {
   try {
     if (!process._dshAutoMemoryRejectionGuard) {
       process._dshAutoMemoryRejectionGuard = true
-      process.on('unhandledRejection', (reason) => { damSafeDiag(process.stderr, '[dsh-auto-memory] unhandledRejection guard: ' + damDiagLine(reason)) })
+      // ★#84（2026-09-20）：**加计数**。原实现只打一行日志 ⇒ 无法回答
+      //   「一共几次、是否在频繁发生、最近一次何时」——而这条 guard 恰好会**吞掉**
+      //   本该炸出来的错误（本仓 ⑩-b 那类「fail-soft 吞错」的典型形态）。
+      //   计数暴露到诊断面后，这类问题才有观测入口。
+      const rejStat = { count: 0, firstAt: 0, lastAt: 0, lastLine: '' }
+      process._dshAutoMemoryRejectionStat = rejStat
+      process._dshAutoMemoryRejectionGuard = true
+      process.on('unhandledRejection', (reason) => {
+        const line = damDiagLine(reason)
+        rejStat.count++
+        rejStat.lastAt = Date.now()
+        rejStat.lastLine = line
+        if (!rejStat.firstAt) rejStat.firstAt = rejStat.lastAt
+        damSafeDiag(process.stderr, '[dsh-auto-memory] unhandledRejection guard #' + rejStat.count + ': ' + line)
+      })
     }
   } catch (e) {}
   const engine = new MemoryEngine()
@@ -8067,6 +9098,17 @@ export function apply(ctx, config) {
   engine._shadowHost = createShadowHost({ engine })
   // M5-3:Context Bridge Host 接线(assoc+contextBridge 双门;默认关闭零构造/零 IO)
   engine._contextHost = createContextHost({ engine })
+  // R3（2026-09-18）：降级台账。挂在引擎上，与各 host 同层 —— 跨臂统一，不分散到各 host。
+  // 机制只记录不阻断；留痕自身 fail-soft（见 degrade.js 的元规则）。
+  engine._degradeSink = createDegradeSinkPre({})
+  // R4（2026-09-18）：配额探针 —— 与降级台账**同模块、同落盘通道，但判据并列不混**。
+  //   用户要求「配额得基于长期的观察，科学的（测量），不能拍脑子」，故每轮采集
+  //   tier0Meta 的配额切片（tokens/dropped/perLayer），供 deriveQuotaVerdictPre 下结论。
+  //   注意：**绝不能**把常规观测塞进 `_degradeSink.record` —— 台账判据是「只记预期外失败」，
+  //   混入后「有没有降级」将永远非空，降级信号被淹没。
+  engine._quotaProbe = createQuotaProbePre({})
+  // 注：臂健康快照（deriveArmsHealthPre）在各臂执行路径上按实际情况标注，
+  // 见 recall() 内 semantic/evidence 段与 _l0IndexSync 段。
   // M6-3:Activation Inbox Host 接线(assoc+activationInbox 双门;默认关闭)
   engine._activationHost = createActivationHost({ engine })
   // M7-8:Host Index Sync Orchestrator(四门全开才启用;默认关闭零 IO;修复 M7-8 Phase E blocker)
@@ -8122,6 +9164,10 @@ export function apply(ctx, config) {
           io: hubIo('procedures.json'),
         }),
       },
+      // ★T10：机械 procedure 切片开关（默认 false）。
+      //   用 getter 活读 engine.config（与上面 gates 同理：挂载时 config 尚未 loadConfig，
+      //   静态读会冻结 DEFAULT 值，导致设置页改了不生效）。
+      get mechanicalProcedureFeedEnabled() { return engine.config.hubMechanicalProcedureFeedEnabled === true },
     })
     try {
       // restore 逐条校验,坏记录跳过(fail closed 幂等恢复);无文件/损坏 → 空启动
@@ -8165,7 +9211,17 @@ export function apply(ctx, config) {
       try { const d = JSON.parse(readFileSync(hubFlushFile(), 'utf8')); if (d && typeof d === 'object') { hubFlushState.date = String(d.date || ''); hubFlushState.count = Number(d.count) || 0; hubFlushState.flushed = d.flushed || {} } } catch (_) {}
     }
     const hubFlushSave = () => {
-      try { mkdirSync(path.dirname(hubFlushFile()), { recursive: true }); writeFileSync(hubFlushFile(), JSON.stringify({ date: hubFlushState.date, count: hubFlushState.count, flushed: hubFlushState.flushed }), 'utf8') } catch (_) {}
+      // ★ T2-3（2026-09-19）：改**原子写**（tmp + rename）。
+      //   原实现是裸 `writeFileSync` —— 无锁、无 tmp+rename ⇒ 并发/中断时可能写坏，
+      //   而写坏后 `hubFlushLoad` 静默吞掉异常 ⇒ `flushed` 回退到旧值 ⇒ **已写过的 fact 会被再写一遍**
+      //   （正文出现两个同名 `（M8 固化）` 段落）。rename 在同目录内是原子替换。
+      try {
+        const f = hubFlushFile()
+        mkdirSync(path.dirname(f), { recursive: true })
+        const tmp = f + '.tmp'
+        writeFileSync(tmp, JSON.stringify({ date: hubFlushState.date, count: hubFlushState.count, flushed: hubFlushState.flushed }), 'utf8')
+        renameSync(tmp, f)
+      } catch (_) {}
     }
     hubFlushLoad()
     // 语料查询器(heading 富化用):与 context-host 同源 sidecar 目录,懒建缓存
@@ -8245,31 +9301,100 @@ export function apply(ctx, config) {
           if (typeof fact.confidence === 'number' && fact.confidence < 0.6) continue
           const subj = String(fact.subject || '').trim()
           if (!subj || subj.startsWith('mem_')) continue // 无富化的 memoryId 主语不入正文
+          // ★ T1-3（2026-09-19 真机追加）：**写入前内容卫生门**。
+          //   背景：本通路的 6 道过滤全是「结构性」检查，**没有一道是内容卫生** —— 实测脏 fact
+          //   已被写入正文并归档（`archive/notes-archived.md:493` 的 `## DSH ������（M8 固化）`）。
+          //   判据复用 ⑨ 同源清洗器（F3 召回块标记 / F4 U+FFFD 编码损坏）。
+          //   ★ 处置选择「**脏则 skip + 留痕**」，**不做「清洗后照写」**：
+          //     本仓纪律是 fail-soft 必须留痕、不得静默改写；清洗后照写等于悄悄改用户数据，
+          //     且会丢失「曾经出现过脏 fact」这一诊断事实。
+          const objRaw = fact.object ? String(fact.object) : ''
+          const predRaw = String(fact.predicate || '要点')
+          const cSubj = stripRuntimeIntentPre(subj).trim()
+          const cObj = stripRuntimeIntentPre(objRaw).trim()
+          const cPred = stripRuntimeIntentPre(predRaw).trim()
+          const dirty = (cSubj !== subj) || (cObj !== objRaw.trim()) || (cPred !== predRaw.trim())
+            // ★ F5（行内残留）：清洗器按行判断，**真人与信封同一行**时整行保留（删了丢人话）
+            //   ⇒ 「清洗后是否变化」对这种形态无效。故再补一道行内残留检测：
+            //   实测真机 fact[1] 的 object 就是 `现在是什么情况？ Current DSH file policy: …`。
+            || looksRuntimeResiduePre(subj) || looksRuntimeResiduePre(objRaw) || looksRuntimeResiduePre(predRaw)
+          if (dirty) {
+            hubFlushState.flushed[fact.factId] = true // 标记为已处理，避免每轮重扫
+            try { diag('hub flush skip(hygiene): fact ' + String(fact.factId).slice(0, 16)) } catch (_) {}
+            try {
+              if (engine._degradePre && typeof engine._degradePre.record === 'function') {
+                engine._degradePre.record('hub-flush', 'dirty-fact-skipped:' + String(fact.factId).slice(0, 16))
+              }
+            } catch (_) {}
+            continue
+          }
           try {
             if (!p) p = await engine.resolvePaths(engine.currentRuntime().agent)
             const target = fact.scope === 'User' ? p.userFile : p.notesPath
             if (!target) continue
             const cur = await engine.readTextSafe(target)
-            if (cur && cur.includes(subj)) { hubFlushState.flushed[fact.factId] = true; continue } // 已在正文,只记标记
-            const body = '\n## ' + subj + '（M8 固化）\n- ' + String(fact.predicate || '要点') + (fact.object ? '：' + String(fact.object) : '') + '\n- 来源：记忆中枢治理固化' + (typeof fact.confidence === 'number' ? '（confidence=' + fact.confidence.toFixed(2) + '）' : '')
+            if (cur && cur.includes(subj)) {
+              // ★ T2-1（2026-09-19）：**标记与计数必须自洽**。
+              //   原实现只 `flushed[...] = true` 而不 `count++` ⇒ 「已处理条数」被系统性低估，
+              //   「今日写了几条」与「标记了几条」长期对不上（实测 count=0 / flushed=4 即此现象）。
+              //   注意：此分支**并未真正写入正文**，故不计入写额度（count），但必须计入「已处理」标记 ——
+              //   两者语义不同，此处显式留痕以便诊断区分（不写正文不计额度是正确行为，问题只在于原先完全静默）。
+              hubFlushState.flushed[fact.factId] = true
+              try { diag('hub flush skip(already-in-body): fact ' + String(fact.factId).slice(0, 16)) } catch (_) {}
+              continue
+            }
+            // ★ T1-4：换行归一化 —— `## <subj>（M8 固化）` 与 `- <pred>：<obj>` 都是**单行**模板，
+            //   若内容含 `\n` 可**伪造出新的 `## ` 标题**，并被 `compactLegacyLayer`
+            //   （`:4796` `^##\s+(.+)$`）当成独立段落搬运。此处把残存换行压成空格。
+            const subj1 = cSubj.replace(/\s*[\r\n]+\s*/g, ' ').trim()
+            const pred1 = cPred.replace(/\s*[\r\n]+\s*/g, ' ').trim()
+            const obj1 = cObj.replace(/\s*[\r\n]+\s*/g, ' ').trim()
+            const body = '\n## ' + subj1 + '（M8 固化）\n- ' + pred1 + (obj1 ? '：' + obj1 : '') + '\n- 来源：记忆中枢治理固化' + (typeof fact.confidence === 'number' ? '（confidence=' + fact.confidence.toFixed(2) + '）' : '')
             const written = await engine.appendText(target, body)
             try { if (engine.state) { if (fact.scope === 'User') engine.state.userText = written; else engine.state.notesText = written } } catch (_) {}
             hubFlushState.flushed[fact.factId] = true
             hubFlushState.count++
             diag('hub flush: fact ' + String(fact.factId).slice(0, 16) + ' → ' + (fact.scope === 'User' ? 'user' : 'notes'))
-          } catch (_) {}
+          } catch (eFlush) {
+            // ★ T1-5：**失败必须留痕**。原实现是 `catch (_) {}` 全吞 ⇒ 成功有 diag、失败零留痕，
+            //   「写了但没成功」完全不可观测（面板 overview() 也不含 flush 字段）。
+            //   对照本仓既有正确做法：`:5853` note-status 路径有 `_degradePre.record`。
+            try { diag('hub flush FAIL: fact ' + String(fact.factId).slice(0, 16) + ' → ' + String((eFlush && eFlush.message) || eFlush)) } catch (_) {}
+            try {
+              if (engine._degradePre && typeof engine._degradePre.record === 'function') {
+                engine._degradePre.record('hub-flush', 'append-failed:' + String(fact.factId).slice(0, 16) + ':' + String((eFlush && eFlush.message) || eFlush).slice(0, 80))
+              }
+            } catch (_) {}
+          }
         }
         hubFlushSave()
       } catch (_) {}
     }
+    // ★ T2-4（2026-09-19）：**重入保护**。原实现 `setInterval(() => { void hubFlushTick() }, …)`
+    //   只吞 Promise、无 in-flight 标志 ⇒ 若某次 tick 因 async IO 超过 30 分钟，下一次会并发进入，
+    //   而 `hubFlushState` 是共享可变状态（读 flushed → 写 flushed/count）⇒ 竞态下「两条并发各读到 count=7」
+    //   会写出超限条数。此处用单标志串行化：进行中则直接跳过本轮（不排队，避免堆积）。
+    let hubFlushInFlight = false
+    const hubFlushTickGuarded = async () => {
+      if (hubFlushInFlight) {
+        try { diag('hub flush skip(in-flight)') } catch (_) {}
+        return
+      }
+      hubFlushInFlight = true
+      try { await hubFlushTick() } finally { hubFlushInFlight = false }
+    }
     const hubFeedTimer = setInterval(hubFeedTick, 60 * 1000)
-    const hubFlushTimer = setInterval(() => { void hubFlushTick() }, 30 * 60 * 1000)
+    const hubFlushTimer = setInterval(() => { void hubFlushTickGuarded() }, 30 * 60 * 1000)
     // unref:定时器不阻止进程退出(测试 settle 不经过 apply 的 disposer 链会挂住)
     hubFeedTimer.unref(); hubFlushTimer.unref()
-    const hubBootTimer = setTimeout(() => { hubFeedTick(); void hubFlushTick() }, 90 * 1000)
+    const hubBootTimer = setTimeout(() => { hubFeedTick(); void hubFlushTickGuarded() }, 90 * 1000)
     hubBootTimer.unref()
     if (!engine._hubFeedDisposers) engine._hubFeedDisposers = []
-    engine._hubFeedDisposers.push(() => { clearInterval(hubFeedTimer); clearInterval(hubFlushTimer) })
+    // ★ T2-2（2026-09-19）：**补 clearTimeout(hubBootTimer)**。
+    //   原 disposer 只 clear 两个 interval，漏了 boot timer ⇒ 若在启动后 90s 内 dispose，
+    //   boot 回调仍会在 dispose **之后**触发一次（写入侧 dispose 已跑）。虽然 `:8958` 的门控仍在，
+    //   但「dispose 后仍执行回调」本身违反 disposer 契约，必须补上。
+    engine._hubFeedDisposers.push(() => { clearInterval(hubFeedTimer); clearInterval(hubFlushTimer); clearTimeout(hubBootTimer) })
   }
   // C2 内置语义引擎宿主(2026-08-26 用户裁定:C2=默认主路径)。懒加载 e5-small q8;
   // 只做检索排序,激活决策仍属两车道策略。下载器落位=发行包布局 lib/models。
@@ -8277,7 +9402,8 @@ export function apply(ctx, config) {
     const pluginDir = path.dirname(fileURLToPath(import.meta.url))
     engine._jsSemantic = createJsSemanticEnginePre({ pluginDir })
     // #15 后续/B:JS 模型下载落位用户目录(~/.dsh/models/js-semantic/)——包目录在 npm 更新时被重装,130MB 曾被冲掉
-    const userModelsRoot = path.join((process.env.DSH_HOME && process.env.DSH_HOME.trim()) || path.join(homedir(), '.dsh'), 'models', 'js-semantic')
+    // ★#86-3：统一口径（原为内联三元，与 dshHome() 重复实现）。
+    const userModelsRoot = path.join(resolveDshHomePre(), 'models', 'js-semantic')
     mkdirSync(userModelsRoot, { recursive: true })
     engine._jsDownload = createSemanticDownloaderPre({ modelsRoot: userModelsRoot })
     // ─────────── 三层检索契约 C3（2026-09-14）：L0 向量索引接线 ───────────
@@ -8333,7 +9459,9 @@ export function apply(ctx, config) {
         try { for (const lg of await engine.listDailyLogs(p.projectDir, 14)) push('log', path.join(p.projectDir, lg && lg.name ? lg.name : '')) } catch (_) {}
         return await engine._l0IndexSync.sync({ enabled: true, workspaceKey: p.ws || p.projectDir || '', dir: engine.l0IndexDir(), sources })
       } catch (e) {
+        // R3：预期外失败 —— 索引同步失败会让检索长期用陈旧索引，值得留痕。
         try { diag('l0-index sync 降级: ' + String((e && e.message) || e).slice(0, 120)) } catch (_) {}
+        try { if (engine._degradeSink) engine._degradeSink.record('l0-sync', String((e && e.message) || e).slice(0, 160)) } catch (_) {}
         return { ok: false, reason: 'error', enabled: true, written: 0, count: 0, files: [] }
       }
     }
@@ -8352,7 +9480,18 @@ export function apply(ctx, config) {
     // probeJsSemanticAssets —— peer 探测与引擎加载走同一套 Node 解析(2026-09-02 issue 修正)。
     // _peerExtraDirs = 深度扫描热接入位(semanticDeepDetect 命中后 probe/加载/档位即时生效)。
     engine._peerExtraDirs = []
-    engine.semanticAssetProbe = async () => probeJsSemanticAssets(pluginDir, engine._peerExtraDirs)
+    // ★ issue #70 修复（2026-09-19）：把引擎的**运行期降级状态**注入探测结果。
+    //   旧实现只回 `ready = assetPresent && peerPresent`（纯文件存在性）⇒ 引擎一旦 degrade
+    //   （onnx 损坏 / 维度不符 / peer 加载失败），引导卡仍显示「✓ 就绪」、`resolveSemanticTier`
+    //   仍给 c2，而每次检索都在静默词法兜底 —— 三条用户可见路径与真实可用性脱钩。
+    //   此处是**唯一接点**：`semantic-status`、`resolveSemanticTier`(:9148)、引导卡(:10000) 全走它。
+    engine.semanticAssetProbe = async () => probeJsSemanticAssets(
+      pluginDir,
+      engine._peerExtraDirs,
+      (engine._jsSemantic && typeof engine._jsSemantic.status === 'function')
+        ? (engine._jsSemantic.status() || {}).degraded
+        : '',
+    )
     // 打开即自动检测(0.1.37,#14 后续):快检 → 模型在场但推理库缺失时深度扫描
     // (~/.dsh/profiles/* 全家 + pnpm 虚拟存储) → 命中即热接入(probe/加载双注入,无需重启),
     // 并给出 recommendation 供引导卡分流(none/setup-both/download-model/install-peer)。
@@ -8420,11 +9559,28 @@ export function apply(ctx, config) {
       try { return (await engine.semanticAssetProbe()).ready ? 'c2' : 'c1' } catch (_) { return 'c1' }
     }
     // context-host refs 选择钩子:C2 就绪时返回 {scores:Map};任何失败回退词法序。
+    // ★R4-留痕（2026-09-18）：原实现的 `catch (_) { return null }` 是**静默的** ——
+    //   它把两类完全不同的情形压成同一个 null：
+    //     ① `tier !== 'c2'`（C2 资产未就绪）—— **预期内**，用户就是没装语义模型；
+    //     ② `_jsSemantic.rank` **抛错**（模型损坏/内存不足/代码缺陷）—— **预期外**，能力在运行时失效。
+    //   二者不可区分 ⇒ 用户只感到"语义唤回不太灵"，日志里什么都没有（这正是用户报的
+    //   「静默失效困扰我一些时间了」）。现在：① 保持静默（不刷屏），② 记台账 + 留 tier 痕迹。
+    //   铁律遵守：JS 与 Python 两套引擎仍**互不依赖**，此处只观测 JS 这一套自身的状态。
+    engine._jsRankTier = ''
+    engine._jsRankError = ''
     engine._jsSemanticRank = async (corpusSnap, queryText) => {
       try {
-        if ((await engine.resolveSemanticTier()) !== 'c2') return null
-        return await engine._jsSemantic.rank(corpusSnap, queryText)
-      } catch (_) { return null }
+        const tier = await engine.resolveSemanticTier()
+        engine._jsRankTier = String(tier || '')
+        if (tier !== 'c2') return null
+        const r = await engine._jsSemantic.rank(corpusSnap, queryText)
+        engine._jsRankError = ''
+        return r
+      } catch (eJs) {
+        engine._jsRankError = String((eJs && eJs.message) || eJs).slice(0, 140)
+        try { if (engine._degradeSink) engine._degradeSink.record('semantic-arm', 'js 语义引擎抛错 → 该臂失效: ' + engine._jsRankError) } catch (_) {}
+        return null
+      }
     }
     // P13(2026-09-09):C3(python)语义臂 —— 经 sidecar recall_rank 调 worker.dense_search
     // (三重过滤:workspaceRef+scope+miv),返回 {scores:Map<memoryId,score>, source:'c3'}。
@@ -8474,14 +9630,37 @@ export function apply(ctx, config) {
     }
     // P13 择优:lexical → null;python 档 → _pySemanticRank;auto → 先 py(模型就绪,失败回 C2);js/C2 → _jsSemanticRank。
     // 逐级 fail-soft,任何一级失败自动落到下一级,绝不抛错阻塞检索。_jsSemanticRank 保留不动(激活路径仍在用)。
+    //
+    // ★R4-留痕（2026-09-18）：三级降级链 `py → C2 → 词法` **每一跳都留痕**。
+    //   旧实现只有最外层一个 catch 写台账 ⇒ 只有"抛错"这一种失败可见；而 `_pySemanticRank`
+    //   失败的**常见形态是返回 null**（worker 拒绝 / 超时 / 空 scores / 三重过滤不匹配），
+    //   它静默落回 C2 ⇒ 用户完全看不出 C3 档没在工作（正是用户报的「静默失效」）。
+    //   现在分两层留痕，遵循 R3 判据（预期内静默、预期外记台账，绝不刷屏）：
+    //     · **过程状态** `engine._rankPath` = 本轮降级链快照，成功也写（诊断一眼看全走到哪一跳）
+    //     · **degrade 台账** 只记预期外失败（该跳**抛错**）—— "返回 null" 属合法回退，不记
+    engine._rankPath = ''
     engine._semanticRankBest = async (corpusSnap, queryText) => {
+      const hops = []
       try {
         const mode = String(engine.config.semanticEngineMode || 'auto')
-        if (mode === 'lexical') return null
+        if (mode === 'lexical') { engine._rankPath = '配置 lexical(无语义臂)'; return null }
         const r = await engine._pySemanticRank(corpusSnap, queryText)
-        if (r) return r
-      } catch (_) { /* fall through */ }
-      try { return await engine._jsSemanticRank(corpusSnap, queryText) } catch (_) { return null }
+        if (r) { engine._rankPath = 'c3(python)'; return r }
+        hops.push('c3 无结果')
+      } catch (ePyBest) {
+        hops.push('c3 抛错')
+        try { if (engine._degradeSink) engine._degradeSink.record('semantic-arm', 'c3(python) 跳抛错 → 落 C2: ' + String((ePyBest && ePyBest.message) || ePyBest).slice(0, 120)) } catch (_) {}
+      }
+      try {
+        const r2 = await engine._jsSemanticRank(corpusSnap, queryText)
+        if (r2) { engine._rankPath = hops.join(' → ') + ' → c2(js)'; return r2 }
+        hops.push('c2 无结果')
+      } catch (eJsBest) {
+        hops.push('c2 抛错')
+        try { if (engine._degradeSink) engine._degradeSink.record('semantic-arm', 'c2(js) 跳抛错 → 落词法: ' + String((eJsBest && eJsBest.message) || eJsBest).slice(0, 120)) } catch (_) {}
+      }
+      engine._rankPath = hops.join(' → ') + ' → 词法(无语义臂)'
+      return null
     }
     // JS 端判定核(2026-08-27):读策略工件(懒加载+缓存),对 C2 检索结果做 fv2 决策。
     // 完全独立于 Python——JS 端默认闭环(C2 检索 + JS 判定 + M6 投递)的核心。
@@ -8580,21 +9759,15 @@ export function apply(ctx, config) {
   // 默认关闭=零 Python process、零协议 IO、零 semantic 目录)
   // M7.6 Python 一键向导(#16-#20 配套):detect/venv/deps/model 四步,落盘用户目录,不碰 npm 包目录
   engine._pythonSetup = createPythonSetupPre({
-    dshHome: () => {
-      const env = process.env.DSH_HOME
-      if (env && env.trim()) return env.trim()
-      try { return path.join(homedir(), '.dsh') } catch (_) { return homedir() }
-    },
+    // ★#86-3：统一口径（原回落链失败时返回 homedir() 本身，**丢掉 .dsh 后缀**）。
+    dshHome: () => resolveDshHomePre(),
     diag: (m) => diag('python-setup: ' + m),
   })
   engine._pythonSidecar = createPythonSidecarClientPre({
     command: () => String(engine.config.pythonBackendExecutable || '').trim() || 'python',
     scriptPath: () => String(engine.config.pythonBackendWorkerPath || '').trim() || defaultWorkerScriptPathPre(),
-    dshHome: () => {
-      const env = process.env.DSH_HOME
-      if (env && env.trim()) return env.trim()
-      try { return path.join(homedir(), '.dsh') } catch (_) { return '' }
-    },
+    // ★#86-3：统一口径（原回落链失败时返回**空串** ⇒ 调用方拼出相对路径）。
+    dshHome: () => resolveDshHomePre(),
   })
   engine.__homedirFn = homedir
   const sessionQuery = ctx.get('sessionQuery')
@@ -8722,9 +9895,11 @@ export function apply(ctx, config) {
         try { engine.checkWaterLevelAtStep(agent) } catch (eWL) {}
         // M6-3:pre-step 时序(§8)——校验 cursor/index/TTL 后 claim packet,等待渲染面消费
         try { if (engine._activationHost) engine._activationHost.onPreStep(agent) } catch (_) {}
-        // 只刷新顶层会话:子代理(自动沉淀/固化的 subagent)session 无 cwd,刷新会把 state 切到错误工作区
+        // 只刷新**用户会话**:子代理(subagent)session 无 cwd,刷新会把 state 切到错误工作区。
+        // 2026-09-21 修: 原判据「有 parentSession 就跳」会把接续会话一并跳过 ⇒ 接续会话的
+        //   工作区状态永远不刷新。改用 isSubAgentSession() 精确排除子代理(接续会话有 cwd,可安全刷新)。
         let skip = false
-        try { if (agent.session && agent.session.header && agent.session.header.parentSession) skip = true } catch (e) {}
+        try { if (isSubAgentSession(agent)) skip = true } catch (e) {}
         const st = engine.stateFor(agent)
         if (!skip && (!st.loadedAt || Date.now() - st.loadedAt > 15000)) {
           // ★2026-09-15（修「注入头工作区 (未知)」· 病因 C）：**必须包进 withAgent**。
@@ -8913,9 +10088,9 @@ export function apply(ctx, config) {
 
   // ---------- 工具 ----------
   const tools = [
-    defineTool('memory_log', '向当前工作区的 .dsh-memory/ 今日日志追加一条工作记录(append-only,自动建目录/文件)。完成实质性工作(改代码/修 bug/写文档/重构/技术选型/用户偏好约定)后必须调用;有跨会话长期价值的内容在同一轮内一并写入记忆(memory_note 项目/ memory_user 跨项目),progress 与 memory 一起写;不要记录临时信息。**调用后必须在本轮回复正文(摘要可见的正文,不是工具调用区)中向用户转述一句:如"已把 X 记入今日日志"**。', {
+    defineTool('memory_log', '向当前工作区的 .dsh-memory/ 今日日志追加一条工作记录(append-only,自动建目录/文件)。完成实质性工作(改代码/修 bug/写文档/重构/技术选型/用户偏好约定)后必须调用;有跨会话长期价值的内容在同一轮内一并写入记忆(memory_note 项目/ memory_user 跨项目),progress 与 memory 一起写;不要记录临时信息。**★顺手维护白板(G4/M3,2026-09-17)**:若本次工作让**白板或账本所述与现状不符**(方向变了/阶段完成/旧结论被推翻),请在同一次回复里顺带调用 `memory_note`:项目稳定事实变了用 `kind=plan` 重写白板(旧版自动归档),动态状态变了用 `kind=handoff` 新开一篇账本(append-only,不追改旧账本)。**这是条件触发,不是每回都做**;白板功能关闭时跳过即可,不要因此报错。**调用后必须在本轮回复正文(摘要可见的正文,不是工具调用区)中向用户转述一句:如"已把 X 记入今日日志"**。', {
       note: { type: 'string', required: true, description: '简短条目:一句话概括做了什么、结果如何。' },
-      date: { type: 'string', description: '日志日期 YYYY-MM-DD,缺省今天。' },
+      date: { type: 'string', description: '日志日期 YYYY-MM-DD,**缺省今天**。★可补写过去某天(如补记昨天的工作)——会写进那一天的文件,不会覆盖同文件已有内容(append-only)。格式非法时静默回退到今天。' },
       kind: { type: 'string', enum: ['rule', 'preference', 'fact', 'todo'], description: '★P6B:条目性质标记(缺省 fact)。rule=用户规则/约定;preference=偏好;todo=待办;fact=事实记录。是规则或用户明确约定的条目请传 kind=rule——它会被规则层识别为必须遵守的约束。纯标记、零额外 LLM 调用。' },
     }, async (args, exec) => {
       const date = DATE_RE.test(args.date || '') ? args.date : engine.memToday()
@@ -8938,10 +10113,18 @@ export function apply(ctx, config) {
       return '已更新记忆文档: ' + logPath + '\n' + entry + (gate.truncated ? '\n(内容超长,已截断)' : '')
     }),
 
-    defineTool('memory_note', '更新当前项目长期笔记 .dsh-memory/MEMORY.md(本项目专属的约定、决策、架构要点),或写交接白板。kind=note(默认):action=append 追加一段(自动带日期标题)/action=replace 整体替换(需先基于注入内容或 memory_recall 结果给出完整新内容),本项目笔记有**容量上限**(字符,设置项 noteCapacityChars,默认 12000);超出时自动整理——先把较早内容交给 AI 折叠成要点、失败则退回整条归档(原文都进 archive,不丢),整理后仍超才拒绝(正常不会发生)。kind=handoff:写一篇四段式交接账本(任务状态/目标/已试方案与失败原因/进度与下一步)到 handoff/,阶段产出或方向变化时用,给下一个上下文窗口续命。kind=plan:整体重写白板 PLAN.md(人能读的项目全貌规划图),对项目全貌的理解发生实质变化时用,旧版自动归档。**调用后必须在本轮回复正文中向用户转述:更新了什么**。', {
+    defineTool('memory_note', '更新当前项目长期笔记 .dsh-memory/MEMORY.md(本项目专属的约定、决策、架构要点),或写交接白板。kind=note(默认):action=append 追加一段(自动带日期标题)/action=replace 整体替换(需先基于注入内容或 memory_recall 结果给出完整新内容),本项目笔记有**容量上限**(字符,设置项 noteCapacityChars,默认 24000);**超出时的行为**(你不需要自己控制长度,写就是):①先把较早内容交给 AI 折叠成要点(同一层 10 分钟内只整理一次);②整理失败则**整条原文**归档到 `.dsh-memory/archive/`(信息不丢);③整理后仍超才拒绝(正常不会发生)。kind=handoff:写一篇四段式交接账本(任务状态/目标/已试方案与失败原因/进度与下一步)到 handoff/,阶段产出或方向变化时用,给下一个上下文窗口续命;**账本/白板内容要落进面板看板泳道,须在标题或正文写 tag**:type:goal / type:state / type:dead-end / type:progress。kind=plan:整体重写白板 PLAN.md(人能读的项目全貌规划图),对项目全貌的理解发生实质变化时用,旧版自动归档。**结论失效时的两个通道(不要混用)**:supersedes=被更新结论取代(有后继);retract=**当时就做错了、直接撤回**(无后继,本身即教训)。**调用后必须在本轮回复正文中向用户转述:更新了什么**。', {
       content: { type: 'string', required: true, description: '笔记内容。kind=plan 时给完整新全貌(不是增量)。' },
       action: { type: 'string', enum: ['append', 'replace'], description: '仅 kind=note 时有效:append=追加, replace=整体替换。' },
       kind: { type: 'string', enum: ['note', 'handoff', 'plan'], description: 'note=项目笔记(默认), handoff=四段式交接账本(新篇), plan=白板全貌重写。' },
+      // ★G3（2026-09-19）：结论层状态写入 —— **显式可选参数**，不传时行为与从前逐字节相同（零自动行为、零误判）。
+      //   设计依据：用户 2026-09-18 裁定「只认显式声明」（门槛 = 结构化参数 = 最强的显式）。
+      //   为什么不做"自动比对同主题旧条目"：误判代价不对称（漏判=维持现状；误判=有效结论被标作废）。
+      supersedes: { type: 'array', items: { type: 'string' }, description: '（可选）要标为 superseded 的旧条目 memoryId 列表（mem_<32hex>）。**仅在你明确知道被取代的是哪条时传**；不确定就不要传。会在旧条目正文末尾追加一行 `<!-- dsh-status: superseded by=<新条目id> -->`。' },
+      // ★T6（2026-09-20 用户拍板）：**retracted 通道** —— 与 supersedes 严格分工，别混用。
+      retract: { type: 'array', items: { type: 'string' }, description: '（可选）要标为 **retracted（撤回）** 的旧条目 memoryId 列表（mem_<32hex>）。**与 supersedes 的分工**：supersedes = 被**更新的结论取代**（有后继结论，可追 mem_id）；**retract = 当时就做错了、直接撤回**（无后继，"错误本身"就是教训）。用户裁定「retracted 不是垃圾，是教训，不过滤只备注」⇒ 检索仍会返回它并标 ⚠已撤回。**强烈建议同时传 retractReason 说明错在哪**。仅在你确知标错的是哪条时传。' },
+      retractReason: { type: 'string', description: '（可选，配合 retract）撤回原因，一行内说明**错在哪**，上限 120 字符。会写成 `reason="…"` 附在状态行上，供检索时显示。' },
+      restore: { type: 'array', items: { type: 'string' }, description: '（可选）**撤销通道**：把指定 memoryId 的状态改回 current（移除状态行）。用于纠正标错的 superseded/retracted。' },
     }, async (args, exec) => {
       const p = await engine.resolvePaths(exec.agent)
       const content = String(args.content || '').trim()
@@ -8988,10 +10171,20 @@ export function apply(ctx, config) {
         body = await engine.appendText(p.notesPath, '\n## ' + engine.memToday() + '\n' + write)
       }
       engine.state.notesText = body; engine.state.loadedAt = Date.now()
-      return '已更新项目笔记: ' + p.notesPath + '\n追加内容:\n' + write + (gate.truncated ? '\n(内容超长,已截断到 ' + write.length + ' 字符)' : '') + (acct.compacted ? '\n(已自动压缩旧内容腾出空间)' : '')
+      // ★G3（2026-09-19）结论层状态写入 —— **仅在显式传参时执行**；不传 ⇒ 本段零作用。
+      //   顺序：**先正常写入成功，再改状态**（写入失败就不该动状态，避免"新结论没进去、旧结论却被标废"）。
+      //   fail-soft：状态应用失败**绝不影响**已成功的笔记写入（照常返回成功，另附一行说明）。
+      let statusNote = ''
+      try {
+        const sup = Array.isArray(args.supersedes) ? args.supersedes.filter((x) => typeof x === 'string') : []
+        const ret = Array.isArray(args.retract) ? args.retract.filter((x) => typeof x === 'string') : []
+        const res = Array.isArray(args.restore) ? args.restore.filter((x) => typeof x === 'string') : []
+        if (sup.length || ret.length || res.length) statusNote = await engine.applyNoteStatusPre(p.notesPath, { supersedes: sup, retract: ret, restore: res, reason: args.retractReason }, body)
+      } catch (e) { statusNote = '\n(状态写入异常，已跳过：' + String((e && e.message) || e) + ')' }
+      return '已更新项目笔记: ' + p.notesPath + '\n追加内容:\n' + write + (gate.truncated ? '\n(内容超长,已截断到 ' + write.length + ' 字符)' : '') + (acct.compacted ? '\n(已自动压缩旧内容腾出空间)' : '') + statusNote
     }),
 
-    defineTool('memory_user', '更新用户级记忆 ~/.dsh/memory/MEMORY.md(跨所有项目的长期规则/偏好,用户明确要求记住时用)。action=append 追加;action=replace 整体替换。有**容量上限**(字符,设置项 userCapacityChars,默认 12000);超出时自动整理——先把较早内容交给 AI 折叠成要点、失败则退回整条归档(原文都进 archive,不丢),整理后仍超才拒绝(正常不会发生)。**调用后必须在本轮回复正文中向用户转述:已记住该规则/偏好**。', {
+    defineTool('memory_user', '更新用户级记忆 ~/.dsh/memory/MEMORY.md(跨所有项目的长期规则/偏好,用户明确要求记住时用)。action=append 追加;action=replace 整体替换。有**容量上限**(字符,设置项 userCapacityChars,默认 24000);**超出时的行为**(你不需要自己控制长度,写就是):①先把较早内容交给 AI 折叠成要点(同一层 10 分钟内只整理一次);②整理失败则**整条原文**归档到 `.dsh-memory/archive/`(信息不丢);③整理后仍超才拒绝(正常不会发生)。**调用后必须在本轮回复正文中向用户转述:已记住该规则/偏好**。', {
       content: { type: 'string', required: true, description: '要记住的规则或偏好内容。' },
       action: { type: 'string', enum: ['append', 'replace'], required: true, description: 'append=追加, replace=整体替换。' },
     }, async (args, exec) => {
@@ -9048,14 +10241,14 @@ export function apply(ctx, config) {
       limit: { type: 'integer', description: '最多返回条数,缺省 8。' },
       scope: { type: 'string', enum: ['all', 'handoff', 'sessions'], description: '检索范围:all=全部(默认), handoff=交接白板语料(跨窗口续命材料), sessions=历史 DSH 会话。' },
       format: { type: 'string', enum: ['l0', 'full'], description: '本地记忆命中格式:l0=L0 摘要列表(默认,每条含 id/得分/匹配原因),full=整条原文(旧行为)。' },
-      expand: { type: 'string', description: '按记忆 id(mem_ + 32 个十六进制字符)展开该条完整原文;提供时忽略检索语义。' },
+      expand: { type: 'string', description: '按记忆 id(mem_ + 32 个十六进制字符)展开该条完整原文。★**提供 expand 时 query 只作占位、检索语义被忽略**(仍必填,随便填该 id 即可);这是**两段式用法**:先用默认 l0 拿到候选列表与 id,再对感兴趣的那条 expand 取全文,避免一次性灌入大量原文。' },
     }, async (args, exec) => engine.recall(args.query, args.limit, exec.agent, args.scope || 'all', { format: args.format || 'l0', expand: args.expand })),
 
     defineTool('memory_maintain', '维护记忆(30 天蒸馏):把 days(缺省30)天前的 .dsh-memory/ 每日日志交给 AI 蒸馏提炼出有长期价值的要点写入项目 MEMORY.md,原文保底归档到 .dsh-memory/archive/ 后从活跃日志移除。AI 不可用时降级为原样归档,不丢信息。', {
-      days: { type: 'integer', description: '归档阈值天数,缺省 30。' },
+      days: { type: 'integer', description: '**归档阈值天数**,缺省 30。语义:把**早于「今天 − days 天」**的每日日志挑出来蒸馏,不是「最近 days 天」。**只影响活跃日志的可见性,不删信息**——要点进 MEMORY.md,原文整份归档到 `.dsh-memory/archive/`。AI 不可用时降级为原样归档。★属**低频维护动作**,不要每轮调。' },
     }, async (args, exec) => engine.maintain(args.days, exec.agent)),
 
-    defineTool('memory_status', '查看自动记忆的当前状态:存储位置、各记忆文件大小、今日日志条数、待反思、上次刷新时间。用于确认记忆系统工作正常。', {}, async (_args, exec) => {
+    defineTool('memory_status', '查看自动记忆的当前状态:存储位置、各记忆文件大小、今日日志条数、待反思、上次刷新时间。★**什么时候用**:①用户问「记忆系统正常吗/我的记忆存在哪/有多少条」;②怀疑某轮没写进记忆时自查;③新工作区开工前确认路径对不对。★**不该用于**:每轮例行检查(它是只读诊断,不是流程环节);想看记忆**内容**用 memory_read / memory_recall。', {}, async (_args, exec) => {
       const snap = await engine.snapshot(exec.agent)
       const lines = []
       lines.push('工作区: ' + snap.ws)
@@ -9067,12 +10260,12 @@ export function apply(ctx, config) {
       return lines.join('\n')
     }),
 
-    defineTool('memory_reflect', '保存每日反思(在收到「昨日反思待生成」提示、并已在回复中呈现反思后调用)。将反思全文落盘到 .dsh-memory/reflections/YYYY-MM-DD.md,并标记该日反思完成。', {
+    defineTool('memory_reflect', '保存每日反思。★**触发条件严格**:仅在收到框架的「昨日反思待生成」提示、且**已在回复正文中向用户呈现了反思内容之后**才调用——不是你想反思就反思。落盘到 .dsh-memory/reflections/YYYY-MM-DD.md 并标记该日完成(标记后当天不再提示)。date 传**被反思那天的日志日期**(通常是昨天),不是今天。', {
       date: { type: 'string', required: true, description: '反思对应的日期 YYYY-MM-DD(即被反思那天的日志日期)。' },
       text: { type: 'string', required: true, description: '完整反思内容:成果回顾 / 教训改进 / 今日可延续要点。' },
     }, async (args, exec) => engine.saveReflection(args.date, args.text, exec.agent)),
 
-    defineTool('memory_external', '查看/接入其他 AI 工具(AI 助手/CodeBuddy/Claude Code/Codex/ZCode/Kimi Code/TRAE/项目约定文件)的记忆。action=list 列出全部检测到的外部记忆源(路径/大小/预览/会话数);action=import 以纯链接模式接入(source 为源 id,target=project 接进项目笔记 / user 接进用户级记忆,只记录源文件路径指针、不写入内容,需要时按需读取;防止外部脏内容混入本地记忆)。首次在新工作区工作、或用户提到其他软件里做过的事时调用。', {
+    defineTool('memory_external', '查看/接入其他 AI 工具(AI 助手/CodeBuddy/Claude Code/Codex/ZCode/Kimi Code/TRAE/项目约定文件)的记忆。action=list 列出全部检测到的外部记忆源(路径/大小/预览/会话数);action=import **以纯链接模式**接入(source 为源 id,target=project 接进项目笔记 / user 接进用户级记忆)。★**「纯链接模式」的含义**:只在你的记忆里写一条**源文件绝对路径指针**,**不把对方内容抄进来**——目的是①防外部脏内容混入、②对方内容会变而指针不会过期。⇒ 需要内容时**按指针路径读取原文件**或记忆里说明的路径,不要去猜。★首次在新工作区工作时先 list,判断该项目是否曾在其他 AI 工具里做过。首次在新工作区工作、或用户提到其他软件里做过的事时调用。', {
       action: { type: 'string', enum: ['list', 'import'], required: true, description: 'list=列出外部记忆源; import=接入指定源。' },
       source: { type: 'string', description: '要接入的源 id(action=import 时必填,来自 list 结果)。' },
       target: { type: 'string', enum: ['project', 'user'], description: '接入目标: project=项目笔记(默认), user=用户级记忆。' },
@@ -9129,9 +10322,89 @@ export function apply(ctx, config) {
       title: { type: 'string', required: true, description: '事项标题。' },
     }, async (args, exec) => engine.calendarRemove(args.date, args.time, args.title, exec.agent)),
 
-    defineTool('memory_consolidate', 'AI 主动维护长期记忆(做梦式固化):读最近 days 天的工作日志,由 AI 发散提炼出有跨会话长期价值的决策/架构/用户偏好,自动写入项目笔记 MEMORY.md(带日期标题)与用户级 MEMORY.md(跨项目规则),并在正文向用户转述固化结果。适合隔一段时间主动调用一次;每轮对话结束的自动沉淀也基于同一套提炼逻辑。', {
+    defineTool('memory_consolidate', 'AI 主动维护长期记忆(做梦式固化):读最近 days 天的工作日志,由 AI 发散提炼出有跨会话长期价值的决策/架构/用户偏好,自动写入项目笔记 MEMORY.md(带日期标题)与用户级 MEMORY.md(跨项目规则),并在正文向用户转述固化结果。★**与「自动沉淀」的边界**:每轮对话结束框架会**自动**评估并写日志/升格要点,**你不需要为日常轮次做这件事**;本工具是**你主动发起的加料**——隔一段时间(或一个阶段收尾时)用来做一次更彻底的提炼,读的是**多日日志**、输出进项目笔记与用户级记忆。⇒ 用它做「阶段性固化」,不要用它替代每轮的 memory_log。', {
       days: { type: 'integer', description: '读取最近 N 天日志,缺省 7,上限 30。' },
     }, async (args, exec) => engine.consolidateMemory(exec.agent, Math.min(Math.max(Number(args.days) || 7, 1), 30))),
+
+    // ★★★ T4（2026-09-19 用户拍板「让大模型来介入 procedure memory」）★★★
+    // **工具数 16→17**（无条件注册；四处硬锁联动：smoke-test.mjs / m3b3 / context-observer / graph-mode）。
+    // 背景：此前三条记忆线（episodic / semantic / procedural）**全部只有机械生成**，
+    //   模型没有任何写入通路。procedural 线的唯一来源是 `memory-hub.js` 的 crossFeed：
+    //   它把每个"成功 episode"机械切成候选，而 episode 的 actions 就是 `['user','user','user']`
+    //   ⇒ 产出 14 条里 13 条 evidence 全 0 / successCriteria 全 0 / steps 是 "步骤1: user" 占位符。
+    //   清洗器只能删信封文字，**无法把 ['user','user','user'] 变成有价值的流程**（输入本就不含流程信息）。
+    // 本工具给出**模型直写通路**：模型看懂了什么值得复用，就直接写进来。
+    //   action='write'    → observe()（进审批列表，等人工或后续晋升）
+    //   action='activate' → observe → promote(model 授权跳统计门) → activate → **自动导出 SKILL.md**
+    //     即用户原话「如果我这个模型觉得值得上升，那就可以直接上升到这个激活列表」。
+    // 护栏（授权也不放行，见 procedure-store.js promote 注释）：observationOnly 短路 /
+    //   必须有 successCriteria / correction 记录阻止。行为全程 fail-soft + diag 留痕。
+    defineTool('memory_procedure', '把一个**值得复用的流程**写进 procedure memory（技能库）——这是模型直写通路，取代此前的机械生成。什么时候用：你刚跑通了一个多步骤流程、踩坑后总结出了正确做法、或发现某个操作值得下次照做时。**判据**：有明确步骤、可重复、下次遇到类似场景能直接照做。action=write 进审批列表（保守，推荐先这样）；action=activate 一步到位激活并可被自动召回（仅当你确信它稳定可复用）。写出的条目须含 title + steps，建议一并给 successCriteria（**没有 successCriteria 的条目永远无法晋升**）。', {
+      action: { type: 'string', enum: ['write', 'activate'], description: 'write=写入并进审批列表（默认）；activate=写入后直接晋升并激活（可被召回，同时自动导出 SKILL.md）。' },
+      title: { type: 'string', required: true, description: '一句话说清这是什么流程（如「发布前跑全量回归并核对 SHA256」）。不要用运行时样板文字或纯提问句。' },
+      steps: { type: 'string', required: true, description: '流程步骤，**一行一步**（换行分隔）；行首的 "1. " / "- " 会自动去掉。' },
+      successCriteria: { type: 'string', description: '怎么算跑通，一行一条。**强烈建议填写**——缺它则该条目结构上无法晋升。' },
+      preconditions: { type: 'string', description: '前置条件，一行一条（可选）。' },
+      checks: { type: 'string', description: '过程中要检查的点，一行一条（可选）。' },
+      rollback: { type: 'string', description: '失败时怎么回滚，一行一条（可选）。' },
+      riskLevel: { type: 'string', enum: ['low', 'medium', 'high'], description: '风险等级，缺省 low。high 会要求人工批准后才可激活。' },
+    }, async (args, exec) => {
+      try {
+        const hub = engine._memoryHub
+        if (!hub || !hub.stores || !hub.stores.procedures) return 'memory_procedure: 记忆中枢未启用（hub 或 procedure store 不可用），未写入。'
+        const procs = hub.stores.procedures
+        // 一行一条：去掉行首编号/项目符号，丢弃空行（模型输出格式不稳定的兜底）
+        const toLines = (v) => String(v == null ? '' : v).split(/\r?\n/)
+          .map((s) => s.replace(/^\s*(?:\d+[.、)]|[-*•])\s*/, '').trim())
+          .filter(Boolean)
+        const title = String(args.title || '').trim()
+        const steps = toLines(args.steps)
+        const successCriteria = toLines(args.successCriteria)
+        if (!title) return 'memory_procedure: title 必填。'
+        if (!steps.length) return 'memory_procedure: steps 必填（至少一步）。'
+        const cand = {
+          title, steps, successCriteria,
+          preconditions: toLines(args.preconditions),
+          checks: toLines(args.checks),
+          rollback: toLines(args.rollback),
+          riskLevel: ['low', 'medium', 'high'].includes(args.riskLevel) ? args.riskLevel : 'low',
+          // origin='agent' ⇒ 走 agent 口径；**不设 observationOnly** —— 它是真技能（有 steps + criteria），
+          // 与机械切出来的空壳观察行在结构上区分开，因此天然可晋升。
+          origin: 'agent',
+          sourceMemoryIds: [], sourceEpisodes: [],
+        }
+        const r = procs.observe(cand)
+        if (!r || !r.ok) return 'memory_procedure: 写入失败（' + String((r && r.reason) || 'unknown') + '）。'
+        const pid = r.procedure && r.procedure.procedureId
+        let out = (r.merged ? '已并入既有条目（指纹相同）' : '已写入') + '：' + title + ' [id=' + String(pid).slice(0, 20) + ']'
+        if (!successCriteria.length) out += '\n⚠ 未提供 successCriteria —— 该条目**结构上无法晋升**，之后请补写。'
+        if (args.action !== 'activate') return out + '\n（当前在审批列表，未激活。需要时再调 action=activate）'
+
+        // —— action=activate：模型授权跳统计门 → 晋升 → 激活 → 导出 SKILL.md ——
+        const pr = procs.promote(pid, {}, { authorizedBy: 'model' })
+        if (!pr || !pr.ok || pr.decision !== 'promote') {
+          return out + '\n未激活：晋升未通过（decision=' + String((pr && pr.decision) || '?') +
+            ' reasonCodes=' + JSON.stringify((pr && pr.reasonCodes) || []) + '）。条目仍在审批列表。'
+        }
+        const ar = procs.activate(pid)
+        if (!ar || !ar.ok) return out + '\n已晋升但激活失败：' + String((ar && ar.reason) || 'unknown')
+        out += '\n已晋升(授权=model)并激活。'
+        try {
+          const ex = exportSkillForPre(ar.procedure, {
+            skillsRoot: resolveSkillsRootPre({ dshHome: dshHome() }),
+            projectPath: process.cwd(),
+            exportedAt: new Date().toISOString(),
+          })
+          out += ex && ex.ok ? '\n已导出 SKILL.md：' + String(ex.dirName || '') : '\nSKILL.md 导出失败(' + String((ex && ex.reason) || '?') + ')，不影响已激活状态。'
+        } catch (e) {
+          out += '\nSKILL.md 导出异常：' + String((e && e.message) || e) + '（不影响已激活状态）'
+        }
+        try { diag('procedure write(by model): ' + String(pid).slice(0, 20) + ' action=' + String(args.action)) } catch (_) {}
+        return out
+      } catch (e) {
+        return 'memory_procedure 失败: ' + ((e && e.message) || String(e))
+      }
+    }),
   ]
 
   // ── WB-GRAPH 白板线新工具(board_mode_v1 闸门, 2026-09-16)──
@@ -9143,11 +10416,11 @@ export function apply(ctx, config) {
   // **数组之外**, 返回值**从未 push 进 tools** ⇒ 即便闸门判定为 true, 两个工具也不会被注册。
   // 这是与 BUG-1 独立的第二道致命缺陷: 修好「读到真配置」还不够, 还必须真的把定义收进数组。
   if (resolveBoardModePre(engine.config.boardMode).graphEnabled) {
-    tools.push(defineTool('memory_expand_pre', '白板结构化展开(P3, 需 boardMode=graph):正向遍历——给定 tag(如 type:dead-end / topic:登录)展开所有匹配的账本/白板条目 Content,默认 limit 10、硬帽 20。返回条目 id、标题、来源(source 文件+行)与判据状态。适合主动重建上下文(如「把所有失败方案列出来」)。', {
+    tools.push(defineTool('memory_expand', '白板结构化展开(P3, 需 boardMode=graph):正向遍历——给定 tag(如 type:dead-end / topic:登录)展开所有匹配的账本/白板条目 Content,默认 limit 10、硬帽 20。返回条目 id、标题、来源(source 文件+行)与判据状态。适合主动重建上下文(如「把所有失败方案列出来」)。', {
       tag: { type: 'string', description: '要展开的 tag,如 type:dead-end 或 topic:主题名。' },
       limit: { type: 'integer', description: '返回条数上限,缺省 10,硬帽 20。' },
     }, async (args, exec) => engine.expandWhiteboardByTagPre(exec.agent, String(args.tag || ''), Math.min(Math.max(Number(args.limit) || 10, 1), 20))))
-    tools.push(defineTool('memory_trace_pre', '白板结构化回溯(P3, 需 boardMode=graph):反向遍历——给定条目 id 回溯它的 cue(入口关键词/路径)、tag 与相邻条目,以及归档版本链(prev_version)。适合「这条结论从哪来」的溯源。', {
+    tools.push(defineTool('memory_trace', '白板结构化回溯(P3, 需 boardMode=graph):反向遍历——给定条目 id 回溯它的 cue(入口关键词/路径)、tag 与相邻条目,以及归档版本链(prev_version)。适合「这条结论从哪来」的溯源。', {
       id: { type: 'string', description: '条目 id(index.json 里的条目标识)。' },
     }, async (args, exec) => engine.traceWhiteboardByIdPre(exec.agent, String(args.id || ''))))
   }
@@ -9442,7 +10715,8 @@ export function apply(ctx, config) {
           if (!cfg || typeof cfg !== 'object') cfg = {}
           cfg.activationEmitMode = mode
           fsMod.mkdirSync(pathMod.dirname(cfgPath), { recursive: true })
-          fsMod.writeFileSync(cfgPath, JSON.stringify(cfg, null, 2), 'utf8')
+          // ★#82：同一类裸写 —— 切原子写（语义引擎开关的读数来源，半截 JSON 会让双轨读到不同值）。
+      writeTextAtomicPreSync(cfgPath, JSON.stringify(cfg, null, 2))
           return writeJson(res, 200, { ok: true, mode })
         } catch (e) { return writeJson(res, 500, { error: String(e && e.message ? e.message : e) }) }
       },
@@ -9628,7 +10902,27 @@ export function apply(ctx, config) {
               if (!pid) return writeJson(res, 400, { error: 'procedureId required' })
               let r
               if (action === 'promote') r = procs.promote(pid)
-              else if (action === 'activate') r = procs.activate(pid)
+              else if (action === 'activate') {
+                r = procs.activate(pid)
+                // ★ ⑪-2（用户 2026-09-19 拍板）：晋升为 active 后**自动导出** SKILL.md。
+                // 落点 = 用户级 `<dshHome>/skills/`（DSH 四条发现路径之一，可跨项目迁移）；
+                // 导出物**必须标注适用项目**（⑪-3），且随附程序只作**参考**、不得直接运行（⑪-1）。
+                // 全程 fail-soft：导出失败只记诊断，绝不回滚已成功的 activate。
+                if (r && r.ok) {
+                  try {
+                    const ex = exportSkillForPre(r.procedure, {
+                      skillsRoot: resolveSkillsRootPre({ dshHome: dshHome() }),
+                      projectPath: process.cwd(),
+                      exportedAt: new Date().toISOString(),
+                    })
+                    r.skillExport = ex
+                    try { diag('hub review: skill export ' + pid.slice(0, 20) + ' → ' + JSON.stringify({ ok: ex.ok, reason: ex.reason, dir: ex.dirName })) } catch (_) {}
+                  } catch (e) {
+                    r.skillExport = { ok: false, reason: 'export-threw:' + String((e && e.message) || e) }
+                    try { diag('hub review: skill export threw ' + String((e && e.message) || e)) } catch (_) {}
+                  }
+                }
+              }
               else if (action === 'deprecate') r = procs.deprecate(pid, 'user-disabled')
               else r = procs.setPinned(pid, (body && body.v) !== false)
               // issue #30:旧日志只记 `r.ok` —— 而 promote 的"拒绝晋升"也是 ok:true(decision='keep'),
@@ -9963,6 +11257,61 @@ export function apply(ctx, config) {
         } catch (e) { writeJson(res, 500, { error: String(e && e.message ? e.message : e) }) }
       },
     },
+    // ── ★R7（2026-09-20）：用户级硬性约束的条目级读写 ──────────────────
+    //   背景：`[规则 — 用户级硬性约束]` 段**每轮无条件注入、不走语义层** ⇒
+    //   过时条目不会被自动淘汰，AI 也可能写错 ⇒ 必须让用户能自己增删改。
+    //   纪律：① 真源仍是 `~/.dsh/memory/MEMORY.md`，本路由**不新增事实来源**；
+    //        ② 写入复用既有 `writeFull` 事务（备份 + 校验），不绕过；
+    //        ③ 删除**是真删**（本层渲染器不认状态标记，软删会被当正文注入模型）⇒
+    //           由前端做二次确认，host 侧只如实执行。
+    {
+      kind: 'exact',
+      path: API['rules-list'],
+      handler: async (req, res) => {
+        if (!isLoopbackRequest(req)) return writeJson(res, 403, { error: 'forbidden: loopback-only' })
+        if ((req.method || 'GET') !== 'GET') return writeJson(res, 405, { error: 'method not allowed' })
+        try {
+          const p = await engine.resolvePaths(undefined)
+          const text = (await engine.readTextSafe(p.userFile)) || ''
+          const items = listRuleItemsPre(text)
+          writeJson(res, 200, {
+            path: p.userFile,
+            items,
+            // 缺省注入时这些条目会长成什么样（R7-6 预览用）
+            preview: items.map((x) => '- ' + x.text).join('\n'),
+          })
+        } catch (e) { writeJson(res, 500, { error: String(e && e.message ? e.message : e) }) }
+      },
+    },
+    {
+      kind: 'exact',
+      path: API['rules-apply'],
+      handler: async (req, res) => {
+        if (!isLoopbackRequest(req)) return writeJson(res, 403, { error: 'forbidden: loopback-only' })
+        if ((req.method || 'POST') !== 'POST') return writeJson(res, 405, { error: 'method not allowed' })
+        const body = await readJsonBody(req)
+        const op = String((body && body.op) || '')
+        if (!['add', 'update', 'remove'].includes(op)) return writeJson(res, 400, { error: 'invalid-op' })
+        try {
+          const p = await engine.resolvePaths(undefined)
+          const before = (await engine.readTextSafe(p.userFile)) || ''
+          let r
+          if (op === 'add') r = appendRuleItemPre(before, body.text, { dateSection: body.dateSection })
+          else if (op === 'update') r = updateRuleItemPre(before, Number(body.index), body.text)
+          else r = removeRuleItemPre(before, Number(body.index))
+          if (!r.ok) return writeJson(res, 400, { error: '编辑被拒: ' + r.error })
+          // ★ 复用既有事务（备份 + 校验 + anchor 处理），绝不绕过
+          const written = await engine.writeFull(p.userFile, r.text)
+          const after = (await engine.readTextSafe(p.userFile)) || written || r.text
+          const items = listRuleItemsPre(after)
+          writeJson(res, 200, {
+            result: op + ' ok',
+            items,
+            preview: items.map((x) => '- ' + x.text).join('\n'),
+          })
+        } catch (e) { writeJson(res, 500, { error: String(e && e.message ? e.message : e) }) }
+      },
+    },
     {
       kind: 'exact',
       path: API.external,
@@ -10220,4 +11569,4 @@ export function apply(ctx, config) {
 }
 
 /** 导出卫生守卫与脏 token 检查器(供 smoke-test / 回归测试直接调用)。 */
-export { sanitizeForWrite, dirtyScanForFiles, mojibakeDensity, tailHas, hasStutter, WRITE_GATE_REASON, foldSessionLogEvents, workspaceIdForSession }
+export { sanitizeForWrite, hygieneGateForPrimitive, dirtyScanForFiles, mojibakeDensity, tailHas, hasStutter, WRITE_GATE_REASON, foldSessionLogEvents, workspaceIdForSession, attachmentsOfContent, attachmentBlobPathsPre, renderAttachmentLinesPre }