@morlay/dsh-session-mode 0.0.14 → 0.0.16

package/src/shared.ts

@@ -2,15 +2,19 @@
 // 走 HTTP 路由而不是 Typert Remote：客户端的 remote 清单由上游硬编码，我们的服务不在里面。
 // 会话当前模式不走这条通路：它是 session 投影（`sessionMode`），随会话列表一起到页面。
 
-// 模式清单与切换的路由路径：宿主（web 与桌面）在同一张路由表上服务它。
-export const SESSION_MODE_PATH = "/session-mode";
+// 模式清单与切换的路由路径：宿主（web 与桌面）在同一张路由表上服务它。前缀是项目的统一约定
+// （`/api/morlay/v1/<域>`，与 `ui-conversation-message-actions` 的 `/api/morlay/v1/session/*` 同一套），
+// 不带前缀的裸路径会与 SPA 的静态资源 fallback 抢同一个命名空间。
+import { groupByKey, groupOfTool, groupTitleOf } from "@morlay/dsh-tool-guidance/groups";
+
+export const SESSION_MODE_PATH = "/api/morlay/v1/session-mode";
 
 // 模式可以改写的上游 **policy 规则**名，即上游 waterfall 的事件名（是事件名、不是路径，所以**不带**前导斜杠）：
 // `fs/write-intent`（写意图）与 `fs/edit-intent`（改意图）。home 在这里而不是 `modes.ts`：host 半的装配期校验
 // 与 client 半的页面候选键都要它，而 client 半不 import `modes.ts`（免得把 schemastery 拖进浏览器包）。
 // 「能拦什么」取决于上游是否在那条 waterfall 上独占决策槽——它不是配置能自己长出来的东西，所以这份名单是封闭的，
 // 写进来的名字不在名单里就在装配期拒绝（见 `configProblem`）。
-export const POLICY_NAMES = ["fs/write-intent", "fs/edit-intent"] as const;
+export const POLICY_NAMES = ["fs/write-intent", "fs/edit-intent", "fs/delete-intent"] as const;
 
 // 一条 policy 规则的名字。
 export type PolicyName = (typeof POLICY_NAMES)[number];
