@sema-agent/server 7.130.0 → 7.132.0

package/dist/caller-text-echo.js

@@ -0,0 +1,24 @@
+import { TOOL_WIRE_NAME_MAX_CHARS } from "@sema-agent/settings-schema";
+import { CONTROL_AND_BIDI_STRIP_RE } from "./text-bidi.js";
+export const CALLER_TEXT_ECHO_MAX_CHARS = 64;
+export function echoCallerText(text, opts) {
+    const max = opts?.maxChars ?? CALLER_TEXT_ECHO_MAX_CHARS;
+    if (!Number.isInteger(max) || max < 1)
+        throw new RangeError(`echoCallerText: maxChars must be a positive integer, got ${String(max)}`);
+    const clean = text.replace(CONTROL_AND_BIDI_STRIP_RE, "");
+    return clean.length > max ? `${clean.slice(0, max)}…` : clean;
+}
+export function quotedCallerText(text) {
+    return `"${echoCallerText(text)}"`;
+}
+export function describeBadWireName(v) {
+    if (typeof v !== "string")
+        return v === null ? "null" : Array.isArray(v) ? "array" : typeof v;
+    if (v.length === 0)
+        return "empty";
+    return `${quotedCallerText(v)} (${v.length} chars > ${TOOL_WIRE_NAME_MAX_CHARS})`;
+}
+export function describeBadContentOrigin(v) {
+    return typeof v === "string" ? quotedCallerText(v) : v === null ? "null" : Array.isArray(v) ? "array" : typeof v;
+}
+//# sourceMappingURL=caller-text-echo.js.map

package/dist/capabilities/brand-identity.d.ts

@@ -0,0 +1,26 @@
+/**
+ * 品牌行(`SEMA_IDENTITY`)—— 品牌部署(local / TOC:`CONFIG_PROVIDER=local`、`run-local`)的 `default` / `code` 两场景,模型的 role 层以它开头。
+ *
+ * 律:品牌行是**部署类的一条 overlay**,不是每请求的分叉。部署座(`RunnerDeps.mods`)上一张 `prompt.compose` 注册,恒答同一条 overlay ——
+ * `add` 到 `role` 档(部署类的 add rank 99,排在目录的角色基底 `core/role.base` rank 100 之前),带 `when`:
+ *  · `binding.anyOf: ["default", "code"]` —— 场景名由 `buildPromptSeats` 写进 `TaskSpec.promptBinding`(恒写);`code-review` / `scan` 与中心声明的场景
+ *    不在表里 ⇒ 不挂(它们与 `default` 同为 `general` 角色,`host.role` 分不开,只有 binding 分得开);
+ *  · `facts.isSubagent: false` —— 委派子代(Agent 工具 / workflow 腿)经父 spec 座继承 binding,但它拿的是子代角色(引擎 sub-agent persona 或定义的
+ *    systemPrompt),品牌行只属于与用户对话的那一腿(与 7.131.0 同:场景的提示从来不进子代)。
+ * 判它挂不挂的只有引擎一处(`whenHolds`,每一类 overlay 同一只);本服务不读 `e.selectors`,不写任何每请求的分支。
+ * 文本只在 `prompts/identity.ts` 一处(本模块不复述);「这台部署是不是品牌部署」只有一只判官 {@link isBrandedDeployment} —— HTTP 服务的三个读者
+ * (部署座的品牌行 `createDeploymentMods`、commit 尾注署名、场景详情读面的 `promptSummary`)同调它;本地 CLI(`run-local`)恒是品牌形,直接表态 `true`。
+ */
+import type { EngineDollar, ModRegistration, PromptOverlay } from "@sema-agent/core";
+import type { ServiceConfig } from "../config-types.js";
+/** 🔴 **品牌部署的唯一判官**:local 配置源(`CONFIG_PROVIDER=local`,TOC / Sema 产品线)⇒ 品牌部署。读者见本模块头注;再多一个读者也调它,不各写一遍。 */
+export declare function isBrandedDeployment(config: Pick<ServiceConfig, "configProvider">): boolean;
+/** 注册名(admission / 清单 / `superseded` 归因里的那个名字)。 */
+export declare const BRAND_IDENTITY_REGISTRATION = "server.brand-identity";
+/** 品牌行挂的场景(binding 表)。 */
+export declare const BRAND_IDENTITY_SCENARIOS: readonly ["default", "code"];
+/** 那一条 overlay(数据;注册恒答它)。 */
+export declare const BRAND_IDENTITY_OVERLAY: PromptOverlay;
+/** 品牌行的部署注册:`prompt.compose` 是收集型站点 —— 先 `await next(e)`,原样保留它交回的 overlays,再接上自己的一条。 */
+export declare function createBrandIdentityRegistration(): ModRegistration<EngineDollar>;
+//# sourceMappingURL=brand-identity.d.ts.map

