@deepseek-ai/dsh-workflow 0.2.0-rc.1 → 0.2.1-alpha.1

package/README.i18n.yaml

@@ -36,8 +36,8 @@
   en: 274b3de2f7b713ec
   zh: e3953c1ae1f59442
 /deepseek-ai-dsh-workflow/understand-the-implementation/source-map:
-  en: 67240e519a3e725f
-  zh: 495f806856054230
+  en: 4980d54aca90b591
+  zh: 73a828842b6c6f6a
 /deepseek-ai-dsh-workflow/understand-the-implementation/lifecycle-and-ownership:
   en: 95b074d816b52323
   zh: dfa070a1531651f9
@@ -45,8 +45,8 @@
   en: e2c2a6e2876457e8
   zh: 764cba9eede4bb79
 /deepseek-ai-dsh-workflow/further-exploration:
-  en: 727ba336da235497
-  zh: 4562f0653af6b975
+  en: 6b3752bee67372c3
+  zh: 92492c01c4d786d3
 /deepseek-ai-dsh-workflow/model-experience:
   en: e8bb1d12900a4025
   zh: b8936a40dc5867d6

package/README.md

@@ -77,7 +77,6 @@ The package separates the script, run, result, and event contracts from executio
 | [`src/index.ts`](src/index.ts) | Service definition, `workflow/*` event declarations, `WorkflowError` and its fatal flag |
 | [`src/types.ts`](src/types.ts) | Browser-safe vocabulary: `WorkflowMeta`, `WorkflowResult`, run and agent event info |
 | [`src/runtime-types.ts`](src/runtime-types.ts) | Host-only `WorkflowStartRequest` and `WorkflowRun` handles |
-| [`src/invariant.ts`](src/invariant.ts) | Invariant companion: event pairing and identity checks |
 
 ### Lifecycle and ownership
 
@@ -104,7 +103,7 @@ Read these pages when the package-level contract is not enough. They move from t
 - [Group map](../README.md) — the workflow capability family and its packages.
 - [workflow tool](../tool-workflow/README.md) — the model-facing consumer that owns the call schema and result envelope.
 - [PTC workflow engine](../workflow-ptc/README.md) — the current execution engine and its isolation boundary.
-- [Dynamic workflows Agent Note](../../../.agents/notes/implemented/feature/2026-07-05-dynamic-workflows.md) — the seam design and its decisions.
+- [historical Dynamic workflows Agent Note](../../../.agents/notes/archived/feature/2026-07-05-dynamic-workflows.md) — the seam design and its decisions.
 
 -----
 

package/README.zh.md

@@ -77,7 +77,6 @@ return { reviewed: reviews.length }
 | [`src/index.ts`](src/index.ts) | 服务定义、`workflow/*` 事件声明、`WorkflowError` 及其 fatal 标志 |
 | [`src/types.ts`](src/types.ts) | 浏览器安全词汇：`WorkflowMeta`、`WorkflowResult`、运行与 agent 事件信息 |
 | [`src/runtime-types.ts`](src/runtime-types.ts) | 仅宿主的 `WorkflowStartRequest` 与 `WorkflowRun` 句柄 |
-| [`src/invariant.ts`](src/invariant.ts) | 不变式伴生插件：事件配对与身份校验 |
 
 ### 生命周期与归属
 
@@ -104,7 +103,7 @@ return { reviewed: reviews.length }
 - [组地图](../README.zh.md)——工作流能力家族及其包。
 - [workflow 工具](../tool-workflow/README.zh.md)——拥有调用 schema 与结果包络的模型侧消费方。
 - [PTC 工作流引擎](../workflow-ptc/README.zh.md)——当前执行引擎及其隔离边界。
-- [动态工作流 Agent Note](../../../.agents/notes/implemented/feature/2026-07-05-dynamic-workflows.zh.md)——seam 设计及其决策。
+- [历史动态工作流 Agent Note](../../../.agents/notes/archived/feature/2026-07-05-dynamic-workflows.md)——seam 设计及其决策。
 
 -----
 

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@deepseek-ai/dsh-workflow",
   "description": "Workflow capability seam: ctx.workflowEngine service, run vocabulary, and workflow/* events",
-  "version": "0.2.0-rc.1",
+  "version": "0.2.1-alpha.1",
   "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"
