@sema-agent/server 7.16.0 → 7.18.0

package/dist/trace/ledger-sink.js

@@ -18,7 +18,17 @@ export function createLedgerSink(opts) {
     // anchor tracks the same value for its own anchor-put; both latches see the same events in the same order,
     // so the stamps agree byte-for-byte — the anchor's extra `turnHadTool` state never feeds the stamp.)
     let textEventId;
+    // #245 S1:活性打点(顶注契约:两打点位之一;抛错吞掉,绝不拖账本/事件循环下水)。
+    const beat = () => {
+        try {
+            opts.onActivity?.();
+        }
+        catch {
+            /* 分诊打点失败只丢判别材料 */
+        }
+    };
     const append = (type, data) => {
+        beat(); // 打点位②:不经 onEvent 的直写路径(parked/done/forward)在这里被兜住
         const step = chain.then(() => opts.appendEvent(++seq, type, data));
         chain = step.then(() => undefined, () => undefined);
         return step;
@@ -36,6 +46,7 @@ export function createLedgerSink(opts) {
         }
     };
     const onEvent = async (ev) => {
+        beat(); // 打点位①:所有流事件(含只进缓冲的 text/reasoning delta)——「事件到达 sink」= turn 在推进
         switch (ev.type) {
             case "text_delta": {
                 const td = ev;

package/dist/turn-activity.d.ts

@@ -0,0 +1,30 @@
+/**
+ * #245 S1([3777] 决策卡死墙攻关):进程内 per-task「turn 最后活性时刻」——running 形 409 与
+ * GET /v1/runs/:id 读面的判别材料 `msSinceLastActivity` 的唯一数据源。
+ *
+ * 【为什么需要它】run 行的 `updatedAt` 由 liveness heartbeat(独立 `setInterval`,runs.ts)推进——
+ * 它只证明 **server 进程**活着;turn 卡死在某个 await 上时心跳照走([3771] 推理漏洞的公开更正)。
+ * 「turn 真在推进」的证据 = ledger sink 的 durable append(text/tool/status/park/done 全族都过那一条
+ * 单写串行链)。cli 的 running 形保守臂([3779] C3)缺的就是这一维:没有它,「真忙的后台 run」与
+ * 「断连僵局」在 wire 上不可分辨,只能猜。
+ *
+ * 【语义边界(与消费端约定,勿漂)】
+ * - **同副本 best-effort**:记录只活在本进程。跨副本命中(claim 持有者在别的副本)或本副本重启后
+ *   ⇒ 读不到 ⇒ wire 键**诚实缺席**——缺席 = 「无法证明」,不是「不活」。绝不铸 0(0 会被读成
+ *   「刚刚还活着」,错误方向与 [2255] 「宁缺毋假」纪律同族)。
+ * - 不落库、不进 SQL 面:这是分诊提示,不是状态机输入;任何门/CAS/resume 判定都不许读它。
+ *
+ * 【生命周期】终局**不主动清**——409 只在 `running` 行上消费本记录,终局行不进那个分支,残留无害;
+ * 主动清反而制造「done append 已打点、行还没翻终态」窗口里的缺席假象。有界性由插入序近似 LRU 兜底
+ * (CAP 条,超限逐最老;每条 ≈ 60B,上限 ≈ 0.5MB,常驻可接受)。
+ * 🔴 但**新世代必须清**(codex S1-F2,2026-08-13):session purge 删行后客户端合法复用自带 taskId 重
+ * 提交——不清的话新 run 首次打点前会读到旧 run 的时刻 = 假「刚有活性」证据。清点 = 三个 createRun
+ * 成功分支(routes/runs.ts + routes/tasks.ts×2,接线锚在 session-active-conflict-materials 测试)。
+ */
+/** ledger sink 每次 durable append 时打点(装配点:runs.ts / routes/tasks.ts 的 createLedgerSink)。 */
+export declare function recordTurnActivity(taskId: string): void;
+/** 最后活性时刻(epoch ms);无记录 ⇒ undefined(缺席语义见顶注)。 */
+export declare function readTurnActivityMs(taskId: string): number | undefined;
+/** 测试隔离用(生产路径不调:终局不清的理由见顶注)。 */
+export declare function clearTurnActivity(taskId: string): void;
+//# sourceMappingURL=turn-activity.d.ts.map

package/dist/turn-activity.js

@@ -0,0 +1,46 @@
+/**
+ * #245 S1([3777] 决策卡死墙攻关):进程内 per-task「turn 最后活性时刻」——running 形 409 与
+ * GET /v1/runs/:id 读面的判别材料 `msSinceLastActivity` 的唯一数据源。
+ *
+ * 【为什么需要它】run 行的 `updatedAt` 由 liveness heartbeat(独立 `setInterval`,runs.ts)推进——
+ * 它只证明 **server 进程**活着;turn 卡死在某个 await 上时心跳照走([3771] 推理漏洞的公开更正)。
+ * 「turn 真在推进」的证据 = ledger sink 的 durable append(text/tool/status/park/done 全族都过那一条
+ * 单写串行链)。cli 的 running 形保守臂([3779] C3)缺的就是这一维:没有它,「真忙的后台 run」与
+ * 「断连僵局」在 wire 上不可分辨,只能猜。
+ *
+ * 【语义边界(与消费端约定,勿漂)】
+ * - **同副本 best-effort**:记录只活在本进程。跨副本命中(claim 持有者在别的副本)或本副本重启后
+ *   ⇒ 读不到 ⇒ wire 键**诚实缺席**——缺席 = 「无法证明」,不是「不活」。绝不铸 0(0 会被读成
+ *   「刚刚还活着」,错误方向与 [2255] 「宁缺毋假」纪律同族)。
+ * - 不落库、不进 SQL 面:这是分诊提示,不是状态机输入;任何门/CAS/resume 判定都不许读它。
+ *
+ * 【生命周期】终局**不主动清**——409 只在 `running` 行上消费本记录,终局行不进那个分支,残留无害;
+ * 主动清反而制造「done append 已打点、行还没翻终态」窗口里的缺席假象。有界性由插入序近似 LRU 兜底
+ * (CAP 条,超限逐最老;每条 ≈ 60B,上限 ≈ 0.5MB,常驻可接受)。
+ * 🔴 但**新世代必须清**(codex S1-F2,2026-08-13):session purge 删行后客户端合法复用自带 taskId 重
+ * 提交——不清的话新 run 首次打点前会读到旧 run 的时刻 = 假「刚有活性」证据。清点 = 三个 createRun
+ * 成功分支(routes/runs.ts + routes/tasks.ts×2,接线锚在 session-active-conflict-materials 测试)。
+ */
+const CAP = 8192;
+const lastActivityByTask = new Map();
+/** ledger sink 每次 durable append 时打点(装配点:runs.ts / routes/tasks.ts 的 createLedgerSink)。 */
+export function recordTurnActivity(taskId) {
+    if (lastActivityByTask.has(taskId)) {
+        lastActivityByTask.delete(taskId); // 重插保持插入序 = 近似 LRU
+    }
+    else if (lastActivityByTask.size >= CAP) {
+        const oldest = lastActivityByTask.keys().next().value;
+        if (oldest !== undefined)
+            lastActivityByTask.delete(oldest);
+    }
+    lastActivityByTask.set(taskId, Date.now());
+}
+/** 最后活性时刻(epoch ms);无记录 ⇒ undefined(缺席语义见顶注)。 */
+export function readTurnActivityMs(taskId) {
+    return lastActivityByTask.get(taskId);
+}
+/** 测试隔离用(生产路径不调:终局不清的理由见顶注)。 */
+export function clearTurnActivity(taskId) {
+    lastActivityByTask.delete(taskId);
+}
+//# sourceMappingURL=turn-activity.js.map

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema-agent/server",
-  "version": "7.16.0",
+  "version": "7.18.0",
   "description": "Sema Server — the server/API implementation layer for Sema, wiring core, registry, model providers, and cloud agent execution. Built on @sema-agent/core.",
   "type": "module",
   "license": "BUSL-1.1",
@@ -54,7 +54,7 @@
     "build:binary:run-local:darwin-arm64": "bun build --compile --target=bun-darwin-arm64 src/run-local.ts --outfile dist/run-local-darwin-arm64"
   },
   "dependencies": {
-    "@sema-agent/core": "^5.28.0",
+    "@sema-agent/core": "^5.30.0",
     "@sema-agent/registry-core": "^0.16.0",
     "e2b": "^2.28.0",
     "libsodium-wrappers": "^0.8.4",