@sema-agent/server 7.130.0 → 7.132.0

package/dist/capabilities/memory-notice.js

@@ -1,64 +0,0 @@
-import { describeToolCatalog, HANDS_BAND_TAGS, NO_PERSISTENT_MEMORY_NOTICE } from "@sema-agent/core";
-import { hasConstitutionAnchors } from "../task-settings.js";
-import { executionLaneCaps } from "../execution-lane-caps.js";
-export function persistencePathToolNamesOf(entries) {
-    const names = new Set();
-    for (const e of entries) {
-        if (!e.mountedBy.some((tag) => HANDS_BAND_TAGS.has(tag)))
-            continue;
-        if ((e.face.effect ?? "write") === "read")
-            continue;
-        const pt = e.face.pathTarget;
-        if (!((pt !== undefined && pt.access !== "read") || e.face.family === "shell"))
-            continue;
-        names.add(e.name);
-    }
-    if (names.size === 0) {
-        throw new Error("core tool catalog yields no hand-band persistence path (file-write target or writable shell) — " +
-            "the #148 disclosure would start claiming 'no persistent memory' on every machine that HAS hands. " +
-            "Re-read core's rosterCanPersist inference and re-derive persistencePathToolNamesOf.");
-    }
-    return Object.freeze([...names]);
-}
-export const KNOWN_PERSISTENCE_TOOL_NAMES = persistencePathToolNamesOf(describeToolCatalog());
-export const NO_PERSISTENT_MEMORY_SECTION_ID = "sema/memory.no-persistent";
-export function buildNoticeLaneFacts(lane) {
-    const caps = executionLaneCaps(lane);
-    return { handsWired: caps.coreRemoteExecutionEnv === "supported", filePlaneRemote: caps.hostFilePlane !== "supported" };
-}
-export function noPersistentMemoryNotice(facts) {
-    if (facts.memoryFaceMounted)
-        return "silent";
-    if (facts.declaredCapable !== undefined)
-        return facts.declaredCapable ? "silent" : "disclose";
-    if (facts.hands === "none" || facts.handsReadOnly)
-        return "disclose";
-    if (!facts.handsWired)
-        return "disclose";
-    if (facts.filePlaneRemote)
-        return "disclose";
-    return "roster";
-}
-export function rosterLeavesPersistencePath(tools) {
-    return tools.some((t) => KNOWN_PERSISTENCE_TOOL_NAMES.includes(t.name));
-}
-const NOTICE_BLOCK = { id: NO_PERSISTENT_MEMORY_SECTION_ID, slot: "behavior", text: NO_PERSISTENT_MEMORY_NOTICE };
-function mountNotice(decls) {
-    const assembledIdentity = decls.find((d) => d.slot === "identity" && hasConstitutionAnchors(d.text));
-    if (!assembledIdentity)
-        return [...decls, NOTICE_BLOCK];
-    return decls.map((d) => (d === assembledIdentity ? { id: d.id, slot: d.slot, text: `${d.text}\n\n${NO_PERSISTENT_MEMORY_NOTICE}` } : d));
-}
-export function withNoPersistentMemoryNotice(provider, when) {
-    const due = (ctx) => when === "disclose" || !rosterLeavesPersistencePath(ctx.tools);
-    if (provider?.stableBlocks) {
-        const blocks = provider.stableBlocks.bind(provider);
-        return { ...provider, stableBlocks: (ctx) => (due(ctx) ? mountNotice(blocks(ctx)) : blocks(ctx)) };
-    }
-    if (provider?.stableSystem) {
-        const stable = provider.stableSystem.bind(provider);
-        return { ...provider, stableSystem: (ctx) => (due(ctx) ? `${stable(ctx)}\n\n${NO_PERSISTENT_MEMORY_NOTICE}` : stable(ctx)) };
-    }
-    return { stableBlocks: (ctx) => (due(ctx) ? [NOTICE_BLOCK] : []) };
-}
-//# sourceMappingURL=memory-notice.js.map

package/dist/capabilities/prompt.d.ts

@@ -1,17 +0,0 @@
-import type { PromptProvider } from "@sema-agent/core";
-/**
- * Build a scenario's prompt provider from just its ROLE base, on core 1.243's 提示词主权 contract:
- * `stableSystem` returns ONLY the role layer (base + the task's own systemPrompt) and **core appends
- * the constitution structurally** — harness/safety blocks (Truth/CYBER_RISK/URL_SAFETY), mode blocks,
- * AND the memory safety/hygiene guidance (`constitutionBlocks`), plus the volatile `<user_memory>`
- * tail LAST ([ref] prefix-cache discipline; guarded in CI by `assertPromptCacheFriendly`).
- *
- * History: the pre-1.243 seam made this helper's whole-prompt replacement silently DROP
- * core's constitution — oa/code-review/team ran with zero safety blocks. Same batch also moved
- * MEMORY_SAFETY/MEMORY_HYGIENE into the constitution layer, so the hand-composition this helper used
- * to do (core 1.62, [ref]) would now DOUBLE-inject them — both removed; core owns the discipline
- * (consolidation mutual-exclusion included). This stays a thin role-layer join so scenarios don't
- * re-implement the same two-line body five times.
- */
-export declare function stablePrompt(base: string): PromptProvider;
-//# sourceMappingURL=prompt.d.ts.map