package/dist/capabilities/brand-identity.js

@@ -0,0 +1,27 @@
+import { SEMA_IDENTITY } from "./prompts/identity.js";
+export function isBrandedDeployment(config) {
+    return config.configProvider === "local";
+}
+export const BRAND_IDENTITY_REGISTRATION = "server.brand-identity";
+export const BRAND_IDENTITY_SCENARIOS = ["default", "code"];
+export const BRAND_IDENTITY_OVERLAY = {
+    id: "sema/identity",
+    op: "add",
+    target: "role",
+    text: SEMA_IDENTITY,
+    when: { binding: { anyOf: [...BRAND_IDENTITY_SCENARIOS] }, facts: { isSubagent: false } },
+};
+export function createBrandIdentityRegistration() {
+    return {
+        name: BRAND_IDENTITY_REGISTRATION,
+        tier: "prepend",
+        uses: { events: ["prompt.compose"], calls: [] },
+        register(on) {
+            on("prompt.compose", async (_$, e, next) => {
+                const lower = (await next(e))?.overlays;
+                return { overlays: [...(Array.isArray(lower) ? lower : []), BRAND_IDENTITY_OVERLAY] };
+            });
+        },
+    };
+}
+//# sourceMappingURL=brand-identity.js.map

package/dist/capabilities/builtin-tools.js

@@ -1,7 +1,8 @@
 import { Type } from "typebox";
