@deepseek-ai/dsh-tool-todo 0.2.0-rc.2 → 0.2.1-alpha.2

package/README.i18n.yaml

@@ -33,20 +33,17 @@
   en: 8d94a7381bca3fa9
   zh: f4bd2866fff6fa8d
 /deepseek-ai-dsh-tool-todo/understand-the-implementation/design-philosophy:
-  en: 79e0ce717098e5eb
-  zh: ec34658fb269c2e1
+  en: e9cf462797eaf9f2
+  zh: 02d9a7fce90936c3
 /deepseek-ai-dsh-tool-todo/understand-the-implementation/source-map:
-  en: d53829e90f7f63ca
-  zh: fc3006d788a84013
+  en: 51328ad8c7fcbfd0
+  zh: 2614ec42b61ff3ef
 /deepseek-ai-dsh-tool-todo/understand-the-implementation/export-shape:
   en: 35b4f6c718e60dab
   zh: 9bffe86c88a7ad6d
 /deepseek-ai-dsh-tool-todo/understand-the-implementation/session-projection:
   en: 2d49c8af46b16dd2
   zh: 71a3073433b579d4
-/deepseek-ai-dsh-tool-todo/understand-the-implementation/durable-log-invariant:
-  en: 3234e0405b88e314
-  zh: 135a5b12d810e6dd
 /deepseek-ai-dsh-tool-todo/understand-the-implementation/call-mechanics:
   en: d55f6a32b05ed686
   zh: c815f930a2acebda

package/README.md

@@ -71,7 +71,7 @@ The tool is built on four commitments:
 
 - **Whole-list replace, log-backed state.** The model resends the entire list; the `todo/write` snapshot lives on the event-sourced session log, so durability, replay, and resume reconstruction come from the log rather than a service.
 - **Single owner.** The list belongs to the calling agent session; there is no shared or swarm scope, and non-agent callers are rejected.
-- **Deployment policy, not a coded rule.** `allowParallelInProgress` is a required composition choice because the tool cannot observe runtime concurrency; the durable-log invariant deliberately stays silent on the active count so a log written under one policy still replays under another.
+- **Deployment policy, not a coded rule.** `allowParallelInProgress` is a required composition choice because the tool cannot observe runtime concurrency.
 - **Validation keeps the logged snapshot honest.** Schema-level rejection of unknown keys and `execute`-level rejection of empty or duplicate content keep the durable snapshot equal to what the model believes it wrote.
 
 The [todo_write tool Agent Note](../../../.agents/notes/archived/feature/2026-06-29-todo-write-tool.md) records the original design and alternatives; the [parallel in-progress Agent Note](../../../.agents/notes/archived/feature/2026-07-26-todo-parallel-in-progress.md) records the policy decision.
