@lmzhen/dsh-evolution-plan-validator 0.1.0-rc.1

package/README.md

@@ -0,0 +1,24 @@
+# @deepseek-ai/dsh-evolution-plan-validator
+
+Deterministic validator for model-produced evolution plans
+
+## Model Experience
+
+### Indirect model surface
+
+#### What the model sees
+
+`@deepseek-ai/dsh-evolution-plan-validator` registers no direct prompt or tool schema itself. Model-visible effects are owned by the packages that consume this service.
+
+#### Token effect
+
+Zero direct token effect from this package; consumers add any model-visible tokens.
+
+#### KV Cache effect
+
+Independent of request-prefix construction. This package does not alter the assembled prompt or tool list.
+
+## Known Limitations and Deferred Work
+
+
+- No known durable consumer gaps at this time. Runtime contracts are covered by package and boundary tests.

package/lib/index.js

@@ -0,0 +1,123 @@
+//#region lib/types/index.js
+/**
+* Deterministic validator for model-produced evolution plans.
+* The validator never calls the model and never mutates state.
+* @module @lmzhen/dsh-evolution-plan-validator
+*/
+const MEMORY_ACTIONS = new Set([
+	"add",
+	"replace",
+	"remove"
+]);
+const SKILL_ACTIONS = new Set([
+	"create",
+	"edit",
+	"update",
+	"patch",
+	"delete",
+	"write_file",
+	"remove_file"
+]);
+const FORBIDDEN_KEYS = [
+	"policy",
+	"threshold",
+	"prompt_hash",
+	"model_route",
+	"evolution_config"
+];
+function hasValidEvidence(evidence, sessionSeq) {
+	if (!Array.isArray(evidence) || evidence.length === 0) return false;
+	return evidence.every((item) => {
+		if (!item || typeof item !== "object") return false;
+		const record = item;
+		const seq = typeof record.event_seq === "number" ? record.event_seq : typeof record.seq === "number" ? record.seq : Number(record.event_seq);
+		return Number.isInteger(seq) && seq >= 0 && seq <= sessionSeq;
+	});
+}
+function validateEvolutionPlan(plan, context) {
+	const maxOps = context.maxOpsPerPlan ?? 32;
+	const rejected = [];
+	const memoryOps = [];
+	const skillOps = [];
+	const accepted = {
+		memoryOps,
+		skillOps,
+		...plan.summary === void 0 ? {} : { summary: plan.summary }
+	};
+	const allOps = (plan.memoryOps?.length ?? 0) + (plan.skillOps?.length ?? 0);
+	if (allOps === 0) {
+		rejected.push({
+			index: 0,
+			kind: "memory",
+			reason: "plan contains no operations"
+		});
+		return {
+			accepted,
+			rejected,
+			ok: false
+		};
+	}
+	if (allOps > maxOps) {
+		rejected.push({
+			index: 0,
+			kind: "memory",
+			reason: `plan exceeds maxOpsPerPlan ${maxOps}`
+		});
+		return {
+			accepted,
+			rejected,
+			ok: false
+		};
+	}
+	for (const [index, op] of (plan.memoryOps ?? []).entries()) {
+		const reason = validateMemoryOp(op, context, index);
+		if (reason) rejected.push({
+			index,
+			kind: "memory",
+			reason
+		});
+		else memoryOps.push(op);
+	}
+	for (const [index, op] of (plan.skillOps ?? []).entries()) {
+		const reason = validateSkillOp(op, context, index);
+		if (reason) rejected.push({
+			index,
+			kind: "skill",
+			reason
+		});
+		else skillOps.push(op);
+	}
+	return {
+		accepted,
+		rejected,
+		ok: rejected.length === 0 && memoryOps.length + skillOps.length > 0
+	};
+}
+function validateMemoryOp(op, context, index) {
+	if (!hasValidEvidence(op.evidence, context.sessionSeq)) return `memory op ${index}: evidence is required and must reference a valid session seq`;
+	for (const key of FORBIDDEN_KEYS) if (key in op) return `memory op ${index}: forbidden field ${key}`;
+	if (op.target !== "memory" && op.target !== "user") return `memory op ${index}: target must be memory or user`;
+	const action = op.action ?? "add";
+	if (!MEMORY_ACTIONS.has(action)) return `memory op ${index}: unknown action ${action}`;
+	const text = (op.facts ?? op.content ?? "").trim();
+	if (action !== "remove" && text.length === 0) return `memory op ${index}: ${action} requires facts/content`;
+	if (action !== "add" && !(op.old_text ?? "").trim()) return `memory op ${index}: ${action} requires old_text`;
+	const budget = op.target === "user" ? context.maxUserChars ?? 1375 : context.maxMemoryChars ?? 2200;
+	if (text.length > budget) return `memory op ${index}: content exceeds ${op.target === "user" ? "user" : "memory"} budget`;
+	return null;
+}
+function validateSkillOp(op, context, index) {
+	for (const key of FORBIDDEN_KEYS) if (key in op) return `skill op ${index}: forbidden field ${key}`;
+	const name = (op.name ?? "").trim();
+	if (!name) return `skill op ${index}: name is required`;
+	if (context.protectedSkillNames?.has(name)) return `skill op ${index}: skill "${name}" is protected`;
+	if (!hasValidEvidence(op.evidence, context.sessionSeq)) return `skill op ${index}: evidence is required and must reference a valid session seq`;
+	const action = op.action ?? "patch";
+	if (!SKILL_ACTIONS.has(action)) return `skill op ${index}: unknown action ${action}`;
+	if ((action === "create" || action === "edit" || action === "update") && !(op.content ?? "").trim()) return `skill op ${index}: ${action} requires content`;
+	if (action === "patch" && !(op.old_string ?? "")) return `skill op ${index}: patch requires old_string`;
+	if ((op.content ?? "").length > (context.maxSkillContentChars ?? 1e5)) return `skill op ${index}: content exceeds skill budget`;
+	return null;
+}
+//#endregion
+export { validateEvolutionPlan };