-    },
     "./types": {
       "types": "./lib/types/types.d.ts",
       "default": "./lib/types/types.js"
@@ -31,25 +27,22 @@
   },
   "files": [
     "lib/index.js",
-    "lib/invariant.js",
     "lib/types/**/*.js",
     "lib/types/**/*.d.ts"
   ],
   "license": "MIT",
   "peerDependencies": {
-    "@deepseek-ai/dsh-agent": "0.2.0-rc.1",
-    "@deepseek-ai/dsh-invariants": "0.2.0-rc.1",
-    "@deepseek-ai/dsh-brand": "0.2.0-rc.1",
-    "@deepseek-ai/dsh-llm": "0.2.0-rc.1",
-    "@deepseek-ai/dsh-session": "0.2.0-rc.1",
-    "@deepseek-ai/cordis": "~4.0.4"
+    "@deepseek-ai/dsh-agent": "0.2.1-alpha.1",
+    "@deepseek-ai/dsh-llm": "0.2.1-alpha.1",
+    "@deepseek-ai/dsh-session": "0.2.1-alpha.1",
+    "@deepseek-ai/cordis": "~4.0.5-alpha.1",
+    "@deepseek-ai/dsh-brand": "0.2.1-alpha.1"
   },
   "devDependencies": {
-    "@deepseek-ai/dsh-agent": "0.2.0-rc.1",
-    "@deepseek-ai/dsh-brand": "0.2.0-rc.1",
-    "@deepseek-ai/dsh-invariants": "0.2.0-rc.1",
-    "@deepseek-ai/dsh-llm": "0.2.0-rc.1",
-    "@deepseek-ai/dsh-session": "0.2.0-rc.1",
-    "@deepseek-ai/cordis": "~4.0.4"
+    "@deepseek-ai/dsh-agent": "0.2.1-alpha.1",
+    "@deepseek-ai/dsh-brand": "0.2.1-alpha.1",
+    "@deepseek-ai/dsh-llm": "0.2.1-alpha.1",
+    "@deepseek-ai/cordis": "~4.0.5-alpha.1",
+    "@deepseek-ai/dsh-session": "0.2.1-alpha.1"
   }
 }

package/lib/invariant.js

