dsh-auto-flow 0.1.4 → 0.1.6

package/lib/client.js

@@ -7225,12 +7225,16 @@ Set the \`cycles\` parameter to \`"ref"\` to resolve cyclical schemas with defs.
 		*   写 `'*'` 等于广播给任何来源。
 		*/
 		function postHostContext(frame, context, targetOrigin) {
-			frame?.contentWindow?.postMessage({
-				type: HOST_CONTEXT_MESSAGE_TYPE,
-				theme: context.theme,
-				sessionId: context.sessionId,
-				hostOrigin: context.hostOrigin
-			}, targetOrigin);
+			const target = frame?.contentWindow;
+			if (target === null || target === void 0) return;
+			try {
+				target.postMessage({
+					type: HOST_CONTEXT_MESSAGE_TYPE,
+					theme: context.theme,
+					sessionId: context.sessionId,
+					hostOrigin: context.hostOrigin
+				}, targetOrigin);
+			} catch {}
 		}
 		//#endregion
 		//#region \0dsh-css:C:\Users\Administrator\Desktop\projects\dsh\dsh-plugins\packages\business\dsh-auto-flow\src\client\features\workflow-overlay\WorkflowOverlay.module.css.mjs
@@ -7245,14 +7249,14 @@ Set the \`cycles\` parameter to \`"ref"\` to resolve cyclical schemas with defs.
 		}
 		var WorkflowOverlay_module_css_default = {
 			"bar": "_3sfATW_bar",
-			"stage": "_3sfATW_stage",
-			"frame": "_3sfATW_frame",
-			"noticeActions": "_3sfATW_noticeActions",
+			"notice": "_3sfATW_notice",
+			"noticeText": "_3sfATW_noticeText",
 			"dialog": "_3sfATW_dialog",
+			"noticeActions": "_3sfATW_noticeActions",
 			"layer": "_3sfATW_layer",
 			"noticeReason": "_3sfATW_noticeReason",
-			"notice": "_3sfATW_notice",
-			"noticeText": "_3sfATW_noticeText"
+			"frame": "_3sfATW_frame",
+			"stage": "_3sfATW_stage"
 		};
 		//#endregion
 		//#region src/client/features/workflow-overlay/WorkflowOverlay.tsx

package/lib/index.js

@@ -22,6 +22,7 @@ import { zValidator } from "@hono/zod-validator";
 import { Hono } from "hono";
 import { bodyLimit } from "hono/body-limit";
 import { HTTPException } from "hono/http-exception";
+import { createHmac, randomBytes, timingSafeEqual } from "node:crypto";
 //#region ../../shared/workflow/src/approval.ts
 /** 审批节点的默认选项：通过（继续）/ 驳回（中止）。 */
 const DEFAULT_APPROVAL_OPTIONS = [{
@@ -11598,6 +11599,93 @@ function missingParam(issue) {
 	return name === void 0 ? "查询串结构不符合约定" : `缺少查询参数 ${String(name)}`;
 }
 //#endregion
+//#region src/host/features/app-unit/unit-token.ts
+/**
+* 单元入口的**自有令牌**与同源判据 —— 桌面端能打开面板的原因。
+*
+* 【它解决什么】桌面端顶层文档的 origin 是自定义协议（实测控制台里的 `dsh-app://app`），而单元是
+* `http://127.0.0.1:<端口>`：两者**跨站**。宿主的门靠一枚 `SameSite=Strict` 的签名 cookie 记住认证
+* （见 `@deepseek-ai/dsh-host-*` 的 `sessionCookie`），而跨站 iframe 里那个 cookie **永远不会被发送**
+* —— 于是"令牌换 cookie"那一步永远白做，入口每次都是 401。浏览器形态（`dsh web`，顶层也在
+* `http://127.0.0.1`）没有这个问题：那里同站，cookie 正常。
+*
+* 本模块给出两条不依赖 cookie 的判据（合起来由 `gateOf` 用在宿主门之前）：
+* 1. **地址里的令牌**（{@link hasUnitToken}）：装配点把令牌拼进单元地址，门在**任意路径**上认它。
+*    宿主的门只在 `GET /` 上认一次令牌、随后 303 丢掉，所以它必须靠 cookie 续命。
+* 2. **同源请求**（{@link isSameOrigin}）：单元自己的页面发起的取数与帧内刷新走这一条。
+*
+* 【为什么令牌要绑定 authority】`hmac(secret, host)` 里的 host 取自请求的 `Host` 头（`127.0.0.1:<端口>`）：
+* 一个单元地址上的令牌拿到另一个单元上不成立 —— 单元之间不互相开门。
+*
+* 【为什么是 HMAC 而不是随机串比对】随机串得存一份；HMAC 只用"每进程一份的 secret"就能按 authority
+* 现场算出来，比较还走常数时间。secret 不落盘、不进日志，重启即全部失效 —— 与"地址由宿主现发"一致。
+*/
+/** 令牌在单元地址里的查询串键名。 */
+const UNIT_TOKEN_PARAM = "unitToken";
+/**
+* 造一份本进程的签名 secret。
+*
+* @returns 32 字节随机数（不落盘、不进日志）。
+*/
+function createUnitTokenSecret() {
+	return randomBytes(32);
+}
+/**
+* 算某个 authority 的单元令牌。
+*
+* @param secret - {@link createUnitTokenSecret} 的产物。
+* @param authority - 请求的 `Host` 头取值（例如 `127.0.0.1:5174`）。
+* @returns base64url 文本（URL 安全，可直接放进查询串）。
+*/
+function unitTokenOf(secret, authority) {
+	return createHmac("sha256", secret).update(authority).digest("base64url");
+}
+/**
+* 把令牌拼进单元地址。
+*
+* @param url - 宿主给的地址（它自己的令牌已经在里面）。
+* @param secret - 本进程的 secret。
+* @returns 追加了 `unitToken` 的地址；authority 与其余查询串保持不变。
+*/
+function withUnitToken(url, secret) {
+	const parsed = new URL(url);
+	parsed.searchParams.set(UNIT_TOKEN_PARAM, unitTokenOf(secret, parsed.host));
+	return parsed.href;
+}
+/**
+* 这条请求带的令牌对不对。
+*
+* @param secret - 本进程的 secret。
+* @param request - 请求（读 `Host` 与 `url`）。
+* @returns 地址里的 `unitToken` 与本 authority 的期望值**完全一致**时为 `true`；缺 `Host`、缺令牌、
+*   长度不符或值不符都是 `false`。
+*/
+function hasUnitToken(secret, request) {
+	const authority = request.headers.host;
+	if (authority === void 0 || authority === "") return false;
+	const presented = new URL(request.url ?? "/", "http://unit.invalid").searchParams.get(UNIT_TOKEN_PARAM);
+	if (presented === null) return false;
+	const actual = Buffer.from(presented, "utf8");
+	const expected = Buffer.from(unitTokenOf(secret, authority), "utf8");
+	return actual.byteLength === expected.byteLength && timingSafeEqual(actual, expected);
+}
+/**
+* 这条请求是不是**单元自己的页面**发起的。
+*
+* 【为什么这条可以当判据】`Sec-Fetch-Site` 由浏览器自己写，页面里的 JS 不能伪造它；跨站页面发起的
+* 请求标 `cross-site`，被这一条挡在外面。它覆盖两件"地址里的令牌"覆盖不到的事：单元前端对自己
+* `/api` 的取数，以及帧内刷新/深链（带令牌的那一次导航之后，地址栏里就没有令牌了）。
+*
+* 【已知代价，明写】非浏览器的**本地进程**可以自己伪造这个请求头，而宿主的签名 cookie 伪造不了 ——
+* 这是为了让桌面端能用而接受的放宽。浏览器侧的跨站攻击面没有变化（那一档本来就进不来）。
+*
+* @param request - 请求。
+* @returns `Sec-Fetch-Site: same-origin` 时为 `true`（其余取值一律 `false`）。
+*/
+function isSameOrigin(request) {
+	return request.headers["sec-fetch-site"] === "same-origin";
+}
+//#endregion
 //#region src/host/features/app-unit/connection.ts
 /**
 * 读 `connection` 服务。
@@ -11613,16 +11701,30 @@ function connectionOf(ctx) {
 	return connection;
 }
 /**
-* 把平台的门折成 `app-unit` 的 `gate`。
+* 把平台的门折成 `app-unit` 的 `gate` —— 并在它**之前**加上我们自己的两条判据。
+*
+* 【为什么要加】宿主的门靠一枚 `SameSite=Strict` 的签名 cookie 记住认证；桌面端顶层文档是自定义协议
+* （实测控制台里的 `dsh-app://app`）而单元在 `http://127.0.0.1:<端口>`：两者跨站，那枚 cookie 在跨站
+* iframe 里**永远不会被发送** —— 于是"令牌换 cookie"白做，入口每次 401（现象："dsh web authentication
+* required"，面板打不开）。我们自己的判据（地址里的令牌 / `Sec-Fetch-Site: same-origin`）不依赖 cookie，
+* 桌面端与浏览器端都成立；判据与已知代价写在 `./unit-token.ts` 的文件头。
 *
-* 【两个方法为什么直通、不加工】档位差异（入口可以自己作答 303/401；其余只回答"放行还是拒绝"）是
-* 上游的语义，本插件不再叠一层 —— 复述一遍就是给自己造第二个真源。
+* 【为什么保留宿主那两条兜底】没有我们令牌的地址（例如有人直接拿宿主打印的地址访问）仍然按宿主的规则
+* 走：浏览器形态下 `authorizeIndex` 照旧走"令牌换 cookie"，行为与改动前一致。
 */
