dsh-crwu-workbench 0.0.13 → 0.0.14

package/lib/client.js

@@ -2962,6 +2962,9 @@ body[data-ds-dark-theme] .crwu-audit-root {
 			envOssErrPermission: "AccessKey 可以登录，但这个账号没有交付目录的访问权限，请联系管理员开通。",
 			envOssErrConfig: "交付目录的配置有问题（Bucket 或 Endpoint），请联系管理员核对。",
 			envOssErrInfrastructure: "暂时无法连接 OSS，请稍后重新验证；这不代表 AccessKey 有误。",
+			envCredInheritedWindowsAcl: "使用当前 Windows 账户 ACL；POSIX 0600 不适用。",
+			envCredInherited: "凭据权限由现有机制负责，没有执行额外收紧。",
+			envCredHardeningFailed: "凭据已保存，但权限没有收紧成功，请检查文件权限。",
 			envIfindCardTitle: "同花顺 iFinD API-Key",
 			envIfindCardHint: "用于查询外部金融数据。API-Key 由插件保存在本机，页面不回显；每次检查都会真的读取一条测试数据。",
 			envIfindSecretLabel: "同花顺 iFinD API-Key",
@@ -3903,6 +3906,128 @@ body[data-ds-dark-theme] .crwu-audit-root {
 			})] });
 		}
 		//#endregion
