dsh-mnemon 0.5.6 → 0.5.8

package/README.md

@@ -52,6 +52,8 @@ dsh plugin --profile web add dsh-mnemon
 dsh web
 ```
 
+The current development baseline is DSH `0.1.5-rc.1` (npm `latest`). Existing Sessions with `source summary requires notice form` need the explicit `dsh-mnemon-repair-session --input FILE --output NEW_FILE` copy repair; see [legacy Session recovery](https://github.com/omdsh-dev/dsh-mnemon/blob/main/docs/en/guides/operations.md#dsh-015-compatibility-and-legacy-session-recovery) before replacing any artifact.
+
 For Headless, add the same package to that profile with `dsh plugin --profile headless add dsh-mnemon`.
 
 Open **Memory System → Status**, then add a Runtime memory. Select a DSH workspace before creating Documents, even with global storage. To retain long-term facts, create a Memory Space with an explicitly selected Provider. Sidebar is the default; optional Builtin placement uses the same pages.

package/README.zh-CN.md

@@ -58,6 +58,8 @@ Headless 使用同一个包：`dsh plugin --profile headless add dsh-mnemon`。
 
 从 v0.4 升级保留熟悉的配置、数据与工作流。三个可选增强仅在**设置 → 记忆系统**中透出，不增加 View 页或通用记忆插件管理器。[升级清单](https://github.com/omdsh-dev/dsh-mnemon/blob/main/docs/zh-CN/reference/compatibility.md)。
 
+当前开发基线为 npm `latest` 发布的 DSH `0.1.5-rc.1`。现有会话若报 `source summary requires notice form`，需要显式执行 `dsh-mnemon-repair-session --input FILE --output NEW_FILE` 生成修复副本；替换任何文件前请阅读[旧会话恢复流程](https://github.com/omdsh-dev/dsh-mnemon/blob/main/docs/zh-CN/guides/operations.md#dsh-015-兼容与旧会话恢复)。
+
 ## Source + Strategy → View
 
 [![来源事实经策略组合与核心校验，形成交给 DSH 宿主的唯一上下文视图](https://raw.githubusercontent.com/omdsh-dev/dsh-mnemon/main/docs/assets/diagrams/zh-CN/composable-memory.png)](https://github.com/omdsh-dev/dsh-mnemon/blob/main/docs/zh-CN/development/architecture.md)

package/bin/repair-legacy-session.mjs

@@ -0,0 +1,220 @@
+#!/usr/bin/env node
+import { createHash } from 'node:crypto'
+import { createReadStream, realpathSync } from 'node:fs'
+import { link, mkdtemp, open, rm } from 'node:fs/promises'
+import { dirname, join, resolve } from 'node:path'
+import { fileURLToPath } from 'node:url'
+import * as zlib from 'node:zlib'
+
+const maximumBytes = 128 * 1024 * 1024
+const summaries = {
+  recall: 'Memory View snapshot',
+  instructions: 'Optional memory recall and remember reminder',
+}
+const sha256 = value => createHash('sha256').update(value).digest('hex')
+
+// Locate JSON object members without reserializing message content or numbers.
+// JSON.parse validates each complete row before this scanner is used.
+function objectMembers(text, start) {
+  let cursor = start
+  const space = () => { while (/\s/.test(text[cursor] ?? '') && cursor < text.length) cursor++ }
+  const stringEnd = () => {
+    cursor++
+    while (cursor < text.length) {
+      if (text[cursor++] === '"') return
+      if (text[cursor - 1] === '\\') cursor++
+    }
+  }
+  const valueEnd = () => {
+    if (text[cursor] === '"') return stringEnd()
+    if (text[cursor] === '{' || text[cursor] === '[') {
+      let depth = 0
+      do {
+        if (text[cursor] === '"') stringEnd()
+        else {
+          if ('{['.includes(text[cursor])) depth++
+          if ('}]'.includes(text[cursor])) depth--
+          cursor++
+        }
+      } while (depth > 0)
+    } else {
+      while (cursor < text.length && !/[\s,}\]]/.test(text[cursor])) cursor++
+    }
+  }
+  space()
+  if (text[cursor++] !== '{') throw new Error('Expected a JSON object in the legacy message path.')
+  const members = []
+  const names = new Set()
+  space()
+  while (text[cursor] !== '}') {
+    const start = cursor
+    stringEnd()
+    const name = JSON.parse(text.slice(start, cursor))
+    if (names.has(name)) throw new Error('Duplicate JSON property in the legacy message path; refusing ambiguous repair.')
+    names.add(name)
+    space()
+    cursor++ // colon, already validated by JSON.parse
+    space()
+    const valueStart = cursor
+    valueEnd()
+    members.push({ name, start, end: cursor, valueStart })
+    space()
+    if (text[cursor] === '}') break
+    cursor++ // comma
+    space()
+  }
+  return members
+}
+
+function removeSummary(line) {
+  const data = objectMembers(line, 0).find(member => member.name === 'data')
+  const source = objectMembers(line, data.valueStart).find(member => member.name === 'source')
+  const members = objectMembers(line, source.valueStart)
+  const index = members.findIndex(member => member.name === 'summary')
+  const member = members[index]
+  const start = index === members.length - 1 && index > 0 ? members[index - 1].end : member.start
+  const end = index < members.length - 1 ? members[index + 1].start : member.end
+  return line.slice(0, start) + line.slice(end)
+}
+
+async function readBounded(path) {
+  const chunks = []
+  let length = 0
+  for await (const chunk of createReadStream(path)) {
+    length += chunk.length
+    if (length > maximumBytes) throw new Error('Session exceeds the 128 MiB repair limit.')
+    chunks.push(chunk)
+  }
+  return Buffer.concat(chunks)
+}
+
+// RFC 8878 framing: reject torn headers, blocks and checksums before Node's
+// decoder (which can otherwise accept an unfinished frame) sees the bytes.
+function frameLength(input, start) {
+  const requireBytes = end => { if (end > input.length) throw new Error('Truncated Zstandard frame; no output written.') }
+  requireBytes(start + 5)
+  if (input.readUInt32LE(start) !== 0xfd2fb528) throw new Error('Unsupported Zstandard frame; only ordinary DSH frames are accepted.')
+  const descriptor = input[start + 4]
+  if (descriptor & 0x18) throw new Error('Reserved Zstandard frame header bits are set.')
+  const single = (descriptor & 0x20) !== 0
+  const sizeFlag = descriptor >>> 6
+  const contentSizeBytes = sizeFlag === 0 ? (single ? 1 : 0) : [0, 2, 4, 8][sizeFlag]
+  let offset = start + 5 + (single ? 0 : 1) + [0, 1, 2, 4][descriptor & 3] + contentSizeBytes
+  requireBytes(offset)
+  let last = false
+  while (!last) {
+    requireBytes(offset + 3)
+    const block = input.readUIntLE(offset, 3)
+    last = (block & 1) !== 0
+    const type = (block >>> 1) & 3
+    if (type === 3) throw new Error('Reserved Zstandard block type.')
+    offset += 3 + (type === 1 ? 1 : block >>> 3)
+    requireBytes(offset)
+  }
+  offset += descriptor & 4 ? 4 : 0
+  requireBytes(offset)
+  return offset - start
+}
+
+function decodeFrames(input) {
+  const chunks = []
+  let offset = 0
+  let length = 0
+  while (offset < input.length) {
+    const lengthOnDisk = frameLength(input, offset)
+    const { buffer, engine } = zlib.zstdDecompressSync(input.subarray(offset, offset + lengthOnDisk), {
+      info: true, maxOutputLength: maximumBytes - length,
+    })
+    if (engine.bytesWritten !== lengthOnDisk) throw new Error('Invalid Zstandard frame length.')
+    offset += engine.bytesWritten
+    length += buffer.length
+    chunks.push(buffer)
+  }
+  return Buffer.concat(chunks)
+}
+
+function encodeFrames(text) {
+  // DSH requires the first frame to contain exactly its header line.
+  const end = text.indexOf('\n') + 1
+  const options = { params: { [zlib.constants.ZSTD_c_checksumFlag]: 1 } }
+  return Buffer.concat([text.slice(0, end), text.slice(end)].filter(Boolean).map(part => zlib.zstdCompressSync(part, options)))
+}
+
+export async function repairLegacySession(input, output) {
+  const original = await readBounded(input)
+  const compressed = original.subarray(0, 4).equals(Buffer.from([0x28, 0xb5, 0x2f, 0xfd]))
+  if (compressed && (typeof zlib.zstdDecompressSync !== 'function' || typeof zlib.zstdCompressSync !== 'function')) {
+    throw new Error('Zstandard sessions require Node 22.19 or newer (or Node 24+).')
+  }
+  const decoded = compressed ? decodeFrames(original) : original
+  const text = new TextDecoder('utf-8', { fatal: true, ignoreBOM: true }).decode(decoded)
+  if (!text.endsWith('\n')) throw new Error('Session must end with a complete newline-terminated JSON record.')
+  const lines = text.match(/[^\n]*\n/g) ?? []
+  let changes = 0
+  const repaired = lines.map((line, index) => {
+    let row
+    try { row = JSON.parse(line) } catch { throw new Error(`Invalid JSON at line ${index + 1}; no output written.`) }
+    if (index === 0) {
+      objectMembers(line, 0)
+      if (row.type !== 'session' || row.version !== 0 || typeof row.id !== 'string' || !row.id ||
+          !Number.isSafeInteger(row.createdAt) || row.createdAt < 0 ||
+          !Number.isSafeInteger(row.delegationDepth) || row.delegationDepth < 0) {
+        throw new Error('Only a legacy DSH format v0 Session header is supported.')
+      }
+      return line
+    }
+    const source = row?.data?.source
+    if (row?.type !== 'user/message' || source?.kind !== 'plugin' || source.plugin !== 'dsh-mnemon' ||
+        !Object.hasOwn(summaries, source.form) || source.summary !== summaries[source.form]) return line
+    changes++
+    return removeSummary(line)
+  }).join('')
+  const plain = Buffer.from(repaired)
+  // A clean artifact stays byte-identical, including its existing frame layout.
+  const result = changes === 0 ? original : compressed ? encodeFrames(repaired) : plain
+  if (output !== undefined) {
+    if (resolve(input) === resolve(output)) throw new Error('Output must be a new copy; the input cannot be overwritten.')
+    const temporary = await mkdtemp(join(dirname(resolve(output)), '.mnemon-repair-'))
+    try {
+      const path = join(temporary, 'session')
+      const file = await open(path, 'wx', 0o600)
+      try { await file.writeFile(result); await file.sync() } finally { await file.close() }
+      // Publish exclusively, including when output is a symlink or hard link.
+      await link(path, output)
+    } finally { await rm(temporary, { recursive: true, force: true }) }
+  }
+  return {
+    mode: output === undefined ? 'preview' : 'copy',
+    format: 0,
+    encoding: compressed ? 'zstd' : 'jsonl',
+    repairedMessages: changes,
+    inputSha256: sha256(original),
+    outputSha256: sha256(result),
+    originalPreserved: true,
+  }
+}
+
+async function main(args) {
+  const usage = 'Usage: dsh-mnemon-repair-session --input FILE [--output NEW_FILE]\nWithout --output, only preview the two known Mnemon v0 metadata repairs. Stop DSH and work on a backup copy. The input and existing output files are never overwritten.'
+  if (args.length === 1 && args[0] === '--help') { console.log(usage); return }
+  const options = new Map()
+  for (let index = 0; index < args.length; index += 2) {
+    const name = args[index]
+    const value = args[index + 1]
+    if (!['--input', '--output'].includes(name) || !value || value.startsWith('--') || options.has(name)) throw new Error(usage)
+    options.set(name, value)
+  }
+  if (!options.has('--input')) throw new Error(usage)
+  console.log(JSON.stringify(await repairLegacySession(options.get('--input'), options.get('--output')), null, 2))
+}
+
+// npm global installs expose this executable through a symlink. Resolve both
+// sides while keeping imports from stdin or another entry point side-effect free.
+function isEntrypoint() {
+  try { return process.argv[1] !== undefined && realpathSync(process.argv[1]) === realpathSync(fileURLToPath(import.meta.url)) }
+  catch { return false }
+}
+
+if (isEntrypoint()) {
+  main(process.argv.slice(2)).catch(error => { console.error(error.message); process.exitCode = 1 })
+}

package/cordis.patch.yml

@@ -1,6 +1,11 @@
 # Mount the Mnemon bridge into a DSH profile. A profile's final patch may
 # replace this config row as a whole; use user settings or environment
 # variables for one-field overrides such as cliPath.
+# Connection's generic RPC registry uses its owning Context to mount routes.
+# DSH 0.1.5's Web profile omits this dependency from that service's scope.
+- id: connection
+  inject: [webRuntime, webServer]
+
 - insert:
     # Keep the v0.4 `mnemon` Entry as the public configuration target while
     # making every v0.5 component inherit its enabled state. The expression

package/lib/client.js

@@ -543,7 +543,7 @@ window.__ModuleLoader__.load({
 			"documents.size": "文件大小",
 			"documents.archiveReceipt": "Mnemon 冷索引回执",
 			"documents.archiveTitle": "迁入归档",
-			"documents.archiveDescription": "先由受限的独立任务 Agent 写入可检索的 Mnemon 摘要和精确路径，成功后才移动原文。",
+			"documents.archiveDescription": "独立任务 Agent 先拟定摘要和目标空间；Host 校验后写入冷索引，再移动原文。需要已启用且支持精确写入与删除的记忆空间。",
 			"documents.archive": "归档",
 			"documents.archiveConfirm": "确认建立 Mnemon 索引并迁移这份档案？",
 			"documents.archiving": "索引并迁移中…",
@@ -605,7 +605,7 @@ window.__ModuleLoader__.load({
 			"documents.size": "File size",
 			"documents.archiveReceipt": "Mnemon cold-index receipt",
 			"documents.archiveTitle": "Move to archive",
-			"documents.archiveDescription": "A restricted independent task Agent first stores a searchable Mnemon summary and exact path. The original moves only after that succeeds.",
+			"documents.archiveDescription": "An independent task Agent proposes a summary and destination. The Host validates and writes the cold index before moving the original. An active Memory Space with exact writes and safe deletion is required.",
 			"documents.archive": "Archive",
 			"documents.archiveConfirm": "Create the Mnemon index and archive this document?",
 			"documents.archiving": "Indexing and moving…",
@@ -1460,6 +1460,9 @@ window.__ModuleLoader__.load({
 			"status.title": "系统状态",
 			"status.description": "聚焦 dsh-mnemon、各记忆 Provider、三层存储和当前读写目录；连接配置由 DSH 部署统一管理。",
 			"status.nominal": "系统正常",
+			"status.reviewFailed": "后台审查失败",
+			"status.reviewFailedDetail": "本轮记忆检查未完成；候选内容会保留到后续符合条件的审查。",
+			"status.reviewContextWindow": "请在 Mnemon 设置中选择上下文窗口足以覆盖父会话的任务模型。后台审查需要继承父会话。",
 			"status.checkRequired": "需要检查",
 			"status.rechecking": "检查中…",
 			"status.recheck": "重新检查",
@@ -1982,6 +1985,9 @@ window.__ModuleLoader__.load({
 			"status.title": "System Status",
 			"status.description": "dsh-mnemon, memory providers, three-tier storage, and the current read/write root. DSH deployment owns connection configuration.",
 			"status.nominal": "System nominal",
+			"status.reviewFailed": "Background review failed",
+			"status.reviewFailedDetail": "This memory checkpoint did not complete. Candidates remain pending for a later eligible review.",
+			"status.reviewContextWindow": "Choose a task model in Mnemon settings whose context window covers the parent conversation. Background review inherits the parent conversation.",
 			"status.checkRequired": "Check required",
 			"status.rechecking": "Checking…",
 			"status.recheck": "Check again",
@@ -6765,6 +6771,7 @@ window.__ModuleLoader__.load({
 			const t = useT();
 			const [versionsOpen, setVersionsOpen] = (0, react.useState)(false);
 			const status = props.status;
+			const reviewError = status?.lifecycle?.current?.lastError;
 			const documents = status?.documents;
 			const catalogKnown = status?.memoryBodies !== void 0;
 			const memorySpaces = (0, react.useMemo)(() => status?.memoryBodies ?? [], [status]);
@@ -6781,7 +6788,7 @@ window.__ModuleLoader__.load({
 					/* @__PURE__ */ (0, react_jsx_runtime.jsx)(PageHeader, {
 						title: t("status.title"),
 						description: t("status.description"),
-						meta: status === null && props.loading ? t("common.loading") : status === null ? t("status.checkRequired") : t("status.nominal"),
+						meta: status === null && props.loading ? t("common.loading") : status === null || reviewError !== void 0 ? t("status.checkRequired") : t("status.nominal"),
 						...props.loading ? { loadingLabel: t("status.rechecking") } : {},
 						action: /* @__PURE__ */ (0, react_jsx_runtime.jsxs)("div", {
 							className: MnemonView_module_css_default.statusHeaderActions,
@@ -7435,6 +7442,17 @@ window.__ModuleLoader__.load({
 						role: "alert",
 						children: [/* @__PURE__ */ (0, react_jsx_runtime.jsx)("strong", { children: t("header.notReady") }), /* @__PURE__ */ (0, react_jsx_runtime.jsx)("span", { children: statusError ?? status?.error })]
 					}),
+					status?.lifecycle?.current?.lastError !== void 0 && /* @__PURE__ */ (0, react_jsx_runtime.jsxs)("div", {
+						className: MnemonView_module_css_default.alert,
+						role: "alert",
+						"aria-label": t("status.reviewFailed"),
+						children: [
+							/* @__PURE__ */ (0, react_jsx_runtime.jsx)("strong", { children: t("status.reviewFailed") }),
+							/* @__PURE__ */ (0, react_jsx_runtime.jsx)("span", { children: status.lifecycle.current.lastError }),
+							/* @__PURE__ */ (0, react_jsx_runtime.jsx)("span", { children: t("status.reviewFailedDetail") }),
+							/CONTEXT_WINDOW_EXCEEDED|exceed(?:s|ed)? (?:the )?(?:available )?context (?:size|window)/iu.test(status.lifecycle.current.lastError) && /* @__PURE__ */ (0, react_jsx_runtime.jsx)("span", { children: t("status.reviewContextWindow") })
+						]
+					}),
 					/* @__PURE__ */ (0, react_jsx_runtime.jsxs)("div", {
 						className: MnemonView_module_css_default.workspace,
 						children: [/* @__PURE__ */ (0, react_jsx_runtime.jsx)(WorkspaceNavigation, {
@@ -7522,6 +7540,8 @@ window.__ModuleLoader__.load({
 			const entry = document.createElement("button");
 			entry.type = "button";
 			entry.dataset.dshMnemonEntry = "";
+			entry.dataset.dshPlugin = "dsh-mnemon";
+			entry.dataset.dshPart = "sidebar-entry";
 			entry.className = MnemonWorkspace_module_css_default.entry ?? "";
 			const icon = document.createElement("span");
 			icon.className = MnemonWorkspace_module_css_default.entryIcon ?? "";