-function gateOf(ctx) {
+function gateOf(ctx, secret) {
 	const connection = connectionOf(ctx);
+	/** 我们自己的两条判据：命中就不去打扰宿主的门（宿主那条会写响应或作答 401）。 */
+	const ours = (request) => hasUnitToken(secret, request) || isSameOrigin(request);
 	return {
-		authorizeIndex: (req, res) => connection.authorizeIndex(req, res),
-		requestRejection: (req) => connection.requestRejection(req)
+		authorizeIndex: (req, res) => {
+			if (ours(req)) return true;
+			return connection.authorizeIndex(req, res);
+		},
+		requestRejection: (req) => {
+			if (ours(req)) return void 0;
+			return connection.requestRejection(req);
+		}
 	};
 }
 //#endregion
@@ -11665,15 +11767,16 @@ const WORKSPACE_LIST_TIMEOUT_MS = 1e4;
 * @throws 装配接口本身形状不对时同步抛出（那是本文件自己的错误，与"端口被占用"这类环境问题不同）。
 */
 function mountUnits(ctx, deps) {
+	const secret = createUnitTokenSecret();
 	return mountAppUnits(ctx, {
 		pluginDir: pluginDirOf(),
 		units: APP_UNITS,
-		gate: gateOf(ctx),
+		gate: gateOf(ctx, secret),
 		bff: () => createEditorHandler({
 			...deps,
 			listWorkspaceDir: workspaceDirLister(ctx)
 		}),
-		authenticate: (origin) => connectionOf(ctx).authenticatedUrl(`${origin}/`),
+		authenticate: (origin) => withUnitToken(connectionOf(ctx).authenticatedUrl(`${origin}/`), secret),
 		onNotice: (message) => {
 			ctx.logger.warn("auto-flow: %s", message);
 		}

package/lib/types-DFA-SFER.js

@@ -0,0 +1,226 @@
+import { z } from "zod";
+//#region ../../shared/script-contract/src/types.ts
+const JsonValueSchema = z.lazy(() => z.union([
+	z.string(),
+	z.number(),
+	z.boolean(),
+	z.null(),
+	z.array(JsonValueSchema),
+	z.record(z.string(), JsonValueSchema)
+]));
+z.record(z.string(), JsonValueSchema);
+/** 下拉选项（label = 展示，value = 传给脚本的值）。 */
+const ScriptSelectOptionSchema = z.object({
+	label: z.string(),
+	value: JsonValueSchema
+});
+/** 显隐条件：判据键取到该值时才显示本字段。 */
+/**
+* 字段条件的运算符白名单（**真源在这里**，`workflow` 的 `FieldCondition` 直接用它）。
+*
+* 【为什么放在最底层】`workflow` 依赖 `script-contract`（产物规则的真源在这里），
+* 所以共用词汇只能由下层定义、上层复用 —— 反向依赖会造出一个环。
+* 与条件节点的 `CONDITION_OPERATORS` 同一套思路：宁可少几种写法，也不要一个能执行任意代码的入口。
+*/
+const SCRIPT_FIELD_CONDITION_OPERATORS = [
+	"eq",
+	"not",
+	"gte",
+	"lte",
+	"gt",
+	"lt",
+	"startsWith",
+	"endsWith",
+	"includes",
+	"regex",
+	"exists"
+];
+const ScriptParamVisibilitySchema = z.lazy(() => z.object({
+	key: z.string(),
+	op: z.enum(SCRIPT_FIELD_CONDITION_OPERATORS).optional(),
+	value: JsonValueSchema.optional(),
+	values: z.array(JsonValueSchema).optional()
+}));
+const ScriptParamVariantSchema = z.lazy(() => z.object({
+	when: z.string(),
+	value: JsonValueSchema,
+	children: z.array(ScriptParamFieldSchema)
+}));
+const ScriptParamFieldSchema = z.lazy(() => z.object({
+	key: z.string(),
+	label: z.string(),
+	type: z.enum([
+		"string",
+		"number",
+		"boolean",
+		"select",
+		"datetime",
+		"array",
+		"object",
+		"file"
+	]),
+	required: z.boolean().optional(),
+	defaultValue: JsonValueSchema.optional(),
+	options: z.array(ScriptSelectOptionSchema).optional(),
+	multiple: z.boolean().optional(),
+	format: z.string().optional(),
+	placeholder: z.string().optional(),
+	description: z.string().optional(),
+	children: z.array(ScriptParamFieldSchema),
+	variants: z.array(ScriptParamVariantSchema).optional(),
+	discriminantOptions: z.array(ScriptSelectOptionSchema).optional(),
+	discriminantKey: z.object({
+		key: z.string(),
+		label: z.string()
+	}).optional(),
+	visibleWhen: ScriptParamVisibilitySchema.optional()
+}));
+/**
+* 产物装配规则：告诉工作流引擎「本脚本产出的文件路径放在返回数据的哪个键上」。
+*
+* 为什么需要它：工作流下游脚本节点的 payload 由「上游表单值 + 上游脚本返回值 + 上游产物文件」
+* 三路合并而成（auto-flow 的 src/workflow/payload.ts），而产物文件注入哪个键由**下游脚本**声明。
+* 不声明则工作流拿不到文件，只会拿到路径字符串。
+*/
+const ScriptArtifactSpecSchema = z.object({
+	/** 返回数据里存放文件路径列表的键名。 */
+	filesKey: z.string().optional(),
+	/** 路径的形状（缺省按普通路径列表处理；prompt-pairs 表示每份产物配一组提示词）。 */
+	filesShape: z.enum(["paths", "prompt-pairs"]).optional(),
+	/** 与图片一一对应的提示词所在键（仅图片类产物用）。 */
+	filesPromptKey: z.string().optional()
+});
+z.object({
+	/** 库内脚本名（稳定路由键，如 `dxf/analyze`）；对外身份是 `<来源 id>/<本名>`。 */
+	name: z.string(),
+	/** 展示名。 */
+	label: z.string(),
+	/** 用途说明（供 listScripts / 模型工具展示）。 */
+	description: z.string(),
+	/** 参数清单（JSON 安全，供工作流 UI 渲染表单）。 */
+	params: z.array(ScriptParamFieldSchema),
+	/** 产物装配规则（缺省不消费上游文件）。 */
+	artifacts: ScriptArtifactSpecSchema.optional()
+});
+const ScriptErrorSchema = z.object({
+	/** 稳定错误码（机器可路由）。 */
+	code: z.string(),
+	/** 给人看的说明。 */
+	message: z.string()
+});
+const ScriptRunMetaSchema = z.object({
+	startedAt: z.number(),
+	finishedAt: z.number(),
+	durationMs: z.number()
+});
+z.discriminatedUnion("ok", [z.object({
+	ok: z.literal(true),
+	script: z.string(),
+	data: JsonValueSchema,
+	meta: ScriptRunMetaSchema
+}), z.object({
+	ok: z.literal(false),
+	script: z.string(),
+	error: ScriptErrorSchema,
+	meta: ScriptRunMetaSchema
+})]);
+/**
+* 浏览器品牌通道。
+*
+* 【为什么在契约包里而不是某个脚本库】它是 `ScriptRunOptions.browser.channel` 的取值域，
+* 属于运行选项契约的一部分。原先两个脚本库各存一份同名 schema，其中一方多了 `browser`——
+* **同名不同形**，而契约正是为了让工作流引擎不必对脚本库分分支而存在的。
+* 现在取并集：不跑浏览器的脚本库接受并忽略 `browser`，跑浏览器的脚本库照旧使用它。
+*
+* 为什么没有「留空 = 用自带 Chromium」这个状态：自带 Chromium 要额外下载数百 MB，
+* 且与系统浏览器的反检测环境不同；留空会让「没配置」和「显式要求不要品牌通道」两种意图
+* 混在一起，最终静默走到自带浏览器上。需要扩展时在这里加一项，各脚本库的 config 校验与
+* 工作流节点的类型同步生效。
+*/
+const BROWSER_CHANNELS = ["msedge", "chrome"];
+/**
+* 判定一个值是不是合法的浏览器品牌通道。
+*
+* 【为什么需要它】`channel` 的来源之一是**用户手写的画布节点数据**（`inline.browser`），
+* 那边取到的只是 `string` —— 信任边界。按本仓库的政策「校验只做在信任边界上，且只做一次」，
+* 校验就在这里做一次；不识别的取值应被**丢弃**，而不是透传给脚本库。
+*
+* @param value - 任意值（通常是节点数据里的 `browser` 字段）。
+* @returns 是取值域内的通道时为 `true`，调用方据此收窄成 {@link BrowserChannel}。
+*/
+function isBrowserChannel(value) {
+	return typeof value === "string" && BROWSER_CHANNELS.includes(value);
+}
+z.object({
+	/** 本次运行的产物根目录（工作流引擎传入；缺省由插件配置兜底）。 */
+	baseDir: z.string().optional(),
+	/** 本次运行的子目录名（工作流引擎传入 `<序号>-<脚本名>`）。 */
+	runId: z.string().optional(),
+	/** 浏览器选项；只有驱动浏览器的脚本库会读它，其余脚本库接受并忽略。 */
+	browser: z.object({
+		headless: z.boolean().optional(),
+		channel: z.enum(BROWSER_CHANNELS).optional()
+	}).optional(),
+	/** 本次运行的硬超时（毫秒；非正数表示不限）。 */
+	timeoutMs: z.number().optional()
+});
+//#endregion
+//#region ../../shared/workflow/src/types.ts
+/**
+* 脚本「上游产物文件 → payload」装配规则：真源在共享包 `script-contract`，这里转出。
+* 原先本文件手写了一份同形 interface，与共享契约逐字段相同——纯重复，已消除。
+* 既 import 又 export：本文件下面有接口把它当字段类型用，`export type { X } from` 不会把 X 带进本地作用域。
+*/
+/**
+* 重试路径上的**跳过策略**。
+*
+* - `rerun-all`（**默认**）：不跳过，该做的都做 —— 与正常执行等价（只是保留同一次运行的身份）；
+* - `skip-succeeded`：只补做台账里 `status !== 'ok'` 的 key。
+*
+* 【为什么默认不跳过】默认跳过会让「我改了提示词想重跑」变成一个**用户想不通的静默行为**；
+* 跳过是重试路径上用户显式要的东西，不该成为整个体系的默认。**这是我的判断**，
+* 不是从别处抄的；若认为默认应当跳过，改这一个常量即可，不影响其它设计。
+*/
+const RESUME_MODES = ["rerun-all", "skip-succeeded"];
+/** 缺省的重试跳过策略（见 {@link ResumeMode} 的理由）。 */
+const DEFAULT_RESUME_MODE = "rerun-all";
+/**
+* 当前工作流文档格式版本（显式版本化，便于未来演进与迁移）。
+*
+* v2 = item 流：节点有唯一 `name`、引用按名字；`RunStep` 装批的汇总与样本。
+* 旧文档（v1）**响亮拒绝**，不写迁移（项目无历史债务）。
+*/
+const WORKFLOW_FORMAT_VERSION = 2;
+/**
+* 节点的一条**运行前必填项**：该字段取到空白就报诊断（运行前 fail-fast）。
+*
+* 取代原先按节点类型写死的 `if / else if` 链 —— 那段链每加一种节点就要改一次校验文件。
+*/
+/**
+* 字段条件的运算符白名单：**真源在 `script-contract`**（下层），这里复用。
+*
+* 【为什么不各写一份】`workflow` 依赖 `script-contract`（产物规则的真源在下层），共享词汇
+* 只能由下层定义。各写一份字面量联合虽然结构上相等，但两处漂移时只有运行期的
+* `typert-gen` 结构比对会发现 —— 复用同一个常量就没有这个缝。
+*/
+const FIELD_CONDITION_OPERATORS = SCRIPT_FIELD_CONDITION_OPERATORS;
+/** 运行终止事件。 */
+/**
+* 运行**终态**集合：`run-end` 的 `stopReason` 只能取自这里。
+*
+* 【为什么单独成一个常量而不是把字面量写进接口】`RunState['status']` 是 6 值联合
+* （多出 `running` / `waiting` / `crashed`），而一次运行**结束时**只可能是这三者之一：
+* 引擎的三个出口分别置 `completed` / `failed` / `cancelled`；`waiting` 期间
+* `runInner` 根本不返回（审批等待是 `await`），`crashed` 由宿主扫尾赋值、不经 `run()`。
+* 把这三值提成常量，是为了让**发射点**能显式取它 —— 先前那里直接写 `stopReason: state.status`，
+* 类型上把 6 值塞进 3 值（`emit` 通道是 `unknown`，编译器不拦），类型与事实脱节。
+*/
+const RUN_TERMINAL_STATUSES = [
+	"completed",
+	"failed",
+	"cancelled"
+];
+//#endregion
+export { WORKFLOW_FORMAT_VERSION as a, RUN_TERMINAL_STATUSES as i, FIELD_CONDITION_OPERATORS as n, isBrowserChannel as o, RESUME_MODES as r, DEFAULT_RESUME_MODE as t };
+
+//# sourceMappingURL=types-DFA-SFER.js.map

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "dsh-auto-flow",
-  "version": "0.1.4",
+  "version": "0.1.6",
   "description": "可视化工作流编辑器与执行引擎：画布编排、脚本节点、人工审批、运行历史，让 dsh 按确定流程跑长任务。",
   "keywords": [
     "deepseek-harness",
@@ -9,13 +9,8 @@
   ],
   "license": "MIT",
   "files": [
-    "lib/index.js",
-    "lib/index.d.ts",
-    "lib/types.js",
-    "lib/types.d.ts",
-    "lib/types-*.d.ts",
-    "lib/client.js",
-    "lib/client.*.js",
+    "lib/*.js",
+    "lib/*.d.ts",
     "lib/typert.host.js",
     "lib/typert.host.d.ts",
     "lib/typert.remote-client.js",
@@ -98,11 +93,11 @@
     "typescript": "^6.0.3",
     "vitest": "^4.1.8",
     "app-unit": "0.1.0",
-    "test-support": "0.1.0",
+    "script-contract": "0.1.0",
     "host-signal": "0.1.0",
-    "workflow-engine": "0.1.0",
+    "test-support": "0.1.0",
     "workflow": "0.1.0",
-    "script-contract": "0.1.0"
+    "workflow-engine": "0.1.0"
   },
   "peerDependencies": {
     "@deepseek-ai/cordis": "^4.0.4",