@@ -1,100 +0,0 @@
-//#region lib/types/invariant.js
-/** Package-owned workflow lifecycle invariants. @module @deepseek-ai/dsh-workflow/invariant */
-const PACKAGE_NAME = "@deepseek-ai/dsh-workflow";
-/** Cordis companion plugin name. */
-const name = "workflow-invariant";
-/** Service required before the companion can reserve package ownership. */
-const inject = ["invariants"];
-/** Require every event for a run to retain its validated identity snapshot. */
-function traceFor(traces, info, fail) {
-	const trace = traces.get(info.id);
-	if (trace === void 0) fail(`workflow event has no matching workflow/start for run ${JSON.stringify(info.id)}`);
-	if (trace.meta !== JSON.stringify(info.meta)) fail(`workflow event meta diverges from workflow/start for run ${JSON.stringify(info.id)}`);
-	return trace;
-}
-/** Assert the immutable identity fields shared by an agent pair. */
-function validateAgentEnd(start, end, fail) {
-	if (start.label !== end.label || start.phase !== end.phase || start.childId !== end.childId) fail(`workflow/agent-end identity diverges from workflow/agent-start for seq ${end.seq}`);
-	const outcome = end.outcome;
-	if (outcome !== "completed" && outcome !== "failed" && outcome !== "cancelled") fail(`workflow/agent-end carries unknown outcome ${JSON.stringify(outcome)}`);
-}
-/** Validate a terminal result against the accumulated run trace. */
-function validateWorkflowEnd(trace, result, fail) {
-	if (trace.agents.size > 0) fail(`workflow/end has ${trace.agents.size} agent call(s) without workflow/agent-end`);
-	if (!Number.isSafeInteger(result.agentsStarted) || result.agentsStarted < trace.starts) fail("workflow/end agentsStarted must be a safe integer covering every observed agent start");
-	if (result.stopReason === "completed" ? result.error !== void 0 : typeof result.error !== "string") fail("workflow/end error must be absent exactly for completed runs");
-}
-/** Install workflow start/end and child-call pairing checks. */
-const install = (ctx, fail) => {
-	const traces = /* @__PURE__ */ new Map();
-	const stagedStarts = /* @__PURE__ */ new WeakSet();
-	const stagedAgentStarts = /* @__PURE__ */ new WeakSet();
-	const stagedAgentEnds = /* @__PURE__ */ new WeakSet();
-	const stagedEnds = /* @__PURE__ */ new WeakSet();
-	ctx.on("internal/dispatch", (_mode, eventName, args) => {
-		if (eventName === "workflow/start") {
-			const info = args[0];
-			if (String(info.id).length === 0 || info.meta.name.length === 0 || info.meta.description.length === 0) fail("workflow/start id, meta.name, and meta.description must be non-empty");
-			if (traces.has(info.id)) fail(`workflow/start repeated run id ${JSON.stringify(info.id)}`);
-			stagedStarts.add(info);
-			return;
-		}
-		if (!eventName.startsWith("workflow/")) return;
-		const info = args[0];
-		const trace = traceFor(traces, info, fail);
-		if (eventName === "workflow/agent-start") {
-			const agent = args[1];
-			if (!Number.isSafeInteger(agent.seq) || agent.seq < 1 || String(agent.childId).length === 0) fail("workflow/agent-start seq must be positive and childId must be non-empty");
-			if (trace.agents.has(agent.seq)) fail(`workflow/agent-start repeated seq ${agent.seq}`);
-			stagedAgentStarts.add(agent);
-			return;
-		}
-		if (eventName === "workflow/agent-end") {
-			const agent = args[1];
-			const start = trace.agents.get(agent.seq);
-			if (start === void 0) return fail(`workflow/agent-end has no matching start for seq ${agent.seq}`);
-			validateAgentEnd(start, agent, fail);
-			stagedAgentEnds.add(agent);
-			return;
-		}
-		if (eventName === "workflow/end") {
-			const result = args[1];
-			validateWorkflowEnd(trace, result, fail);
-			stagedEnds.add(result);
-		}
-	}, { global: true });
-	ctx.on("workflow/start", (info) => {
-		/* v8 ignore next -- internal/dispatch stages the same run-info object */
-		if (!stagedStarts.delete(info)) return;
-		traces.set(info.id, {
-			meta: JSON.stringify(info.meta),
-			agents: /* @__PURE__ */ new Map(),
-			starts: 0
-		});
-	}, { global: true });
-	ctx.on("workflow/agent-start", (info, agent) => {
-		/* v8 ignore next -- internal/dispatch stages the same agent object */
-		if (!stagedAgentStarts.delete(agent)) return;
-		const trace = traceFor(traces, info, fail);
-		trace.agents.set(agent.seq, agent);
-		trace.starts += 1;
-	}, { global: true });
-	ctx.on("workflow/agent-end", (info, agent) => {
-		/* v8 ignore next -- internal/dispatch stages the same agent object */
-		if (!stagedAgentEnds.delete(agent)) return;
-		traceFor(traces, info, fail).agents.delete(agent.seq);
-	}, { global: true });
-	ctx.on("workflow/end", (info, result) => {
-		/* v8 ignore next -- internal/dispatch stages the same result object */
-		if (!stagedEnds.delete(result)) return;
-		traces.delete(info.id);
-	}, { global: true });
-};
-/**
-* Register the workflow 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 workflow lifecycle invariants. @module @deepseek-ai/dsh-workflow/invariant */
-import type { Context } from '@deepseek-ai/cordis';
-/** Cordis companion plugin name. */
-export declare const name = "workflow-invariant";
-/** Service required before the companion can reserve package ownership. */
-export declare const inject: string[];
-/**
- * Register the workflow 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,118 +0,0 @@
-/** Package-owned workflow lifecycle invariants. @module @deepseek-ai/dsh-workflow/invariant */
-const PACKAGE_NAME = '@deepseek-ai/dsh-workflow';
-/** Cordis companion plugin name. */
-export const name = 'workflow-invariant';
-/** Service required before the companion can reserve package ownership. */
-export const inject = ['invariants'];
-/** Require every event for a run to retain its validated identity snapshot. */
-function traceFor(traces, info, fail) {
-    const trace = traces.get(info.id);
-    if (trace === undefined)
-        fail(`workflow event has no matching workflow/start for run ${JSON.stringify(info.id)}`);
-    if (trace.meta !== JSON.stringify(info.meta)) {
-        fail(`workflow event meta diverges from workflow/start for run ${JSON.stringify(info.id)}`);
-    }
-    return trace;
-}
-/** Assert the immutable identity fields shared by an agent pair. */
-function validateAgentEnd(start, end, fail) {
-    if (start.label !== end.label || start.phase !== end.phase || start.childId !== end.childId) {
-        fail(`workflow/agent-end identity diverges from workflow/agent-start for seq ${end.seq}`);
-    }
-    const outcome = end.outcome;
-    if (outcome !== 'completed' && outcome !== 'failed' && outcome !== 'cancelled') {
-        fail(`workflow/agent-end carries unknown outcome ${JSON.stringify(outcome)}`);
-    }
-}
-/** Validate a terminal result against the accumulated run trace. */
-function validateWorkflowEnd(trace, result, fail) {
-    if (trace.agents.size > 0)
-        fail(`workflow/end has ${trace.agents.size} agent call(s) without workflow/agent-end`);
-    if (!Number.isSafeInteger(result.agentsStarted) || result.agentsStarted < trace.starts) {
-        fail('workflow/end agentsStarted must be a safe integer covering every observed agent start');
-    }
-    if (result.stopReason === 'completed' ? result.error !== undefined : typeof result.error !== 'string') {
-        fail('workflow/end error must be absent exactly for completed runs');
-    }
-}
-/** Install workflow start/end and child-call pairing checks. */
-const install = (ctx, fail) => {
-    const traces = new Map();
-    const stagedStarts = new WeakSet();
-    const stagedAgentStarts = new WeakSet();
-    const stagedAgentEnds = new WeakSet();
-    const stagedEnds = new WeakSet();
-    ctx.on('internal/dispatch', (_mode, eventName, args) => {
-        if (eventName === 'workflow/start') {
-            const info = args[0];
-            if (String(info.id).length === 0 || info.meta.name.length === 0 || info.meta.description.length === 0) {
-                fail('workflow/start id, meta.name, and meta.description must be non-empty');
-            }
-            if (traces.has(info.id))
-                fail(`workflow/start repeated run id ${JSON.stringify(info.id)}`);
-            stagedStarts.add(info);
-            return;
-        }
-        if (!eventName.startsWith('workflow/'))
-            return;
-        const info = args[0];
-        const trace = traceFor(traces, info, fail);
-        if (eventName === 'workflow/agent-start') {
-            const agent = args[1];
-            if (!Number.isSafeInteger(agent.seq) || agent.seq < 1 || String(agent.childId).length === 0) {
-                fail('workflow/agent-start seq must be positive and childId must be non-empty');
-            }
-            if (trace.agents.has(agent.seq))
-                fail(`workflow/agent-start repeated seq ${agent.seq}`);
-            stagedAgentStarts.add(agent);
-            return;
-        }
-        if (eventName === 'workflow/agent-end') {
-            const agent = args[1];
-            const start = trace.agents.get(agent.seq);
-            if (start === undefined)
-                return fail(`workflow/agent-end has no matching start for seq ${agent.seq}`);
-            validateAgentEnd(start, agent, fail);
-            stagedAgentEnds.add(agent);
-            return;
-        }
-        if (eventName === 'workflow/end') {
-            const result = args[1];
-            validateWorkflowEnd(trace, result, fail);
-            stagedEnds.add(result);
-        }
-    }, { global: true });
-    ctx.on('workflow/start', (info) => {
-        /* v8 ignore next -- internal/dispatch stages the same run-info object */
-        if (!stagedStarts.delete(info))
-            return;
-        traces.set(info.id, { meta: JSON.stringify(info.meta), agents: new Map(), starts: 0 });
-    }, { global: true });
-    ctx.on('workflow/agent-start', (info, agent) => {
-        /* v8 ignore next -- internal/dispatch stages the same agent object */
-        if (!stagedAgentStarts.delete(agent))
-            return;
-        const trace = traceFor(traces, info, fail);
-        trace.agents.set(agent.seq, agent);
-        trace.starts += 1;
-    }, { global: true });
-    ctx.on('workflow/agent-end', (info, agent) => {
-        /* v8 ignore next -- internal/dispatch stages the same agent object */
-        if (!stagedAgentEnds.delete(agent))
-            return;
-        traceFor(traces, info, fail).agents.delete(agent.seq);
-    }, { global: true });
-    ctx.on('workflow/end', (info, result) => {
-        /* v8 ignore next -- internal/dispatch stages the same result object */
-        if (!stagedEnds.delete(result))
-            return;
-        traces.delete(info.id);
-    }, { global: true });
-};
-/**
- * Register the workflow 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