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

package/README.i18n.yaml

@@ -39,14 +39,14 @@
   en: 2a42e1e06dfc469e
   zh: 5c2c77eca52846f0
 /deepseek-ai-dsh-jobs/understand-the-implementation/source-map:
-  en: 2416d5be526d4dba
-  zh: 1090a9373258d7bb
+  en: d48098f76de74fa9
+  zh: e69cb8e7f316ce95
 /deepseek-ai-dsh-jobs/understand-the-implementation/service-operations:
   en: b2e4ef34ccf1e749
   zh: 128b57b57ed09316
 /deepseek-ai-dsh-jobs/further-exploration:
-  en: 14a42f5debabd3ea
-  zh: 16a60585a7280ccf
+  en: e8ef9de5f929d7e8
+  zh: 850c4aefbdd40c44
 /deepseek-ai-dsh-jobs/model-experience:
   en: efb58cac0fc08163
   zh: 838791f77fd79917

package/README.md

@@ -81,7 +81,6 @@ This section explains the design decisions behind the contract and points at the
 | [`src/view.ts`](src/view.ts) | Client-safe leaf: `JobView`, `JobChunk`, `JobStatus`, and the merge-extensible `JobKindMap` |
 | [`src/brand.ts`](src/brand.ts) | `JobId` branded identifier, importable without the agent dependency |
 | [`src/archive-admission.ts`](src/archive-admission.ts) | The `job` family of the Workspace registry's archive admission, installed by the seam's constructor for every implementation |
-| [`src/invariant.ts`](src/invariant.ts) | Invariant companion: checks the announced event protocol per job (registered first, one settlement, removal last) and each announced projection against the registry's own read |
 
 ### Service operations
 
@@ -102,7 +101,7 @@ Read these pages when the package-level contract is not enough. They move from t
 - [jobs group map](../README.md) — the sibling group page and its package table.
 - [Process-local registry](../jobs-local/README.md) — the shipped implementation that runs jobs in this process.
 - [Model-facing job controls](../tool-jobs/README.md) — the `job_output`, `job_list`, and `job_kill` tools and completion notices.
-- [Generic long-running tool runtime Agent Note](../../../.agents/notes/implemented/architecture/2026-06-20-generic-long-running-tool-runtime.md) — the design behind the background-job runtime.
+- [Jobs lifecycle and output ownership](../../../.agents/notes/implemented/architecture/2026-09-03-jobs-seam-consolidation.md) — one lifecycle, output ring, and observation stream.
 - [job-registry seam Agent Note](../../../.agents/notes/archived/architecture/2026-07-26-job-registry-seam.md) — the owner-fenced registry contract and its rationale.
 - [Jobs seam consolidation Agent Note](../../../.agents/notes/implemented/architecture/2026-09-03-jobs-seam-consolidation.md) — one output ring, one projection, one event stream.
 

package/README.zh.md

@@ -81,7 +81,6 @@ kind: "package-reference"
 | [`src/view.ts`](src/view.ts) | 客户端安全叶子：`JobView`、`JobChunk`、`JobStatus` 与可合并扩展的 `JobKindMap` |
 | [`src/brand.ts`](src/brand.ts) | `JobId` 带类型标记的标识符，无需 agent 依赖即可导入 |
 | [`src/archive-admission.ts`](src/archive-admission.ts) | Workspace 注册表归档准入中的 `job` 族，由接缝构造函数为每个实现安装 |
-| [`src/invariant.ts`](src/invariant.ts) | 不变式伴生插件：校验每个 job 的事件协议（先 registered、恰一次结算、最后 removed）以及每个通告的投影与注册表自身读取的一致性 |
 
 ### 服务操作
 
@@ -102,7 +101,7 @@ kind: "package-reference"
 - [jobs 组映射](../README.zh.md)——同级组页面及其包表格。
 - [进程本地注册表](../jobs-local/README.zh.md)——在本进程中运行任务的随附实现。
 - [模型侧任务控制](../tool-jobs/README.zh.md)——`job_output`、`job_list` 与 `job_kill` 工具及完成通知。
