@sema-agent/server 7.140.0 → 7.142.0

package/dist/trace/model-segment.d.ts

@@ -56,7 +56,7 @@ export interface ReasoningSegments {
  *
  * 🔴 **为什么段末帧不能沿用任何一块 delta 的 `eventId`**([ref]):SSE 的 `id:` 行是**续流游标**,
  * 「每帧唯一」就是它的定义(消费端据它做**整帧幂等**:见过的 id 整帧丢);而本仓 live 腿的 `id:` 行
- * 恰恰取自载荷的 `eventId`(`http/routes/tasks.ts` 的 `sseData`)。沿用段内某一块的锚 ⇒ 段末帧与那一块
+ * 恰恰取自载荷的 `eventId`(`http/live-frame.ts` 的 `writeLiveFrame`)。沿用段内某一块的锚 ⇒ 段末帧与那一块
  * delta 顶着同一枚游标,消费端把**权威段**当重放帧丢弃 —— 本帧存在的唯一理由(整段脱敏后的权威副本)
  * 当场结构性失效。「这段是从哪一帧开始攒的」不是游标要回答的问题,而「整段替换」这条消费律本来就
  * 不需要段首锚:重连从**帧**续,不从段续。
@@ -68,7 +68,7 @@ export interface ReasoningSegments {
  *
  * 输入 = 本段**第一块带锚**的 delta 的 `eventId`(不是「第一块」的:首块无锚不等于整段无锚,三条腿
  * 统一用 `??=` 闩第一枚**有定义**的锚 —— 与 E18 的 `textEventId ??=` 逐字同律)。整段一块带锚的都没有
- * ⇒ 段末 id 缺席(诚实的「无锚」,绝不合成占位 —— 与 `sseData` 的既有纪律同源:不可锚的位置不许
+ * ⇒ 段末 id 缺席(诚实的「无锚」,绝不合成占位 —— 与 `writeLiveFrame` 的既有纪律同源:不可锚的位置不许
  * 伪装成可锚)。
  */
 export declare function reasoningSegmentEventId(anchor: unknown): string | undefined;

package/dist/trace/project.d.ts

@@ -30,7 +30,7 @@ import type { RunCompanionRecord } from "../observability/prompt-manifest.js";
 import { type SafeText } from "./exit-seat.js";
 import { type SemaProvenanceInput } from "./sema-provenance.js";
 import { type ExtensionRequesterFace, type ToolInputRewriteFace } from "./extension-call-face.js";
-import type { LedgerEventType } from "./ledger-events.js";
+import type { LedgerEventType, ParkLedgerEventType } from "./ledger-events.js";
 import type { InstructionsSegment } from "../instruction-selection.js";
 import type { RunSkillEntry } from "../capabilities/skills.js";
 /** 账本写口的统一签名 —— `type` 是**闭集**(`ledger-events.ts`):新型必须先登记,否则调用点编译红
@@ -419,6 +419,23 @@ export interface ParkEventData {
  * 门身份读法与三处 durable 读面同一只(`durableRowIdentity`,face `run-events-park`):没有暂停因由的行不问身份(没有门可认);有因由而读不出 ⇒ 键缺席 + 计一次。
  */
 export declare function parkEventData(result: unknown, reopened?: string | null): ParkEventData;
+/** 一腿的计量席:E8 累加器 + 这条腿在累加器里的归因键。`modelUsage` 缺席 ⇒ 这条腿没接累加器,没有用量可结。 */
+export interface ModelUsageSeat {
+    readonly modelUsage: ModelUsageTracker | undefined;
+    readonly taskId: string;
+}
+/**
+ * park 账本行的**唯一写口** —— {@link parkEventData} 是行的唯一构造器,本函数是它的唯一落账处:后台腿与同步 detach 腿(`LedgerSink.appendParked`)、
+ * 续跑腿的再停两臂、重开臂与续跑 verify 臂(`resume-legs.ts`)都经这一只。
+ *
+ * **状态帧最后**:一腿账本的状态帧(终局 `done` / `failed`、停驻 `suspended` / `needs_review`)是这一腿主线写下的最后一帧(晚到的子代转发帧、完成后的 suggestions 是旁路写,不在此列),计量帧先于它写出 ——
+ * 终局由 {@link attachModelUsage} 先结清最后一拍再落 `done`,停驻由本函数先 drain 再落停驻行。顺序属于写口、不属于调用点:
+ * 只回结果的 verify 腿没有逐 turn 落账的流(无 `turn_end` 帧),挂起前的用量只有停驻这一拍才落账;若各调用点各自记得「先结清」,
+ * 这条腿的账本尾帧就会是 `model_usage`,与不带 `verify` 的停驻(用量在 `turn_end` 就结清了)两形不同序(`GET /v1/runs/:id/events` 的尾帧)。
+ * 用量行落不下 ⇒ 停驻行**照落**,然后把用量行的失败抛给调用方(失败语义与此前逐字同:账本里有停驻帧、调用方按「停驻没落定」收场 —— bg 腿以 `failed` 收、手里的卡作废;
+ * 尽力而为的调用点(detach 腿的兜底停驻、续跑腿的重开臂)照旧吞掉它,停驻帧不因为一笔用量行的失败而缺席)。顺序变了,谁来写、写不下谁抛没有变。
+ */
+export declare function appendParkRow(append: AppendFn, usage: ModelUsageSeat | undefined, word: ParkLedgerEventType, result: unknown, reopened?: string | null): Promise<void>;
 /**
  * The `task_started` payload(core 7.50.0):一只委派子代**起跑**的那一帧 —— 每周期一只(首派 / 复活;耐久续跑腿不铸),
  * 序在子代的 `wiring_manifest` 之后、它的首个 `task_progress` 与首次模型请求之前。

package/dist/trace/project.js

@@ -317,6 +317,22 @@ export function parkEventData(result, reopened) {
         ...(reopened !== undefined ? { reopened } : {}),
     };
 }
+export async function appendParkRow(append, usage, word, result, reopened) {
+    let drainFailed = false;
+    let drainFailure;
+    if (usage !== undefined) {
+        try {
+            await appendModelUsageDelta(append, usage.modelUsage, usage.taskId);
+        }
+        catch (e) {
+            drainFailed = true;
+            drainFailure = e;
+        }
+    }
+    await append(word, parkEventData(result, reopened));
+    if (drainFailed)
+        throw drainFailure;
+}
 export function taskStartedEventData(ev) {
     return {
         taskId: ev.taskId,