dsh-continual-evolve 0.6.0 → 0.7.0

package/lib/state.js

@@ -20,7 +20,7 @@ export function stateFilePath(stateDir) {
     return join(stateDir, "harness_state.json");
 }
 function normalizeScope(value, fallback) {
-    return value === "global" || value === "local" ? value : fallback;
+    return value === "global" || value === "project" || value === "local" ? value : fallback;
 }
 function objectRecord(value) {
     if (typeof value !== "object" || value === null || Array.isArray(value)) {
@@ -95,24 +95,31 @@ export function loadHarnessState(stateDir, scope = "global") {
     return state;
 }
 /**
- * Merge global and local state into the view the model sees. Local entries
- * win over same-id global entries; a colliding local id is prefixed
- * `local:` so both remain addressable.
+ * Merge global, project, and local state into the view the model sees.
+ * Precedence is global < project < local: a colliding project id is
+ * prefixed `project:` so both remain addressable, and a colliding local id
+ * is prefixed `local:` (local always wins — it is the session's live
+ * staging copy). Called with two args the project layer is simply absent.
  */
-export function mergeHarnessStates(globalState, localState) {
+export function mergeHarnessStates(globalState, localState, opts) {
     const merged = emptyHarnessState();
-    merged.schema = Math.max(globalState.schema, localState?.schema ?? 1);
+    merged.schema = Math.max(globalState.schema, opts?.projectState?.schema ?? 1, localState?.schema ?? 1);
     for (const kind of Object.keys(merged.entries)) {
         for (const [id, entry] of Object.entries(globalState.entries[kind])) {
             merged.entries[kind][id] = { ...entry, scope: "global" };
         }
+        for (const [id, entry] of Object.entries(opts?.projectState?.entries[kind] ?? {})) {
+            const scoped = { ...entry, scope: "project" };
+            const mergedId = merged.entries[kind][id] ? `project:${id}` : id;
+            merged.entries[kind][mergedId] = scoped;
+        }
         for (const [id, entry] of Object.entries(localState?.entries[kind] ?? {})) {
             const scoped = { ...entry, scope: "local" };
             const mergedId = merged.entries[kind][id] ? `local:${id}` : id;
             merged.entries[kind][mergedId] = scoped;
         }
     }
-    merged.refinements = [...globalState.refinements, ...(localState?.refinements ?? [])];
+    merged.refinements = [...globalState.refinements, ...(opts?.projectState?.refinements ?? []), ...(localState?.refinements ?? [])];
     return merged;
 }
 /**

package/lib/store.d.ts

@@ -8,6 +8,12 @@ export interface StorePaths {
     /** JSONL path for applied refinement results. */
     resultsPath: string;
 }
+/**
+ * Resolve store paths for a scope. For `project` the `sessionId` parameter
+ * carries the project key (see {@link resolveProjectKey} in project.ts) —
+ * it is sanitized to a single path segment so an externally supplied key
+ * can never traverse out of `evolve/projects/`.
+ */
 export declare function storePaths(baseDir: string, scope: HarnessScope, sessionId?: string): StorePaths;
 /** Snapshot the current state file before a mutation, if one exists. */
 export declare function snapshotBefore(paths: StorePaths, refinementId: string): void;

package/lib/store.js

@@ -4,9 +4,10 @@
  * Layout (self-contained under the DSH home; no dependency on session
  * persistence internals):
  *
- *   <dshHome>/evolve/global/harness_state.json    cross-session store
+ *   <dshHome>/evolve/global/harness_state.json    cross-project store
  *   <dshHome>/evolve/global/refinements.jsonl     applied results (rollback source)
- *   <dshHome>/evolve/local/<sessionId>/...        per-session store
+ *   <dshHome>/evolve/projects/<slug-hash>/...     per-project store
+ *   <dshHome>/evolve/local/<sessionId>/...        per-session staging store
  *
  * Snapshot discipline is code-enforced: before any mutating apply, the
  * pre-apply state is copied to `snapshots/<refinementId>.json`. The model has
@@ -14,10 +15,17 @@
  */
 import { existsSync, mkdirSync, readFileSync, writeFileSync } from "node:fs";
 import { join } from "node:path";
+import { sanitizeProjectKey } from "./project.js";
 import { stateFilePath } from "./state.js";
 export const EVOLVE_DIR = "evolve";
+/**
+ * Resolve store paths for a scope. For `project` the `sessionId` parameter
+ * carries the project key (see {@link resolveProjectKey} in project.ts) —
+ * it is sanitized to a single path segment so an externally supplied key
+ * can never traverse out of `evolve/projects/`.
+ */
 export function storePaths(baseDir, scope, sessionId) {
-    const scopeDir = scope === "global" ? "global" : join("local", sessionId ?? "anonymous");
+    const scopeDir = scope === "global" ? "global" : scope === "project" ? join("projects", sanitizeProjectKey(sessionId ?? "project")) : join("local", sessionId ?? "anonymous");
     const stateDir = join(baseDir, EVOLVE_DIR, scopeDir);
     return {
         stateDir,

package/lib/tool.d.ts

@@ -6,7 +6,10 @@
 import type { Context } from "@deepseek-ai/cordis";
 import type { HarnessScope } from "./types.js";
 import type { EvolutionEngine } from "./service.js";
-/** Accept both the boolean tool parameter (`global: true`) and the string form. */
+/**
+ * Accept the string form (`scope: "project"`) with the legacy boolean tool
+ * parameter (`global: true`) as fallback. `scope` wins when both are given.
+ */
 export declare function scopeOf(value: unknown, fallback: HarnessScope): HarnessScope;
 export interface ToolGateOptions {
     requireGlobalApproval: boolean;

package/lib/tool.js

@@ -1,31 +1,68 @@
 import { defineTool } from "@deepseek-ai/dsh-tools";
+import { MEMORY_TYPE_KEY } from "./types.js";
+import { projectKeyOf } from "./project.js";
 import { formatHarnessStateForPrompt } from "./render.js";
 import { requireGlobalApproval } from "./approval.js";
 import { CONFLICT_WARN_SCORE, buildConflictNotice, mostSimilarEntry } from "./promotion.js";
 import { entrySourceOf } from "./source.js";
 import { getUsageCount, loadUsage } from "./usage.js";
 import { buildEvolveCompleteEvent, emitEvolveComplete } from "./evolve-event.js";
-const SCOPES = ["local", "global"];
-/** Accept both the boolean tool parameter (`global: true`) and the string form. */
+const SCOPES = ["local", "project", "global"];
+/**
+ * Accept the string form (`scope: "project"`) with the legacy boolean tool
+ * parameter (`global: true`) as fallback. `scope` wins when both are given.
+ */
 export function scopeOf(value, fallback) {
-    return value === "global" || value === true ? "global" : fallback;
+    if (value === "global" || value === true) {
+        return "global";
+    }
+    if (value === "project") {
+        return "project";
+    }
+    return fallback;
 }
 /** The calling agent's session id; tools always run inside an agent scope. */
 function sessionIdOf(exec) {
     return exec.agent?.id;
 }
+/**
+ * The store id a scope reads/writes: session id for local, derived project
+ * key for project, undefined for global. Throws for project when the
+ * session cwd is unavailable — fail loud instead of writing local-by-mistake.
+ */
+function storeIdFor(scope, exec) {
+    if (scope === "local") {
+        return sessionIdOf(exec);
+    }
+    if (scope === "project") {
+        const key = projectKeyOf(exec.agent);
+        if (!key) {
+            throw new Error("project scope needs the session cwd (unavailable for this agent) — use local or global instead");
+        }
+        return key;
+    }
+    return undefined;
+}
+/** Human-approval gate shared by global and project writes (both cross-session). */
+function needsApproval(scope) {
+    return scope === "global" || scope === "project";
+}
+/** Store label used in approval prompts. */
+function storeLabel(scope) {
+    return scope === "project" ? "本项目跨会话 store" : "跨会话全局 store";
+}
 function textResult(text) {
     return { text };
 }
 export function registerEvolveTools(ctx, engine, opts) {
     ctx.tools.register(defineTool({
         name: "evolve_list",
-        description: "List the continual harness state (prompt notes, memories, skills, subagent specs) for the current session (local) or across sessions (global).",
+        description: "List the continual harness state (prompt notes, memories, skills, subagent specs) for the current session (local), the current project (project), or across projects (global).",
         parameters: {
             scope: {
                 type: "string",
                 enum: SCOPES,
-                description: "Which store to list: 'local' (default) or 'global'.",
+                description: "Which store to list: 'local' (default), 'project', or 'global'.",
             },
         },
         output: {
@@ -34,7 +71,7 @@ export function registerEvolveTools(ctx, engine, opts) {
         },
         execute: async (args, exec) => {
             const scope = scopeOf(args.scope, "local");
-            const state = engine.load(scope, sessionIdOf(exec));
+            const state = engine.load(scope, storeIdFor(scope, exec));
             const text = formatHarnessStateForPrompt(state);
             // Append injection usage counts (gap B1).
             const usage = loadUsage(engine.baseDir);
@@ -64,6 +101,8 @@ export function registerEvolveTools(ctx, engine, opts) {
             skill_kind: { type: "string", enum: ["executable", "guidance"], description: "For skills: executable (python reference, default) or guidance (SKILL.md document, no reference)." },
             reference: { type: "object", additionalProperties: true, description: "For executable skills: {type:'python', import, callable}." },
             arguments: { type: "object", additionalProperties: true, description: "For executable skills: accepted input contract." },
+            memoryType: { type: "string", enum: ["user", "feedback", "project", "reference"], description: "Required for memory: one fact per entry (feedback/project must carry Why + How to apply)." },
+            scope: { type: "string", enum: SCOPES, description: "Target store: 'local' (default), 'project', or 'global'. Wins over the legacy global flag." },
             global: { type: "boolean", description: "Set true to write the cross-session store (requires human approval; only for durable, reusable lessons)." },
         },
         output: {
@@ -71,15 +110,18 @@ export function registerEvolveTools(ctx, engine, opts) {
             render: (_args, value) => [{ type: "text", text: value.text ?? "" }],
         },
         execute: async (args, exec) => {
-            const scope = scopeOf(args.global, "local");
-            if (scope === "global" && opts.requireGlobalApproval) {
+            const scope = scopeOf(args.scope ?? args.global, "local");
+            // Resolve first: a project scope without a session cwd fails
+            // here, before any human approval question is asked.
+            const storeId = storeIdFor(scope, exec);
+            if (needsApproval(scope) && opts.requireGlobalApproval) {
                 // Informed approval: surface a similarity hit against the
-                // existing global store BEFORE the human decides — the
-                // engine's write-time guard still has the final say.
-                const globalState = engine.load("global", undefined);
-                const hit = mostSimilarEntry(Object.values(globalState.entries[args.kind]), args.title ?? "", args.content ?? "", CONFLICT_WARN_SCORE);
+                // target store BEFORE the human decides — the engine's
+                // write-time guard still has the final say.
+                const targetState = engine.load(scope, storeId);
+                const hit = mostSimilarEntry(Object.values(targetState.entries[args.kind]), args.title ?? "", args.content ?? "", CONFLICT_WARN_SCORE);
                 const conflictNote = hit ? ` ⚠️ ${buildConflictNotice(hit)}——建议改用 evolve_update` : "";
-                await requireGlobalApproval(ctx, exec.agent, exec.signal, `evolve_add ${args.kind} "${args.title}" → 跨会话全局 store${conflictNote}`);
+                await requireGlobalApproval(ctx, exec.agent, exec.signal, `evolve_add ${args.kind} "${args.title}" → ${storeLabel(scope)}${conflictNote}`);
             }
             const edit = {
                 action: "create",
@@ -95,7 +137,10 @@ export function registerEvolveTools(ctx, engine, opts) {
                 edit.reference = args.reference;
             if (args.arguments !== undefined)
                 edit.arguments = args.arguments;
-            return textResult(applyEditsText(engine, scope, sessionIdOf(exec), [edit], exec.agent));
+            if (args.kind === "memory" && args.memoryType !== undefined) {
+                edit.metadata = { [MEMORY_TYPE_KEY]: args.memoryType };
+            }
+            return textResult(applyEditsText(engine, scope, storeId, [edit], exec.agent, sessionIdOf(exec)));
         },
     }));
     ctx.tools.register(defineTool({
@@ -106,6 +151,8 @@ export function registerEvolveTools(ctx, engine, opts) {
             id: { type: "string", required: true, description: "Existing entry id." },
             title: { type: "string" },
             content: { type: "string" },
+            memoryType: { type: "string", enum: ["user", "feedback", "project", "reference"], description: "For memory: (re)classify the entry's recall type." },
+            scope: { type: "string", enum: SCOPES, description: "Target store: 'local' (default), 'project', or 'global'. Wins over the legacy global flag." },
             global: { type: "boolean", description: "Set true to edit the cross-session store (requires human approval)." },
         },
         output: {
@@ -113,16 +160,19 @@ export function registerEvolveTools(ctx, engine, opts) {
             render: (_args, value) => [{ type: "text", text: value.text ?? "" }],
         },
         execute: async (args, exec) => {
-            const scope = scopeOf(args.global, "local");
-            if (scope === "global" && opts.requireGlobalApproval) {
-                await requireGlobalApproval(ctx, exec.agent, exec.signal, `evolve_update ${args.kind}:${args.id} → 跨会话全局 store`);
+            const scope = scopeOf(args.scope ?? args.global, "local");
+            const storeId = storeIdFor(scope, exec);
+            if (needsApproval(scope) && opts.requireGlobalApproval) {
+                await requireGlobalApproval(ctx, exec.agent, exec.signal, `evolve_update ${args.kind}:${args.id} → ${storeLabel(scope)}`);
             }
             const edit = { action: "update", kind: args.kind, id: args.id };
             if (args.title !== undefined)
                 edit.title = args.title;
             if (args.content !== undefined)
                 edit.content = args.content;
-            return textResult(applyEditsText(engine, scope, sessionIdOf(exec), [edit], exec.agent));
+            if (args.memoryType !== undefined)
+                edit.metadata = { [MEMORY_TYPE_KEY]: args.memoryType };
+            return textResult(applyEditsText(engine, scope, storeId, [edit], exec.agent, sessionIdOf(exec)));
         },
     }));
     ctx.tools.register(defineTool({
@@ -131,6 +181,7 @@ export function registerEvolveTools(ctx, engine, opts) {
         parameters: {
             kind: { type: "string", enum: ["prompt", "memory", "skill", "subagent"], required: true },
             id: { type: "string", required: true },
+            scope: { type: "string", enum: SCOPES, description: "Target store: 'local' (default), 'project', or 'global'. Wins over the legacy global flag." },
             global: { type: "boolean", description: "Set true to edit the cross-session store (requires human approval)." },
         },
         output: {
@@ -138,12 +189,13 @@ export function registerEvolveTools(ctx, engine, opts) {
             render: (_args, value) => [{ type: "text", text: value.text ?? "" }],
         },
         execute: async (args, exec) => {
-            const scope = scopeOf(args.global, "local");
-            if (scope === "global" && opts.requireGlobalApproval) {
-                await requireGlobalApproval(ctx, exec.agent, exec.signal, `evolve_delete ${args.kind}:${args.id} → 跨会话全局 store`);
+            const scope = scopeOf(args.scope ?? args.global, "local");
+            const storeId = storeIdFor(scope, exec);
+            if (needsApproval(scope) && opts.requireGlobalApproval) {
+                await requireGlobalApproval(ctx, exec.agent, exec.signal, `evolve_delete ${args.kind}:${args.id} → ${storeLabel(scope)}`);
             }
             const edit = { action: "delete", kind: args.kind, id: args.id };
-            return textResult(applyEditsText(engine, scope, sessionIdOf(exec), [edit], exec.agent));
+            return textResult(applyEditsText(engine, scope, storeId, [edit], exec.agent, sessionIdOf(exec)));
         },
     }));
     ctx.tools.register(defineTool({
@@ -151,6 +203,7 @@ export function registerEvolveTools(ctx, engine, opts) {
         description: "Deterministically revert a previous refinement by its id (from evolve_list history or the /evolve command).",
         parameters: {
             refinementId: { type: "string", required: true, description: "The refinement id to roll back." },
+            scope: { type: "string", enum: SCOPES, description: "Target store: 'local' (default), 'project', or 'global'. Wins over the legacy global flag." },
             global: { type: "boolean", description: "Set true to roll back a cross-session refinement." },
         },
         output: {
@@ -158,14 +211,14 @@ export function registerEvolveTools(ctx, engine, opts) {
             render: (_args, value) => [{ type: "text", text: value.text ?? "" }],
         },
         execute: async (args, exec) => {
-            const scope = scopeOf(args.global, "local");
-            const result = engine.rollback(scope, sessionIdOf(exec), args.refinementId);
+            const scope = scopeOf(args.scope ?? args.global, "local");
+            const result = engine.rollback(scope, storeIdFor(scope, exec), args.refinementId);
             return textResult(`Rolled back ${result.rollbackOf ?? result.id}: ${result.appliedEdits.filter((e) => e.applied).length} edit(s) reverted.`);
         },
     }));
 }
-function applyEditsText(engine, scope, sessionId, edits, agent) {
-    const result = engine.apply(scope, sessionId, {
+function applyEditsText(engine, scope, storeId, edits, agent, eventSessionId) {
+    const result = engine.apply(scope, storeId, {
         summary: "Direct tool edit",
         rationale: "Model-invoked single edit via evolve_* tool.",
         expectedOutcome: "Entry is created, updated, or deleted as requested.",
@@ -173,14 +226,16 @@ function applyEditsText(engine, scope, sessionId, edits, agent) {
     }, agent
         ? {
             scope,
-            ...(entrySourceOf(agent, sessionId) ? { source: entrySourceOf(agent, sessionId) } : {}),
+            ...(entrySourceOf(agent, eventSessionId ?? storeId) ? { source: entrySourceOf(agent, eventSessionId ?? storeId) } : {}),
         }
         : { scope });
     const applied = result.appliedEdits.filter((e) => e.applied);
     const failed = result.appliedEdits.filter((e) => !e.applied);
     // Gap C4: emit structured evolve_complete event for third-party consumers.
-    if (applied.length > 0 && sessionId) {
-        emitEvolveComplete(engine.baseDir, buildEvolveCompleteEvent(result, "manual_tool", sessionId));
+    // The event keys on the live session (not the project store key).
+    const eventSession = eventSessionId ?? storeId;
+    if (applied.length > 0 && eventSession) {
+        emitEvolveComplete(engine.baseDir, buildEvolveCompleteEvent(result, "manual_tool", eventSession));
     }
     const lines = [`refinement ${result.id}: ${applied.length} applied, ${failed.length} failed`];
     for (const e of applied) {

package/lib/types.d.ts

@@ -20,8 +20,20 @@ export type RefinementKind = "prompt" | "memory" | "skill" | "subagent";
 export type SkillKind = "executable" | "guidance";
 /** How an entry changes. */
 export type RefinementAction = "create" | "update" | "delete" | "archive";
-/** Where an entry lives: session-scoped or cross-session. */
-export type HarnessScope = "local" | "global";
+/** Where an entry lives: session staging, one project, or cross-project. */
+export type HarnessScope = "local" | "project" | "global";
+/**
+ * Memory-entry shape discipline (one fact per entry, typed like ZCode's
+ * memory frontmatter): every `memory` create must stamp one of these in
+ * `metadata[MEMORY_TYPE_KEY]` — the recall hook the directory shows.
+ */
+export declare const MEMORY_TYPE_KEY = "memoryType";
+/** Closed memory-type set: user | feedback | project | reference. */
+export declare const MEMORY_TYPES: readonly ["user", "feedback", "project", "reference"];
+/** One of {@link MEMORY_TYPES}. */
+export type MemoryRecallType = (typeof MEMORY_TYPES)[number];
+/** True when the value is a closed-set memory type. */
+export declare function isMemoryType(value: unknown): value is MemoryRecallType;
 /**
  * Metadata key recording which session an entry's content was distilled from
  * (trajectory citation; see {@link EntrySource}).

package/lib/types.js

@@ -8,6 +8,18 @@
  * code here is an original implementation, written for the DeepSeek Harness
  * plugin surface.
  */
+/**
+ * Memory-entry shape discipline (one fact per entry, typed like ZCode's
+ * memory frontmatter): every `memory` create must stamp one of these in
+ * `metadata[MEMORY_TYPE_KEY]` — the recall hook the directory shows.
+ */
+export const MEMORY_TYPE_KEY = "memoryType";
+/** Closed memory-type set: user | feedback | project | reference. */
+export const MEMORY_TYPES = ["user", "feedback", "project", "reference"];
+/** True when the value is a closed-set memory type. */
+export function isMemoryType(value) {
+    return typeof value === "string" && MEMORY_TYPES.includes(value);
+}
 /**
  * Metadata key recording which session an entry's content was distilled from
  * (trajectory citation; see {@link EntrySource}).

package/lib/validate.js

@@ -1,3 +1,4 @@
+import { MEMORY_TYPE_KEY, isMemoryType } from "./types.js";
 import { validateSkillEntryContent } from "./skillquality.js";
 const ACTIONS = new Set(["create", "update", "delete", "archive"]);
 const KINDS = new Set(["prompt", "memory", "skill", "subagent"]);
@@ -18,6 +19,9 @@ export function validateBlastRadiusScope(scope, blastRadius) {
     if (scope === "global" && blastRadius === "session") {
         return "global-scope edit must declare blastRadius \"general\" or \"project\" (\"session\" contradicts cross-session persistence)";
     }
+    if (scope === "project" && blastRadius === "session") {
+        return "project-scope edit must declare blastRadius \"project\" or \"general\" (\"session\" contradicts cross-session persistence)";
+    }
     return undefined;
 }
 /**
@@ -71,6 +75,32 @@ export function validateEdit(edit, computedId, scope, before) {
         edit.arguments === undefined) {
         return "update carries no changes";
     }
+    if (edit.kind === "memory" && (edit.action === "create" || edit.action === "update")) {
+        // One-fact typed memories: every memory create declares its recall
+        // type; feedback/project (pitfalls, conventions) additionally carry
+        // the Why + How-to-apply structure so the fact is reusable, not just
+        // recorded. Updates are partial — only carried fields are checked,
+        // resolved against the persisted entry.
+        const carriedType = edit.metadata?.[MEMORY_TYPE_KEY];
+        if (edit.action === "create" && !isMemoryType(carriedType)) {
+            return `create memory requires metadata.${MEMORY_TYPE_KEY} one of user|feedback|project|reference (one fact per entry; update the existing entry instead of adding a duplicate)`;
+        }
+        if (carriedType !== undefined && !isMemoryType(carriedType)) {
+            return `invalid metadata.${MEMORY_TYPE_KEY} ${JSON.stringify(carriedType)} (one of user|feedback|project|reference)`;
+        }
+        const effectiveType = isMemoryType(carriedType)
+            ? carriedType
+            : edit.action === "update"
+                ? before?.metadata?.[MEMORY_TYPE_KEY]
+                : undefined;
+        if ((effectiveType === "feedback" || effectiveType === "project") &&
+            (edit.action === "create" || edit.content !== undefined)) {
+            const content = edit.content ?? "";
+            if (!/why/i.test(content) || !/how/i.test(content)) {
+                return `${effectiveType} memory content must carry a Why and a How to apply section (the fact plus why it matters and how to apply it next time)`;
+            }
+        }
+    }
     if (edit.action === "create" && edit.kind === "skill") {
         // Guidance skills are SKILL.md documents: no python reference (a
         // reference on a guidance skill would be an invented contract) and

package/lib/wrapup-command.js

@@ -34,7 +34,7 @@ export async function executeWrapupCommand(ctx, engine, invocation, policy = DEF
             splitSkipped.push({ key: item.key, reason: "not in the audited candidate list" });
             continue;
         }
-        const blocked = splitPromoteBlocked(item, globalState, candidate.kind, policy);
+        const blocked = splitPromoteBlocked(item, globalState, candidate.kind, policy, candidate.metadata);
         if (blocked) {
             splitSkipped.push({ key: item.key, reason: blocked });
             continue;

package/lib/wrapup.d.ts

@@ -199,7 +199,7 @@ export declare function splitArchiveGuards(items: readonly WrapupItem[], candida
  * too thin, no near-duplicate global entry. A blocked split is dropped (the
  * entry still archives plain) rather than half-promoting a redundancy.
  */
-export declare function splitPromoteBlocked(item: WrapupItem, globalState: HarnessState, kind: RefinementKind, policy?: PromotionPolicy): string | undefined;
+export declare function splitPromoteBlocked(item: WrapupItem, globalState: HarnessState, kind: RefinementKind, policy?: PromotionPolicy, candidateMetadata?: Record<string, unknown>): string | undefined;
 /**
  * Shared proposal builders for a WHOLE promotion — used by both the
  * `/evolve wrapup` command and the gate's local-fate dimension so the two
@@ -232,7 +232,7 @@ export declare function splitPromoteProposals(item: WrapupItem, candidate: Wrapu
  * injection). Undefined when nothing applies.
  */
 export declare function valenceStampProposal(item: WrapupItem, candidate: WrapupCandidate): RefinementProposal | undefined;
-export declare const WRAPUP_ASSESS_SYSTEM_PROMPT = "You are the /evolve session wrap-up assessor.\nA session is ending and its local harness entries need a fate. Classify each\nlisted entry exactly once:\n\n- \"promote\" \u2014 the content is a stable, durable, CROSS-SESSION reusable lesson:\n  a durable user preference, a project-level fact or convention, a reusable\n  procedure or skill. Future sessions would benefit from seeing it.\n- \"archive\" \u2014 the content is session-specific task progress, one-off noise,\n  superseded or obsolete, or already covered by the global store (note\n  \"covered globally\" in the reason), or stale (old + never injected \u2014 note\n  \"stale (injectionCount=0, recency low)\" in the reason), or CONTRADICTED \u2014\n  newer evidence in the trajectory or the global store disproves or overrides\n  the entry's content (note what contradicts it in the reason).\n- \"keep\" \u2014 still actively useful to this session, or genuinely uncertain.\n\nRules:\n- CONTRADICTED: when evidence contradicts an entry, set \"contradicted\": true\n  on that item (besides the verdict). Entries marked \"(contradicted N\u00D7\n  before)\" were contradicted in earlier assessments \u2014 prefer \"archive\" for\n  them unless you have concrete evidence the content is valid again.\n- When an entry is marked \"covered globally\" in the listing, prefer \"archive\"\n  or \"keep\" over \"promote\" \u2014 promoting a duplicate gains nothing.\n- When an entry is marked \"stale\" (injectionCount=0 and low recency), prefer\n  \"archive\" \u2014 the entry has never been used and is old, so it is unlikely to\n  be needed again. Only \"keep\" if the content is clearly valuable despite low\n  usage (e.g. a safety policy that rarely triggers but is critical).\n- Do not promote local task state, work-in-progress notes, or content tied to\n  one session's ephemeral details.\n- Skills: only \"promote\" a skill entry that is a genuinely reusable procedure\n  meeting the DSH skill quality standard; one-off workflows are \"archive\" or\n  \"keep\".\n- SPLIT PROMOTION: when an entry mixes a stable, cross-session-reusable part\n  WITH session-specific snapshot details, do NOT promote it whole. Instead\n  give verdict \"archive\" WITH a \"promote\" sub-object holding a CLEANED\n  version of only the durable part (a stable title + the persistent facts,\n  stripped of dates/states/one-off figures). Ephemeral snapshot content stays\n  out of the sub-object \u2014 it is left behind in the archive. A sub-object is\n  only meaningful on \"archive\" verdicts.\n\nReturn JSON only:\n{\n  \"rationale\": \"one or two sentences\",\n  \"items\": [\n    {\"key\": \"memory:foo\", \"verdict\": \"promote|archive|keep\", \"reason\": \"why\"},\n    {\"key\": \"memory:bar\", \"verdict\": \"archive\", \"reason\": \"why\", \"contradicted\": true,\n     \"promote\": {\"title\": \"cleaned stable title\", \"content\": \"cleaned durable part only\"}}\n  ]\n}\nOnly keys from the provided list are allowed; any entry you omit defaults to \"keep\".";
+export declare const WRAPUP_ASSESS_SYSTEM_PROMPT = "You are the /evolve session wrap-up assessor.\nA session is ending and its local harness entries need a fate. Classify each\nlisted entry exactly once:\n\n- \"promote\" \u2014 the content is a stable, durable, CROSS-SESSION reusable lesson:\n  a durable user preference, a project-level fact or convention, a reusable\n  procedure or skill. Future sessions would benefit from seeing it.\n- \"archive\" \u2014 the content is session-specific task progress, one-off noise,\n  superseded or obsolete, or already covered by the global store (note\n  \"covered globally\" in the reason), or stale (old + never injected \u2014 note\n  \"stale (injectionCount=0, recency low)\" in the reason), or CONTRADICTED \u2014\n  newer evidence in the trajectory or the global store disproves or overrides\n  the entry's content (note what contradicts it in the reason).\n- \"keep\" \u2014 still actively useful to this session, or genuinely uncertain.\n\nRules:\n- CONTRADICTED: when evidence contradicts an entry, set \"contradicted\": true\n  on that item (besides the verdict). Entries marked \"(contradicted N\u00D7\n  before)\" were contradicted in earlier assessments \u2014 prefer \"archive\" for\n  them unless you have concrete evidence the content is valid again.\n- When an entry is marked \"covered globally\" in the listing, prefer \"archive\"\n  or \"keep\" over \"promote\" \u2014 promoting a duplicate gains nothing.\n- When an entry is marked \"stale\" (injectionCount=0 and low recency), prefer\n  \"archive\" \u2014 the entry has never been used and is old, so it is unlikely to\n  be needed again. Only \"keep\" if the content is clearly valuable despite low\n  usage (e.g. a safety policy that rarely triggers but is critical).\n- Do not promote local task state, work-in-progress notes, or content tied to\n  one session's ephemeral details.\n- Memory entries carry a recall type (user/feedback/project/reference): a\n  memory WITHOUT one cannot be promoted (the guard skips it) \u2014 verdict such\n  entries \"keep\" (or \"archive\" when they qualify) rather than \"promote\".\n- Skills: only \"promote\" a skill entry that is a genuinely reusable procedure\n  meeting the DSH skill quality standard; one-off workflows are \"archive\" or\n  \"keep\".\n- SPLIT PROMOTION: when an entry mixes a stable, cross-session-reusable part\n  WITH session-specific snapshot details, do NOT promote it whole. Instead\n  give verdict \"archive\" WITH a \"promote\" sub-object holding a CLEANED\n  version of only the durable part (a stable title + the persistent facts,\n  stripped of dates/states/one-off figures). Ephemeral snapshot content stays\n  out of the sub-object \u2014 it is left behind in the archive. A sub-object is\n  only meaningful on \"archive\" verdicts.\n\nReturn JSON only:\n{\n  \"rationale\": \"one or two sentences\",\n  \"items\": [\n    {\"key\": \"memory:foo\", \"verdict\": \"promote|archive|keep\", \"reason\": \"why\"},\n    {\"key\": \"memory:bar\", \"verdict\": \"archive\", \"reason\": \"why\", \"contradicted\": true,\n     \"promote\": {\"title\": \"cleaned stable title\", \"content\": \"cleaned durable part only\"}}\n  ]\n}\nOnly keys from the provided list are allowed; any entry you omit defaults to \"keep\".";
 export interface AssessOptions {
     /** Output token budget for the assessment call. */
     maxOutputTokens?: number;

package/lib/wrapup.js

@@ -1,4 +1,5 @@
 import { ARCHIVED_AT_KEY, PROMOTED_AT_KEY, PROMOTED_TO_KEY, SOURCE_SEQS_KEY, SOURCE_SESSION_KEY, SOURCED_FROM_KEY, VALENCE_NEGATIVE_KEY, isArchived } from "./types.js";
+import { MEMORY_TYPE_KEY, isMemoryType } from "./types.js";
 import { extractJsonObject } from "./plan.js";
 import { compactText } from "./render.js";
 import { streamText } from "./llm-text.js";
@@ -190,6 +191,13 @@ export function filterPromotable(items, globalState, candidates, policy = DEFAUL
             skipped.push({ key: item.key, reason: "already covered globally" });
             continue;
         }
+        if (candidate.kind === "memory" && !isMemoryType(candidate.metadata[MEMORY_TYPE_KEY])) {
+            skipped.push({
+                key: item.key,
+                reason: `memory has no recall type (metadata.${MEMORY_TYPE_KEY} one of user|feedback|project|reference) — update the local entry to classify it first, then promote`,
+            });
+            continue;
+        }
         const scoped = projectScopedReason(`${candidate.title}\n${candidate.content}`, policy);
         if (scoped) {
             skipped.push({ key: item.key, reason: scoped });
@@ -271,9 +279,12 @@ export function splitArchiveGuards(items, candidates) {
  * too thin, no near-duplicate global entry. A blocked split is dropped (the
  * entry still archives plain) rather than half-promoting a redundancy.
  */
-export function splitPromoteBlocked(item, globalState, kind, policy = DEFAULT_PROMOTION_POLICY) {
+export function splitPromoteBlocked(item, globalState, kind, policy = DEFAULT_PROMOTION_POLICY, candidateMetadata) {
     if (!item.promote)
         return "no split payload";
+    if (kind === "memory" && !isMemoryType(candidateMetadata?.[MEMORY_TYPE_KEY])) {
+        return `split promotion needs the source entry classified (metadata.${MEMORY_TYPE_KEY} one of user|feedback|project|reference) — update it first`;
+    }
     if (globalCoverageDetected(globalState, kind, { id: "", title: item.promote.title })) {
         return "split promotion duplicates a globally covered topic";
     }
@@ -454,6 +465,9 @@ Rules:
   usage (e.g. a safety policy that rarely triggers but is critical).
 - Do not promote local task state, work-in-progress notes, or content tied to
   one session's ephemeral details.
+- Memory entries carry a recall type (user/feedback/project/reference): a
+  memory WITHOUT one cannot be promoted (the guard skips it) — verdict such
+  entries "keep" (or "archive" when they qualify) rather than "promote".
 - Skills: only "promote" a skill entry that is a genuinely reusable procedure
   meeting the DSH skill quality standard; one-off workflows are "archive" or
   "keep".

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "dsh-continual-evolve",
-  "version": "0.6.0",
+  "version": "0.7.0",
   "description": "Continual self-evolution plugin for DeepSeek Harness: versioned, auditable, rollback-safe harness state (prompt notes, memories, skills, subagent specs) refined from session trajectories.",
   "license": "MIT",
   "repository": {
@@ -57,19 +57,19 @@
   },
   "peerDependencies": {
     "@deepseek-ai/cordis": "^4.0.1",
-    "@deepseek-ai/dsh-home-paths": "^0.1.0-rc.6",
-    "@deepseek-ai/dsh-llm": "^0.1.0-rc.6",
-    "@deepseek-ai/dsh-tools": "^0.1.0-rc.6"
+    "@deepseek-ai/dsh-home-paths": "^0.1.0-rc.6 || ^0.1.7-rc.1",
+    "@deepseek-ai/dsh-llm": "^0.1.0-rc.6 || ^0.1.7-rc.1",
+    "@deepseek-ai/dsh-tools": "^0.1.0-rc.6 || ^0.1.7-rc.1",
+    "@deepseek-ai/schemastery": "^3.18.1"
   },
   "devDependencies": {
-    "@deepseek-ai/cordis": "^4.0.1",
-    "@deepseek-ai/dsh-agent": "0.1.1-rc.2",
-    "@deepseek-ai/dsh-commands": "0.1.1-rc.2",
-    "@deepseek-ai/dsh-home-paths": "0.1.1-rc.2",
-    "@deepseek-ai/dsh-llm": "0.1.1-rc.2",
-    "@deepseek-ai/dsh-system-prompt": "0.1.1-rc.2",
-    "@deepseek-ai/dsh-tools": "0.1.1-rc.2",
-    "@deepseek-ai/schemastery": "^3.18.1",
+    "@deepseek-ai/cordis": "4.0.4",
+    "@deepseek-ai/dsh-agent": "0.1.7-rc.1",
+    "@deepseek-ai/dsh-commands": "0.1.7-rc.1",
+    "@deepseek-ai/dsh-home-paths": "0.1.7-rc.1",
+    "@deepseek-ai/dsh-llm": "0.1.7-rc.1",
+    "@deepseek-ai/dsh-tools": "0.1.7-rc.1",
+    "@deepseek-ai/schemastery": "3.18.3",
     "@types/node": "^22.10.0",
     "@vitest/coverage-v8": "^3.2.0",
     "oxlint": "^0.16.0",