package/dist/capabilities/prompt.js

@@ -1,6 +0,0 @@
-export function stablePrompt(base) {
-    return {
-        stableSystem: ({ userSystemPrompt }) => [base, userSystemPrompt].filter(Boolean).join("\n\n"),
-    };
-}
-//# sourceMappingURL=prompt.js.map

package/dist/mcp-content-origin.d.ts

@@ -1,34 +0,0 @@
-/**
- * [ref](core 5.60.0)—— `McpServerSpec.contentOrigin` 的**闭词表单一属主**。
- *
- * core 给 MCP 条目开了一个**内容出处声明**座位:一台 server 的整套工具的结果算 `"local"`(部署自己
- * 写的)/ `"execution"`(执行环境产物,`execIsExternalContent` 仍能收紧)/ `"external"`(第三方内容,
- * 显式 PIN —— 它同时**取消** `trustedTools` 的按名豁免)。缺席 = pre-378 逐字节现行为(协议命名空间
- * 一律判 external,fail-closed)。它只影响**记忆写治理**(会话污染标记),core 明写「no gate/policy/
- * roster effect」——与审批门、角色表、工具白名单都无关。
- *
- * ## 为什么值得一个自己的模块
- * 本仓有**两个**平面会拿到这个键(部署面 center 下发 / 请求面 body),两边都要判「词在不在表里」。
- * 一条安全轴上的判据有两份实现,就是其中一份将来漂开的方式(`mcpInjectionHonored` 顶注里那句
- * 「判据只有一只谓词,不许两处各判一半」的同款理由)。⇒ 表与谓词都只有这一份。
- *
- * ## 闭集纪律(CLAUDE.md:安全轴上未知词必须是**编译**错误)
- * 下面两条 `AssertNever` 是**双向**钉:
- *  · core 给 `ToolContentOrigin` 加词而本表没跟 ⇒ `_ContentOriginCovers` 残余非 never ⇒ tsc 红;
- *  · 本表写错/写多一个词 ⇒ `_ContentOriginNoStray` 残余非 never ⇒ tsc 红。
- * 单向钉挡不住第二种(手滑把 `"local"` 打成 `"locale"` 只会让一个合法声明被静默拒),所以两条都要。
- */
-import type { ToolContentOrigin } from "@sema-agent/core";
-/** core `ToolContentOrigin` 的执法副本 —— **唯一**一份(见模块头注)。 */
-export declare const CONTENT_ORIGIN_WORDS: readonly ["local", "execution", "external"];
-/**
- * 词表内?—— 两个平面共用的**那一只**谓词。
- *
- * 🔴 严判:非串(数字 / 布尔 / null / 对象)与大小写不符(`"LOCAL"`)一律**不在词表内**。core 的
- * `ToolContentOrigin` 是字面量联合,不做规范化;本层替它「宽容一下」等于自造第二份值域语义,而这条
- * 轴上宽容的方向恰好是**放宽信任**(把一个写坏的声明当成 `"local"` 读)。
- */
-export declare function isContentOriginWord(v: unknown): v is ToolContentOrigin;
-/** 坏值的**可打印**摘要(进 400 文案 / warn 元数据)——中和 + 截长,绝不把任意长度的调用方输入原样回显。 */
-export declare function describeBadContentOrigin(v: unknown): string;
-//# sourceMappingURL=mcp-content-origin.d.ts.map

package/dist/mcp-content-origin.js

@@ -1,10 +0,0 @@
-export const CONTENT_ORIGIN_WORDS = ["local", "execution", "external"];
-const WORDS = new Set(CONTENT_ORIGIN_WORDS);
-export function isContentOriginWord(v) {
-    return typeof v === "string" && WORDS.has(v);
-}
-export function describeBadContentOrigin(v) {
-    const raw = typeof v === "string" ? JSON.stringify(v) : v === null ? "null" : Array.isArray(v) ? "array" : typeof v;
-    return raw.length > 64 ? `${raw.slice(0, 64)}…` : raw;
-}
-//# sourceMappingURL=mcp-content-origin.js.map

package/dist/tool-axis-words.d.ts