-- [通用长时间运行工具运行时 Agent Note](../../../.agents/notes/implemented/architecture/2026-06-20-generic-long-running-tool-runtime.zh.md)——后台任务运行时背后的设计。
+- [Jobs 生命周期与输出归属](../../../.agents/notes/implemented/architecture/2026-09-03-jobs-seam-consolidation.zh.md)——一套生命周期、输出环与观测流。
 - [任务注册表 seam Agent Note](../../../.agents/notes/archived/architecture/2026-07-26-job-registry-seam.md)——按所有者隔离的注册表约定及其理由。
 - [jobs seam 收敛 Agent Note](../../../.agents/notes/implemented/architecture/2026-09-03-jobs-seam-consolidation.zh.md)——一个输出环、一个投影、一条事件流。
 

package/lib/types/types.d.ts

@@ -115,7 +115,7 @@ export interface JobHooks {
  * the output ring.
  */
 export interface JobSpec {
-    /** Producer kind — also the id prefix (`bash`, `subagent`, …). */
+    /** Producer kind — also the id prefix (`bash`, …). */
     kind: JobKind;
     /** One-line model-facing label (the command; the delegation description). */
     label: string;

package/lib/types/view.d.ts

@@ -25,7 +25,6 @@ declare module '@deepseek-ai/dsh-workspace/types' {
  */
 export interface JobKindMap {
     bash: 'bash';
-    subagent: 'subagent';
 }
 /** The merge-extensible union of registered producer kind names. */
 export type JobKind = JobKindMap[keyof JobKindMap];

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@deepseek-ai/dsh-jobs",
   "description": "Background job registry (ctx.jobs) for the DeepSeek Harness — shared ids, owner isolation, polling, cancellation, and completion listeners for long-running tool work",
-  "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"
-    },
     "./brand": {
       "types": "./lib/types/brand.d.ts",
       "default": "./lib/types/brand.js"
@@ -35,18 +31,16 @@
   },
   "files": [
     "lib/index.js",
-    "lib/invariant.js",
     "lib/types/**/*.js",
     "lib/types/**/*.d.ts"
   ],
   "license": "MIT",
   "peerDependencies": {
-    "@deepseek-ai/dsh-brand": "0.2.0-rc.2",
-    "@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-workspace": "0.2.0-rc.2",
-    "@deepseek-ai/cordis": "~4.0.4"
+    "@deepseek-ai/dsh-agent": "0.2.1-alpha.2",
+    "@deepseek-ai/dsh-brand": "0.2.1-alpha.2",
+    "@deepseek-ai/dsh-session": "0.2.1-alpha.2",
+    "@deepseek-ai/dsh-workspace": "0.2.1-alpha.2",
+    "@deepseek-ai/cordis": "~4.0.5-alpha.1"
   },
   "peerDependenciesMeta": {
     "@deepseek-ai/dsh-workspace": {
@@ -54,11 +48,10 @@
     }
   },
   "devDependencies": {
-    "@deepseek-ai/dsh-agent": "0.2.0-rc.2",
-    "@deepseek-ai/dsh-brand": "0.2.0-rc.2",
-    "@deepseek-ai/dsh-invariants": "0.2.0-rc.2",
-    "@deepseek-ai/dsh-workspace": "0.2.0-rc.2",
-    "@deepseek-ai/dsh-session": "0.2.0-rc.2",
-    "@deepseek-ai/cordis": "~4.0.4"
+    "@deepseek-ai/dsh-agent": "0.2.1-alpha.2",
+    "@deepseek-ai/dsh-brand": "0.2.1-alpha.2",
+    "@deepseek-ai/dsh-session": "0.2.1-alpha.2",
+    "@deepseek-ai/dsh-workspace": "0.2.1-alpha.2",
+    "@deepseek-ai/cordis": "~4.0.5-alpha.1"
   }
 }

package/lib/invariant.js

@@ -1,90 +0,0 @@
-//#region lib/types/invariant.js
-/** Package-owned background-job event-protocol invariants. @module @deepseek-ai/dsh-jobs/invariant */
-const PACKAGE_NAME = "@deepseek-ai/dsh-jobs";
-const TERMINAL_STATUSES = new Set([
-	"completed",
-	"killed",
-	"failed"
-]);
-/** Cordis companion plugin name. */
-const name = "jobs-invariant";
-/** Service required before the companion can reserve package ownership. */
-const inject = ["invariants"];
-/** The registry's own current projection of `id`, or undefined once the record is gone. */
-function readBack(ctx, id, owner) {
-	try {
-		return ctx.jobs.get(id, owner);
-	} catch {
-		return;
-	}
-}
-/**
-* The announced projection must agree with the registry's own read: the
-* immutable identity matches, and the announced output total is not ahead of
-* the committed one.
-*/
-function checkAnnounced(read, announced, what, fail) {
-	const id = String(announced.id);
-	for (const key of [
-		"kind",
-		"label",
-		"owner",
-		"startedAt"
-	]) if (read[key] !== announced[key]) fail(`${what} for job ${id} announces ${key} ${JSON.stringify(announced[key])} while the registry reads ${JSON.stringify(read[key])}`);
-	if (announced.output.total > read.output.total) fail(`${what} for job ${id} announces output total ${announced.output.total} ahead of the registry's ${read.output.total}`);
-}
-/** Install the per-job protocol and event-versus-read checks over the whole event stream. */
-const install = Object.assign((ctx, fail) => {
-	const phases = /* @__PURE__ */ new Map();
-	ctx.jobs.events.subscribe({ owners: "all" }, (event) => {
-		if (event.type === "output") {
-			const id = String(event.id);
-			const read = readBack(ctx, event.id, event.owner);
-			if (read === void 0) fail(`output announced for job ${id} that the registry no longer returns`);
-			if (event.total > read.output.total) fail(`output announced for job ${id} at total ${event.total} ahead of the registry's ${read.output.total}`);
-			if (!phases.has(id)) phases.set(id, "live");
-			return;
-		}
-		const { job } = event;
-		const id = String(job.id);
-		const phase = phases.get(id);
-		const terminal = TERMINAL_STATUSES.has(job.status);
-		switch (event.type) {
-			case "registered":
-				if (phase !== void 0) fail(`registered announced for job ${id} after earlier events for the same id`);
-				if (terminal || job.finishedAt !== void 0) fail(`registered job ${id} must announce a live status without finishedAt`);
-				break;
-			case "progress":
-			case "stopping":
-				if (phase === "settled") fail(`${event.type} announced for job ${id} after its settlement`);
-				if (terminal) fail(`${event.type} announced for job ${id} with a terminal status`);
-				break;
-			case "settled":
-				if (phase === "settled") fail(`settled announced twice for job ${id}`);
-				if (!terminal) fail(`settled job ${id} must announce a terminal status, got ${JSON.stringify(job.status)}`);
-				if (job.finishedAt === void 0 || job.finishedAt < job.startedAt) fail(`settled job ${id} must announce finishedAt no earlier than startedAt`);
-				if (job.progress !== void 0) fail(`settled job ${id} must announce a cleared progress line`);
-				break;
-			case "removed":
-				if (phase === "live") fail(`removed announced for job ${id} before its settlement`);
-				if (readBack(ctx, job.id, job.owner) !== void 0) fail(`removed announced for job ${id} that the registry still returns`);
-				phases.delete(id);
-				return;
-			/* v8 ignore start -- defensive: the lifecycle event union is closed and exhaustive here; a new variant fails loudly */
-			default: fail(`unknown job event ${String(event)} for job ${id}`);
-		}
-		const read = readBack(ctx, job.id, job.owner);
-		if (read === void 0) fail(`${event.type} announced for job ${id} that the registry does not return`);
-		checkAnnounced(read, job, event.type, fail);
-		if (event.type === "settled" && (read.status !== job.status || read.finishedAt !== job.finishedAt)) fail(`settled job ${id} announces ${job.status} at ${String(job.finishedAt)} while the registry reads ${read.status} at ${String(read.finishedAt)}`);
-		phases.set(id, event.type === "settled" ? "settled" : "live");
-	});
-}, { inject: ["jobs"] });
-/**
-* Register the job-registry 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 background-job event-protocol invariants. @module @deepseek-ai/dsh-jobs/invariant */
-import type { Context } from '@deepseek-ai/cordis';
-/** Cordis companion plugin name. */
-export declare const name = "jobs-invariant";
-/** Service required before the companion can reserve package ownership. */
-export declare const inject: string[];
-/**
- * Register the job-registry 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,110 +0,0 @@
-/** Package-owned background-job event-protocol invariants. @module @deepseek-ai/dsh-jobs/invariant */
-const PACKAGE_NAME = '@deepseek-ai/dsh-jobs';
-const TERMINAL_STATUSES = new Set(['completed', 'killed', 'failed']);
-/** Cordis companion plugin name. */
-export const name = 'jobs-invariant';
-/** Service required before the companion can reserve package ownership. */
-export const inject = ['invariants'];
-/** The registry's own current projection of `id`, or undefined once the record is gone. */
-function readBack(ctx, id, owner) {
-    try {
-        return ctx.jobs.get(id, owner);
-    }
-    catch {
-        // The registry throws for an id outside the caller's set; after a removal that is the expected answer.
-        return undefined;
-    }
-}
-/**
- * The announced projection must agree with the registry's own read: the
- * immutable identity matches, and the announced output total is not ahead of
- * the committed one.
- */
-function checkAnnounced(read, announced, what, fail) {
-    const id = String(announced.id);
-    for (const key of ['kind', 'label', 'owner', 'startedAt']) {
-        if (read[key] !== announced[key]) {
-            fail(`${what} for job ${id} announces ${key} ${JSON.stringify(announced[key])} while the registry reads ${JSON.stringify(read[key])}`);
-        }
-    }
-    if (announced.output.total > read.output.total) {
-        fail(`${what} for job ${id} announces output total ${announced.output.total} ahead of the registry's ${read.output.total}`);
-    }
-}
-/** Install the per-job protocol and event-versus-read checks over the whole event stream. */
-const install = Object.assign((ctx, fail) => {
-    const phases = new Map();
-    ctx.jobs.events.subscribe({ owners: 'all' }, (event) => {
-        if (event.type === 'output') {
-            const id = String(event.id);
-            const read = readBack(ctx, event.id, event.owner);
-            if (read === undefined)
-                fail(`output announced for job ${id} that the registry no longer returns`);
-            if (event.total > read.output.total) {
-                fail(`output announced for job ${id} at total ${event.total} ahead of the registry's ${read.output.total}`);
-            }
-            if (!phases.has(id))
-                phases.set(id, 'live');
-            return;
-        }
-        const { job } = event;
-        const id = String(job.id);
-        const phase = phases.get(id);
-        const terminal = TERMINAL_STATUSES.has(job.status);
-        switch (event.type) {
-            case 'registered':
-                if (phase !== undefined)
-                    fail(`registered announced for job ${id} after earlier events for the same id`);
-                if (terminal || job.finishedAt !== undefined)
-                    fail(`registered job ${id} must announce a live status without finishedAt`);
-                break;
-            case 'progress':
-            case 'stopping':
-                if (phase === 'settled')
-                    fail(`${event.type} announced for job ${id} after its settlement`);
-                if (terminal)
-                    fail(`${event.type} announced for job ${id} with a terminal status`);
-                break;
-            case 'settled':
-                if (phase === 'settled')
-                    fail(`settled announced twice for job ${id}`);
-                if (!terminal)
-                    fail(`settled job ${id} must announce a terminal status, got ${JSON.stringify(job.status)}`);
-                if (job.finishedAt === undefined || job.finishedAt < job.startedAt) {
-                    fail(`settled job ${id} must announce finishedAt no earlier than startedAt`);
-                }
-                if (job.progress !== undefined)
-                    fail(`settled job ${id} must announce a cleared progress line`);
-                break;
-            case 'removed':
-                if (phase === 'live')
-                    fail(`removed announced for job ${id} before its settlement`);
-                if (readBack(ctx, job.id, job.owner) !== undefined)
-                    fail(`removed announced for job ${id} that the registry still returns`);
-                phases.delete(id);
-                return;
-            /* v8 ignore start -- defensive: the lifecycle event union is closed and exhaustive here; a new variant fails loudly */
-            default: {
-                const exhaustive = event;
-                fail(`unknown job event ${String(exhaustive)} for job ${id}`);
-            }
-            /* v8 ignore stop */
-        }
-        const read = readBack(ctx, job.id, job.owner);
-        if (read === undefined)
-            fail(`${event.type} announced for job ${id} that the registry does not return`);
-        checkAnnounced(read, job, event.type, fail);
-        if (event.type === 'settled' && (read.status !== job.status || read.finishedAt !== job.finishedAt)) {
-            fail(`settled job ${id} announces ${job.status} at ${String(job.finishedAt)}`
-                + ` while the registry reads ${read.status} at ${String(read.finishedAt)}`);
-        }
-        phases.set(id, event.type === 'settled' ? 'settled' : 'live');
-    });
-}, { inject: ['jobs'] });
-/**
- * Register the job-registry 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