@@ -83,7 +83,6 @@ The [todo_write tool Agent Note](../../../.agents/notes/archived/feature/2026-06
 | [`src/index.ts`](src/index.ts) | Plugin entry: `Config` schema, tool registration, `todos` projection unit |
 | [`src/types.ts`](src/types.ts) | The one home of the `todos` projection-key declaration and its payload types |
 | [`src/client.ts`](src/client.ts) | Client-namespace re-export of the types outlet |
-| [`src/invariant.ts`](src/invariant.ts) | Invariant companion: validates durable whole-list snapshots and open-turn ownership |
 
 ### Export shape
 
@@ -93,10 +92,6 @@ The plugin is a function/namespace plugin: it exports `name` / `inject` / `apply
 
 When the composition mounts `ctx.sessionProjections` ([`@deepseek-ai/dsh-session-projection`](../../session/session-projection/README.md)), this package registers the `todos` unit on an injected child: the projection is the standing plan — the latest whole `todo/write` list, `null` before the first write, cleared when the next turn starts while `turn/end` keeps the finished checklist visible. The key merges into `SessionProjectionMap` here; carriers serve the value on the history tail page and the `session/projection` push frame. Compositions without the registry are unaffected; see [src/index.ts](src/index.ts) for the unit registration.
 
-### Durable-log invariant
-
-The invariant companion registers on `ctx.invariants`, validates existing and newly announced sessions once, and then advances a committed per-session turn trace for live appends. It rejects malformed entries, empty or duplicated content, unknown statuses, and any durable `todo/write` outside an open turn; core session treats declaration-merged events generically, while this producing package owns todo-specific rules. It deliberately says nothing about how many items are `in_progress`, because that is the tool's per-deployment policy, not a durable-data rule.
-
 ### Call mechanics
 
 Each call validates the submitted list against the schema, rejects incoherent input, and on success appends the full snapshot as a `todo/write` session event and returns the new counts; the current list is always the most recent `todo/write` in the log (last-write-wins on replay). See [src/index.ts](src/index.ts) for the exact validation and append steps.

package/README.zh.md

@@ -71,7 +71,7 @@ agent 每次更新都发送完整列表；新列表替换旧列表，因此没
 
 - **整表替换、日志承载状态。** 模型重新发送整个列表；`todo/write` 快照存放在事件溯源的会话日志上，持久性、回放与恢复重建都来自日志而非服务。
 - **单一所有者。** 列表属于调用 agent 会话；不存在共享或 swarm 作用域，非 agent 调用方会被拒绝。
-- **部署策略，而非编码规则。** `allowParallelInProgress` 是必填组合选择，因为工具无法观测运行时并发；持久日志不变式刻意不跟随它，因此一种策略下写入的日志在切换到另一种策略后仍可回放。
+- **部署策略，而非编码规则。** `allowParallelInProgress` 是必填组合选择，因为工具无法观测运行时并发。
 - **校验确保日志快照如实反映输入。** schema 层拒绝未知键、`execute` 层拒绝空或重复 content，使持久快照与模型自认为写入的内容一致。
 
 [todo_write 工具 Agent Note](../../../.agents/notes/archived/feature/2026-06-29-todo-write-tool.md) 记录原始设计与备选方案；[并行 in-progress Agent Note](../../../.agents/notes/archived/feature/2026-07-26-todo-parallel-in-progress.md) 记录该策略决策。
@@ -83,7 +83,6 @@ agent 每次更新都发送完整列表；新列表替换旧列表，因此没
 | [`src/index.ts`](src/index.ts) | 插件入口：`Config` schema、工具注册、`todos` 投影单元 |
 | [`src/types.ts`](src/types.ts) | `todos` 投影键声明及其载荷类型的唯一归属地 |
 | [`src/client.ts`](src/client.ts) | 客户端命名空间对类型出口的再导出 |
-| [`src/invariant.ts`](src/invariant.ts) | 不变式伴生插件：校验持久整表快照与开放轮次归属 |
 
 ### 导出形状
 
@@ -93,10 +92,6 @@ agent 每次更新都发送完整列表；新列表替换旧列表，因此没
 
 当组合挂载 `ctx.sessionProjections`（[`@deepseek-ai/dsh-session-projection`](../../session/session-projection/README.zh.md)）时，本包在注入的子插件中注册 `todos` 单元：投影即有效计划——最新的整份 `todo/write` 列表，首次写入前为 `null`，下一轮次开始时清空，而 `turn/end` 保留刚完成的清单。该键在此处合并进 `SessionProjectionMap`；载体通过历史尾页与 `session/projection` 推送帧提供该值。未挂载注册表的组合不受影响；单元注册见 [src/index.ts](src/index.ts)。
 
-### 持久日志不变式
-
-不变式伴生插件注册到 `ctx.invariants`，先分别校验既有会话与新公布会话一次，再为实时追加推进按会话提交的轮次轨迹。它会拒绝畸形条目、空或重复 content、未知状态，以及开放轮次之外的持久 `todo/write`；核心 session 通用处理声明合并事件，而本生产包拥有 todo 专用规则。它刻意不约束有多少条目处于 `in_progress`，因为那是工具按部署制定的策略，而非持久数据规则。
-
 ### 调用机制
 
 每次调用都会先校验提交的列表是否符合 schema，拒绝不一致的输入，成功后把完整快照作为 `todo/write` 会话事件追加并返回新的计数；当前列表始终是日志中最近一次 `todo/write`（回放时后写覆盖先写）。确切的校验与追加步骤见 [src/index.ts](src/index.ts)。

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@deepseek-ai/dsh-tool-todo",
   "description": "Model-facing todo_write tool over the DeepSeek Harness event-sourced session log",
-  "version": "0.2.0-rc.2",
+  "version": "0.2.1-alpha.2",
   "publishConfig": {
     "access": "public"
   },
@@ -18,10 +18,6 @@
       "types": "./lib/types/index.d.ts",
       "default": "./lib/index.js"
     },
-    "./invariant": {
-      "types": "./lib/types/invariant.d.ts",
-      "default": "./lib/invariant.js"
-    },
     "./client": {
       "types": "./lib/types/client.d.ts",
       "default": "./lib/types/client.js"
@@ -31,36 +27,33 @@
   },
   "files": [
     "lib/index.js",
-    "lib/invariant.js",
     "lib/types/**/*.js",
     "lib/types/**/*.d.ts"
   ],
   "license": "MIT",
   "dependencies": {
-    "zod": "^4.4.3",
-    "@deepseek-ai/schemastery": "~3.18.4"
+    "@deepseek-ai/schemastery": "~3.18.5-alpha.1",
+    "zod": "^4.4.3"
   },
   "peerDependencies": {
-    "@deepseek-ai/dsh-agent": "0.2.0-rc.2",
-    "@deepseek-ai/dsh-invariants": "0.2.0-rc.2",
-    "@deepseek-ai/dsh-session": "0.2.0-rc.2",
-    "@deepseek-ai/dsh-session-projection": "0.2.0-rc.2",
-    "@deepseek-ai/dsh-tools": "0.2.0-rc.2",
-    "@deepseek-ai/cordis": "~4.0.4"
+    "@deepseek-ai/dsh-agent": "0.2.1-alpha.2",
+    "@deepseek-ai/dsh-session": "0.2.1-alpha.2",
+    "@deepseek-ai/dsh-session-projection": "0.2.1-alpha.2",
+    "@deepseek-ai/dsh-tools": "0.2.1-alpha.2",
+    "@deepseek-ai/cordis": "~4.0.5-alpha.1"
   },
   "devDependencies": {
-    "@deepseek-ai/cordis-plugin-include": "~1.0.9",
-    "@deepseek-ai/cordis-plugin-loader": "~1.0.5",
-    "@deepseek-ai/dsh-agent-loop": "0.2.0-rc.2",
-    "@deepseek-ai/dsh-agent": "0.2.0-rc.2",
-    "@deepseek-ai/dsh-agent-loop-testkit": "0.2.0-rc.2",
-    "@deepseek-ai/dsh-llm": "0.2.0-rc.2",
-    "@deepseek-ai/dsh-invariants": "0.2.0-rc.2",
-    "@deepseek-ai/dsh-session": "0.2.0-rc.2",
-    "@deepseek-ai/dsh-session-projection": "0.2.0-rc.2",
-    "@deepseek-ai/dsh-user-questions": "0.2.0-rc.2",
-    "@deepseek-ai/dsh-tools": "0.2.0-rc.2",
-    "@deepseek-ai/cordis": "~4.0.4",
-    "@deepseek-ai/dsh-system-prompt": "0.2.0-rc.2"
+    "@deepseek-ai/cordis-plugin-include": "~1.0.10-alpha.1",
+    "@deepseek-ai/cordis-plugin-loader": "~1.0.6-alpha.1",
+    "@deepseek-ai/dsh-agent": "0.2.1-alpha.2",
+    "@deepseek-ai/dsh-agent-loop": "0.2.1-alpha.2",
+    "@deepseek-ai/dsh-agent-loop-testkit": "0.2.1-alpha.2",
+    "@deepseek-ai/dsh-llm": "0.2.1-alpha.2",
+    "@deepseek-ai/dsh-session": "0.2.1-alpha.2",
+    "@deepseek-ai/dsh-session-projection": "0.2.1-alpha.2",
+    "@deepseek-ai/dsh-system-prompt": "0.2.1-alpha.2",
+    "@deepseek-ai/dsh-tools": "0.2.1-alpha.2",
+    "@deepseek-ai/dsh-user-questions": "0.2.1-alpha.2",
+    "@deepseek-ai/cordis": "~4.0.5-alpha.1"
   }
 }

package/lib/invariant.js

@@ -1,88 +0,0 @@
-//#region lib/types/invariant.js
-/** Package-owned durable todo-snapshot invariants. @module @deepseek-ai/dsh-tool-todo/invariant */
-const PACKAGE_NAME = "@deepseek-ai/dsh-tool-todo";
-const TODO_STATUSES = new Set([
-	"pending",
-	"in_progress",
-	"completed"
-]);
-/** Cordis companion plugin name. */
-const name = "tool-todo-invariant";
-/** Service required before the companion can reserve package ownership. */
-const inject = ["invariants"];
-/**
-* Validate one whole-list todo snapshot before it reaches the durable log.
-*
-* Deliberately silent on how many items are `in_progress`. That is the tool's
-* per-deployment policy (`Config.allowParallelInProgress`), not a durable-shape
-* rule: a log written while parallel work was allowed must still replay after a
-* deployment tightens the policy, so tying the invariant to the current config
-* would reject history that was valid when it was written.
-*/
-function validateTodos(value, fail) {
-	if (!Array.isArray(value)) fail("todo/write todos must be an array");
-	const seen = /* @__PURE__ */ new Set();
-	for (const item of value) {
-		if (typeof item !== "object" || item === null) fail("todo/write entries must be objects");
-		const { content, status } = item;
-		if (typeof content !== "string" || content.length === 0 || content.trim() !== content) fail("todo/write content must be non-empty and already trimmed");
-		if (seen.has(content)) fail(`todo/write repeats content ${JSON.stringify(content)}`);
-		seen.add(content);
-		if (typeof status !== "string" || !TODO_STATUSES.has(status)) fail(`todo/write carries unknown status ${JSON.stringify(status)}`);
-	}
-}
-/** Advance the trace after one event has committed. */
-function advanceTrace(trace, event) {
-	if (event.type === "turn/start") trace.open = true;
-	if (event.type === "turn/end") trace.open = false;
-}
-/** Validate one package-owned event against the preceding committed trace. */
-function validateEvent(event, trace, fail) {
-	if (event.type !== "todo/write") return;
-	validateTodos(event.data.todos, fail);
-	if (!trace.open) fail("todo/write appended outside any open turn");
-}
-/** Validate one existing log in a single pass and return its tail trace. */
-function seedTrace(session, fail) {
-	const trace = { open: false };
-	for (const event of session.snapshotEvents()) {
-		validateEvent(event, trace, fail);
-		advanceTrace(trace, event);
-	}
-	return trace;
-}
-/** Install validation for loaded and newly appended whole-list todo snapshots. */
-const install = Object.assign((ctx, fail) => {
-	const traces = /* @__PURE__ */ new WeakMap();
-	const seed = (session) => {
-		traces.set(session, seedTrace(session, fail));
-	};
-	const traceFor = (session) => {
-		let trace = traces.get(session);
-		if (trace === void 0) {
-			trace = seedTrace(session, fail);
-			traces.set(session, trace);
-		}
-		return trace;
-	};
-	for (const session of ctx.sessions.list()) seed(session);
-	ctx.on("session/created", (session) => {
-		seed(session);
-	}, { global: true });
-	ctx.on("internal/dispatch", (_mode, eventName, args) => {
-		if (eventName !== "session/event") return;
-		const [session, event] = args;
-		validateEvent(event, traceFor(session), fail);
-	}, { global: true });
-	ctx.on("session/event", (session, event) => {
-		advanceTrace(traceFor(session), event);
-	}, { global: true });
-}, { inject: ["sessions"] });
-/**
-* Register the todo invariant companion.
-* @param ctx - Cordis context carrying the invariant service.
-* @returns the installed registration's disposer after setup succeeds.
-*/
-const apply = (ctx) => Promise.resolve(ctx.invariants.register(PACKAGE_NAME, install));
-//#endregion
-export { apply, inject, name };

package/lib/types/invariant.d.ts

@@ -1,13 +0,0 @@
-/** Package-owned durable todo-snapshot invariants. @module @deepseek-ai/dsh-tool-todo/invariant */
-import type { Context } from '@deepseek-ai/cordis';
-/** Cordis companion plugin name. */
-export declare const name = "tool-todo-invariant";
-/** Service required before the companion can reserve package ownership. */
-export declare const inject: string[];
-/**
- * Register the todo invariant companion.
- * @param ctx - Cordis context carrying the invariant service.
- * @returns the installed registration's disposer after setup succeeds.
- */
-export declare const apply: (ctx: Context) => Promise<() => void>;
-//# sourceMappingURL=invariant.d.ts.map

package/lib/types/invariant.js

@@ -1,95 +0,0 @@
-/** Package-owned durable todo-snapshot invariants. @module @deepseek-ai/dsh-tool-todo/invariant */
-const PACKAGE_NAME = '@deepseek-ai/dsh-tool-todo';
-const TODO_STATUSES = new Set(['pending', 'in_progress', 'completed']);
-/** Cordis companion plugin name. */
-export const name = 'tool-todo-invariant';
-/** Service required before the companion can reserve package ownership. */
-export const inject = ['invariants'];
-/**
- * Validate one whole-list todo snapshot before it reaches the durable log.
- *
- * Deliberately silent on how many items are `in_progress`. That is the tool's
- * per-deployment policy (`Config.allowParallelInProgress`), not a durable-shape
- * rule: a log written while parallel work was allowed must still replay after a
- * deployment tightens the policy, so tying the invariant to the current config
- * would reject history that was valid when it was written.
- */
-function validateTodos(value, fail) {
-    if (!Array.isArray(value))
-        fail('todo/write todos must be an array');
-    const seen = new Set();
-    for (const item of value) {
-        if (typeof item !== 'object' || item === null)
-            fail('todo/write entries must be objects');
-        const { content, status } = item;
-        if (typeof content !== 'string' || content.length === 0 || content.trim() !== content) {
-            fail('todo/write content must be non-empty and already trimmed');
-        }
-        if (seen.has(content))
-            fail(`todo/write repeats content ${JSON.stringify(content)}`);
-        seen.add(content);
-        if (typeof status !== 'string' || !TODO_STATUSES.has(status)) {
-            fail(`todo/write carries unknown status ${JSON.stringify(status)}`);
-        }
-    }
-}
-/** Advance the trace after one event has committed. */
-function advanceTrace(trace, event) {
-    if (event.type === 'turn/start')
-        trace.open = true;
-    if (event.type === 'turn/end')
-        trace.open = false;
-}
-/** Validate one package-owned event against the preceding committed trace. */
-function validateEvent(event, trace, fail) {
-    if (event.type !== 'todo/write')
-        return;
-    validateTodos(event.data.todos, fail);
-    if (!trace.open)
-        fail('todo/write appended outside any open turn');
-}
-/** Validate one existing log in a single pass and return its tail trace. */
-function seedTrace(session, fail) {
-    const trace = { open: false };
-    // oxlint-disable-next-line typescript/no-deprecated -- Existing Session history read; migration deferred.
-    for (const event of session.snapshotEvents()) {
-        validateEvent(event, trace, fail);
-        advanceTrace(trace, event);
-    }
-    return trace;
-}
-/** Install validation for loaded and newly appended whole-list todo snapshots. */
-const install = Object.assign((ctx, fail) => {
-    const traces = new WeakMap();
-    const seed = (session) => {
-        traces.set(session, seedTrace(session, fail));
-    };
-    const traceFor = (session) => {
-        let trace = traces.get(session);
-        if (trace === undefined) {
-            trace = seedTrace(session, fail);
-            traces.set(session, trace);
-        }
-        return trace;
-    };
-    for (const session of ctx.sessions.list())
-        seed(session);
-    ctx.on('session/created', (session) => { seed(session); }, { global: true });
-    ctx.on('internal/dispatch', (_mode, eventName, args) => {
-        if (eventName !== 'session/event')
-            return;
-        const [session, event] = args;
-        validateEvent(event, traceFor(session), fail);
-    }, { global: true });
-    ctx.on('session/event', (session, event) => {
-        advanceTrace(traceFor(session), event);
-    }, { global: true });
-}, { inject: ['sessions'] });
-/* jscpd:ignore-end */
-/**
- * Register the todo invariant companion.
- * @param ctx - Cordis context carrying the invariant service.
- * @returns the installed registration's disposer after setup succeeds.
- */
-export const apply = (ctx) => Promise.resolve(ctx.invariants.register(PACKAGE_NAME, install));
-//# sourceMappingURL=invariant.js.map