@@ -1,27 +0,0 @@
-/**
- * S-249(DT-13)—— per-tool **风险轴覆写**的值域词表与谓词(读者:**A2A 请求腿**;以及一次性迁移 M19 的升级前读法 `stored-request-tool-axes-m19.ts`,随 M19 的登记行退役)。
- *
- * ## 历史与现状
- * 修前 `task-mcp.ts` 与 `task-a2a.ts` 各自在请求腿上逐键校验同一个三成员结构(`effect` / `egress` / `irreversibility`),两个**闭集词表**是手抄的字面串,
- * 没有一份钉在 core 的型上;S-249 把词表收到本文件并**两向钉死在 core 的型上**(core 加词 ⇒ 正向门红;本表留了 core 已没有的词 ⇒ 反向门红),两条腿读同一只谓词。
- *
- * 之后 MCP 面的 `toolAxes` 判官整个换给了**引擎**:core 7.51.2 起根导出 `readMcpToolAxes`(整份声明一坏全拒、不默认),部署腿(`web-admin-client/skills-mcp.ts`)
- * 与请求腿(`task-mcp.ts`)都问它,本仓不再有 MCP 面的自铸读者、也不再 import 本文件的谓词。**A2A 面引擎没有对应的判官**(core 暂无 `readA2aToolAxes`),
- * 所以 A2A 请求腿(`task-a2a.ts`)仍用本文件的谓词;引擎一旦给 A2A 也立一只判官,本文件随之退役。另一个读者是 M19 的迁移读者:续跑重放腿把升级前存下的
- * `mcpServers[].toolAxes` 按升级前那只读者的读法重读一次(产物再交引擎的判官),那段读法当年就读本文件的谓词,逐字搬回;它不是 MCP 面的第二只判官。
- *
- * 下面的同型钉(A2A 的轴型与 MCP 的轴型逐字同声明)仍有意义:A2A 的词表跟着引擎 MCP 面的轴型走,哪一边加词、改词,另一边在这里当场红。
- *
- * 🔴 **只管值域,不管处置**:A2A 腿对坏值的处置是整条拒(MCP 面是引擎判官的「整份全拒」;两面方向一致),M19 的迁移读者剔坏成员(升级前的读法),判据与理由写在各自的调用点。
- */
-import type { McpServerSpec, ToolEffect } from "@sema-agent/core";
-/** 一条 per-tool 轴覆写的形。取 MCP 那一面作代表 —— 下面的同型钉证明 A2A 面与它逐字同声明。 */
-export type ToolAxisEntry = NonNullable<McpServerSpec["toolAxes"]>[string];
-/** 轴覆写上那个**两词**的不可逆档(⚠️ 与 `AskOrigin` 面的**三词** `never|maybe|always` 不是同一个词表:
- *  覆写面只收两极,`maybe` 是引擎按工具自己的声明定的,调用方说不出口)。 */
-export type ToolAxisIrreversibility = NonNullable<ToolAxisEntry["irreversibility"]>;
-/** 值是不是一个合法的 `effect` 词(A2A 请求腿与 M19 的迁移读者读它)。 */
-export declare function isToolEffect(v: unknown): v is ToolEffect;
-/** 值是不是一个合法的**覆写面** `irreversibility` 词(A2A 请求腿与 M19 的迁移读者读它)。 */
-export declare function isToolAxisIrreversibility(v: unknown): v is ToolAxisIrreversibility;
-//# sourceMappingURL=tool-axis-words.d.ts.map

package/dist/tool-axis-words.js

@@ -1,9 +0,0 @@
-const TOOL_EFFECT_WORDS = ["read", "write", "idempotent"];
-const TOOL_AXIS_IRREVERSIBILITY_WORDS = ["always", "never"];
-export function isToolEffect(v) {
-    return typeof v === "string" && TOOL_EFFECT_WORDS.includes(v);
-}
-export function isToolAxisIrreversibility(v) {
-    return typeof v === "string" && TOOL_AXIS_IRREVERSIBILITY_WORDS.includes(v);
-}
-//# sourceMappingURL=tool-axis-words.js.map

package/dist/wire-name-bound.d.ts

@@ -1,14 +0,0 @@
-/**
- * 这个申报名能用吗 —— 四个收口共用的**那一只**谓词。
- *
- * 严判:非串、空串、超 `TOOL_WIRE_NAME_MAX_CHARS` 一律不可用。本层不做截断/规范化 —— 截短一个名字
- * 就是**换一个身份**(core 自己 7.13.0 起正是为此把截断改成拒),而被换掉身份的那台 server 上挂的
- * allowTools / toolFaces 收窄声明会一起对不上号。
- */
-export declare function isUsableWireName(v: unknown): v is string;
-/**
- * 坏名的**可打印**摘要(进 warn 元数据)——中和 + 截长,绝不把任意长度的申报串原样回显进日志。
- * 长度如实带上:运维要的是「我那个名字长了多少」,不是一屏乱码。
- */
-export declare function describeBadWireName(v: unknown): string;
-//# sourceMappingURL=wire-name-bound.d.ts.map

package/dist/wire-name-bound.js

@@ -1,13 +0,0 @@
-import { TOOL_WIRE_NAME_MAX_CHARS } from "@sema-agent/core";
-export function isUsableWireName(v) {
-    return typeof v === "string" && v.length > 0 && v.length <= TOOL_WIRE_NAME_MAX_CHARS;
-}
-export function describeBadWireName(v) {
-    if (typeof v !== "string")
-        return v === null ? "null" : Array.isArray(v) ? "array" : typeof v;
-    if (v.length === 0)
-        return "empty";
-    const head = v.length > 32 ? `${JSON.stringify(v.slice(0, 32))}…` : JSON.stringify(v);
-    return `${head} (${v.length} chars > ${TOOL_WIRE_NAME_MAX_CHARS})`;
-}
-//# sourceMappingURL=wire-name-bound.js.map