+		//#region src/shared/utils/value.ts
+		/** 将可空外部值转换为稳定字符串。 */
+		function text(value) {
+			return value === void 0 || value === null ? "" : String(value);
+		}
+		//#endregion
+		//#region src/shared/utils/local-path.ts
+		/**
+		* **本地展示路径**的纯函数适配器（不引用 `node:path`）。
+		*
+		* ## 为什么需要它
+		*
+		* Host 与 Client 都要算「案例目录」「文件名」这类**展示路径**，而共享层不能引入 Node 模块
+		* （Client 产物是要进浏览器的）。于是历史实现各处都用 `/` 硬拼，在 Windows 上产生三类错误：
+		*
+		* 1. **拼接**：`C:\Work` + `/` + `S1` 得到 `C:\Work/S1`，进 shell（PowerShell 的 `-Path`）
+		*    与进提示词（模型照着写命令）都是混用分隔符；
+		* 2. **取末段**：`'C:\\Work\\S1'.split('/')` 得到整串，界面上的案例名变成一整条路径；
+		* 3. **裁剪**：`replace(/\/+$/, '')` 对 `C:\Work\` 无效；对 `\\server\share\` 稍有不慎就裁成
+		*    无法解析的 `\\server`。
+		*
+		* ## 边界（改这个文件前先读）
+		*
+		* - 这里处理的是**本地路径**：盘符、UNC、POSIX 根。**OSS object key 永远用 `/`**，
+		*   不属于这里（见 `host/oss/ops.ts` 里 `objectKey` 的命名）。
+		* - **安全性判断不要用这里的函数**：`..`、符号链接、Windows 盘符大小写都会让字符串比较失效，
+		*   父目录/子目录判定一律走 `ctx.fs.contains`（后端 realpath 之后比较）。
+		*   这里只负责「拼一条给人看、给命令用的路径」。
+		* - `joinLocalPath` 对**不受信任的片段**是拒绝而不是清洗：绝对路径、`..` 片段都抛错。
+		*   静默清洗会让调用方以为拿到了一条安全路径（最危险的形态）。
+		*/
+		/**
+		* 盘符**风格**：`C:\` / `C:/`，也接受裸 `C:`。
+		*
+		* `C:` 是「盘符相对路径」（这个盘上的当前目录），它**不是**绝对路径 —— 风格与绝对必须分开判，
+		* 见 `isAbsoluteLocalPath`。
+		*/
+		const DRIVE_STYLE = /^[A-Za-z]:([\\/]|$)/;
+		/** 盘符**绝对**：盘符后必须有分隔符（`C:\` / `C:/`）。裸 `C:` 不算。 */
+		const DRIVE_ROOTED = /^[A-Za-z]:[\\/]/;
+		/** UNC / 双分隔符开头：`\\server\share` 或 `//server/share`。 */
+		const UNC = /^[\\/]{2}[^\\/]/;
+		/** 这个字符串看起来是 Windows 风格路径（盘符或 UNC）。**不表示它是绝对路径。** */
+		function isWindowsStylePath(value) {
+			const raw = text(value);
+			return DRIVE_STYLE.test(raw) || UNC.test(raw);
+		}
+		/**
+		* 是否是绝对本地路径（POSIX `/…`、Windows 盘符根、UNC）。
+		*
+		* **裸 `C:` 不是绝对路径**（2026-09-28 复查修）：早先这里复用了「Windows 风格」的判断，
+		* 于是 `requireCaseDir('C:')` 会把盘符相对路径当绝对路径放行 —— 案例目录随后随进程 cwd 漂移，
+		* 产物落点不可预测。`C:` 与 `C:\` 是完全不同的位置，两条正则不能共用。
+		*/
+		function isAbsoluteLocalPath(value) {
+			const raw = text(value);
+			return raw.startsWith("/") || DRIVE_ROOTED.test(raw) || UNC.test(raw);
+		}
+		/**
+		* 去掉尾部路径分隔符，但**保留根**：
+		*
+		* - `'/work/'` → `'/work'`；`'/'` → `'/'`；
+		* - `'C:\\Work\\'` → `'C:\\Work'`；`'C:\\'` → `'C:\\'`（裁成 `'C:'` 会变成「盘符相对路径」）；
+		* - `'\\\\server\\share\\'` → `'\\\\server\\share'`；
+		*   `'\\\\server\\'` → `'\\\\server\\'`（裁掉尾部分隔符就只剩服务器名，不是一个可解析的路径）。
+		*/
+		function trimTrailingSeparators(value) {
+			const raw = text(value);
+			if (raw === "") return "";
+			if (/^\/+$/.test(raw)) return "/";
+			if (/^[A-Za-z]:[\\/]$/.test(raw)) return raw;
+			if (/^[\\/]{2}[^\\/]+[\\/]$/.test(raw)) return raw;
+			let end = raw.length;
+			while (end > 0 && (raw[end - 1] === "/" || raw[end - 1] === "\\")) end -= 1;
+			return end === 0 ? raw : raw.slice(0, end);
+		}
+		/** 该路径风格用哪个分隔符；非 Windows 风格一律 `/`。 */
+		function localSeparator(value) {
+			return isWindowsStylePath(value) ? "\\" : "/";
+		}
+		/** 一个片段是不是 `..`（只看整段，不看 `a..b` 这种文件名）。 */
+		function isParentSegment(segment) {
+			return segment.split(/[\\/]+/).some((part) => part === "..");
+		}
+		/**
+		* 拼接一条本地路径：分隔符随 `root` 的风格。
+		*
+		* - `joinLocalPath('C:\\Work', 'a', 'b')` → `'C:\\Work\\a\\b'`
+		* - `joinLocalPath('/work', 'a', 'b')` → `'/work/a/b'`
+		* - `joinLocalPath('/work/', 'a')` → `'/work/a'`（根上的尾分隔符不产生双斜杠）
+		*
+		* **拒绝**（抛 `RangeError`）而不是清洗：
+		* - 片段是绝对路径（`/x`、`C:\x`、`\\server\x`）—— 那会静默替换掉整条路径；
+		* - 片段含 `..` 整段 —— 那会静默越出调用方以为的目录。
+		*
+		* 空片段（`''`）跳过；片段内部的另一种分隔符会被规范成目标分隔符。
+		*
+		* 裸盘符根（`'C:'`）会被规范成 `'C:\\'` —— 「往 `C:` 后面接一段」在 Windows 上的实际含义
+		* 就是该盘的根，而不是「这个盘上的当前目录」；要判「是不是绝对路径」用 `isAbsoluteLocalPath`，
+		* 那一条对裸 `C:` 明确返回 `false`。
+		*/
+		function joinLocalPath(root, ...segments) {
+			const base = trimTrailingSeparators(root);
+			const sep = localSeparator(base);
+			const parts = [];
+			if (base !== "") parts.push(base);
+			for (const segment of segments) {
+				const raw = text(segment);
+				if (raw === "") continue;
+				if (isAbsoluteLocalPath(raw)) throw new RangeError(`joinLocalPath 拒绝绝对路径片段：${raw}`);
+				if (isParentSegment(raw)) throw new RangeError(`joinLocalPath 拒绝含 .. 的片段：${raw}`);
+				const cleaned = raw.replace(/^[\\/]+/, "").replace(/[\\/]+$/, "");
+				if (cleaned === "") continue;
+				parts.push(sep === "\\" ? cleaned.replace(/\//g, "\\") : cleaned.replace(/\\/g, "/"));
+			}
+			if (parts.length === 0) return "";
+			if (parts.length === 1) return parts[0];
+			const [head, ...tail] = parts;
+			const joint = head !== void 0 && /[\\/]$/.test(head) ? "" : sep;
+			return `${head ?? ""}${joint}${tail.join(sep)}`;
+		}
+		//#endregion
 		//#region src/client/features/workbench/open-session.ts
 		/** 可尝试的 mode 顺序：记录里的优先，然后是两个已知取值。 */
 		function modeCandidates(recorded) {
@@ -4287,9 +4412,12 @@ body[data-ds-dark-theme] .crwu-audit-root {
 				canAuto: missing || (workspace?.source ?? "") === "manual"
 			};
 		}
+		/** 提示文案里的占位段：员工看到的是「<工作空间>\<报告流水号>\」。 */
+		const ARTIFACT_HINT_PLACEHOLDER = "<报告流水号>";
 		/** 审核产物的落盘位置说明（用户最常问的问题：东西写到哪了）。 */
 		function artifactHint(path) {
-			return `${zhCN.wsArtifactPrefix}${path}/<报告流水号>/。${zhCN.wsCwdNote}`;
+			const sep = localSeparator(path);
+			return `${zhCN.wsArtifactPrefix}${joinLocalPath(path, ARTIFACT_HINT_PLACEHOLDER)}${sep}。${zhCN.wsCwdNote}`;
 		}
 		//#endregion
 		//#region src/client/features/workbench/WorkspaceCard.tsx
@@ -4491,6 +4619,49 @@ body[data-ds-dark-theme] .crwu-audit-root {
 			});
 		}
 		//#endregion