+import { NOW_TOOL_NAME } from "./host-tool-names.js";
 export function nowTool() {
     return {
-        name: "Now",
+        name: NOW_TOOL_NAME,
         description: "Return the current date-time as an ISO-8601 UTC string. Use when the task involves dates/deadlines/'today'.",
         effect: "read",
         parameters: Type.Object({}),

package/dist/capabilities/center-plugins.js

@@ -196,7 +196,7 @@ export async function applyCenterPlugins(baseline, eff, opts) {
             }
             if (!rootCheck.dir)
                 continue;
-            const loaded = loadSkills(rootCheck.dir, { confineTo: liveDir });
+            const loaded = loadSkills(rootCheck.dir, { confineTo: liveDir, ...(opts.logger !== undefined ? { logger: opts.logger } : {}) });
             for (const skill of loaded) {
                 if (taken.has(skill.spec.name)) {
                     out.letGo.push({ plugin: v.name, skill: skill.spec.name });

package/dist/capabilities/center-prompts.d.ts

@@ -1,48 +1,24 @@
 /**
- * center prompts 消费投影腿([ref]④/[ref]③ 分工:web 承存储+covering 解析+下发,server 承本模块;
- * [ref] 下发形定稿 / [ref] registry-core 0.10.16 schema / [ref]⑤「server 零新义务=逐字透传」)。
+ * 中心提示层的采纳腿:判官(`prompts-domain-validate.ts` 的 `judgePromptsWire`,经候选判官)收下的那份 artifact → 引擎的中心源
+ * (`CenterPromptSource`,经 `RunnerDeps.promptSource` 由引擎采用)。
  *
- * 链路:center(sema-web-admin,2026-08-26 由 sema-web 改名)把 covering 走完的**基线终形**经 `GET /api/config/effective` 的 additive
- * `prompts` key 下发 → 本模块按任务 scenario 选包(`scenarioOverrides[s] ?? sections`,整包替换非增量,
- * [ref]①c)→ 声明数组**逐字**(含 opt-in `contentHash`,core 1.315 校验+manifest 透传)喂 core 既有
- * typed `stableBlocks` 钩子。守卫全在 core(id 规范/slot 闭集/core/ 命名空间拒绝/identity 三锚
- * pass-through/锁定槽不可写)——server 不做语义复检([ref]①f:identity 完整角色层由 center 编辑面把关)。
- *
- * 仅有的一层「形校验」不是语义复检,是**防炸底线**(详见其现居所 `src/prompts-domain-validate.ts`——
- * 判形半场已下沉到该中立叶子,本文件 re-export 保兼容;[ref] S6,lens2 §G):core 对坏形声明的
- * 守卫是 THROW(assemble 期),server 在采用前做结构判形,坏形=拒绝采用该候选的 prompts 面。
- *
- * 生效语义(两段史):1.222 时 core 1.315 的 epoch 是 bundled-only(声明不进 descriptor),热换=resume
- * 三失真,故临时 restart-to-apply;core 1.316([ref] 裁 a/[ref]d)把声明以 (id,slot,chars,contentHash?)
- * 纳入 artifactDigest——声明变=digest 变=**下任务边界自动重 pin**(既有 legacy_migration 机制接手),
- * 进行中会话 epoch pin 保稳。自此恢复**热采用**(main.ts boot+refresh 双点 adopt),与 center
- * 「发布=新任务生效」产品语义对齐([ref]②b)。字节级检测只认 opt-in contentHash(文本不进 digest,
- * 防会话可导出面字典预映)——center 链路恒逐 section 铸([ref]),本投影逐字透传即全强度。
+ * 律:中心层只有一种形(引擎当期 schema 的发布形 artifact),只有一个座(`RunnerDeps.promptSource`)。本服务不展开、不选包、不按场景挑段:
+ * 「哪个场景用哪段」在 artifact 的 `when.binding` 里,由引擎按每个请求的 `TaskSpec.promptBinding`(场景名,`buildPromptSeats` 一处写)判。
+ * 本模块只管三件事:① 把判官交出的值推进中心源的两态过渡({@link applyCenterArtifact});② 按 digest 补拉一份本副本没有的 artifact
+ * ({@link withPromptArtifactBackfill},钉着它的会话续跑时用);③ 中心源自己的运维句(启动恢复读到一份引擎拒的 / 读不出的副本)
+ * 落进本服务的日志({@link centerSourceOnError})。
  */
-import { type PromptProvider, type PublishedPromptArtifactEnvelope } from "@sema-agent/core";
-import { type EffectiveCenterPrompts, type PromptsDomainFaces } from "../prompts-domain-validate.js";
-/** 判形半场(validateCenterPrompts/validatePromptsDomain/CORE_ENGINE_VERSION 及两 interface)已下沉到
- *  中立叶子 `src/prompts-domain-validate.ts`([ref] S6);消费者直引真源([ref] 兼容面全清,
- *  此处兼容 re-export 已删)。 */
-/** [ref]b / [ref] — §9.4 by-digest 补拉组合店:local miss ⇒ fetchRaw(digest) 从 center 拉 envelope ⇒
- *  core verifyPromptArtifact 全管线 + **回验「拿到的=要的」digest 逐位**(center 答非所问=丢弃)⇒
- *  best-effort 回写 inner(下次直命中)。任何失败=undefined(诚实缺席,fail-loud 归 core 的
- *  prompt_snapshot_unavailable——绝不拼杂交)。 */
-export declare function withPromptArtifactBackfill(inner: {
-    get(d: string, o: {
-        engineVersion: string;
-    }): Promise<PublishedPromptArtifactEnvelope | undefined>;
-    put(e: PublishedPromptArtifactEnvelope): Promise<void>;
-}, fetchRaw: (artifactDigest: string) => Promise<unknown>, log: {
+import { type PromptArtifactStore, type PublishedPromptArtifact, type RunnerDeps } from "@sema-agent/core";
+type Log = {
     info: (msg: string, meta?: Record<string, unknown>) => void;
     warn: (msg: string, meta?: Record<string, unknown>) => void;
-}): typeof inner;
-/** e/b 接线([ref]① seam/[ref]e):catalog 轴的两态过渡推进 core 的 CenterPromptSource——
- *  present(且身份变)⇒ applySnapshot(core 重验+落盘+原子换 candidate;validate 已过 core verify,
- *  此处失败=磁盘/状态写问题,warn 不挡 declaration 轴);absent-after-present / prompts 键整体消失
- *  ⇒ applyDisabled(闸关=显式撤下语义的 catalog 轴半场,离线重启不复活)。幂等安全:同 envelope
- *  重放=同 digest 覆盖写。 */
-export declare function applyCatalogToSource(source: {
+};
+/** §9.4 按 digest 补拉的组合店:本地 miss ⇒ `fetchRaw(digest)` 从中心拉 ⇒ 引擎 `verifyPromptArtifact` 全管线 + **回验「拿到的 = 要的」digest 逐位**
+ *  (中心答非所问 = 丢弃)⇒ best-effort 回写本地店(下次直命中)。任何失败 = undefined(诚实缺席;响亮归引擎的 `prompt.snapshot_unavailable` —— 绝不拼杂交)。
+ *  本地店的 `onRefused`(一份副本在、却用不了:引擎拒 / 读不出)原样交给本地店报,不吞:那是「为什么缺」的那一句。 */
+export declare function withPromptArtifactBackfill(inner: PromptArtifactStore, fetchRaw: (artifactDigest: string) => Promise<unknown>, log: Log): PromptArtifactStore;
+/** 中心源的推进面(引擎 `CenterPromptSource` 的两只写口 + 两只「欠不欠撤下」的读口)。 */
+export interface CenterSourceTransitions {
     applySnapshot(raw: unknown): Promise<{
         ok: true;
         artifactDigest: string;
@@ -52,27 +28,24 @@ export declare function applyCatalogToSource(source: {
         reason: string;
     }>;
     applyDisabled(sourceRevision: string): Promise<void>;
-    /** codex-2 F2(restart-owed disable):撤下写盘失败后重启,内存 prev 丢了但持久态还 active——
-     *  以 source 自身的 live candidate 为准判「欠 disable」,不是只看内存 prev。 */
+    /** codex-2 F2(restart-owed disable):撤下写盘失败后重启,内存 prev 丢了但持久态还 active —— 以中心源自身的活候选为准判「欠撤下」,不是只看内存 prev。 */
     current?(): unknown;
-    /** S-651(codex 修复验证轮 V1):本箱**持久记录**是 active —— 即使那份 artifact 此刻加载不出(活候选为空)。
-     *  「欠撤下」的真源是持久记录;活候选只是它能加载时的影子。缺席 = 调用方不掌握持久记录(沿用前两条判据)。 */
+    /** S-651(codex 修复验证轮 V1):本箱**持久记录**是 active —— 即使那份 artifact 此刻加载不出(活候选为空)。「欠撤下」的真源是持久记录;
+     *  活候选只是它能加载时的影子。缺席 = 调用方不掌握持久记录(沿用前两条判据)。 */
     persistedActive?(): boolean;
-}, next: PromptsDomainFaces | undefined, prev: PromptsDomainFaces | undefined, log: {
-    info: (msg: string, meta?: Record<string, unknown>) => void;
-    warn: (msg: string, meta?: Record<string, unknown>) => void;
-}, phase: string): Promise<boolean>;
+}
+/**
+ * 判官交出的值推进中心源的两态过渡:`next` 在场(且 digest 变)⇒ `applySnapshot`(引擎重验 + 落盘 + 原子换候选);`next` 缺席
+ * (候选不带 prompts 键 = 闸关 / 没发布)而中心层此前在(内存 prev / 活候选 / 持久 active 任一)⇒ `applyDisabled`(显式撤下,离线重启不复活)。
+ * 去重键是 artifact 的内容身份(digest;发布出处 `sourceRevision` 不进身份)。返回过渡是否落地 —— false ⇒ 调用方**不推进**已采纳的值,
+ * 下一拍同一过渡自动重试(codex-2 F2:吞错推进曾让失败的采纳 / 撤下永久静默)。
+ */
+export declare function applyCenterArtifact(source: CenterSourceTransitions, next: PublishedPromptArtifact | undefined, prev: PublishedPromptArtifact | undefined, log: Log, phase: string): Promise<boolean>;
 /**
- * 选包+投影:该 scenario 的终形声明数组(`scenarioOverrides[s] ?? sections`)→ typed `stableBlocks`
- * 钩子(声明**逐字**透传,含 contentHash——core 1.315 校验后进 manifest)。空数组在 validate 已拒
- * (F4:空替换集非 v1 语义),所以这里恒有非空声明——恒返回 provider(center-wins 无死分支)。
+ * 中心源自己的运维句(`CenterPromptSource` 的 `onError` 选项,引擎的 `RunnerDeps.onError` 形)落进本服务的日志:启动恢复读到持久记录指着的那份 artifact
+ * 被引擎拒(退役 schema 的拒句点名重发写法)/ 读不出 / 根本没有副本 —— 中心源无状态起服并说一句。行名与 Runner 的 `prompt-constitution` 阶段同一个
+ * (`prompt_composition_warning`):那一阶段的句子都在说「交给组装的东西没有照写的那样生效」。不传 = 这几句静默(引擎的缺省),所以每个起中心源的入口都传它。
  */
-export declare function centerPromptProvider(prompts: EffectiveCenterPrompts, scenarioName: string): PromptProvider;
-/** codex R3(appendSystemPrompt 案):该 scenario 的终形 center 声明里是否有「已组装 identity」——core 的
- *  M9 迁移卫在 provider.stableBlocks 的 identity 声明上探同三锚,命中即走 pass-through 臂(其保留集无
- *  `core/role.append`,任何 append rider/outputStyle 会被静默丢)。选包与 {@link centerPromptProvider}
- *  同式(`overrides[s] ?? sections`);锚谓词由调用方注入(task-settings `hasConstitutionAnchors` 单真源)。
- *  [ref]①f 的「server 不做语义复检」不动:这不是复检语义,是为 capabilities.appendSystemPrompt 的诚实面
- *  探 core 会走哪条臂。 */
-export declare function centerIdentityAssembled(prompts: EffectiveCenterPrompts, scenarioName: string, isAssembled: (text: unknown) => boolean): boolean;
+export declare function centerSourceOnError(log: Pick<Log, "warn">): NonNullable<RunnerDeps["onError"]>;
+export {};
 //# sourceMappingURL=center-prompts.d.ts.map

package/dist/capabilities/center-prompts.js

@@ -1,17 +1,16 @@
 import { verifyPromptArtifact } from "@sema-agent/core";
-import { CORE_ENGINE_VERSION } from "../prompts-domain-validate.js";
 import { SHA256_HEX_RE } from "../digest-form.js";
 import { recordFailOpen } from "../observability/fail-open.js";
 export function withPromptArtifactBackfill(inner, fetchRaw, log) {
     const inFlight = new Map();
     return {
-        put: (e) => inner.put(e),
-        get: async (digest, opts) => {
+        put: (artifact) => inner.put(artifact),
+        get: async (digest, onRefused) => {
             const hex = digest.replace(/^sha256:/i, "").toLowerCase();
             if (!SHA256_HEX_RE.test(hex))
                 return undefined;
             const canonical = `sha256:${hex}`;
-            const local = await inner.get(canonical, opts);
+            const local = await inner.get(canonical, onRefused);
             if (local)
                 return local;
             const pending = inFlight.get(canonical);
@@ -20,14 +19,14 @@ export function withPromptArtifactBackfill(inner, fetchRaw, log) {
             const run = (async () => {
                 try {
                     const raw = await fetchRaw(canonical);
-                    const v = verifyPromptArtifact(raw, { engineVersion: CORE_ENGINE_VERSION });
+                    const v = verifyPromptArtifact(raw);
                     if (!v.ok || v.artifact.artifactDigest.replace(/^sha256:/, "").toLowerCase() !== hex) {
                         log.warn("center_prompts_backfill_rejected", { digest: canonical, ...(v.ok ? { got: v.artifact.artifactDigest, code: "digest_mismatch" } : { code: v.code, reason: v.reason }) });
                         return undefined;
                     }
-                    await inner.put(raw).catch(() => recordFailOpen("server.prompts.artifact-cache-write-failed", `digest=${canonical}`));
+                    await inner.put(v.artifact).catch(() => recordFailOpen("server.prompts.artifact-cache-write-failed", `digest=${canonical}`));
                     log.info("center_prompts_backfilled", { digest: canonical });
-                    return raw;
+                    return v.artifact;
                 }
                 catch (e) {
                     log.warn("center_prompts_backfill_failed", { digest: canonical, err: String(e) });
@@ -42,22 +41,22 @@ export function withPromptArtifactBackfill(inner, fetchRaw, log) {
         },
     };
 }
-export async function applyCatalogToSource(source, next, prev, log, phase) {
+export async function applyCenterArtifact(source, next, prev, log, phase) {
     try {
-        if (next?.catalog) {
-            if (prev?.identity === next.identity)
+        if (next !== undefined) {
+            if (prev?.artifactDigest === next.artifactDigest)
                 return true;
-            const r = await source.applySnapshot(next.catalog);
+            const r = await source.applySnapshot(next);
             if (r.ok) {
                 log.info("center_prompts_catalog_applied", { phase, artifactDigest: r.artifactDigest });
                 return true;
             }
-            log.warn("center_prompts_catalog_apply_failed", { phase, code: r.code, reason: r.reason, note: "validate passed but the source apply failed (disk/state) — declaration axis and built-ins unaffected; candidate unchanged; the transition retries on the next refresh tick" });
+            log.warn("center_prompts_catalog_apply_failed", { phase, code: r.code, reason: r.reason, note: "the candidate passed the judge but the source apply failed (disk/state) — built-ins unaffected; candidate unchanged; the transition retries on the next refresh tick" });
             return false;
         }
-        if (prev?.catalog || source.current?.() !== undefined || source.persistedActive?.() === true) {
-            await source.applyDisabled(`${phase}:catalog-absent`);
-            log.info("center_prompts_catalog_disabled", { phase, note: "catalog axis withdrawn — core candidate cleared (does not revive offline)" });
+        if (prev !== undefined || source.current?.() !== undefined || source.persistedActive?.() === true) {
+            await source.applyDisabled(`${phase}:prompts-absent`);
+            log.info("center_prompts_catalog_disabled", { phase, note: "center layer withdrawn — the engine's candidate is cleared (does not revive offline)" });
         }
         return true;
     }
@@ -66,22 +65,9 @@ export async function applyCatalogToSource(source, next, prev, log, phase) {
         return false;
     }
 }
-export function centerPromptProvider(prompts, scenarioName) {
-    const decls = scenarioDecls(prompts, scenarioName);
-    return { stableBlocks: () => decls };
-}
-export function centerIdentityAssembled(prompts, scenarioName, isAssembled) {
-    return scenarioDecls(prompts, scenarioName).some((d) => d.slot === "identity" && isAssembled(d.text));
-}
-function scenarioDecls(prompts, scenarioName) {
-    const overrides = prompts.scenarioOverrides;
-    if (overrides) {
-        if (Object.hasOwn(overrides, scenarioName)) {
-            const hit = overrides[scenarioName];
-            if (hit)
-                return hit;
-        }
-    }
-    return prompts.sections;
+export function centerSourceOnError(log) {
+    return (err, ctx) => {
+        log.warn("prompt_composition_warning", { sessionId: ctx.sessionId, ...(ctx.classification !== undefined ? { classification: ctx.classification } : {}), info: err instanceof Error ? err.message : String(err) });
+    };
 }
 //# sourceMappingURL=center-prompts.js.map

package/dist/capabilities/composite-members.d.ts

@@ -54,6 +54,7 @@ export declare const COMPOSITE_CAPABILITY_MEMBERS: {
     readonly workflowsGate: readonly ["engineCan", "denial"];
     readonly sealedKey: readonly ["alg", "publicKeyId", "publicKey"];
     readonly workspaceSync: readonly ["persist", "keep", "timeoutMs", "cache"];
+    readonly userAttachments: readonly ["entries", "kinds", "supplies", "limits"];
 };
 type CompositeTable = typeof COMPOSITE_CAPABILITY_MEMBERS;
 /** 值的**具名成员对象臂**(标量 / 字面词 / `false` / `null` / `undefined` / 数组 / 函数臂剥掉)。 */

package/dist/capabilities/composite-members.js

@@ -15,6 +15,7 @@ export const COMPOSITE_CAPABILITY_MEMBERS = {
     workflowsGate: ["engineCan", "denial"],
     sealedKey: ["alg", "publicKeyId", "publicKey"],
     workspaceSync: ["persist", "keep", "timeoutMs", "cache"],
+    userAttachments: ["entries", "kinds", "supplies", "limits"],
 };
 export function gateCompositeMembers(body) {
     return body;

package/dist/capabilities/engine-capabilities.js

@@ -1,7 +1,8 @@
 import { ENGINE_CAPABILITIES } from "@sema-agent/core";
-import { ownCredentialsWithheld } from "../server-secret-env.js";
+import { ownCredentialsWithheld, ownCredentialValuesWithheld } from "../server-secret-env.js";
 const ENGINE_CAPABILITY_FACTS = {
     "inherit_env.own_credentials_withheld": ownCredentialsWithheld,
+    "inherit_env.own_credential_values_withheld": ownCredentialValuesWithheld,
 };
 export function engineCapabilityBits() {
     const out = {};

package/dist/capabilities/hands-lane.d.ts

@@ -19,17 +19,20 @@ import { type Runner, type TaskSpec, type ToolPolicy } from "@sema-agent/core";
 /** 场景对手带工具面的表态(闭集)。`full` = core 手带 band 照常 mount;`none` = 不挂 executionEnvFactory 的 Runner。 */
 export type ScenarioHands = "full" | "none";
 /**
- * 无手孪生 Runner 的 deps 构造:把 `executionEnvFactory` **与 `lspManager`** 一起**摘键**(不是置 undefined)。
+ * 无手孪生 Runner 的 deps 构造:把 `executionEnvFactory` **摘键**(不是置 undefined)。
  * 摘键让「这只 Runner 没有手」在 deps 字面量上自证;置 undefined 留下一个值为 undefined 的键,
  * 与 core 现在的 `deps.executionEnvFactory ||` 判读结果相同,但把正确性寄托在真值判断上。
- * **无手就无 LSP**:LSP 管理器是手的附属(宿主车道的 `NodeLspManager` 经 `defaultLspReadText` 直读本地盘,
- * 没有读面围栏;沙箱车道推断降级为 unavailable)—— 只摘手不摘它,无手 Runner 会在 StubExecutionEnv 上挂 LSP。
+ *
+ * **LSP 的 manager 座照传,不摘**:挂不挂 LSP 由引擎一处决定 —— core 7.49.2 起 LSP 只在「有手腿 ∧ 接了 manager 座」的腿上挂,无手腿
+ * (`hands=none` 的场景、委派子代、后台代理)天然没有。本仓此前在这里再摘一次 `lspManager`(宿主车道的 `NodeLspManager` 经
+ * `defaultLspReadText` 直读本地盘、没有读面围栏,当年引擎还会在 StubExecutionEnv 上挂它),是同一件事的第二只写者:引擎一旦决定
+ * 它自己的读法,两处只会各改各的。引擎的读数钉在 `test/scenario-hands-lane.test.ts` 的 S-1502 段(同一份含 manager 座的 deps,有手腿 roster 有
+ * `LSP`、无手孪生没有)。
  */
 export declare function withoutHands<T extends {
     executionEnvFactory?: unknown;
-    lspManager?: unknown;
-}>(deps: T): Omit<T, "executionEnvFactory" | "lspManager">;
-/** 一对 Runner:同 deps,唯一差别是 `handsless` 不挂 `executionEnvFactory` 与 `lspManager`。 */
+}>(deps: T): Omit<T, "executionEnvFactory">;
+/** 一对 Runner:同 deps,唯一差别是 `handsless` 不挂 `executionEnvFactory`。 */
 export interface HandsRunnerPair {
     full: Runner;
     handsless: Runner;

package/dist/capabilities/hands-lane.js

@@ -1,7 +1,7 @@
 import { handBandEffects, judgeRuleToolName, combinePolicies, createAllowDenyPolicy } from "@sema-agent/core";
-import { NO_DECLARED_TOOL_NAMES } from "../namespaced-rule-name.js";
+import { TOOL_NAME_ROSTER } from "../namespaced-rule-name.js";
 export function withoutHands(deps) {
-    const { executionEnvFactory: _handsDropped, lspManager: _lspDropped, ...rest } = deps;
+    const { executionEnvFactory: _handsDropped, ...rest } = deps;
     return rest;
 }
 export function pickHandsRunner(hands, pair) {
@@ -20,7 +20,7 @@ export const HANDS_BAND_TOOL_NAMES = Object.freeze([
     "EnterWorktree",
     "ExitWorktree",
     "ListAgents",
-].filter((n, i, all) => judgeRuleToolName(n, NO_DECLARED_TOOL_NAMES).kind === "current" && all.indexOf(n) === i));
+].filter((n, i, all) => judgeRuleToolName(n, TOOL_NAME_ROSTER).kind === "current" && all.indexOf(n) === i));
 export const HANDS_DUAL_USE_TOOL_NAMES = Object.freeze(["TaskOutput", "TaskStop", "SendMessage", "AgentTranscript", "ListAgents"]);
 export const HANDS_EXCLUSIVE_TOOL_NAMES = Object.freeze(HANDS_BAND_TOOL_NAMES.filter((n) => !HANDS_DUAL_USE_TOOL_NAMES.includes(n)));
 export function handsDenyPolicy() {

package/dist/capabilities/host-tool-names.d.ts

@@ -0,0 +1,17 @@
+/**
+ * **本仓自己铸给模型的工具的名字** —— 唯一的名字源(叶模块,零依赖)。铸它们的地方(`builtin-tools.ts` / `send-user-file-tool.ts` / `select-environment-tool.ts` / `repo-tools.ts`)
+ * 与读它们的地方(工具名清单的受理判:`rule-entry-list.ts` 的名册;场景详情的工具名单;长尾延迟披露集)都从这里取,不手抄。
+ *
+ * 为什么受理口要知道它们:请求的 `allowTools` / `excludeTools` / 子代的 `allowTools` / `denyTools` 里把 `SendUserFile` 写成 `SENDUSERFILE`,引擎只在开跑时按这一 run 真挂着的名册告运维;
+ * 受理口读不到那份名册,读得到的是「引擎目录 ∪ 本仓自铸的这几只」—— 不把这几只放进名册,它们的孪生就是受理口漏掉的同一类静默失效。
+ * 宿主之外的调用方工具、MCP / A2A 对端的工具不在其中(前者本仓不挂,后者是协议名,由协议段判)。
+ */
+export declare const NOW_TOOL_NAME = "Now";
+export declare const SEND_USER_FILE_TOOL_NAME = "SendUserFile";
+export declare const SELECT_ENVIRONMENT_TOOL_NAME = "SelectEnvironment";
+export declare const REPO_TREE_TOOL_NAME = "repo_tree";
+export declare const REPO_READ_FILE_TOOL_NAME = "repo_read_file";
+export declare const REPO_PULL_DIFF_TOOL_NAME = "repo_pull_diff";
+/** 本仓自铸的全部工具名(受理口工具名清单的名册成员;加一只自铸工具 ⇒ 这里加一行)。 */
+export declare const HOST_TOOL_NAMES: ReadonlySet<string>;
+//# sourceMappingURL=host-tool-names.d.ts.map

package/dist/capabilities/host-tool-names.js

@@ -0,0 +1,15 @@
+export const NOW_TOOL_NAME = "Now";
+export const SEND_USER_FILE_TOOL_NAME = "SendUserFile";
+export const SELECT_ENVIRONMENT_TOOL_NAME = "SelectEnvironment";
+export const REPO_TREE_TOOL_NAME = "repo_tree";
+export const REPO_READ_FILE_TOOL_NAME = "repo_read_file";
+export const REPO_PULL_DIFF_TOOL_NAME = "repo_pull_diff";
+export const HOST_TOOL_NAMES = new Set([
+    NOW_TOOL_NAME,
+    SEND_USER_FILE_TOOL_NAME,
+    SELECT_ENVIRONMENT_TOOL_NAME,
+    REPO_TREE_TOOL_NAME,
+    REPO_READ_FILE_TOOL_NAME,
+    REPO_PULL_DIFF_TOOL_NAME,
+]);
+//# sourceMappingURL=host-tool-names.js.map

package/dist/capabilities/mcp-probe.d.ts

@@ -108,7 +108,7 @@ export declare function buildMcpProbeWalkTimeoutMs(declarations: number): number
  * 一次走查里**同时追裁决**的台数,喂 core 的 `opts.concurrency`。
  *
  * 为什么不用缺省的 1:core 的 d.ts 明写整次调用的时长 = 每台时长在 `ceil(n / concurrency)` 轮上的和。
- * 缺省 1 下一个 32 台(={@link MAX_REQUEST_MCP_SERVERS})的申报最坏是 32 × {@link MCP_PROBE_VERDICT_TIMEOUT_MS}
+ * 缺省 1 下一个 32 台(= `task-mcp.ts` 的 `MAX_REQUEST_MCP_SERVERS`)的申报最坏是 32 × {@link MCP_PROBE_VERDICT_TIMEOUT_MS}
  * —— 一条 HTTP 请求挂五分钟。8 把最坏收进 4 轮。代价 core 也写明了:并发只影响 `connectMs` 这个读数的
  * 争用度,**行与下标对齐不受影响**(而本面根本不发 `connectMs`)。
  * ⚠️ 它**不是**「同时开几条传输」的帽:被时钟放弃的拨号仍在飞,最坏可达一条/台申报(core 原话)。
@@ -159,6 +159,19 @@ export interface McpProbeRefusal {
 /**
  * `POST …/probe` 的体读器:闭形、逐条点名、零静默丢。成功 ⇒ 交给 core 的 `specs`(**原样**转发被读出来的
  * 条目,`McpServerSpec` 的可选键一个都不重写 —— 重写就是在 core 的型上做第二次投影)。
+ *
+ * ## 申报「能不能原样用」:问提交腿 fresh 门**同一只**回答者,不另判
+ * 本面只判自己那一层(体是对象、顶层只受理 `mcpServers`、这个键必填);`mcpServers` 本身 —— 列表的形、上限、每条的键名与键值 —— 全部交给
+ * `task-mcp.ts` 的 `requestMcpDeclarationRefusal`,拒(码 + 句 + `unknownKeys`)原样转述:同一份申报在两扇门上只有一个答案,零拨号之前就给。
+ * 回答者受理的申报由**同一只**读器(`validateRequestMcp`)交回,读器的产物就是申报本身(只差判官自己的合法归一),经 `toCoreMcpServerSpec`
+ * 得到的就是一条任务提交会交给引擎的那一份 —— 本面拨的正是它。读器只在回答者受理之后才跑,所以它对重放存量 body 才有的降级留痕
+ * (`source` 写坏的 F 类丢弃)不会在一次被拒的探测上虚记。
+ *
+ * ## 唯一一处按门分的后果:声明了 `assertionHeader`(引擎尚无断言头座)
+ * 事实只有一个、读它的谓词只有一只(`declaresMcpAssertionHeader`):这台 server 声明的断言头本版**承载、不发送**,交给引擎的规格里没有它。
+ * 新提交照挂并给运维一行 info(`mcp_assertion_header_not_sent`;settings 面同读法);本面**整条拒** —— 拨出去的不是申报的那一份,一台握手放行、
+ * 调用才要断言的对端会被答成 connected,而它的调用会被拒。判据同一只、后果按门分(与重放腿对同一组身份头「降级到升级前读法」同一个姿势);
+ * 引擎长出同名座的那天,`toCoreMcpServerSpec` 的剥键与这一拒一起退役(`mcp-assertion-header.ts` 的退役门编译红)。
  */
 export declare function readMcpProbeBody(raw: unknown): {
     ok: true;