@sema-agent/server 7.109.0 → 7.111.0

package/dist/trace/engine-notice-wire.js

@@ -33,16 +33,8 @@ export const ENGINE_NOTICE_WIRE_CODES = [
     "permission.ask_released_by_mode",
     "permission.read_deny_unapplied",
     "permission.rule_store_unavailable",
+    "task.tool_turn_incomplete",
 ];
-export const SERVER_NOTICE_AUDIENCE = {
-    "instructions.source_changed": "user",
-    "memory.layer_locked_legacy": "operator",
-    "session.records_skipped": "user",
-    "server.model_unreachable": "user",
-};
-export function isServerNoticeCode(code) {
-    return Object.hasOwn(SERVER_NOTICE_AUDIENCE, code);
-}
 const WIRE_CODES = new Set(ENGINE_NOTICE_WIRE_CODES);
 export function isEngineNoticeWireCode(code) {
     return WIRE_CODES.has(code);
@@ -107,11 +99,13 @@ export function engineNoticeEventData(notice, sessionId, nowMs) {
         ts: nowMs,
     };
 }
+const isThenableResult = (v) => typeof v === "object" && v !== null && typeof v.then === "function";
 let nextLegId = 1;
 export class EngineNoticeRouter {
     legs = new Map();
-    registerLeg(sessionId, sinks) {
-        const leg = { legId: nextLegId++, sinks: [...sinks] };
+    registerLeg(sessionId, slots) {
+        const sinks = [...(slots.live ? [{ slot: "live", sink: slots.live }] : []), ...(slots.durable ? [{ slot: "durable", sink: slots.durable }] : [])];
+        const leg = { legId: nextLegId++, sinks };
         const list = this.legs.get(sessionId) ?? [];
         list.push(leg);
         this.legs.set(sessionId, list);
@@ -131,7 +125,7 @@ export class EngineNoticeRouter {
         };
     }
     register(sessionId, sink) {
-        return this.registerLeg(sessionId, [sink]);
+        return this.registerLeg(sessionId, { durable: sink });
     }
     sinkCount(sessionId) {
         const list = this.legs.get(sessionId);
@@ -141,27 +135,34 @@ export class EngineNoticeRouter {
         return this.legs.get(sessionId)?.length ?? 0;
     }
     route(notice, nowMs = Date.now()) {
+        return this.fanOut(notice, nowMs).length;
+    }
+    async routeConfirmed(notice, nowMs = Date.now()) {
+        const outcomes = await Promise.all(this.fanOut(notice, nowMs));
+        return outcomes.filter((ok) => ok).length;
+    }
+    fanOut(notice, nowMs) {
         if (!isEngineNoticeWireCode(notice.code))
-            return 0;
+            return [];
         const sessionId = engineNoticeSessionId(notice);
         if (sessionId === undefined)
-            return 0;
+            return [];
         const list = this.legs.get(sessionId);
         const leg = list && list.length > 0 ? list[list.length - 1] : undefined;
         if (!leg || leg.sinks.length === 0)
-            return 0;
+            return [];
         const row = engineNoticeEventData(notice, sessionId, nowMs);
-        let delivered = 0;
-        for (const sink of leg.sinks) {
+        const outcomes = [];
+        for (const { slot, sink } of leg.sinks) {
             try {
-                sink(row);
-                delivered++;
+                const result = sink(row);
+                outcomes.push(isThenableResult(result) ? Promise.resolve(result).then((v) => slot === "durable" && v === true, () => false) : Promise.resolve(false));
             }
             catch {
                 recordFailOpen("server.engine-notice.wire-sink-threw", `code=${notice.code}`);
             }
         }
-        return delivered;
+        return outcomes;
     }
 }
 export const defaultEngineNoticeRouter = new EngineNoticeRouter();
@@ -169,11 +170,10 @@ export function registerEngineNoticeLeg(opts) {
     const { sessionId, live, durable } = opts;
     if (sessionId === undefined || sessionId.length === 0)
         return () => undefined;
-    const sinks = [...(live ? [live] : []), ...(durable ? [durable] : [])];
-    if (sinks.length === 0)
+    if (live === undefined && durable === undefined)
         return () => undefined;
     const router = opts.router ?? defaultEngineNoticeRouter;
-    const unregister = router.registerLeg(sessionId, sinks);
+    const unregister = router.registerLeg(sessionId, { ...(live ? { live } : {}), ...(durable ? { durable } : {}) });
     for (const notice of opts.pending ?? [])
         router.route(notice);
     return unregister;

package/dist/trace/ledger-sink.d.ts

@@ -2,6 +2,7 @@ import { type TerminalCause } from "@sema-agent/core";
 import { brainStatusEventData } from "./project.js";
 import { NotifiedKeys } from "../orchestration/workflow-completion-inbox.js";
 import { type LedgerEventType, type ParkLedgerEventType } from "./ledger-events.js";
+import type { InstructionsSegment } from "../instruction-selection.js";
 /**
  * LedgerSink — the SINGLE "stream event → durable runs-ledger" projection, shared by the background leg
  * (runs.ts `runInBackground`) and the sync `/v1/tasks/stream` detach lane (server.ts, `x-detach-on-disconnect`).
@@ -115,5 +116,8 @@ export declare function createLedgerSink(opts: {
      *  各传自己看得见的那个词(位①=流事件 `ev.type`,位②=账本行 `type`);拿不到类型的打点方
      *  (core 的 onActivity 第五席、resume 腿手动打点)省参,`kind` 诚实缺席(见 turn-activity.ts)。 */
     onActivity?: (kind?: string, statusData?: Record<string, unknown>) => void;
+    /** S-961:这条腿的 `wiring_manifest.instructions` 段(腿的 `InstructionSelectionLeg.segment`)。**必填**:账本行与 live 帧是
+     *  同一条腿的两个载体,段必须来自同一只腿;在投帧那一刻读(core 推帧之前已 await 过 loader)。返回 `undefined` ⇒ 段缺席。 */
+    instructionsSegment: () => InstructionsSegment | undefined;
 }): LedgerSink;
 //# sourceMappingURL=ledger-sink.d.ts.map

package/dist/trace/ledger-sink.js

@@ -97,7 +97,7 @@ export function createLedgerSink(opts) {
                 await append("workspace_changed", workspaceChangedEventData(ev));
                 break;
             case "wiring_manifest":
-                await append("wiring_manifest", wiringManifestEventData(ev));
+                await append("wiring_manifest", wiringManifestEventData(ev, opts.instructionsSegment()));
                 break;
             case "tool_roster_delta": {
                 const rosterDelta = toolRosterDeltaEventData(ev);

package/dist/trace/project.d.ts

@@ -28,6 +28,7 @@ import type { RunEvent, RunRecord } from "../plugins/store-contracts.js";
 import type { ModelUsageDelta, ModelUsageTracker, PromptManifestRecord } from "../budget.js";
 import { type SemaProvenanceInput } from "./sema-provenance.js";
 import type { LedgerEventType } from "./ledger-events.js";
+import type { InstructionsSegment } from "../instruction-selection.js";
 /** 账本写口的统一签名 —— `type` 是**闭集**(`ledger-events.ts`):新型必须先登记,否则调用点编译红
  *  (codex 交叉复审 F2:别名门 `ap("x")` 与动态首参让纯词法门结构性抓不全)。 */
 type AppendFn = (type: LedgerEventType, data: unknown) => Promise<void>;
@@ -719,11 +720,18 @@ export declare function toolRosterDeltaEventData(ev: {
     eventId?: unknown;
     parentToolCallId?: unknown;
 }): Record<string, unknown> | undefined;
+/**
+ * 🔴 S-961(7.111.0)**第二参 `instructions` 必传**(值可以是 `undefined`):`wiring_manifest` 上唯一一段**本仓自铸**的段
+ * —— 这条腿的 project-memory loader 选中的指令文件链成员,`{ selected: string[] }`。它不在 core 的 manifest 里(core 不持有
+ * 选择规则),所以不从 `ev` 读:每条投帧的腿把**自己那只** `InstructionSelectionLeg.segment()` 递进来。必传而不是可选 ——
+ * 漏递的腿当场 tsc 红,而不是静默投出一个「缺席」(缺席在 wire 上是一句话:「这条腿没有关于指令文件的陈述」)。
+ * `undefined` ⇒ 段缺席;`{ selected: [] }` ⇒ 显式空(走了链、没选中)。登记:`wire-projection-faces.ts` 租户行 `minted`。
+ */
 export declare function wiringManifestEventData(ev: {
     manifest?: unknown;
     eventId?: unknown;
     parentToolCallId?: unknown;
-}): Record<string, unknown>;
+}, instructions: InstructionsSegment | undefined): Record<string, unknown>;
 /**
  * `wiring_manifest` 的 **operator 投影**([ref] 件一)—— {@link wiringManifestEventData} 的租户形加上
  * `governance` 段与 core 的真 `configFingerprint`。
@@ -759,7 +767,7 @@ export declare function wiringManifestOperatorEventData(ev: {
     manifest?: unknown;
     eventId?: unknown;
     parentToolCallId?: unknown;
-}): Record<string, unknown>;
+}, instructions: InstructionsSegment | undefined): Record<string, unknown>;
 /**
  * `wiring_manifest` 的**唯一分叉点**(S-528)—— 两条知道调用方身份的 live 消费腿共用它:
  * `/v1/tasks/stream` 的 SSE 帧,与 `POST /v1/tasks`(非流式)200 体里的 `wiringManifest` 起手回执。
@@ -780,7 +788,7 @@ export declare function wiringManifestFaceEventData(ev: {
     manifest?: unknown;
     eventId?: unknown;
     parentToolCallId?: unknown;
-}, operatorFace: boolean): Record<string, unknown>;
+}, operatorFace: boolean, instructions: InstructionsSegment | undefined): Record<string, unknown>;
 /**
  * `human_input`(core 5.14.0 [ref] 新 `TaskEvent` 臂)—— 「谁把什么喂进了这条 run」的生命周期账本
  * 帧(objective / 实时 steer / nextTurn / parked-steer 续跑 / wake 五个载体共用一个投影点)。

package/dist/trace/project.js

@@ -464,7 +464,7 @@ export function toolRosterDeltaEventData(ev) {
     }
     return { delta: ev.delta, ...identityFields(ev) };
 }
-export function wiringManifestEventData(ev) {
+export function wiringManifestEventData(ev, instructions) {
     const str = (v) => (typeof v === "string" && v.length > 0 ? v : undefined);
     const bool = (v) => (typeof v === "boolean" ? v : undefined);
     const num = (v) => (typeof v === "number" && Number.isFinite(v) ? v : undefined);
@@ -630,11 +630,12 @@ export function wiringManifestEventData(ev) {
         ...(lsp !== undefined ? { lsp } : {}),
         ...(hands !== undefined ? { hands } : {}),
         ...(writeProtection !== undefined ? { writeProtection } : {}),
+        ...(instructions !== undefined ? { instructions: { selected: [...instructions.selected] } } : {}),
         ...identityFields(ev),
     };
 }
-export function wiringManifestOperatorEventData(ev) {
-    const tenant = wiringManifestEventData(ev);
+export function wiringManifestOperatorEventData(ev, instructions) {
+    const tenant = wiringManifestEventData(ev, instructions);
     const str = (v) => (typeof v === "string" && v.length > 0 ? v : undefined);
     const bool = (v) => (typeof v === "boolean" ? v : undefined);
     const sec = (v) => (typeof v === "object" && v !== null && !Array.isArray(v) ? { ...v } : undefined);
@@ -678,8 +679,8 @@ export function wiringManifestOperatorEventData(ev) {
         ...(str(m.configFingerprint) !== undefined ? { configFingerprint: m.configFingerprint } : {}),
     };
 }
-export function wiringManifestFaceEventData(ev, operatorFace) {
-    return operatorFace ? wiringManifestOperatorEventData(ev) : wiringManifestEventData(ev);
+export function wiringManifestFaceEventData(ev, operatorFace, instructions) {
+    return operatorFace ? wiringManifestOperatorEventData(ev, instructions) : wiringManifestEventData(ev, instructions);
 }
 export function humanInputEventData(ev) {
     const str = (v) => (typeof v === "string" && v.length > 0 ? v : undefined);

package/dist/trace/self-minted-wire.d.ts

@@ -18,6 +18,46 @@ export declare const SELF_MINTED_WIRE: {
             };
         };
     };
+    /**
+     * S-928(7.110.0):`engine_notice` `task.user_steer_undrained` 上**本仓铸**的那一臂。词表属主是 core(`USER_STEER_UNDRAINED_CAUSES`,
+     * `leg_end` 由引擎铸、逐字过境,不在本表);本表登记的是「这个值自哪一版起由本服务出现在 wire 上」。`satisfies Record<CrashedCause, …>`:
+     * core 删掉 `crashed` ⇒ `CrashedCause` 成 never ⇒ 本行编译红。
+     */
+    readonly userSteerUndrainedServerCause: {
+        readonly at: "engine_notice task.user_steer_undrained detail.cause(本服务铸的臂;下一条同会话 run 开通告口那一拍)";
+        readonly members: {
+            crashed: {
+                attr: string;
+                since: string;
+            };
+        };
+    };
+    /**
+     * S-961(7.111.0):`wiring_manifest.instructions.selected[]` 的成员值 = 指令文件链的成员(相对 cwd 的拼写)。属主是 `project-memory.ts`
+     * 的 `INSTRUCTION_FILE_CHAIN`([ref] 序:CLAUDE 族先、AGENTS 族后,首中即选)—— 链加 / 删一员 ⇒ 本行 `satisfies` 编译红,登记跟着动。
+     * 段本身(键)登记在 `wire-projection-faces.ts` 的 `wiring_manifest_tenant.minted`。
+     */
+    readonly wiringInstructionsSelected: {
+        readonly at: "wiring_manifest instructions.selected[](本腿 loader 选中的链成员;段缺席 = 本腿无陈述)";
+        readonly members: {
+            "CLAUDE.md": {
+                attr: string;
+                since: string;
+            };
+            ".claude/CLAUDE.md": {
+                attr: string;
+                since: string;
+            };
+            "AGENTS.md": {
+                attr: string;
+                since: string;
+            };
+            ".claude/AGENTS.md": {
+                attr: string;
+                since: string;
+            };
+        };
+    };
     /**
      * 会话所有者自助抹除面的**已分类拒** → HTTP 状态(S-930 起与 operator 面 `POST /v1/memory/erase` 同一只映射;`since` 记的是**本面**
      * 自哪一版起这样答 —— 7.107.0 及以前本面只认前两只,其余落 500 `internal.error`)。

package/dist/trace/self-minted-wire.js

@@ -6,6 +6,21 @@ export const SELF_MINTED_WIRE = {
             shutdown_before_park: { attr: "-", since: "7.108.0" },
         },
     },
+    userSteerUndrainedServerCause: {
+        at: "engine_notice task.user_steer_undrained detail.cause(本服务铸的臂;下一条同会话 run 开通告口那一拍)",
+        members: {
+            crashed: { attr: "-", since: "7.110.0" },
+        },
+    },
+    wiringInstructionsSelected: {
+        at: "wiring_manifest instructions.selected[](本腿 loader 选中的链成员;段缺席 = 本腿无陈述)",
+        members: {
+            "CLAUDE.md": { attr: "-", since: "7.111.0" },
+            ".claude/CLAUDE.md": { attr: "-", since: "7.111.0" },
+            "AGENTS.md": { attr: "-", since: "7.111.0" },
+            ".claude/AGENTS.md": { attr: "-", since: "7.111.0" },
+        },
+    },
     sessionMemoryEraseStatus: {
         at: "POST /v1/sessions/:id/memory/erase(已分类拒 errorCode → HTTP 状态)",
         members: {

package/dist/trace/wire-projection-faces.d.ts

@@ -16,7 +16,7 @@
  * `NotificationExcluded` 直接读成本表这一行的 `excluded`,于是「哪几个键有意不上 wire」全仓**只有一个写者**。
  * 旧形是两个:守卫文件一簿、`test/wire-whitelist-exhaustiveness.test.ts` 的 `KnownExcluded` 一簿,那份门注
  * 自己写着「两处必须同时改」—— 而「必须同时改」正是 [ref] 要下线的东西(对账门不算替代,单写者才算)。
- * 本表是纯数据、无行为(唯一的派生是 `wiring_manifest_operator` 行的 `excluded` 取值器 = 租户行减具名常量,S-724),
+ * 本表是纯数据、无行为(唯一的派生是 `wiring_manifest_operator` 行的两只取值器:`excluded` = 租户行减具名常量,S-724;`minted` = 租户行,S-961),
  * 被守卫文件以 `typeof import(...)` 的**类型查询**读取(编译期擦除,零运行期边)。
  *
  * ## 门在哪里
@@ -170,14 +170,14 @@ export declare const WIRE_PROJECTION_FACES: {
         readonly coreType: `WiringManifest & ${string}`;
         readonly excluded: readonly ["governance", "configFingerprint", "autoConsolidation", "readDeny", "peerPresence", "permissionMode"];
         readonly unwrapped: readonly ["manifest"];
-        readonly minted: readonly [];
+        readonly minted: readonly ["instructions"];
     };
     readonly wiring_manifest_operator: {
         readonly projector: "wiringManifestOperatorEventData";
         readonly coreType: `WiringManifest & ${string}`;
         readonly excluded: readonly string[];
         readonly unwrapped: readonly ["manifest"];
-        readonly minted: readonly [];
+        readonly minted: readonly string[];
     };
     readonly engine_notice: {
         readonly projector: "engineNoticeEventData";

package/dist/trace/wire-projection-faces.js

@@ -42,7 +42,7 @@ export const WIRE_PROJECTION_FACES = {
         coreType: `WiringManifest & ${arm("wiring_manifest")}`,
         excluded: ["governance", "configFingerprint", "autoConsolidation", "readDeny", "peerPresence", "permissionMode"],
         unwrapped: ["manifest"],
-        minted: [],
+        minted: ["instructions"],
     },
     wiring_manifest_operator: {
         projector: "wiringManifestOperatorEventData",
@@ -51,7 +51,9 @@ export const WIRE_PROJECTION_FACES = {
             return withoutSections(WIRE_PROJECTION_FACES.wiring_manifest_tenant.excluded, WIRING_MANIFEST_OPERATOR_ONLY_SECTIONS);
         },
         unwrapped: ["manifest"],
-        minted: [],
+        get minted() {
+            return WIRE_PROJECTION_FACES.wiring_manifest_tenant.minted;
+        },
     },
     engine_notice: { projector: "engineNoticeEventData", coreType: "EngineNotice", excluded: [], minted: ["ts"] },
     memory_import_report: { projector: "buildImportReportWire", coreType: "MemoryImportReport", excluded: [], minted: [] },