dsh-daoing-memory 0.1.6 → 0.1.8

package/lib/index.js

@@ -698,6 +698,40 @@ var MemoryStore = class {
 	countExperiencesSince(ts) {
 		return this.db.prepare("SELECT COUNT(*) AS n FROM experiences WHERE deleted = 0 AND created_at > ?").get(ts).n;
 	}
+	/** Last deletion-feedback summarization ts (0 = never). Stored in memory_meta. */
+	lastDeletionFeedbackTs() {
+		const row = this.db.prepare("SELECT value FROM memory_meta WHERE key = 'last_deletion_feedback_ts'").get();
+		return row ? Number(row.value) : 0;
+	}
+	/** Record the timestamp of a deletion-feedback summarization run. */
+	setLastDeletionFeedbackTs(ts) {
+		this.db.prepare("INSERT OR REPLACE INTO memory_meta (key, value) VALUES ('last_deletion_feedback_ts', ?)").run(String(ts));
+	}
+	/** Count experience deletions (ledger op='delete', objectType='experience') since a given ts. */
+	countDeletionsSince(ts) {
+		return this.db.prepare("SELECT COUNT(*) AS n FROM ledger WHERE op = 'delete' AND object_type = 'experience' AND ts > ?").get(ts).n;
+	}
+	/** Get the deletion ledger blocks since a given ts (for LLM summarization input). */
+	getDeletionRecordsSince(ts, limit = 50) {
+		return this.db.prepare("SELECT seq, ts, object_id, reason, payload FROM ledger WHERE op = 'delete' AND object_type = 'experience' AND ts > ? ORDER BY ts DESC LIMIT ?").all(ts, limit).map((r) => {
+			let gist = "";
+			try {
+				gist = JSON.parse(r.payload).gist ?? "";
+			} catch {}
+			return {
+				seq: r.seq,
+				ts: r.ts,
+				objectId: r.object_id,
+				reason: r.reason ?? "",
+				gist
+			};
+		});
+	}
+	/** Find the active (non-deleted) experience by family name. Returns the latest revision. */
+	findExperienceByFamily(family) {
+		const row = this.db.prepare("SELECT * FROM experiences WHERE family = ? AND deleted = 0 ORDER BY revision DESC LIMIT 1").get(family);
+		return row ? this.rowToExperience(row) : void 0;
+	}
 	/** Archive a set of experiences by family_id (leave recall; recoverable — never hard-deleted autonomously). */
 	archiveExperienceIds(ids, ts) {
 		const stmt = this.db.prepare(`UPDATE experiences SET status = ?, updated_at = ? WHERE family_id = ? AND deleted = 0 AND status IN ('candidate','live','challenged')`);
@@ -825,6 +859,25 @@ var MemoryStore = class {
 	}
 };
 //#endregion
+//#region lib/types/types.js
+/**
+* Memory system wire vocabulary: experience lifecycle, recall adjudication,
+* use reports with attribution, the diary/fact semantic layer, and the
+* append-only ledger. Types only — no runtime code.
+* @module dsh-daoing-memory/types
+*/
+/**
+* System-managed experience families that cannot be deleted by human operators
+* (only archived). The extraction-feedback family is auto-generated by the
+* daily deletion-reason summarizer and serves as negative guidance for future
+* memory extraction.
+*/
+const SYSTEM_EXPERIENCE_FAMILIES = new Set(["extraction-feedback"]);
+/** Check whether an experience family is system-managed (delete-protected). */
+function isSystemExperienceFamily(family) {
+	return SYSTEM_EXPERIENCE_FAMILIES.has(family);
+}
+//#endregion
 //#region lib/types/core.js
 /**
 * Memory core: the 生·用·修·记 mechanisms over the durable store. Pure and
@@ -869,7 +922,9 @@ const DEFAULT_CORE_CONFIG = {
 	candidateTrialTopK: 3,
 	candidateTrialFloorScore: .18,
 	consolidateEveryNew: 6,
-	consolidateIntervalHours: 24
+	consolidateIntervalHours: 24,
+	deletionFeedbackIntervalHours: 24,
+	deletionFeedbackMinDeletions: 3
 };
 /** Objective-evidence markers overriding a claimed experience-attributed failure. */
 const ENVIRONMENT_EVIDENCE_PATTERN = /network|timeout|timed out|EPERM|EACCES|ECONNREFUSED|ENOTFOUND|429|503|quota|rate.?limit|unauthorized|dns|proxy|网络|超时|断网|权限|配额|限流|服务不可用|服务繁忙/i;
@@ -912,7 +967,7 @@ function tokenOverlap(a, b) {
 	return hits / Math.sqrt(a.size * b.size);
 }
 /** The memory core: stateless over the injected store. */
-var MemoryCore = class {
+var MemoryCore = class MemoryCore {
 	store;
 	config;
 	/** @param store - the durable SQLite store. */
@@ -1543,6 +1598,8 @@ var MemoryCore = class {
 			rejected: [],
 			appliedConcerns: 0
 		};
+		const feedback = this.getDeletionFeedback();
+		if (feedback !== void 0) result.deletionFeedback = feedback.reasoning;
 		const now = Date.now();
 		const consumedDiary = /* @__PURE__ */ new Set();
 		for (const proposal of request.proposals) {
@@ -1863,6 +1920,100 @@ var MemoryCore = class {
 		}
 		return result;
 	}
+	/** Family id for the auto-generated extraction-feedback experience. */
+	static DELETION_FEEDBACK_FAMILY = "extraction-feedback";
+	/**
+	* Check whether a deletion-feedback summarization run is due.
+	* Conditions: enough new deletions since last run AND enough time elapsed.
+	* @returns { due, lastTs, newDeletions, hoursSince }
+	*/
+	deletionFeedbackDue() {
+		const lastTs = this.store.lastDeletionFeedbackTs();
+		const hoursSince = lastTs === 0 ? Infinity : (Date.now() - lastTs) / (3600 * 1e3);
+		const newDeletions = this.store.countDeletionsSince(lastTs);
+		const enoughDeletions = newDeletions >= this.config.deletionFeedbackMinDeletions;
+		const intervalPassed = hoursSince >= this.config.deletionFeedbackIntervalHours;
+		return {
+			due: enoughDeletions && intervalPassed,
+			lastTs,
+			newDeletions,
+			hoursSince
+		};
+	}
+	/**
+	* Apply an LLM-generated deletion-feedback summary as an extraction-feedback
+	* experience. If one already exists, it is revised in place (new revision);
+	* otherwise a new candidate experience is created.
+	* @param summary - the LLM-generated summary text (gist + reasoning).
+	* @param actor - who triggered the summarization ('system').
+	* @returns the upserted experience snapshot.
+	*/
+	applyDeletionFeedback(summary, actor) {
+		const now = Date.now();
+		const existing = this.store.findExperienceByFamily(MemoryCore.DELETION_FEEDBACK_FAMILY);
+		if (existing !== void 0) {
+			const next = {
+				...existing,
+				revision: existing.revision + 1,
+				gist: summary.slice(0, 200),
+				reasoning: summary,
+				status: "live",
+				updatedAt: now
+			};
+			this.store.upsertExperience(next);
+			this.ledger("revise", "experience", next.id, actor, {
+				revision: next.revision,
+				previousRevision: existing.revision
+			}, "deletion-feedback summarization");
+			return next;
+		}
+		const id = crypto.randomUUID();
+		const exp = {
+			id,
+			familyId: id,
+			revision: 1,
+			kind: "positive",
+			source: "system",
+			family: MemoryCore.DELETION_FEEDBACK_FAMILY,
+			gist: summary.slice(0, 200),
+			situation: ["memory_extract 提炼新记忆时，参考此经验避免重复提取已被用户否定的类型"],
+			path: [{
+				order: 1,
+				action: "读取此经验的 reasoning 字段，了解哪些类型的记忆曾被用户删除及原因"
+			}, {
+				order: 2,
+				action: "提炼时避开这些类型，优先提取用户认可的记忆模式"
+			}],
+			reasoning: summary,
+			limits: ["此经验由系统自动生成，禁止人工删除（只能归档）", "内容会随删除记录增多而定期更新"],
+			status: "live",
+			alpha: 5,
+			beta: 2,
+			pinned: false,
+			tokensSaved: 0,
+			tokensSpent: 0,
+			context: "",
+			globalFlag: true,
+			verifiedCount: 0,
+			rejectCount: 0,
+			createdAt: now,
+			updatedAt: now
+		};
+		this.store.upsertExperience(exp);
+		this.ledger("refine", "experience", exp.id, actor, {
+			family: exp.family,
+			status: exp.status
+		}, "deletion-feedback summarization (initial)");
+		this.store.setLastDeletionFeedbackTs(now);
+		return exp;
+	}
+	/**
+	* Get the current extraction-feedback experience (if any) for injection into
+	* the extraction prompt.
+	*/
+	getDeletionFeedback() {
+		return this.store.findExperienceByFamily(MemoryCore.DELETION_FEEDBACK_FAMILY);
+	}
 	/** Human pin/unpin: pinned cards keep the trust floor and escape budgets. */
 	humanPin(request, actor) {
 		const current = this.store.getActiveRevision(request.id);
@@ -1881,6 +2032,7 @@ var MemoryCore = class {
 		const familyRows = this.store.getFamily(request.id);
 		if (familyRows.length === 0) throw new Error(`memory: experience not found: ${request.id}`);
 		const head = familyRows[familyRows.length - 1];
+		if (isSystemExperienceFamily(head.family)) throw new Error(`memory: system experience "${head.family}" cannot be deleted (only archived). Use the archive action to remove it from active recall while preserving the audit trail.`);
 		this.store.deleteFamily(request.id);
 		this.ledger("delete", "experience", request.id, actor, {
 			gist: head.gist,
@@ -1888,6 +2040,27 @@ var MemoryCore = class {
 			revisions: familyRows.length
 		}, request.reason);
 	}
+	/**
+	* Human archive: move an experience to archived status. Unlike delete, the
+	* data is preserved (recoverable via deep lookup) but removed from active
+	* recall. This is the only way to retire system-managed experiences
+	* (e.g. extraction-feedback).
+	*/
+	humanArchiveExperience(request, actor) {
+		const current = this.store.getActiveRevision(request.id);
+		if (current === void 0) throw new Error(`memory: experience not found: ${request.id}`);
+		if (current.status === "archived") return;
+		this.store.upsertExperience({
+			...current,
+			status: "archived",
+			updatedAt: Date.now()
+		});
+		this.ledger("archive", "experience", request.id, actor, {
+			gist: current.gist,
+			family: current.family,
+			previousStatus: current.status
+		}, request.reason);
+	}
 	/** Human edit: rewrite fields of the active revision in place. */
 	humanEditExperience(request, actor) {
 		const current = this.store.getActiveRevision(request.id);
@@ -2300,6 +2473,8 @@ let MemoryService = (() => {
 	let _family_decorators;
 	let _appendDiary_decorators;
 	let _extract_decorators;
+	let _runDeletionFeedback_decorators;
+	let _getDeletionFeedback_decorators;
 	let _listDiary_decorators;
 	let _getDiaryByIds_decorators;
 	let _listFacts_decorators;
@@ -2318,6 +2493,7 @@ let MemoryService = (() => {
 	let _exportLibrary_decorators;
 	let _humanPin_decorators;
 	let _humanDeleteExperience_decorators;
+	let _humanArchiveExperience_decorators;
 	let _humanEditExperience_decorators;
 	let _humanAddExperience_decorators;
 	let _humanPromote_decorators;
@@ -2345,6 +2521,8 @@ let MemoryService = (() => {
 			_family_decorators = [Remote("family")];
 			_appendDiary_decorators = [Remote("appendDiary")];
 			_extract_decorators = [Remote("extract")];
+			_runDeletionFeedback_decorators = [Remote("runDeletionFeedback")];
+			_getDeletionFeedback_decorators = [Remote("getDeletionFeedback")];
 			_listDiary_decorators = [Remote("listDiary")];
 			_getDiaryByIds_decorators = [Remote("getDiaryByIds")];
 			_listFacts_decorators = [Remote("listFacts")];
@@ -2363,6 +2541,7 @@ let MemoryService = (() => {
 			_exportLibrary_decorators = [Remote("exportLibrary")];
 			_humanPin_decorators = [Remote("humanPin")];
 			_humanDeleteExperience_decorators = [Remote("humanDeleteExperience")];
+			_humanArchiveExperience_decorators = [Remote("humanArchiveExperience")];
 			_humanEditExperience_decorators = [Remote("humanEditExperience")];
 			_humanAddExperience_decorators = [Remote("humanAddExperience")];
 			_humanPromote_decorators = [Remote("humanPromote")];
@@ -2507,6 +2686,28 @@ let MemoryService = (() => {
 				},
 				metadata: _metadata
 			}, null, _instanceExtraInitializers);
+			__esDecorate(this, null, _runDeletionFeedback_decorators, {
+				kind: "method",
+				name: "runDeletionFeedback",
+				static: false,
+				private: false,
+				access: {
+					has: (obj) => "runDeletionFeedback" in obj,
+					get: (obj) => obj.runDeletionFeedback
+				},
+				metadata: _metadata
+			}, null, _instanceExtraInitializers);
+			__esDecorate(this, null, _getDeletionFeedback_decorators, {
+				kind: "method",
+				name: "getDeletionFeedback",
+				static: false,
+				private: false,
+				access: {
+					has: (obj) => "getDeletionFeedback" in obj,
+					get: (obj) => obj.getDeletionFeedback
+				},
+				metadata: _metadata
+			}, null, _instanceExtraInitializers);
 			__esDecorate(this, null, _listDiary_decorators, {
 				kind: "method",
 				name: "listDiary",
@@ -2705,6 +2906,17 @@ let MemoryService = (() => {
 				},
 				metadata: _metadata
 			}, null, _instanceExtraInitializers);
+			__esDecorate(this, null, _humanArchiveExperience_decorators, {
+				kind: "method",
+				name: "humanArchiveExperience",
+				static: false,
+				private: false,
+				access: {
+					has: (obj) => "humanArchiveExperience" in obj,
+					get: (obj) => obj.humanArchiveExperience
+				},
+				metadata: _metadata
+			}, null, _instanceExtraInitializers);
 			__esDecorate(this, null, _humanEditExperience_decorators, {
 				kind: "method",
 				name: "humanEditExperience",
@@ -2899,9 +3111,95 @@ let MemoryService = (() => {
 			return this.core.appendDiary(request, actorOf(agent));
 		}
 		/** 上升通道: apply extracted facts over the pending diary window. */
-		extract(agent, request) {
+		async extract(agent, request) {
+			await this.maybeRunDeletionFeedbackSummarization(agent);
 			return this.core.extract(request, actorOf(agent), "manual");
 		}
+		/**
+		* Check if deletion-feedback summarization is due and run it if so.
+		* Uses the agent's current model route for the LLM call.
+		*/
+		async maybeRunDeletionFeedbackSummarization(agent) {
+			const check = this.core.deletionFeedbackDue();
+			if (!check.due) return;
+			try {
+				const records = this.core["store"].getDeletionRecordsSince(check.lastTs, 50);
+				if (records.length === 0) return;
+				const summary = await this.summarizeDeletionsWithLlm(agent, records);
+				if (summary.length > 0) this.core.applyDeletionFeedback(summary, "system");
+			} catch {}
+		}
+		/**
+		* Call the LLM to summarize deletion records into extraction feedback rules.
+		* Uses ctx.llm.stream() with the agent's current model route.
+		*/
+		async summarizeDeletionsWithLlm(agent, records) {
+			const header = agent.session.requestHeader()?.config;
+			if (header === void 0) return "";
+			const provider = header.provider;
+			const model = header.model;
+			if (provider === void 0 || model === void 0) return "";
+			const deletionList = records.map((r, i) => `${i + 1}. [${new Date(r.ts).toLocaleDateString("zh-CN")}] 删除的经验：「${r.gist.slice(0, 80)}」\n   原因：${r.reason || "（未填写）"}`).join("\n\n");
+			const systemPrompt = `你是一个记忆系统的反馈分析器。你的任务是分析用户删除记忆时填写的原因，总结出"什么类型的记忆不值得提取"的规则。
+
+输出要求：
+1. 用简洁的中文列出 3-5 条规则
+2. 每条规则说明：什么类型的记忆应该避免提取，以及为什么
+3. 规则要具体可操作，不要泛泛而谈
+4. 如果删除原因都很相似，合并为更精炼的规则`;
+			const messages = [{
+				role: "user",
+				content: [{
+					type: "text",
+					text: `以下是近期被用户删除的记忆及其删除原因：
+
+${deletionList}
+
+请总结成提取反馈规则。`
+				}]
+			}];
+			let text = "";
+			const options = {
+				provider,
+				model,
+				messages,
+				system: systemPrompt,
+				maxTokens: 1500,
+				sessionId: agent.session.id
+			};
+			for await (const chunk of this.ctx.llm.stream(options)) if (chunk.type === "text-delta") text += chunk.text;
+			return text.trim();
+		}
+		/**
+		* Remote: manually trigger deletion-feedback summarization (for testing/debugging).
+		*/
+		async runDeletionFeedback(agent) {
+			const check = this.core.deletionFeedbackDue();
+			const records = this.core["store"].getDeletionRecordsSince(check.lastTs, 50);
+			if (records.length === 0) return { ran: false };
+			try {
+				const summary = await this.summarizeDeletionsWithLlm(agent, records);
+				if (summary.length > 0) {
+					this.core.applyDeletionFeedback(summary, "system");
+					return {
+						ran: true,
+						summary
+					};
+				}
+				return { ran: false };
+			} catch (e) {
+				return {
+					ran: false,
+					summary: String(e)
+				};
+			}
+		}
+		/**
+		* Remote: get the current deletion-feedback experience (for debugging).
+		*/
+		getDeletionFeedback(agent) {
+			return this.core.getDeletionFeedback() ?? null;
+		}
 		/** Diary timeline for the workbench (007 §2: server-side pagination, newest first). */
 		listDiary(agent, limit, offset, onlyUnextracted) {
 			return this.core.listDiary(limit, offset, onlyUnextracted);
@@ -2987,6 +3285,11 @@ let MemoryService = (() => {
 			this.core.humanDeleteExperience(request, "human");
 			return { deleted: true };
 		}
+		/** Human archive (move to archived status; preserves data, removes from recall). */
+		humanArchiveExperience(agent, request) {
+			this.core.humanArchiveExperience(request, "human");
+			return { archived: true };
+		}
 		/** Human edit of the active revision. */
 		humanEditExperience(agent, request) {
 			return this.core.humanEditExperience(request, "human");
@@ -3070,7 +3373,9 @@ function resolveConfig(config) {
 		"complexityStepGate",
 		"duplicateOverlapGate",
 		"recallFloorScore",
-		"shadowPassRate"
+		"shadowPassRate",
+		"deletionFeedbackIntervalHours",
+		"deletionFeedbackMinDeletions"
 	];
 	const unknown = Object.keys(config).filter((key) => !known.includes(key));
 	if (unknown.length > 0) throw new Error(`memory: unknown config key(s) ${unknown.join(", ")}`);
@@ -3090,7 +3395,9 @@ function resolveConfig(config) {
 		complexityStepGate: config.complexityStepGate ?? DEFAULT_CORE_CONFIG.complexityStepGate,
 		duplicateOverlapGate: config.duplicateOverlapGate ?? DEFAULT_CORE_CONFIG.duplicateOverlapGate,
 		recallFloorScore: config.recallFloorScore ?? DEFAULT_CORE_CONFIG.recallFloorScore,
-		shadowPassRate: config.shadowPassRate ?? DEFAULT_CORE_CONFIG.shadowPassRate
+		shadowPassRate: config.shadowPassRate ?? DEFAULT_CORE_CONFIG.shadowPassRate,
+		deletionFeedbackIntervalHours: config.deletionFeedbackIntervalHours ?? DEFAULT_CORE_CONFIG.deletionFeedbackIntervalHours,
+		deletionFeedbackMinDeletions: config.deletionFeedbackMinDeletions ?? DEFAULT_CORE_CONFIG.deletionFeedbackMinDeletions
 	};
 }
 /**
@@ -3115,7 +3422,9 @@ function apply(ctx, config = {}) {
 		complexityStepGate: resolved.complexityStepGate,
 		duplicateOverlapGate: resolved.duplicateOverlapGate,
 		recallFloorScore: resolved.recallFloorScore,
-		shadowPassRate: resolved.shadowPassRate
+		shadowPassRate: resolved.shadowPassRate,
+		deletionFeedbackIntervalHours: resolved.deletionFeedbackIntervalHours,
+		deletionFeedbackMinDeletions: resolved.deletionFeedbackMinDeletions
 	};
 	mkdirSync(join(resolved.databasePath, ".."), { recursive: true });
 	const db = new DatabaseSync(resolved.databasePath);