@sema-agent/server 7.136.0 → 7.137.0

package/dist/http/routes/session-sync.js

@@ -61,7 +61,15 @@ export async function handleSessionSync(req, res, match, ctx) {
                 const mayTouch = face !== undefined && (scope.fleetWide || face.owner === scope.gateOwner || legacyUnownedSessionOk(deps.config, sessionCallerOf(req, deps), await sessionOwnerCellOf(sessionStorage, sessionId, face.owner)));
                 return { face, mayPull: mayTouch, mayPush: face === undefined || mayTouch };
             };
-            const gate = await judgeSessionGate();
+            let gate;
+            try {
+                gate = await judgeSessionGate();
+            }
+            catch (e) {
+                if (isPullPort(match.decl.id) && sendPullUnreadable(req, res, deps.logger, e))
+                    return;
+                throw e;
+            }
             const gateFace = gate.face;
             const owner = gateFace === undefined ? undefined : gateFace.owner;
             const sendSessionAbsent = () => sendError(res, 404, "not_found.session", SESSION_NOT_FOUND_MESSAGE);
@@ -586,6 +594,21 @@ export async function handleSessionSync(req, res, match, ctx) {
         }
     }
 }
+function isPullPort(id) {
+    switch (id) {
+        case "session-sync-manifest":
+        case "session-sync-entries":
+        case "session-sync-history-blob":
+            return true;
+        case "session-sync-plan":
+        case "session-sync-import":
+        case "session-sync-import-entries":
+        case "session-sync-blob-put":
+            return false;
+        default:
+            return assertNever(id);
+    }
+}
 function sendPullUnreadable(req, res, logger, e) {
     if (e instanceof FileHistoryUnreadableError) {
         const permanence = e.failure.permanence;
@@ -593,11 +616,24 @@ function sendPullUnreadable(req, res, logger, e) {
         sendError(res, 503, "state.file_history_unreadable", `this session's file history cannot be read whole (${e.failure.code}), so nothing was exported — ${advice}`, permanence === undefined ? undefined : { permanence });
         return true;
     }
-    if (storeFaultClassOf(e) !== "connection")
-        return false;
-    logRequestError(logger, req, e);
-    sendError(res, 503, "state.file_history_unreadable", "this session's stored state could not be read right now (the store connection failed), so nothing was exported — retry later", { permanence: "transient" });
-    return true;
+    const fault = storeFaultClassOf(e);
+    switch (fault) {
+        case "connection":
+            logRequestError(logger, req, e);
+            sendError(res, 503, "state.file_history_unreadable", "this session's stored state could not be read right now (the store connection failed), so nothing was exported — retry later", { permanence: "transient" });
+            return true;
+        case "deployment":
+            logRequestError(logger, req, e);
+            sendError(res, 503, "state.file_history_unreadable", "this session's stored state cannot be read: the store does not match what this deployment requires (a table is missing or the database account lacks a privilege), so nothing was exported — retrying will not help until an operator repairs the store", { permanence: "terminal" });
+            return true;
+        case "corrupt":
+        case "unclassified":
+            return false;
+        default: {
+            const unhandled = fault;
+            throw new Error(`store fault class without a session-sync pull-port answer: ${String(unhandled)}`);
+        }
+    }
 }
 function sendMissingBlob(res) {
     sendError(res, 422, "missing_blob", "missing blob; PUT all referenced blobs before import");

package/dist/http/routes/sessions.js

@@ -3,6 +3,7 @@ import { a2aForScenario, mcpForScenario } from "../../web-admin-client/facade.js
 import { HttpError, isUuidShape, legacyUnownedSessionOk, sessionOwnerCellOf } from "../../security.js";
 import { windowMessages, truncateMessageBlobs, redactSessionViewForRead } from "../../audit.js";
 import { redactSecrets } from "../../trace/redact.js";
+import { redactMcpRemoteText } from "../mcp-remote-text.js";
 import { recordFailOpen } from "../../observability/fail-open.js";
 import { MCP_DIAL_DEADLINE_MS, raceDeadline } from "../mcp-dial-deadline.js";
 import { sentMemoryComplianceFailure } from "../memory-compliance-failure-reply.js";
@@ -185,7 +186,7 @@ export async function handleSessions(req, res, match, ctx) {
                                 status: s.status,
                                 ...(s.serverInfo ? { serverInfo: s.serverInfo } : {}),
                                 ...(s.toolNames ? { toolNames: s.toolNames } : {}),
-                                ...(s.error ? { error: redactSecrets(String(s.error)).slice(0, 200) } : {}),
+                                ...(s.error ? { error: redactMcpRemoteText(String(s.error)) } : {}),
                             })),
                         };
                     }

package/dist/http/routes/tasks.js