+		//#region src/client/features/environment/credential-permission.ts
+		/**
+		* 把 Host 的结构化权限结论翻成**一句给员工看的话**（协议 17）。
+		*
+		* 三种结局各自对应不同的动作，混在一起说就会误导：
+		*
+		* - `verified`：真的收紧了（POSIX 0600 已生效）→ 不需要说什么；
+		* - `inherited`：**没有**执行收紧命令（Windows 上 POSIX 0600 不适用，由当前账户 ACL 负责）
+		*   → 必须说清楚，否则员工会以为这份文件被 0600 保护着；
+		* - `failed`：试图收紧但失败（chmod 报错 / 被沙箱拒绝）→ 这是安全边界没守住，逐字回原因。
+		*
+		* 界面**不得**把 `inherited` 显示成成功，也不得把「不适用」显示成失败。
+		*
+		* `onlyFailures: true` 用在「本来就有更重要的提示」的分支（例如 OSS 连通性失败）：
+		* 那种时候再叠一句 ACL 说明只会把真正要处理的问题挤掉。
+		*/
+		function credentialPermissionHint(raw, options = {}) {
+			const permission = asPermission(raw);
+			if (permission === null) return "";
+			if (permission.status === "failed") return permission.message !== "" ? permission.message : zhCN.envCredHardeningFailed;
+			if (options.onlyFailures === true) return "";
+			if (permission.status === "inherited") return permission.mechanism === "windows-acl" ? zhCN.envCredInheritedWindowsAcl : permission.message !== "" ? permission.message : zhCN.envCredInherited;
+			return "";
+		}
+		/** 边界收窄：Host 应答是外部输入，字段缺失或形状不对时按「没有结论」处理。 */
+		function asPermission(raw) {
+			if (raw === null || typeof raw !== "object") return null;
+			const record = raw;
+			const status = record.status;
+			if (status !== "verified" && status !== "inherited" && status !== "failed") return null;
+			const mechanism = record.mechanism;
+			if (mechanism !== "posix-0600" && mechanism !== "windows-acl" && mechanism !== "host-store") return {
+				status,
+				mechanism: "posix-0600",
+				message: typeof record.message === "string" ? record.message : ""
+			};
+			return {
+				status,
+				mechanism,
+				message: typeof record.message === "string" ? record.message : ""
+			};
+		}
+		//#endregion
 		//#region src/client/features/environment/IfindAuthCard.tsx
 		/** Host 回的状态 → 中文标签。**认不出的状态按未配置处理**（不假装已认证）。 */
 		function ifindStateLabel(state) {
@@ -4598,8 +4769,9 @@ body[data-ds-dark-theme] .crwu-audit-root {
 						return;
 					}
 					setReplacing(false);
-					if (result.chmodOk === false) setHint(result.chmodError);
 					showProbe(result.probe);
+					const permissionHint = credentialPermissionHint(result.permission);
+					if (permissionHint !== "") setHint(permissionHint);
 				}).catch((cause) => {
 					if (mounted.current) {
 						setError(cause instanceof Error ? cause.message : String(cause));
@@ -4843,11 +5015,13 @@ body[data-ds-dark-theme] .crwu-audit-root {
 					if (result.ok !== true) {
 						setError(String(result.error ?? outcome?.detail ?? zhCN.envOssNotReady));
 						setHint(ossErrorHint(String(outcome?.errorKind ?? result.errorKind ?? "")));
-						if (result.chmodOk === false) setHint(String(result.chmodError ?? ""));
+						const failed = credentialPermissionHint(result.permission, { onlyFailures: true });
+						if (failed !== "") setHint(failed);
 						return;
 					}
 					setReplacing(false);
-					if (result.chmodOk === false) setHint(String(result.chmodError ?? ""));
+					const permissionHint = credentialPermissionHint(result.permission);
+					if (permissionHint !== "") setHint(permissionHint);
 					if (outcome?.ok === true) {
 						setMessage(zhCN.envOssSaved);
 						props.onSaved();
@@ -7586,12 +7760,6 @@ body[data-ds-dark-theme] .crwu-audit-root {
 			});
 		}
 		//#endregion
-		//#region src/shared/utils/value.ts
-		/** 将可空外部值转换为稳定字符串。 */
-		function text(value) {
-			return value === void 0 || value === null ? "" : String(value);
-		}
-		//#endregion
 		//#region src/client/features/report-audit/row.ts
 		/**
 		* 报告页的判定规则。
@@ -7844,7 +8012,7 @@ body[data-ds-dark-theme] .crwu-audit-root {
 		//#endregion
 		//#region src/shared/utils/case-dir.ts
 		/**
-		* 一条报告的**案例目录**：`<工作空间>/<流水号>`。
+		* 一条报告的**案例目录**：`<工作空间>/<流水号>`（Windows 上是 `<工作空间>\<流水号>`）。
 		*
 		* 这是 Host 与 Client 都依赖的唯一约定，所以只在这里定义一次：
 		* - Host 的审核提示词拿它告诉审核子代理「本案例目录必须是 …」（`host/audit/prompt.ts`）；
@@ -7855,15 +8023,22 @@ body[data-ds-dark-theme] .crwu-audit-root {
 		* 猜成了 `<工作空间>/cases/<流水号>`：既扫了用户的磁盘，又把材料下到了错的地方。
 		* 两处各写一份拼接逻辑就是这种漂移的温床，所以宁可多一个共享模块。
 		*
-		* 拼接方式与 Host 原实现逐字一致（用 `/` 连接、去掉工作空间末尾的斜杠），
-		* 因为提示词里给出的是**跨平台都一样的字符串**，不引入 `node:path` 的平台差异。
-		* 任一侧为空时返回空串，调用方据此**不写这一段**（宁可不给，也不给一个半截路径）。
+		* **拼接交给 `joinLocalPath`**（2026-09-28 Windows 适配）：分隔符随工作空间的风格走 ——
+		* 在 Windows 上硬拼 `/` 会得到 `C:\Work/S1` 这种混用形式，而这条路径既进提示词
+		* （模型照着写 PowerShell 命令）又进 `ctx.shell` 的 `workdir`。
+		*
+		* 任一侧为空、或流水号不是安全的一段（绝对路径 / 含 `..`）时返回空串，
+		* 调用方据此**不写这一段**（宁可不给，也不给一个半截或越界的路径）。
 		*/
 		function caseDirOf(workspacePath, seqNo) {
-			const workspace = text(workspacePath).replace(/\/+$/, "");
+			const workspace = text(workspacePath);
 			const seq = text(seqNo).trim();
 			if (workspace === "" || seq === "") return "";
-			return `${workspace}/${seq}`;
+			try {
+				return joinLocalPath(workspace, seq);
+			} catch (error) {
+				return "";
+			}
 		}
 		//#endregion
 		//#region src/client/features/report-audit/ReportPane.tsx
@@ -9796,7 +9971,7 @@ body[data-ds-dark-theme] .crwu-audit-root {
 		}
 		/** 宿主与客户端是不是同一代（不同代时**必须**拦住发起审核，见 AGENTS.md §7.12）。 */
 		function hostIsStale(snapshot) {
-			return snapshot.protocol !== null && snapshot.protocol !== 16;
+			return snapshot.protocol !== null && snapshot.protocol !== 17;
 		}
 		/**
 		* 当前运行的版本号（**不带 `v` 前缀**）：`0.0.11` / dev 形态回空串。
@@ -10966,7 +11141,7 @@ body[data-ds-dark-theme] .crwu-audit-root {
 										setNotice("这条记录还没有本地 HTML");
 										return;
 									}
-									workbenchApi.openPath({ path: `${record.casePath.replace(/\/+$/, "")}/${record.htmlFile}` }).then((result) => {
+									workbenchApi.openPath({ path: joinLocalPath(record.casePath, record.htmlFile) }).then((result) => {
 										if (!result.ok) setNotice(result.error);
 									});
 								},