sage-mem 0.6.4 → 0.7.0

package/lib/typert.host.js

@@ -1,5 +1,5 @@
 /**
- * sage-mem — 手写 strict typert host manifest（对齐官方生成文件格式）。
+ * sage-mem — 手写 strict typert host manifest。
  * typert-loader 在插件挂载时读 package.json 的 exports["./typert"]，
  * import 本文件并把 TYPERT 注册进 ctx.typert.local（strict 定义）。
  * schema 必须是 zod v4 实例（typert-loader 校验 "_zod" in schema）。
@@ -9,10 +9,15 @@ import { z } from 'zod'
 // 文件名：与 host 侧 safeName 同一套底线 —— 非空、无路径分隔符与 Windows 非法字符、
 // 以 .md 结尾、长度有界。（真正的目录逃逸防护仍在 host 侧 safeName。）
 const fileNameSchema = z.string().min(1).max(255).regex(/^[^\\/:*?"<>|\u0000-\u001f]+\.md$/)
-// 正文：512 KB 上限。理由是「记忆要塞进 system prompt」——现行 memory 目录最大一条 19 KB，
+// 正文：512 KB 上限。理由是「记忆要塞进 system prompt」——单条正常量级在几十 KB，
 // 到半兆量级基本是写错了目标（贴了日志/代码进来）。与 lib/index.js 的 MAX_FILE_BYTES 一致。
 const fileContentSchema = z.string().max(512 * 1024)
 
+// autodream 报告引用：比 fileNameSchema 宽——旧版报告列表里的条目带 `dream/` 前缀
+// （新版 `autodream/` 不加前缀只给裸文件名）。这里放行斜杠，真正的目录逃逸防护
+// 在 host 侧 AutodreamEngine.readReport 里（先剥已知前缀、再对 basename 走 safeName）。
+const reportRefSchema = z.string().min(1).max(320)
+
 const starmapStarSchema = z.object({
 	'file': z.string().readonly(),
 	'kind': z.string().readonly(),
@@ -58,11 +63,11 @@ const deleteResultSchema = z.object({
 	'error': z.string().readonly().optional(),
 }).readonly()
 
-// ── dream（夜间记忆整理）───────────────────────────────────────────────
+// ── autodream（夜间记忆整理）───────────────────────────────────────────────
 // 配置的每一项都可写；lastResult 是一个「成功/失败两条分支共用」的结构，
 // 所以除了三个必有字段外全是 optional —— 用 strict 校验两种形态的并集，
 // 比给成功与失败各来一套 schema 少一半维护面。
-const dreamConfigSchema = z.object({
+const autodreamConfigSchema = z.object({
 	'enabled': z.boolean().readonly(),
 	'trigger': z.string().readonly(),
 	'apply': z.boolean().readonly(),
@@ -73,21 +78,25 @@ const dreamConfigSchema = z.object({
 	'model': z.string().readonly(),
 	'maxSteps': z.number().readonly(),
 	'maxSnapshotKeep': z.number().readonly(),
+	'rollbackScope': z.string().readonly(),
 }).readonly()
 
-const dreamPathsSchema = z.object({
+const autodreamPathsSchema = z.object({
 	'memoryDir': z.string().readonly(),
 	'configPath': z.string().readonly(),
 	'stateRoot': z.string().readonly(),
+	'home': z.string().readonly(),
 }).readonly()
 
-const dreamRouteSchema = z.object({
+const autodreamRouteSchema = z.object({
 	'provider': z.string().readonly(),
 	'model': z.string().readonly(),
 	'fromDefault': z.boolean().readonly(),
+	'source': z.string().readonly(),
+	'error': z.string().readonly().nullable(),
 }).readonly()
 
-const dreamLastResultSchema = z.object({
+const autodreamLastResultSchema = z.object({
 	'at': z.number().readonly(),
 	'atHuman': z.string().readonly(),
 	'ok': z.boolean().readonly(),
@@ -98,50 +107,58 @@ const dreamLastResultSchema = z.object({
 	'problemsAfter': z.number().readonly().optional(),
 	'tokensIn': z.number().readonly().optional(),
 	'tokensOut': z.number().readonly().optional(),
+	'runId': z.string().readonly().optional(),
+	'changeCount': z.number().readonly().optional(),
+	'preflight': z.boolean().readonly().optional(),
+	'snapshotId': z.string().readonly().nullable().optional(),
 	'report': z.string().readonly().optional(),
 }).readonly()
 
-const dreamConfigResultSchema = z.object({
-	'config': dreamConfigSchema,
-	'route': dreamRouteSchema.nullable(),
+const autodreamConfigResultSchema = z.object({
+	'config': autodreamConfigSchema,
+	'route': autodreamRouteSchema.nullable(),
 	'lastRunAt': z.number().readonly(),
-	'lastResult': dreamLastResultSchema.nullable(),
-	'paths': dreamPathsSchema,
-	'defaults': dreamConfigSchema,
+	'lastResult': autodreamLastResultSchema.nullable(),
+	'paths': autodreamPathsSchema,
+	'defaults': autodreamConfigSchema,
 }).readonly()
 
-const dreamStepSchema = z.object({
+const autodreamStepSchema = z.object({
 	'step': z.number().readonly(),
 	'tools': z.array(z.string()).readonly(),
 	'chars': z.number().readonly(),
 	'at': z.number().readonly(),
 }).readonly()
 
-const dreamStatusSchema = z.object({
+const autodreamStatusSchema = z.object({
 	'running': z.boolean().readonly(),
 	'phase': z.string().readonly(),
 	'startedAt': z.number().readonly(),
-	'steps': z.array(dreamStepSchema).readonly(),
-	'config': dreamConfigSchema,
-	'route': dreamRouteSchema.nullable(),
+	'runId': z.string().readonly(),
+	'steps': z.array(autodreamStepSchema).readonly(),
+	'config': autodreamConfigSchema,
+	'route': autodreamRouteSchema.nullable(),
 	'lastRunAt': z.number().readonly(),
 	'hoursSince': z.number().readonly().nullable(),
-	'lastResult': dreamLastResultSchema.nullable(),
+	'lastResult': autodreamLastResultSchema.nullable(),
 	'retryAfter': z.number().readonly(),
 	'gate': z.object({ 'minHours': z.number().readonly(), 'minSessions': z.number().readonly() }).readonly().nullable(),
-	'paths': dreamPathsSchema,
+	'paths': autodreamPathsSchema,
 }).readonly()
 
-const dreamRunResultSchema = z.object({
+const autodreamRunResultSchema = z.object({
 	'ok': z.boolean().readonly(),
 	'error': z.string().readonly().optional(),
 	'report': z.string().readonly().optional(),
 	'touched': z.array(z.string()).readonly().optional(),
+	'runId': z.string().readonly().optional(),
+	'changeCount': z.number().readonly().optional(),
+	'snapshotId': z.string().readonly().nullable().optional(),
 }).readonly()
 
 // setConfig 的补丁：全部 optional —— 设置面板每次只改动一项，传整个对象反而
 // 容易把没碰过的字段用旧值覆盖回去。
-const dreamPatchSchema = z.object({
+const autodreamPatchSchema = z.object({
 	'enabled': z.boolean().optional(),
 	'trigger': z.string().optional(),
 	'apply': z.boolean().optional(),
@@ -152,6 +169,7 @@ const dreamPatchSchema = z.object({
 	'model': z.string().optional(),
 	'maxSteps': z.number().optional(),
 	'maxSnapshotKeep': z.number().optional(),
+	'rollbackScope': z.string().optional(),
 }).readonly()
 
 const reportListSchema = z.array(z.object({
@@ -159,6 +177,7 @@ const reportListSchema = z.array(z.object({
 	'bytes': z.number().readonly(),
 	'at': z.number().readonly(),
 	'atHuman': z.string().readonly(),
+	'legacy': z.boolean().readonly(),
 }).readonly()).readonly()
 
 const snapshotListSchema = z.array(z.object({
@@ -167,8 +186,71 @@ const snapshotListSchema = z.array(z.object({
 	'atHuman': z.string().readonly(),
 	'files': z.number().readonly(),
 	'path': z.string().readonly(),
+	'runId': z.string().readonly().nullable(),
+	'kind': z.string().readonly(),
+	'legacy': z.boolean().readonly(),
 }).readonly()).readonly()
 
+// ── autodream 回滚点 / 整理声明 / 模型目录（2026-10-01 新增）──
+// 「运行」是这四样东西的共同线索：runId 同时是快照目录名、运行记录目录名与报告文件名，
+// 所以 listRuns 的一条记录能把「改了哪些文件、为什么、能不能退」一次串起来。
+const runListSchema = z.array(z.object({
+	'runId': z.string().readonly(),
+	'at': z.number().readonly(),
+	'atHuman': z.string().readonly(),
+	'mode': z.string().readonly(),
+	'reason': z.string().readonly(),
+	'changeCount': z.number().readonly(),
+	'report': z.string().readonly().nullable(),
+	'snapshotId': z.string().readonly().nullable(),
+	'snapshotAvailable': z.boolean().readonly(),
+	'rolledBackAt': z.number().readonly(),
+	'rolledBackAtHuman': z.string().readonly(),
+}).readonly()).readonly()
+
+// manifest 是机读记录，字段面宽且在演进；这里用宽松对象接住，
+// 前端的「整理声明」区只读 markdown，manifest 留给后续工具消费。
+const declarationSchema = z.object({
+	'runId': z.string().readonly(),
+	'markdown': z.string().readonly(),
+	'manifest': z.unknown(),
+}).readonly()
+
+const rollbackResultSchema = z.object({
+	'ok': z.boolean().readonly(),
+	'error': z.string().readonly().optional(),
+	'restored': z.number().readonly().optional(),
+	'parked': z.number().readonly().optional(),
+	'skipped': z.number().readonly().optional(),
+	'protection': z.string().readonly().optional(),
+	'report': z.string().readonly().optional(),
+}).readonly()
+
+const modelListSchema = z.object({
+	'routes': z.array(z.object({
+		'provider': z.string().readonly(),
+		'model': z.string().readonly(),
+		'label': z.string().readonly(),
+		'isDefault': z.boolean().readonly(),
+	}).readonly()).readonly(),
+	'defaultRoute': z.object({
+		'provider': z.string().readonly(),
+		'model': z.string().readonly(),
+	}).readonly().nullable(),
+	'catalogAvailable': z.boolean().readonly(),
+	'note': z.string().readonly(),
+}).readonly()
+
+// 四个新方法的入参形状不同，但都是「一个对象参数」；合并成一个全 optional 的 schema，
+// 免得为每个方法各写一份。注意 zod 默认会**丢掉未声明的键**，所以用到的字段必须在这里列全。
+const autodreamOptsSchema = z.object({
+	'reason': z.string().optional(),
+	'limit': z.number().optional(),
+	'runId': z.string().optional(),
+	'snapshotId': z.string().optional(),
+	'scope': z.string().optional(),
+}).readonly()
+
 export const TYPERT = {
 	package: 'sage-mem',
 	face: 'host',
@@ -243,85 +325,131 @@ export const TYPERT = {
 			result: { mode: 'strict', typeSymbol: 'sage-mem/types#StarmapRead', schema: starmapReadSchema, create: () => starmapReadSchema },
 			sourceLocation: { "file": "workspace/sage-mem/lib/index.js", "line": 1, "column": 1 },
 		},
-		// ── dream 的七个方法 ──
+		// ── autodream 的七个方法 ──
 		// 全部挂在 package `sage-mem` 下（和 memory 同一份 manifest），
-		// 所以前端直接 ctx.get('remote.dream') 就能用，不需要像 starmap 那样
+		// 所以前端直接 ctx.get('remote.autodream') 就能用，不需要像 starmap 那样
 		// 在 client 侧再 $mount 一次 —— 那个 mount 是因为 starmap 当年是独立包
 		// （package: 'sage-starmap'），合并进 sage-mem 后一直没改回来。
 		{
-			id: 'sage-mem#dream/getConfig',
-			service: 'dream',
-			namespace: 'dream',
+			id: 'sage-mem#autodream/getConfig',
+			service: 'autodream',
+			namespace: 'autodream',
 			method: 'getConfig',
 			invocation: { kind: 'direct' },
 			parameters: [],
-			result: { mode: 'strict', typeSymbol: 'sage-mem/types#DreamConfigResult', schema: dreamConfigResultSchema, create: () => dreamConfigResultSchema },
+			result: { mode: 'strict', typeSymbol: 'sage-mem/types#AutodreamConfigResult', schema: autodreamConfigResultSchema, create: () => autodreamConfigResultSchema },
 			sourceLocation: { "file": "workspace/sage-mem/lib/index.js", "line": 1, "column": 1 },
 		},
 		{
-			id: 'sage-mem#dream/setConfig',
-			service: 'dream',
-			namespace: 'dream',
+			id: 'sage-mem#autodream/setConfig',
+			service: 'autodream',
+			namespace: 'autodream',
 			method: 'setConfig',
 			invocation: { kind: 'direct' },
 			parameters: [
-				{ name: 'patch', wire: 'patch', source: 'json', codec: { mode: 'strict', typeSymbol: 'sage-mem/types#DreamPatch', schema: dreamPatchSchema, create: () => dreamPatchSchema } },
+				{ name: 'patch', wire: 'patch', source: 'json', codec: { mode: 'strict', typeSymbol: 'sage-mem/types#AutodreamPatch', schema: autodreamPatchSchema, create: () => autodreamPatchSchema } },
 			],
-			result: { mode: 'strict', typeSymbol: 'sage-mem/types#DreamConfigResult', schema: dreamConfigResultSchema, create: () => dreamConfigResultSchema },
+			result: { mode: 'strict', typeSymbol: 'sage-mem/types#AutodreamConfigResult', schema: autodreamConfigResultSchema, create: () => autodreamConfigResultSchema },
 			sourceLocation: { "file": "workspace/sage-mem/lib/index.js", "line": 1, "column": 1 },
 		},
 		{
-			id: 'sage-mem#dream/status',
-			service: 'dream',
-			namespace: 'dream',
+			id: 'sage-mem#autodream/status',
+			service: 'autodream',
+			namespace: 'autodream',
 			method: 'status',
 			invocation: { kind: 'direct' },
 			parameters: [],
-			result: { mode: 'strict', typeSymbol: 'sage-mem/types#DreamStatus', schema: dreamStatusSchema, create: () => dreamStatusSchema },
+			result: { mode: 'strict', typeSymbol: 'sage-mem/types#AutodreamStatus', schema: autodreamStatusSchema, create: () => autodreamStatusSchema },
 			sourceLocation: { "file": "workspace/sage-mem/lib/index.js", "line": 1, "column": 1 },
 		},
 		{
-			id: 'sage-mem#dream/runNow',
-			service: 'dream',
-			namespace: 'dream',
+			id: 'sage-mem#autodream/runNow',
+			service: 'autodream',
+			namespace: 'autodream',
 			method: 'runNow',
 			invocation: { kind: 'direct' },
 			parameters: [
-				{ name: 'force', wire: 'force', source: 'json', codec: { mode: 'strict', typeSymbol: 'sage-mem/types#Boolean', schema: z.boolean(), create: () => z.boolean() } },
+				{ name: 'opts', wire: 'opts', source: 'json', codec: { mode: 'strict', typeSymbol: 'sage-mem/types#AutodreamOpts', schema: autodreamOptsSchema, create: () => autodreamOptsSchema } },
 			],
-			result: { mode: 'strict', typeSymbol: 'sage-mem/types#DreamRunResult', schema: dreamRunResultSchema, create: () => dreamRunResultSchema },
+			result: { mode: 'strict', typeSymbol: 'sage-mem/types#AutodreamRunResult', schema: autodreamRunResultSchema, create: () => autodreamRunResultSchema },
 			sourceLocation: { "file": "workspace/sage-mem/lib/index.js", "line": 1, "column": 1 },
 		},
 		{
-			id: 'sage-mem#dream/listReports',
-			service: 'dream',
-			namespace: 'dream',
+			id: 'sage-mem#autodream/listReports',
+			service: 'autodream',
+			namespace: 'autodream',
 			method: 'listReports',
 			invocation: { kind: 'direct' },
 			parameters: [],
-			result: { mode: 'strict', typeSymbol: 'sage-mem/types#DreamReportList', schema: reportListSchema, create: () => reportListSchema },
+			result: { mode: 'strict', typeSymbol: 'sage-mem/types#AutodreamReportList', schema: reportListSchema, create: () => reportListSchema },
 			sourceLocation: { "file": "workspace/sage-mem/lib/index.js", "line": 1, "column": 1 },
 		},
 		{
-			id: 'sage-mem#dream/readReport',
-			service: 'dream',
-			namespace: 'dream',
+			id: 'sage-mem#autodream/readReport',
+			service: 'autodream',
+			namespace: 'autodream',
 			method: 'readReport',
 			invocation: { kind: 'direct' },
 			parameters: [
-				{ name: 'name', wire: 'name', source: 'json', codec: { mode: 'strict', typeSymbol: 'sage-mem/types#FileName', schema: fileNameSchema, create: () => fileNameSchema } },
+				{ name: 'name', wire: 'name', source: 'json', codec: { mode: 'strict', typeSymbol: 'sage-mem/types#AutodreamReportRef', schema: reportRefSchema, create: () => reportRefSchema } },
 			],
 			result: { mode: 'strict', typeSymbol: 'sage-mem/types#FileContent', schema: readResultSchema, create: () => readResultSchema },
 			sourceLocation: { "file": "workspace/sage-mem/lib/index.js", "line": 1, "column": 1 },
 		},
 		{
-			id: 'sage-mem#dream/listSnapshots',
-			service: 'dream',
-			namespace: 'dream',
+			id: 'sage-mem#autodream/listSnapshots',
+			service: 'autodream',
+			namespace: 'autodream',
 			method: 'listSnapshots',
 			invocation: { kind: 'direct' },
 			parameters: [],
-			result: { mode: 'strict', typeSymbol: 'sage-mem/types#DreamSnapshotList', schema: snapshotListSchema, create: () => snapshotListSchema },
+			result: { mode: 'strict', typeSymbol: 'sage-mem/types#AutodreamSnapshotList', schema: snapshotListSchema, create: () => snapshotListSchema },
+			sourceLocation: { "file": "workspace/sage-mem/lib/index.js", "line": 1, "column": 1 },
+		},
+		{
+			id: 'sage-mem#autodream/listRuns',
+			service: 'autodream',
+			namespace: 'autodream',
+			method: 'listRuns',
+			invocation: { kind: 'direct' },
+			parameters: [
+				{ name: 'opts', wire: 'opts', source: 'json', codec: { mode: 'strict', typeSymbol: 'sage-mem/types#AutodreamOpts', schema: autodreamOptsSchema, create: () => autodreamOptsSchema } },
+			],
+			result: { mode: 'strict', typeSymbol: 'sage-mem/types#AutodreamRunList', schema: runListSchema, create: () => runListSchema },
+			sourceLocation: { "file": "workspace/sage-mem/lib/index.js", "line": 1, "column": 1 },
+		},
+		{
+			id: 'sage-mem#autodream/readDeclaration',
+			service: 'autodream',
+			namespace: 'autodream',
+			method: 'readDeclaration',
+			invocation: { kind: 'direct' },
+			parameters: [
+				{ name: 'opts', wire: 'opts', source: 'json', codec: { mode: 'strict', typeSymbol: 'sage-mem/types#AutodreamOpts', schema: autodreamOptsSchema, create: () => autodreamOptsSchema } },
+			],
+			result: { mode: 'strict', typeSymbol: 'sage-mem/types#AutodreamDeclaration', schema: declarationSchema, create: () => declarationSchema },
+			sourceLocation: { "file": "workspace/sage-mem/lib/index.js", "line": 1, "column": 1 },
+		},
+		{
+			id: 'sage-mem#autodream/rollback',
+			service: 'autodream',
+			namespace: 'autodream',
+			method: 'rollback',
+			invocation: { kind: 'direct' },
+			parameters: [
+				{ name: 'opts', wire: 'opts', source: 'json', codec: { mode: 'strict', typeSymbol: 'sage-mem/types#AutodreamOpts', schema: autodreamOptsSchema, create: () => autodreamOptsSchema } },
+			],
+			result: { mode: 'strict', typeSymbol: 'sage-mem/types#AutodreamRollbackResult', schema: rollbackResultSchema, create: () => rollbackResultSchema },
+			sourceLocation: { "file": "workspace/sage-mem/lib/index.js", "line": 1, "column": 1 },
+		},
+		{
+			id: 'sage-mem#autodream/listModels',
+			service: 'autodream',
+			namespace: 'autodream',
+			method: 'listModels',
+			invocation: { kind: 'direct' },
+			parameters: [],
+			result: { mode: 'strict', typeSymbol: 'sage-mem/types#AutodreamModelList', schema: modelListSchema, create: () => modelListSchema },
 			sourceLocation: { "file": "workspace/sage-mem/lib/index.js", "line": 1, "column": 1 },
 		},
 	],

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "sage-mem",
-  "description": "File-based memory plugin for DeepSeek Harness (DSH) — cross-session memory in transparent markdown files, with a memory star-map view, type/tag filtering, and an optional dream pass that consolidates memories on demand or on a schedule",
-  "version": "0.6.4",
+  "description": "File-based memory plugin for DeepSeek Harness (DSH) — cross-session memory in plain markdown files, with a memory star-map view, type/tag filtering, retrieval aliases, and an optional autodream pass that consolidates memories on demand or on a schedule — with per-run rollback points, a per-file change declaration (what changed and why), and a separately selectable model for the consolidation pass",
+  "version": "0.7.0",
   "type": "module",
   "main": "lib/index.js",
   "exports": {
@@ -86,4 +86,4 @@
     "agent",
     "claude-code"
   ]
-}
+}