@@ -38,3 +42,124 @@ export interface SessionModeSelectRequest {
 export interface SessionModeSelectResult {
   readonly mode: string;
 }
+
+// `GET /session-mode?sessionId=<id>` 的响应体：某个会话**当下生效**的那一份（不是模式的配置清单）。
+// 侧边栏面板读它——工具是运行期实际可见的那一份（按需组加载后随之变化），技能/政策是名单合成后的结果。
+export type SessionModeSwitchKey = "instructions" | "skills" | "runtimeContext";
+
+// 面板能编辑的字段（会话级覆盖与"另存为"都以它为准）。
+export interface SessionModeEditable {
+  readonly persona: { readonly prefix: string; readonly suffix: string };
+  readonly allowTools: readonly string[];
+  readonly denyTools: readonly string[];
+  readonly allowSkills: readonly string[];
+  readonly denySkills: readonly string[];
+  readonly allowPolicies: readonly string[];
+  readonly denyPolicies: readonly string[];
+  readonly instructions: boolean;
+  readonly skills: boolean;
+  readonly runtimeContext: boolean;
+}
+
+// 全量目录：id + 描述（面板折叠组里逐条展示），`group` 用于工具的分组选择。
+export type SessionModeTriState = "allow" | "deny";
+
+export interface SessionModeDirectoryEntry {
+  readonly id: string;
+  readonly description: string;
+  readonly group?: string;
+  readonly groupLabel?: string;
+  // 模式默认下的判定（继承来的那档）。
+  // 模式配置里的显式档：`deny`（含组引用）、`allow`（白名单内）或 `default`（没显式配）。
+  readonly fallback?: SessionModeTriState | "default";
+  // 这个会话显式覆盖成的判定；`null`/缺省表示跟着默认。
+  readonly override?: SessionModeTriState | null;
+}
+
+export interface SessionModeDirectory {
+  readonly tools: readonly SessionModeDirectoryEntry[];
+  readonly skills: readonly SessionModeDirectoryEntry[];
+  readonly policies: readonly SessionModeDirectoryEntry[];
+}
+
+// 工具的组 id：MCP 一个 server 一组（`mcp:<server>`），其余是稳定的短 id。
+
+// 不可被开关收窄的工具：`run_code` 是 PTC 的唯一入口，`describe_tool` 是它取签名的手段。
+export const PROTECTED_TOOLS: ReadonlySet<string> = new Set(["run_code", "describe_tool"]);
+
+export function isProtectedTool(name: string): boolean {
+  return PROTECTED_TOOLS.has(name);
+}
+
+export function toolGroupOf(name: string): string {
+  // 分组表的唯一 home 是 `@morlay/dsh-tool-guidance`（含 MCP 资源三件的 `mcp` 组）。
+  const known = groupOfTool(name);
+  if (known !== undefined) return known;
+  // MCP server 的特殊性：一个 server 一组（`mcp:<server>`），工具名里动态带 server——静态表覆盖不了，放最后兜底。
+  if (name.startsWith("mcp__")) {
+    const rest = name.slice("mcp__".length);
+    const separator = rest.indexOf("__");
+    if (separator > 0) return `mcp:${rest.slice(0, separator)}`;
+  }
+  if (name.startsWith("tool_group_")) return "onDemand";
+  return "other";
+}
+
+// 常驻的组：这些组的工具默认就在目录里（对应 guidance 的 `injection: "init"` 那几个域）。
+// 常驻判据来自 guidance 的 `injection`：`init` 与认不出的组常驻，`on-demand` 的组默认不进目录。
+export function isResidentToolGroup(group: string): boolean {
+  if (group === "onDemand" || group === "other") return true;
+  if (group.startsWith("mcp:")) return false;
+  try {
+    return groupByKey(group).injection === "init";
+  } catch {
+    return true;
+  }
+}
+
+export function toolGroupLabel(group: string): string {
+  // MCP server 的特殊性：组 id 自带 server 名，显示成 `MCP · <server>`。
+  if (group.startsWith("mcp:")) return `MCP · ${group.slice("mcp:".length)}`;
+  return groupTitleOf(group) ?? (group === "onDemand" ? "按需工具" : "其它");
+}
+
+// 名单里引用整组时的写法：MCP 组直接用 `mcp:<server>`，其余加 `group:` 前缀。
+export function groupRef(group: string): string {
+  return group.startsWith("mcp:") ? group : `group:${group}`;
+}
+
+export function refGroup(ref: string): string {
+  return ref.startsWith("group:") ? ref.slice("group:".length) : ref;
+}
+
+// 名单是否命中这个工具：写具体 id，或写它所属的组（`mcp:<server>` / `group:<id>`）。
+export function deniedByList(deny: readonly string[], id: string): boolean {
+  const group = toolGroupOf(id);
+  return deny.some(
+    (ref) =>
+      ref === id ||
+      ((ref.startsWith("group:") || ref.startsWith("mcp:")) && refGroup(ref) === group),
+  );
+}
+
+// 两条 policy 的说明（面板与清单同源）。
+export const POLICY_DESCRIPTIONS: Readonly<Record<PolicyName, string>> = {
+  "fs/write-intent": "文件写入前的意图检查（CAS 安全网）。",
+  "fs/edit-intent": "文件编辑前的意图检查（先读后改那条规则）。",
+  "fs/delete-intent": "文件删除前的意图检查。",
+};
+
+export interface SessionModeActiveState {
+  // 展示用的三件：模式 id / 名称 / 描述。
+  readonly mode: { readonly id: string; readonly name: string; readonly description: string };
+  // 与 TOML 同构的配置本身。
+  readonly config: import("./mode-config.ts").ModeConfig;
+  // 这个会话的覆盖（全量的一份配置；没有就是 undefined）。
+  readonly session: import("./mode-config.ts").ModeConfig | undefined;
+  // 覆盖里**真正与模式默认不同**的字段（面板按字段显示来源）。
+  readonly overriddenFields?: readonly string[];
+  // 全量目录（工具 / 技能 / policy）：id、描述、分组、配置值与覆盖值。
+  readonly catalog: SessionModeDirectory;
+  // 只有"另存为"出来的模式允许删除。
+  readonly deletable: boolean;
+}

package/src/system-remainder.ts

@@ -0,0 +1,39 @@
+// system prompt 的“变化部分”不再挤进 system，而是作为一条 `<system-remainder>` 的 user 消息追加到历史尾部：
+// system 稳定 → 前缀缓存可复用；变化只在历史里追加，且只有内容变了才追加。
+//
+// 这里只放纯函数：怎么收集 section、什么时候 append 由插件接线，边界测试写在 `__tests__/system-remainder.spec.ts`。
+
+import type { UserMessage } from "@deepseek-ai/dsh-llm";
+
+// 一段会被搬进 remainder 的文本（section 名 + 文本）。
+export interface RemainderSection {
+  readonly name: string;
+  readonly text: string;
+}
+
+// 按 section 顺序拼成一段稳定文本：名字保留，方便模型知道每段是什么。
+export function renderRemainder(sections: readonly RemainderSection[]): string {
+  return sections
+    .filter((section) => section.text.trim().length > 0)
+    .map((section) => `## ${section.name}\n\n${section.text.trim()}`)
+    .join("\n\n");
+}
+
+// 与上一份比较：空白差异不算变化，避免每步都追加一条。
+export function remainderChanged(previous: string | undefined, next: string): boolean {
+  return (previous ?? "").trim() !== next.trim();
+}
+
+// 会话里落盘用的 user 消息（`id` 由 Session 分配）。
+export type RemainderMessage = Omit<UserMessage, "id">;
+
+// 包成一条 user 消息；空内容返回 undefined（不追加）。
+export function remainderMessage(text: string): RemainderMessage | undefined {
+  const body = text.trim();
+  if (body.length === 0) return undefined;
+  return {
+    role: "user",
+    content: [{ type: "text", text: `<system-remainder>\n${body}\n</system-remainder>` }],
+    source: { kind: "user" },
+  };
+}

package/src/tool-groups.ts

@@ -0,0 +1,19 @@
+// 按需工具分组：一个组是**注册表里的名字面**（不含描述——被收窄掉的工具定义读不到，列表只给名字与数量）。
+// 组名与组归属的事实 home 是 `shared.ts`（`toolGroupOf` / `isResidentToolGroup` / `groupRef`）：host 与 client
+// 两半都要它，这里只做"名字全集 → 按需组"的投影。
+import { groupRef, isResidentToolGroup, toolGroupOf } from "./shared.ts";
+
+// 名字面 → 按需组名（`mcp:<server>` / `group:<id>`）→ 这个组里的工具名（保持注册顺序）。
+// 常驻组不进这张表：它们的工具默认就在目录里，不需要按需放行。
+export function groupTools(names: Iterable<string>): Map<string, string[]> {
+  const groups = new Map<string, string[]>();
+  for (const name of names) {
+    const group = toolGroupOf(name);
+    if (isResidentToolGroup(group)) continue;
+    const key = groupRef(group);
+    const tools = groups.get(key);
+    if (tools === undefined) groups.set(key, [name]);
+    else tools.push(name);
+  }
+  return groups;
+}

package/dist/shared-DO1nZbJ0.cjs

@@ -1,64 +0,0 @@
-// \0rolldown/runtime.js
-var __create = Object.create;
-var __defProp = Object.defineProperty;
-var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
-var __getOwnPropNames = Object.getOwnPropertyNames;
-var __getProtoOf = Object.getPrototypeOf;
-var __hasOwnProp = Object.prototype.hasOwnProperty;
-var __exportAll = (all, no_symbols) => {
-	let target = {};
-	for (var name in all) __defProp(target, name, {
-		get: all[name],
-		enumerable: true
-	});
-	if (!no_symbols) __defProp(target, Symbol.toStringTag, { value: "Module" });
-	return target;
-};
-var __copyProps = (to, from, except, desc) => {
-	if (from && typeof from === "object" || typeof from === "function") for (var keys = __getOwnPropNames(from), i = 0, n = keys.length, key; i < n; i++) {
-		key = keys[i];
-		if (!__hasOwnProp.call(to, key) && key !== except) __defProp(to, key, {
-			get: ((k) => from[k]).bind(null, key),
-			enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable
-		});
-	}
-	return to;
-};
-var __reExport = (target, mod, secondTarget) => (__copyProps(target, mod, "default"), secondTarget && __copyProps(secondTarget, mod, "default"));
-var __toESM = (mod, isNodeMode, target) => (target = mod != null ? __create(__getProtoOf(mod)) : {}, __copyProps(isNodeMode || !mod || !mod.__esModule || !__hasOwnProp.call(mod, "default") ? __defProp(target, "default", {
-	value: mod,
-	enumerable: true
-}) : target, mod));
-// src/shared.ts
-const SESSION_MODE_PATH = "/session-mode";
-const POLICY_NAMES = ["fs/write-intent", "fs/edit-intent"];
-Object.defineProperty(exports, "POLICY_NAMES", {
-	enumerable: true,
-	get: function() {
-		return POLICY_NAMES;
-	}
-});
-Object.defineProperty(exports, "SESSION_MODE_PATH", {
-	enumerable: true,
-	get: function() {
-		return SESSION_MODE_PATH;
-	}
-});
-Object.defineProperty(exports, "__exportAll", {
-	enumerable: true,
-	get: function() {
-		return __exportAll;
-	}
-});
-Object.defineProperty(exports, "__reExport", {
-	enumerable: true,
-	get: function() {
-		return __reExport;
-	}
-});
-Object.defineProperty(exports, "__toESM", {
-	enumerable: true,
-	get: function() {
-		return __toESM;
-	}
-});

package/dist/shared-vjlwxiMt.mjs

@@ -1,4 +0,0 @@
-// src/shared.ts
-const SESSION_MODE_PATH = "/session-mode";
-const POLICY_NAMES = ["fs/write-intent", "fs/edit-intent"];
-export { SESSION_MODE_PATH as n, POLICY_NAMES as t };