@@ -25,7 +25,7 @@ import { approvalPreambleReplays, createApprovalCardEmitter, declaredApprovalFra
 import { buildActiveRunConflict, isActiveRunConflictBody, toDoneFrameResult } from "../active-run-conflict.js";
 import { commitPlacement, devicePlacementErrorBody } from "../device-placement.js";
 import { commitSessionInheritEnv } from "../session-inherit-env.js";
-import { headerStr, gatedPrincipal, explicitOperatorOk } from "../principal-gate.js";
+import { headerStr, gatedPrincipal, explicitOperatorOk, runIdentityOf } from "../principal-gate.js";
 import { failOpenTagForDroppedFrame, recordFailOpen } from "../../observability/fail-open.js";
 import { buildSyncSubmitBody } from "../sync-submit-body.js";
 import { assertNever } from "../route-ctx.js";
@@ -33,6 +33,7 @@ import * as facts from "../../capability-facts.js";
 import { persistSubmitCtx } from "../submit-ctx.js";
 import { serviceVersion } from "../../service-version.js";
 import { withModelReachScope } from "../../model-reach-scope.js";
+import { runSkillsOf } from "../../capabilities/skills.js";
 import { createInstructionSelectionLeg } from "../../instruction-selection.js";
 import { fieldConflictFacts } from "../../field-conflict.js";
 import { refusalBody } from "../refusal-body.js";
@@ -166,6 +167,7 @@ export async function handleTasks(req, res, match, ctx) {
         const wiringOperatorFace = explicitOperatorOk(gatedPrincipal(req, deps.config), deps.config);
         let wiringReceipt;
         const instructionLeg = createInstructionSelectionLeg();
+        const legWiringSections = () => ({ instructions: instructionLeg.segment(), skills: runSkillsOf(prepared.spec) });
         const withRunReceipt = (out) => wiringReceipt !== undefined ? { ...out, wiringManifest: wiringReceipt } : out;
         if (liveStream) {
             if (prepared.verify || prepared.cascade) {
@@ -298,7 +300,7 @@ export async function handleTasks(req, res, match, ctx) {
                 };
                 if (deps.runStore && prepared.spec.sessionId) {
                     const tid = earlyDurableTid ?? uuidv7();
-                    const created = await deps.runStore.createRun(tid, prepared.spec.sessionId, principal ?? null, deps.instanceId ?? "default", { ...runMeta(prepared, source), idem: idem ?? null });
+                    const created = await deps.runStore.createRun(tid, prepared.spec.sessionId, principal ?? null, deps.instanceId ?? "default", { ...runMeta(prepared, source), identity: runIdentityOf(req, deps.config, principal ?? null), idem: idem ?? null });
                     if (created.ok)
                         clearTurnActivity(tid);
                     if (created.ok)
@@ -338,7 +340,7 @@ export async function handleTasks(req, res, match, ctx) {
                 if (durableTaskId && deps.runStore) {
                     const rs = deps.runStore;
                     const tid = durableTaskId;
-                    ledgerSink = createLedgerSink({ appendEvent: (seq, type, data) => rs.appendEvent(tid, seq, type, data), persistThinking: deps.config.traceThinking, onActivity: (kind, statusData) => recordTurnActivity(tid, kind, statusData), instructionsSegment: instructionLeg.segment });
+                    ledgerSink = createLedgerSink({ appendEvent: (seq, type, data) => rs.appendEvent(tid, seq, type, data), persistThinking: deps.config.traceThinking, onActivity: (kind, statusData) => recordTurnActivity(tid, kind, statusData), legSections: legWiringSections });
                     usageKey = tid;
                     deps.modelUsage?.register(tid);
                     const owner = principal ?? null;
@@ -589,7 +591,7 @@ export async function handleTasks(req, res, match, ctx) {
                                     sseData(res, { type: "compaction_started", ...compactionStartedEventData(ev) });
                                 }
                                 else if (ev.type === "wiring_manifest") {
-                                    const wiringFace = wiringManifestFaceEventData(ev, wiringOperatorFace, instructionLeg.segment());
+                                    const wiringFace = wiringManifestFaceEventData(ev, wiringOperatorFace, legWiringSections());
                                     wiringReceipt ??= wiringFace;
                                     sseData(res, { type: "wiring_manifest", ...wiringFace });
                                 }
@@ -890,7 +892,7 @@ export async function handleTasks(req, res, match, ctx) {
                 let durableHeartbeat;
                 if (deps.runStore && prepared.spec.sessionId) {
                     const tid = uuidv7();
-                    const created = await deps.runStore.createRun(tid, prepared.spec.sessionId, principal ?? null, deps.instanceId ?? "default", { ...runMeta(prepared, source), idem: idem ?? null });
+                    const created = await deps.runStore.createRun(tid, prepared.spec.sessionId, principal ?? null, deps.instanceId ?? "default", { ...runMeta(prepared, source), identity: runIdentityOf(req, deps.config, principal ?? null), idem: idem ?? null });
                     if (created.ok)
                         clearTurnActivity(tid);
                     if (created.ok)
@@ -937,7 +939,7 @@ export async function handleTasks(req, res, match, ctx) {
                 const observeSyncLegEvent = (ev) => {
                     if (ev.type !== "wiring_manifest" || wiringReceipt !== undefined)
                         return;
-                    wiringReceipt = wiringManifestFaceEventData(ev, wiringOperatorFace, instructionLeg.segment());
+                    wiringReceipt = wiringManifestFaceEventData(ev, wiringOperatorFace, legWiringSections());
                 };
                 let result;
                 counters.uncountedBillableInflight++;

package/dist/http/server.d.ts

@@ -695,6 +695,10 @@ export interface ServiceDeploymentDeps {
     /** [ref] ②:caps `centerWiring` 的读面(`capabilities/center-wiring.ts` `createCenterWiringReader`;入参 = 请求的已验 principal)。
      *  缺席 = 没接中心(或测试夹具)⇒ 键整个缺席。 */
     centerWiring?: (principal: string | undefined) => import("../capabilities/center-wiring.js").CenterWiring;
+    /** The member git-credential plane's one reading (`sandbox-git-plane.ts`; stage 5 computes it once — config premises + the boot's secret
+     *  seat answer + the static patch judge). Caps `credentialPlane.sandboxGit` projects it as is. Absent = not built by the composition root
+     *  (a fixture) ⇒ the same judge on config alone, the seat counted as not asked. */
+    sandboxGitPlane?: import("../sandbox-git-plane.js").SandboxGitPlane;
     /**
      * Graceful drain — shared mutable state between main.ts (flips `draining` on SIGTERM) and this server:
      *  • while `draining`, NEW model-running submissions (the billable submit paths) get 503 + Retry-After, so an

package/dist/http/stored-body-replay.d.ts

@@ -1,7 +1,7 @@
 /**
- * 「这条停驻行的持久化体在本版上能否重放」—— **唯一**判据(三问一只;五个问点同调:续跑驱动段 `resume-legs.ts` `resolveResumeSpecOrBlocked`、
+ * 「这条停驻行的持久化体在本版上能否重放」—— **唯一**判据(四问一只;五个问点同调:续跑驱动段 `resume-legs.ts` `resolveResumeSpecOrBlocked`、
  * plan_review 的 prepare 段、SLA 拒扫腿的跳过臂 `approval-sweeps.ts`、终态 run 的 steer 铸唤醒卡之前 `routes/runs.ts`;`resolveSpec` 本身留作提交腿的拒点)。
- * 三问的规则、记号、拒句与删除条件的属主 = `http/checkpoint-ctx.ts` 顶注;答复 = 那里的 `storedBodyReplayAnswer`。
+ * 四问的规则、记号、拒句与删除条件的属主 = `http/checkpoint-ctx.ts` 顶注;答复 = 那里的 `storedBodyReplayAnswer`。
  *
  * 为什么判据住在这里而不是 `checkpoint-ctx.ts`:第三问要读体的**生效模式词**(`task-settings.ts` `storedBodyPermissionMode`,请求设置的解析层)与本部署此刻的
  * **入口地板**(`runtime-governance.ts` `autonomyModeFloor`)—— 这两只属主带着配置层的包外依赖;`checkpoint-ctx.ts` 被随包的本地排空脚本经编译产物 import,
@@ -28,7 +28,7 @@ export type StoredReplayDeployment = LaneHomeDeployment & {
     readonly autonomy?: Autonomy | undefined;
 };
 /**
- * 三问一只判据:不能重放 ⇒ 返回拒的那条规则;能 ⇒ `undefined`。顺序:allow 读法记号 → 请求设置里的条目表(**与拒点同序**:桶门〔形 / 空串 / 超帽〕→ 工具名清单读成空〔**只问限制方向**:放行方向的存量条目读成空,续跑照旧、只留一行运维 warn〕→ deny / ask 的名字层 + 规则文法)→ 模式词读法记号(几问同中时答先中的那一问 ——
+ * 四问一只判据:不能重放 ⇒ 返回拒的那条规则;能 ⇒ `undefined`。顺序:allow 读法记号 → 请求设置里的条目表(**与拒点同序**:桶门〔形 / 空串 / 超帽〕→ 工具名清单读成空〔**只问限制方向**:放行方向的存量条目读成空,续跑照旧、只留一行运维 warn〕→ deny / ask 的名字层 + 规则文法)→ 模式词读法记号 → 体里的退役请求键(几问同中时答先中的那一问 ——
  * 任一问中都不重放,句子只需一句)。`deployment` = 本部署**此刻**的 `config`(活 config:热改即生效):`autonomy` 的地板由它的唯一属主算,`~/` 形规则的 home 由 `executionLaneHomeDir` 算,问点都不自己算。
  */
 export declare function storedBodyReplayRefusal(ctx: CheckpointCtx, deployment: StoredReplayDeployment): StoredBodyReplayRefusal | undefined;

package/dist/http/stored-body-replay.js

@@ -4,13 +4,15 @@ import { entryProblemsFacts } from "../entry-problems.js";
 import { autonomyModeFloor, entryPermissionMode } from "../runtime-governance.js";
 import { inertToolListEntryOf, replayInertEntry } from "../rule-entry-list.js";
 import { executionLaneHomeDir } from "../execution-lane-caps.js";
-import { allowListReadingEraOf, allowListReadingUnstated, permissionModeReadingStated } from "./checkpoint-ctx.js";
+import { migrationWindowEnd } from "../plugins/one-time-migrations.js";
+import { allowListReadingEraOf, allowListReadingUnstated, permissionModeReadingStated, retiredRequestKeyOf } from "./checkpoint-ctx.js";
 export function permissionModeReadingUnstated(ctx, floor) {
     if (floor === undefined || permissionModeReadingStated(ctx))
         return undefined;
     const stored = storedBodyPermissionMode(ctx.body);
     return entryPermissionMode(stored, floor).effective === stored ? undefined : { stored, floor };
 }
+const RETIRED_KEY_REWRITE_MIGRATION = { promptProfile: "M30" };
 const BUCKET_GATE_CODE = "request.field_invalid";
 function storedPermissions(body) {
     const permissions = body?.settings?.permissions;
@@ -52,6 +54,9 @@ export function storedBodyReplayRefusal(ctx, deployment) {
     const mode = permissionModeReadingUnstated(ctx, autonomyModeFloor(deployment.autonomy));
     if (mode !== undefined)
         return { kind: "permission_mode_reading", ...mode, ...writer };
+    const retiredKey = retiredRequestKeyOf(ctx.body);
+    if (retiredKey !== undefined)
+        return { kind: "retired_request_key", key: retiredKey, rewriteWindowEnd: migrationWindowEnd(RETIRED_KEY_REWRITE_MIGRATION[retiredKey]), ...writer };
     return undefined;
 }
 //# sourceMappingURL=stored-body-replay.js.map

package/dist/http/wire-types.d.ts

@@ -11,6 +11,31 @@ import type { RequestMcpServerSpec } from "../mcp-assertion-header.js";
 import type { wiringManifestFaceEventData } from "../trace/project.js";
 import type { buildSyncSubmitBody } from "./sync-submit-body.js";
 import type { EntryProblem } from "../entry-problems.js";
+/**
+ * 请求面上的一条技能 = core 的 `SkillSpec` 去掉 `mods`(core 7.56.0 [ref] 的技能座扩展注册:带 `register` 函数的代码对象,不是 wire 数据)。
+ * 带 `mods` 的请求技能受理门 400(`http/admission.ts` 的 `validateUserSkills`);本服务不编技能 hooks(能力位 `mods.skill_seat` 恒假)。
+ * 键集仍由 core 本体派生([ref]:core 加键,本型同批跟上;删 `mods` 是唯一的一处减法)。
+ */
+export type RequestSkill = Omit<SkillSpec, "mods">;
+/**
+ * `TaskRequestBody.attachments` 的子键集。本类型是这十个键在导出类型面上的**唯一**声明处;受理门(`http/admission.ts`)与重放翻译口
+ * (`spec-fields.ts` 的 `normalizeAttachments`)读 `spec-fields.ts` 的 `ATTACHMENT_KEY_KINDS` 那一张表,表与本接口互为差集门
+ * (`_GuardAttachmentKeys*`,漏一边 ⇒ tsc 红)。加 / 删一个键:本接口、那张表、`normalizeAttachments` 的逐键赋值三处同批改。
+ */
+export interface TaskRequestAttachments {
+    todoReminder?: boolean;
+    todoReminderMode?: "baseline" | "off";
+    changedFiles?: boolean | {
+        maxFiles?: number;
+    };
+    budgetUsd?: true;
+    backgroundTasks?: boolean;
+    toolsDelta?: boolean;
+    mcpInstructions?: true;
+    agentListing?: boolean;
+    skillsListing?: boolean;
+    mcpUnavailable?: boolean;
+}
 export interface TaskRequestBody {
     objective: string;
     sessionId?: string;
@@ -114,20 +139,20 @@ export interface TaskRequestBody {
     jobId?: string;
     /** Personalization seam: the caller's OWN skills for this task, threaded into core's
      *  `TaskSpec.skills`. Merged AFTER the scenario's skills with SCENARIO-WINS on a name clash (the security
-     *  baseline can never be shadowed by user content — see mergeUserSkills). User skills are user-authored
+     *  baseline can never be shadowed by user content — see buildRunSkills). User skills are user-authored
      *  content in the user's OWN principal-isolated task (self-harm surface, not privilege widening);
      *  scenario/center skills remain the only trusted layer.
      *
      *  🔴 **类型 = core 的 `SkillSpec` 本体,不是它的手抄子集**([ref]):这里曾写死
      *  `{ name; description; content }` —— core 闭集六位里的三位,而 `manifest` / `files` / `baseDir`
-     *  三位在运行期一直是**收的**(受理门 `validateUserSkills` 不判未知键,`mergeUserSkills` 原样透传到
+     *  三位在运行期一直是**收的**(受理门 `validateUserSkills` 不判未知键,`buildRunSkills` 原样透传到
      *  `TaskSpec.skills`)。一份会漂的手抄 = 声明面比真受理面**窄**,SDK 消费方按声明写代码就以为发不了,
      *  而 core 加键(7.20.0 [ref] 的 `baseDir`)时这里连红都不会红。改成 core 本体后,闭集由 tsc 看守。
      *  ⚠️ 受理**判据**(形/尺寸)仍在 `validateUserSkills` + `spec-fields.ts` 的 `SKILL_FIELD_SHAPES`——
      *  类型说「哪些键存在」,门说「值合不合法」,两者不是一件事。
      *  (旧注里的「Caps: ≤10 skills, content ≤32KB each」两条帽早已随 [ref] / core 1.293 退役,一并纠正:
      *   今天只剩 `content ≤ 1 MiB` 这一条 core 加载门孪生。) */
-    skills?: SkillSpec[];
+    skills?: RequestSkill[];
     /** §7 P0.5 (用户按需选像): the sandbox image PROFILE this task wants (e.g.
      *  "code-full" / "code-python"). An INTENT, never a digest — the service resolves it to a published digest with
      *  the caller's principal (fail-closed visibility re-admit) and applies it per-pod. Only supported on the k8s
@@ -247,19 +272,7 @@ export interface TaskRequestBody {
      *  boolean 透传(core DEFAULT-ON,explicit false 才关);budgetUsd/mcpInstructions 只认 literal true;
      *  limits 三个 opt-out 只认 literal false(normalizer 同判)。 */
     /** core 7.39.0 [ref]:`planModeReminder` 退役(硬破坏,零别名)—— 提交即 400 点名退役;plan 姿态由引擎从 `permissionMode:"plan"` 自己陈述。 */
-    attachments?: {
-        todoReminder?: boolean;
-        todoReminderMode?: "baseline" | "off";
-        changedFiles?: boolean | {
-            maxFiles?: number;
-        };
-        budgetUsd?: true;
-        backgroundTasks?: boolean;
-        toolsDelta?: boolean;
-        mcpInstructions?: true;
-        agentListing?: boolean;
-        skillsListing?: boolean;
-    };
+    attachments?: TaskRequestAttachments;
     /** C1 (core 1.219, subagent viewing pane): opt-in — forward a delegated child's live CONTENT events
      *  (text_delta/text_end/reasoning_delta/tool_start/tool_end, each stamped `parentToolCallId`) onto this run's stream/durable
      *  log, so a shell can render the child's transcript live ("enter 看详情"). Default OFF = progress-only (prior
@@ -337,9 +350,13 @@ export interface TaskRequestBody {
     /** [ref]② (core 1.314): [ref] 延迟披露清单(占位上 wire,ToolSearch 激活)——cli「Workflow 默认开
      *  不暴露」的承载位。同 excludeTools 的校验/继承姿势。 */
     deferTools?: string[];
-    /** [ref]/[ref] (core 1.328 R2): 提示词双形轴——simple(CC 212 短形,引擎缺省)| classic(长形,可按
-     *  任务/模型试分)。纯呈现轴无租户门;枚举 fail-loud at submit;缺省不挂键。 */
-    promptProfile?: "simple" | "classic";
+    /** core 7.56.0([ref]):提示词形的**唯一**任务开关 —— `true` 加 `lean_prompt` 特征(短形)、`false` 去掉它(长的 classic 形)、
+     *  缺省 = 模型目录条目自己的声明(引擎缺省 lean)。只动这一个特征,不碰其余特征;原样透传进 `TaskSpec.promptLean`,随引擎铸的每个子代走。
+     *  纯呈现轴无租户门;非布尔 400 fail-loud at submit;缺省不挂键。
+     *  退役键 `promptProfile`(7.136.x 及以前的 `"simple" | "classic"`)整键删、零别名:fresh 提交体仍带它 ⇒ 键闭集门 400 `request.body_shape`
+     *  (`unknownKeys:["promptProfile"]`);迁移 = `"classic"` ⇒ `promptLean: false`,`"simple"` ⇒ 不带键。续跑重放不过那道门:盘上 7.136.x 体里的旧键由一次性迁移 M30 在起服时按同一张映射原地改写(`stored-request-prompt-profile-m30.ts`;M30 · 窗口见 `plugins/one-time-migrations.ts` 登记表),
+     *  改写不到的残留行续跑 409(`http/stored-body-replay.ts` 第四问)—— 续跑腿不读旧键。 */
+    promptLean?: boolean;
     /** [ref]②(core 5.14.0 座已在,`TaskSpec.toolMaterializeStrategy`):deferred 工具在**激活之后**怎么给
      *  模型供 schema。`static` = 占位符形不变(激活只改可调用性,广告的 schema 仍是空对象);`swap` = 激活
      *  后下一轮把占位符换成真 schema。
@@ -352,7 +369,7 @@ export interface TaskRequestBody {
      *  core 把 `"static"` 重新定性为「a strict explicit opt-in」)。本注上一版还写着 `?? "static"`,照它推
      *  「不挂键 ⇒ 落 static」会反。缺省词的属主是 core,本仓不复述第二份——要确认取值去读 core 的
      *  `prepare-task` 与其 CHANGELOG。
-     *  缺省不挂键(交给 core 的 env/缺省链);未知词 400 fail-loud(与 promptProfile/permissionMode 同姿势 ——
+     *  缺省不挂键(交给 core 的 env/缺省链);未知词 400 fail-loud(与 permissionMode 同姿势 ——
      *  静默折缺省会让调用方以为切了策略却没切)。 */
     toolMaterializeStrategy?: "static" | "swap";
     /** R4 (CC parity): the LIGHT top-level per-turn permission-mode intent (CC `permissionMode`). The shell sends
@@ -363,7 +380,7 @@ export interface TaskRequestBody {
      *  `deniedBy:"mode"`); none can subtract from deployment/operator policy or the request's own deny / ask rules (tightenTaskSpec
      *  deny-wins). The top-level word wins over `settings.permissions.defaultMode` (the heavier bundle) — one precedence, read in one place.
      *  [ref]-②: CLOSED enum on the wire — an unknown word 400s at submit (`request.field_invalid`, sibling of
-     *  promptProfile) instead of silently coercing to `default`; resume replay of a stored body stays lenient
+     *  toolMaterializeStrategy) instead of silently coercing to `default`; resume replay of a stored body stays lenient
      *  (coercePermissionMode).
      *  🔴 型与闭集的属主是 core 的 `PermissionMode` / `PERMISSION_MODES`(受理腿 `isPermissionMode` 与三句 400 文案同读那一份)—— 本仓不持词表。 */
     permissionMode?: PermissionMode;
@@ -432,7 +449,7 @@ export interface TaskRequestBody {
     cwd?: string;
     /**
      * [ref](7.106.0,core [ref] [ref] ②)—— 模型驱动的 host shell **继承多少用户环境**,由调用方按请求声明。
-     * 闭集两词(词表外 ⇒ 400 `request.field_invalid`,两腿同判,判据属主 `request-value-closure.ts` 的 `inheritEnvFieldIssue`):
+     * 闭集两词(词表外 ⇒ 400 `request.field_invalid` + 机读位 `field: "inheritEnv"` / `reason`〔`unknown_word` | `not_a_string`〕,两腿同判,判据与机读位的属主 `request-value-closure.ts` 的 `inheritEnvFieldIssue`):
      *  · `"all"` —— 整份用户环境**减本服务自有凭据名**(配置目录 secret 名 / 名单型旋钮名 / 模型条目 `apiKeyEnv`,起服向引擎声明一次,判在引擎;7.129.0 起,CC 交互形);只在**单用户**部署兑现,射程 = 写容纳面那一只
      *    部署形表行 `taskHostPostureDeclarations`(`deployment-shape.ts`)⇒ 托管部署(`REQUIRE_PRINCIPAL=true`)响亮拒
      *    422 `request.host_posture_refused`;
@@ -440,7 +457,7 @@ export interface TaskRequestBody {
      * **缺席 = 缺省清洗**:不带键的请求把本会话的绑定清掉(不继承上一条请求的声明 —— 这一位是「本条请求要什么」,
      * 粘到下一条上就是替一个没说话的请求放宽)。名单形(`string[]`)**不上 wire**(那是嵌入方构造执行环境的选项)。
      * 🔒 **只有 host 车道有消费点**:别的车道(e2b / k8s / local-docker / ssh / adb / device / in-process)带 `"all"` ⇒
-     * 400 `request.field_invalid`「applies to the host lane only」,不静默忽略、不映射到别的车道的 env 名单;`"scrub"` 在那些车道上照受理(无消费点,无害)。
+     * 400 `request.field_invalid`(`reason: lane_not_host`)「applies to the host lane only」,不静默忽略、不映射到别的车道的 env 名单;`"scrub"` 在那些车道上照受理(无消费点,无害)。
      * Rides the persisted body onto resume legs:重放照射程与车道重判(部署由单用户改托管后 revive ⇒ 同一只拒,
      * resume-legs 折成 `409 resume_blocked_by_policy`)。
      */
@@ -586,12 +603,20 @@ export type DecideBinding = {
      *  mints carry it verbatim when present — the engine owns what counts as written (blank = nothing) and judges it again pre-CAS. */
     feedback?: string;
 };
-/** [ref]([ref]④→[ref] 坐标轮换判定):409 `approval_stale` 拒体上的 additive 机读指路 ——
+/** 409 `approval_stale` 拒体的 additive 机读指路 `currentPending`:**本会话此刻在这道门上待决的那道门**的回显坐标 = 这道门的决断体回显的那几位
+ *  (一条规则,两道决断门各一形):`/decide` ⇒ {@link DecideStaleCurrentPending};计划审阅([ref])⇒ {@link PlanReviewStaleCurrentPending}。
+ *  🔴 恒**不含** checkpointToken(resume 凭证从不外发);只在当前门在场、属这道门的门型、且已过属主门的域内铸 —— 否则键缺席(不造键)。 */
+export type ApprovalStaleCurrentPending = DecideStaleCurrentPending | PlanReviewStaleCurrentPending;
+/** [ref]:计划审阅门的回显坐标 = 门身份 `checkpointId`(过信任边界的那个值;当前门说不出身份 ⇒ 整个 `currentPending` 缺席)。 */
+export type PlanReviewStaleCurrentPending = {
+    /** 当前待决 plan_review 门的非秘密身份 —— 壳据此重取那道门的计划给人看,再带它决。 */
+    checkpointId: string;
+};
+/** [ref]([ref]④→[ref] 坐标轮换判定):`/decide` 那一形 ——
  *  **本会话当前 pending** 的 D-1 回显坐标,让持旧坐标的壳一跳重定位(免重拉列表)。
  *  键名/键形与 GET /v1/approvals 的 pending 行逐字同名(壳复用同一解析)。
- *  🔴 恒**不含** checkpointToken(runs.ts §12-C:resume 凭证从不外发);只在当前 pending **在场**、
- *  属 tool_approval、且已过路由级 owner 门的域内铸 —— 无 pending / 非工具门 / 读失败 ⇒ 键缺席(不造键)。 */
-export type ApprovalStaleCurrentPending = {
+ *  只在当前 pending 属 tool_approval 时铸 —— 无 pending / 非工具门 / 读失败 ⇒ 键缺席(不造键)。 */
+export type DecideStaleCurrentPending = {
     /** 当前 pending 被门住的工具名(与 pending 行的 `toolName` 同源同值)。 */
     toolName: string;
     /** 当前 pending 的 `pendingAction.toolCallId` —— 壳重定位后 decide 时回显的 D-1 锚。 */

package/dist/identity-source.d.ts

@@ -0,0 +1,65 @@
+/**
+ * **身份来源闭集 + run 行身份元组** —— 叶子模块(零依赖):凭据门(`http/principal-gate.ts`)、run 店契约(`plugins/store-contracts.ts`)、
+ * 三只 run 店、中央建表语句(`plugins/tidb-pool.ts` / `plugins/pg-pool.ts`)与 `/health` 自报位读同一份。
+ *
+ * ## 律(三句;全仓只在这里写一次)
+ * 1. **一张表、一个次序**:{@link IDENTITY_SOURCES} 的序 = 凭据门的判定次序(`verifiedIdentitySource` 答表里第一个验得过的词)= `/health.auth.kinds` 的出现序。
+ *    出示了部署的 service 凭据就是 `service_token` —— 哪怕同一枚 Bearer 也被鉴权桥验成登录令牌、哪怕运维给这枚凭据起的系统名叫 `sso`;
+ *    验不过 service 凭据而鉴权桥挂了身份 ⇒ `sso`;都没有而直连门 principal 令牌验过 ⇒ `direct_door_jwt`。
+ * 2. **一只元组、受理时铸一次**:run 行的身份元组 {@link RunIdentity}(三列 `identity_source` / `identity_scope` / `identity_principal_inc`)在凭据门上随来源
+ *    一起定下(`principal-gate.ts` 的 `admitRunIdentity`,唯一调用点是凭据门),建行处原样写入,之后只读 —— 续跑认领、挂起、终局、重启都不改它,
+ *    没有任何读者按当前状态重推它。`RunRecord.source`(系统名 / `"sso"` / null)只作归因,不是认证来源。
+ * 3. **缺席一种读法**:`null` = 这一行**没有「属主在受理时验过的凭据」的记录** —— 三列存在之前写下的行、没有任何验过凭据的受理(无鉴权写面
+ *    `ALLOW_UNAUTHED_WRITES`)、以及别人替属主按下的那一跑(受理请求验过的主体不是这一行的属主:唤醒 / 决定投递铸的新一跑)。读者一律按「不合格」处置
+ *    (fail-closed),不分辨三种成因;存量行不回填(没有事实可回填)。
+ *
+ * 化身号 `principalInc`:令牌 `sub_inc` 声明原样,经契约包 `VerifiedIdentity.principalInc` 读(settings-schema 14.7.0 加的可选字段);本版契约包还没有这一位 ⇒ 恒 `null`,
+ * 接线点在 `admitRunIdentity` 的 `sso` 臂(不在本仓另定一份读法)。
+ */
+/** 验过的身份来源的**闭集**(序 = 判定次序 = `/health.auth.kinds` 的出现序;加一个来源 = 加一个词,读它的各只穷举 `switch` 不接就编译红)。 */
+export declare const IDENTITY_SOURCES: readonly ["service_token", "sso", "direct_door_jwt"];
+export type IdentitySource = (typeof IDENTITY_SOURCES)[number];
+/**
+ * run 行身份元组(受理时铸、持久、之后只读;律见文件头)。三键恒在、与三列一一对应:`scope` / `principalInc` 只随 `sso` 有值 ——
+ * service 凭据与直连门令牌不带登录令牌的 scope / 化身号,判别联合让「`service_token` 带 scope」这种形写不出来。
+ */
+export type RunIdentity = {
+    readonly source: "sso";
+    readonly scope: string;
+    readonly principalInc: string | null;
+} | {
+    readonly source: "service_token" | "direct_door_jwt";
+    readonly scope: null;
+    readonly principalInc: null;
+};
+/** `identity_scope` 的列宽(字符;两方言 VARCHAR 同口径数码点)。与主体列同宽:scope 来自验过签名的令牌,契约的 scope id 形最长 64,读口不判形 ⇒ 留余量。 */
+export declare const RUN_IDENTITY_SCOPE_MAX_CHARS = 190;
+/** `identity_principal_inc` 的列宽(字符):化身号是签发方插入时铸的不透明随机串(与会话化身同宽)。 */
+export declare const RUN_IDENTITY_PRINCIPAL_INC_MAX_CHARS = 64;
+/**
+ * `task_run` 三列的列定义 —— 两方言各一段,**唯一属主**:中央建表语句(`tidb-pool.ts` / `pg-pool.ts` 的 `CREATE TABLE task_run`)内插这同一段;
+ * 存量库缺列时起服列册对账(`schema-consistency.ts`)拒启,拒句里的 `ALTER TABLE task_run ADD COLUMN …` 由同一份建表语句解析生成 ⇒
+ * 「新库建出来的列」与「运维按拒句 / MIGRATION 补上的列」逐字同形。三列都可空(存量行与律 3 的三种成因都是 NULL);PG 钉 `COLLATE "C"`
+ * (身份键按字节判等,与 MySQL 协议表级 `utf8mb4_bin` 同形)。
+ */
+export declare const RUN_IDENTITY_COLUMNS: {
+    readonly tidb: string;
+    readonly pg: string;
+};
+/** 元组落盘的三格(SQL 三列 / File 车道 run.json 的三键,同名同义)。 */
+export interface RunIdentityCells {
+    readonly identitySource: IdentitySource | null;
+    readonly identityScope: string | null;
+    readonly identityPrincipalInc: string | null;
+}
+/** 元组 → 三格(写口;三只 run 店同一只)。 */
+export declare function runIdentityCells(identity: RunIdentity | null): RunIdentityCells;
+/**
+ * 三格 → 元组(读口;SQL 两方言的行映射与 File 车道的 run.json 读回同一只)。读不出一只**合形**元组的三格一律读成 `null`(律 3:不合格,fail-closed),
+ * 这是运行期无法避免的缺省臂,明写在这里:
+ *  · 来源格缺席 ⇒ 没有记录(三列之前的行 / 律 3 的另两种成因);
+ *  · 来源格不是闭集里的词(更新的版本写下、回滚到本版读到的词,或手改的行)⇒ 本版认不得的来源不合格;
+ *  · `sso` 却没有 scope、化身号不是非空串,或别的来源带着 scope / 化身号 ⇒ 不是本仓写口写得出的形(手改 / 半截写),不合格。
+ */
+export declare function readRunIdentityCells(source: unknown, scope: unknown, principalInc: unknown): RunIdentity | null;
+//# sourceMappingURL=identity-source.d.ts.map

package/dist/identity-source.js

@@ -0,0 +1,45 @@
+export const IDENTITY_SOURCES = ["service_token", "sso", "direct_door_jwt"];
+export const RUN_IDENTITY_SCOPE_MAX_CHARS = 190;
+export const RUN_IDENTITY_PRINCIPAL_INC_MAX_CHARS = 64;
+export const RUN_IDENTITY_COLUMNS = {
+    tidb: [
+        "identity_source VARCHAR(32) NULL",
+        `identity_scope VARCHAR(${RUN_IDENTITY_SCOPE_MAX_CHARS}) NULL`,
+        `identity_principal_inc VARCHAR(${RUN_IDENTITY_PRINCIPAL_INC_MAX_CHARS}) NULL`,
+    ].join(",\n     "),
+    pg: [
+        `identity_source VARCHAR(32) COLLATE "C"`,
+        `identity_scope VARCHAR(${RUN_IDENTITY_SCOPE_MAX_CHARS}) COLLATE "C"`,
+        `identity_principal_inc VARCHAR(${RUN_IDENTITY_PRINCIPAL_INC_MAX_CHARS}) COLLATE "C"`,
+    ].join(",\n     "),
+};
+export function runIdentityCells(identity) {
+    return identity === null
+        ? { identitySource: null, identityScope: null, identityPrincipalInc: null }
+        : { identitySource: identity.source, identityScope: identity.scope, identityPrincipalInc: identity.principalInc };
+}
+const isNonEmptyString = (v) => typeof v === "string" && v !== "";
+const isAbsent = (v) => v === null || v === undefined;
+export function readRunIdentityCells(source, scope, principalInc) {
+    if (isAbsent(source) || typeof source !== "string")
+        return null;
+    const word = IDENTITY_SOURCES.find((w) => w === source);
+    if (word === undefined)
+        return null;
+    switch (word) {
+        case "sso":
+            if (!isNonEmptyString(scope))
+                return null;
+            if (isAbsent(principalInc))
+                return { source: word, scope, principalInc: null };
+            return isNonEmptyString(principalInc) ? { source: word, scope, principalInc } : null;
+        case "service_token":
+        case "direct_door_jwt":
+            return isAbsent(scope) && isAbsent(principalInc) ? { source: word, scope: null, principalInc: null } : null;
+        default: {
+            const unknownWord = word;
+            throw new Error(`readRunIdentityCells: identity source ${String(unknownWord)} has no reading`);
+        }
+    }
+}
+//# sourceMappingURL=identity-source.js.map

package/dist/memory-store-refusal.d.ts

@@ -23,11 +23,11 @@
  *     那几行的前缀是**条目路径**(模型可写)—— 本仓今天不读 warnings 车道(既有面,不是本批回归),也不在模型可写的文本上
  *     找码;这一半候 core 的结构化码位(登记在案,codex 一审 C3)。
  *
- * ## 不是这一族的三形(core 同表「different surface」,本仓**不**自拼码,如实走各自既有臂)
+ * ## 不是这一族的形(core 同表「different surface」,本仓**不**自拼码,如实走各自既有臂;今两形 + 一只已退的形)
  *  · journal 重放目标目录成链 ⇒ `ControlPlaneCorruptError`(无 `.code`,KL-1094-b)⇒ 路由 typed 500 `internal.memory_control_plane_corrupt`
  *    (core 7.44.0 起 scope home 非目录**不再**走这一类 —— 它有了自己的码,见上;`ControlPlaneCorruptError` 只剩真控制面损坏);
- *  · 引擎原地写撞硬链(nlink>1)⇒ 文本 `has N names (a hard link)`、无码(KL-1094-g / [ref])⇒ 走该写点既有的失败车道(harvest
- *    warnings / 挂载失败),抛出面够不着;
+ *  · (已不存在的一形)引擎原地写撞硬链(nlink>1):≤ 引擎 7.55.x 是无码文本 `has N names (a hard link) … not written`、走该写点既有的失败车道;
+ *    引擎 7.56.0 起那只写给**这个名字**另建一个新文件(原子改名落位,其余名字保留原文件),拒绝与那句文本一并消失 —— 本仓从未读过那句文本,零码;
  *  · 解析故障(`EACCES` / `ELOOP` / `ENOTDIR`)⇒ 以 errno 本身抛 ⇒ 路由未分类 500 + 运维 warn(`String(err)` 带 core 补救句)。
  *
  * ## 运维行也在这里铸(两受众同一只,{@link logStoreFormRefusal})

package/dist/model-entry-refusal.d.ts

@@ -49,6 +49,8 @@ export interface CatalogEntryLike {
     readonly api?: unknown;
     /** [ref]:供应商附加头的承载形(`unknown`:判据在 `model-entry-headers.ts`,不信这张型)。 */
     readonly headers?: unknown;
+    /** 引擎已退役的每模型引导句(core 7.56.0 [ref];settings-schema 的 `ModelEntry` 仍收它)—— 只读在场与否,见 {@link judgeCatalogEntry}。 */
+    readonly promptGuidance?: unknown;
 }
 /**
  * **逐条判据**:`undefined` = 本部署能完整服务它。判序即语义:先形(不合形的条目谈不上走哪条腿),再腿。

package/dist/model-entry-refusal.js

@@ -31,6 +31,17 @@ export function judgeCatalogEntry(m, ctx) {
     const headers = readCatalogEntryHeaders(m.headers, m.api);
     if (!headers.ok)
         return entryInvalidRefusal(m.id, m.provider, headers.fields, headers.issue);
+    if (Array.isArray(m.promptGuidance) && m.promptGuidance.length > 0) {
+        return {
+            ...refusalCause("config.model_entry_invalid"),
+            id: m.id,
+            provider: m.provider,
+            fields: ["promptGuidance"],
+            detail: "the catalog entry carries per-model guidance sentences (promptGuidance), which the engine no longer delivers — the entry is not served here " +
+                "rather than served with its sentences silently dropped; move each sentence into a center or deployment prompt overlay on the behavior band " +
+                "and remove promptGuidance from the entry to bring it back",
+        };
+    }
     const lane = catalogBrainLane(m.provider);
     const mount = laneMount(lane, ctx);
     if (!mount.mounted) {

package/dist/model-select.d.ts

@@ -187,11 +187,10 @@ export declare function matchCatalogModel(ref: string, catalog: Record<string, u
 export declare const MODEL_IMAGE_INPUTS: readonly ["yes", "no", "undeclared"];
 export type ModelImageInput = (typeof MODEL_IMAGE_INPUTS)[number];
 /**
- * 「这个目录条目收不收图」的**唯一读法**。两个读者都投影它,不各写各的:
+ * 「这个目录条目收不收图」的**唯一读法**。读者都投影它,不各写各的:
  *  · 目录行 `GET /v1/models` 的 `vision`:`yes` ⇒ `true`,`no` ⇒ `false`,`undeclared` ⇒ **键缺席**(不替没声明的模型答「收」也不答「不收」);
- *  · 运行期的带图预检 {@link modelSupportsImages}:只有明说 `no` 才出信号。
- * 此前两处各判各的,且对「没声明」答法相反(目录行报 false、预检放行)——客户端只读得到目录那一位,于是在手写、没声明 `input` 的
- * 条目上把用户的图拦在了本地,而引擎其实会把图交给模型。env 车道与 web-admin 车道恒写 `input`,分叉只落在手写目录条目上。
+ *  · 配置目录 `GET /v1/config/catalog` 的 `MODEL_VISION` 行。
+ * 「图被换成占位句」这件事实不在本仓判:引擎 7.56.0([ref])在真替换的那一刻铸给人(`model.capability_downgraded`,会话流),本仓提交面的带图预检随之退役。
  * `input` 不是数组(手写错形)与条目不在,同归 `undeclared`:没有可信的声明。
  */
 export declare function modelImageInput(model: {
@@ -212,19 +211,9 @@ export interface ModelCapabilityDecl {
 /**
  * 能力位声明 ⇒ `Model` 上的两个键,**缺席不铸键**:`reasoning` 原样;`vision` 翻成 `input`(`true` ⇒ `["text","image"]`,`false` ⇒ `["text"]`)。
  * env 腿(`MODEL_REASONING` / `MODEL_VISION`)、cheap 槽(`MODEL_CHEAP_*`)与中心腿(`models[].reasoning` / `vision`)都经它铸 —— 三条腿一个铸法、一个「缺席」的意思。
- * 读回的唯一读法是 {@link modelReasoningDecl} 与 {@link modelImageInput}(带图预检与 `GET /v1/models` 同读后者)。
- *
- * 🔴 **本仓唯一的类型接缝**:引擎 7.51.2 的 `Model` 型面把 `reasoning` / `input` 写成必填,而它自己的读法对缺席有定义 ——
- * `input` 缺席 ⇒ 支持图(`modelSupportsVision`:`model?.input === undefined ? true : …`),`reasoning` 缺席 ⇒ 真值判假(`!!model.reasoning`)。所以交给引擎的目录里缺席的键是安全的,
- * 只是型面还没跟上;返回型因此对 `Pick<Model, …>` 说了一句「可能为空」的谎,把断言收在这一处 —— 调用点的 `Model` 字面量照旧带 `Model` 注解(其余每个键仍被 tsc 逐个核,
- * 读表门按注解收字面量的 core 键)。型面归引擎:引擎把这两位放成可选之日,本接缝(返回型 + 这一处断言)整件删除。
+ * 读回的唯一读法是 {@link modelReasoningDecl} 与 {@link modelImageInput}(`GET /v1/models` 与配置目录同读)。
+ * 引擎 7.56.0([ref])起 `Model.reasoning` / `Model.input` 在型面上就是可选(缺席 = 未声明,引擎一只读法 `capabilityOf`:图的未声明照常交给模型、
+ * 推理的未声明不发思考档),所以本函数的返回型就是引擎的型,无断言。
  */
 export declare function mintCapabilityKeys(decl: ModelCapabilityDecl): Pick<Model, "reasoning" | "input">;
-/**
- * 带图预检:只有目录条目**明说**不收图({@link modelImageInput} 为 `"no"`)才为假 —— 提交时据此计数并告警(引擎会把这些图换成给模型的
- * 占位句);没声明的条目为真(不出信号,图原样交给模型)。
- */
-export declare function modelSupportsImages(model: {
-    input?: unknown;
-} | undefined): boolean;
 //# sourceMappingURL=model-select.d.ts.map

package/dist/model-select.js

@@ -137,7 +137,4 @@ export function mintCapabilityKeys(decl) {
         keys[CAPABILITY_MODEL_KEYS.input] = decl.vision ? ["text", "image"] : ["text"];
     return keys;
 }
-export function modelSupportsImages(model) {
-    return modelImageInput(model) !== "no";
-}
 //# sourceMappingURL=model-select.js.map

package/dist/namespaced-rule-name.d.ts

@@ -42,7 +42,7 @@ export type UnmatchableRuleName = Exclude<RuleToolNameVerdict, {
 /**
  * **运维名表的态度** —— 一个常量,判官与匹配器同读(core 7.55.0 [ref])。本仓的名表消费者(env `APPROVAL_REQUIRE` / `APPROVAL_DENY` / `APPROVAL_NEVER_AUTO`、
  * 中心下发的 `approvalRequire`、请求 `settings.permissions` 的 neverAuto 座)全是**限制表**(要求审批 / 硬拦 / 禁自动答):引擎对一个名字在限制表里的读法
- * (`judgeRuleToolName(name, 名册, behavior)` 收不收、`isNamespacedCoveringRuleName(name, behavior)` 够着哪些工具)只分「限制 / 放行」两侧 —— 整个协议的名字
+ * (`judgeRuleToolName(name, 名册, behavior)` 收不收、`isCoveringRuleName(name, behavior)` 够着哪些工具)只分「限制 / 放行」两侧 —— 整个协议的名字
  * `mcp__*` / `mcp__*__*` 在 deny 与 ask 里同读成这一协议的每一只工具。受理口的判(`config.ts`)与运行期的匹配(`approval.ts`)读同一个态度,一张表不会一边收、一边什么也不拦。
  */
 export declare const NAME_TABLE_BEHAVIOR: "deny";