package/lib/invariant.js

@@ -0,0 +1,8 @@
+//#region lib/types/invariant.js
+const PACKAGE_NAME = "@deepseek-ai/dsh-evolution-plan-validator";
+const name = "evolution-plan-validator-invariant";
+const inject = ["invariants"];
+const install = () => {};
+const apply = (ctx) => Promise.resolve(ctx.invariants.register(PACKAGE_NAME, install));
+//#endregion
+export { apply, inject, name };

package/lib/types/index.d.ts

@@ -0,0 +1,49 @@
+/**
+ * Deterministic validator for model-produced evolution plans.
+ * The validator never calls the model and never mutates state.
+ * @module @deepseek-ai/dsh-evolution-plan-validator
+ */
+export interface MemoryOp {
+    target?: string;
+    action?: string;
+    facts?: string;
+    content?: string;
+    old_text?: string;
+    evidence?: unknown[];
+}
+export interface SkillOp {
+    action?: string;
+    name?: string;
+    content?: string;
+    old_string?: string;
+    new_string?: string;
+    file_path?: string;
+    absorbed_into?: string;
+    evidence?: unknown[];
+}
+export interface EvolutionPlan {
+    memoryOps?: MemoryOp[];
+    skillOps?: SkillOp[];
+    summary?: string;
+}
+export interface ValidationContext {
+    /** Upper bound for the latest valid session seq. */
+    sessionSeq: number;
+    maxOpsPerPlan?: number;
+    protectedSkillNames?: ReadonlySet<string>;
+    maxMemoryChars?: number;
+    maxUserChars?: number;
+    maxSkillContentChars?: number;
+}
+export interface RejectedOp {
+    index: number;
+    kind: 'memory' | 'skill';
+    reason: string;
+}
+export interface ValidationResult {
+    accepted: EvolutionPlan;
+    rejected: RejectedOp[];
+    ok: boolean;
+}
+export declare function validateEvolutionPlan(plan: EvolutionPlan, context: ValidationContext): ValidationResult;
+//# sourceMappingURL=index.d.ts.map

package/lib/types/invariant.d.ts

@@ -0,0 +1,5 @@
+import type { Context } from '@deepseek-ai/cordis';
+export declare const name = "evolution-plan-validator-invariant";
+export declare const inject: string[];
+export declare const apply: (ctx: Context) => Promise<() => void>;
+//# sourceMappingURL=invariant.d.ts.map

package/package.json

@@ -0,0 +1,44 @@
+{
+  "name": "@lmzhen/dsh-evolution-plan-validator",
+  "description": "Deterministic validator for model-produced evolution plans (community build)",
+  "version": "0.1.0-rc.1",
+  "publishConfig": {
+    "access": "public"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/lmzhen/dsh-evolution.git",
+    "directory": "packages/dsh-evolution-plan-validator"
+  },
+  "type": "module",
+  "main": "lib/index.js",
+  "types": "lib/types/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./lib/types/index.d.ts",
+      "default": "./lib/index.js"
+    },
+    "./invariant": {
+      "types": "./lib/types/invariant.d.ts",
+      "default": "./lib/invariant.js"
+    },
+    "./package.json": "./package.json"
+  },
+  "files": [
+    "lib/index.js",
+    "lib/invariant.js",
+    "lib/types/**/*.d.ts",
+    "lib/types/invariant.d.ts"
+  ],
+  "license": "MIT",
+  "dependencies": {
+    "@deepseek-ai/schemastery": "^3.18.1"
+  },
+  "peerDependencies": {
+    "@deepseek-ai/dsh-invariants": "^0.1.0-rc.6",
+    "@deepseek-ai/cordis": "^4.0.1"
+  },
+  "devDependencies": {
+    "@deepseek-ai/dsh-invariants": "^0.1.0-rc.6"
+  }
+}