@sema-agent/client-core 0.67.2 → 0.68.1

package/dist/toolResult.js

@@ -125,6 +125,14 @@ export const STRUCTURED_DETAIL_TYPES = new Set([
     //    并已登记在 `dist/core/runner/tool-output-projection.js:67` 的 `CC_DETAIL_TYPES` 里)。
     //    病根与 5.20 / 5.43 两次逐字同族:词漏了不会响,只会让那一类卡**永远退回正则解模型面文本**。
     'list-agents',
+    // ── core 7.17.0 跟车一词(0.68.0 提货批;engine-vocab ⑤ 段对 7.17.1 实装物直证,红文逐字:
+    //    「core 7.17.1:44 项 / 本包 43 项;漏:artifact」)────────────────────────────────────────
+    // `artifact` = Artifact 工具的结构化卡(core `dist/tools/artifact/artifact-tool.js` 的
+    // `details: { type: "artifact", action: … }` 铸点,七种 action 各一形 + 三条错误形)。
+    // 🔴 **可达性有前提**:只有宿主真接了 artifact 席(`RunnerDeps.artifactHost`)那只工具才挂载 ⇒
+    //    没接的部署上零帧差异。补它的理由与历史五次逐字同族:词漏了不会响,只会让那一类卡**永远
+    //    退回正则解模型面文本**,而任何一层都不会说话。
+    'artifact',
 ]);
 // 🔴 同批**删三词**(core 5.10.0 BREAKING「幽灵卡」清仓):`multiedit` / `memory-saved` /
 //    `memory-recall` —— 全树零铸点(MultiEdit/批量重放铸的是 `type:"edit"` 带 `edits[]`;core

package/dist/toolRoster.d.ts

@@ -28,8 +28,16 @@
  * 而且它把「位置从名册来、永远不从 summary 来」这条契约反过来用了。
  *
  * -- 开集读 -----------------------------------------------------------------------------------
- * `source`(七词)/ `effect` / `family` / `access` 等词表的属主都是引擎,一律**原样透传**,不窄读成
- * 枚举 —— 那会在引擎加词当天把一份真名册判没。
+ * `source`(七词)/ `effect` / `family` / `access` / 三个 `*Provenance` 等词表的属主都是引擎,一律
+ * **原样透传**,不窄读成枚举 —— 那会在引擎加词当天把一份真名册判没。
+ *
+ * -- 🔴 逐键窄读器 vs 上游的逐字透传(L-290 的病形,0.68.1)-----------------------------------
+ * server(`src/trace/project.ts` 的 `tools` 段)对名册的姿势是**整只判形 + 逐字透传**,理由逐字:
+ * 成员表由 core 以 typebox schema 单点持有,手抄一张挑键表 = 立刻多一份会漂的镜像。本读器**确实**
+ * 是那份镜像(本包要给三端一个窄化过的视图,不能把 30 余键的开集原样甩出去)—— 所以镜像必须有账:
+ * `scripts/run-tool-roster-projection-test.mjs` **G 段**拿**实装 core 的 schema 成员表**与本读器
+ * 真挑出来的键集逐键对账,core 的每一个成员要么被挑、要么在账上写明「为什么不挑」;上游加一个
+ * 成员而账上没有 ⇒ 当天红。没有这本账,「挑漏一个键 = 那个键在包边界上不存在」就会一直无声发生。
  */
 /** 一只工具的**路径目标**(引擎的 `pathTarget`;`base`/`absent`/`patternParam` 是 core 7.9.1 #635 加的)。 */
 export interface ToolRosterPathTargetView {
@@ -78,10 +86,34 @@ export interface ToolRosterEntryView {
     capabilityId?: string;
     /** `read` / `write` / `idempotent`;开集读。 */
     effect?: string;
+    /**
+     * `effect` 这根轴**是谁说的**(`declared` 定义自报 / `caller` 调用方声明 / `synthetic` 引擎合成 /
+     * `default` 谁都没说,落默认);**开集读**。见下面 {@link ToolRosterEntryView.contentOriginProvenance}
+     * 的头注 —— 三个出身键同生同灭。
+     */
+    effectProvenance?: string;
     egress?: boolean;
+    /** `egress` 这根轴的出身(`declared` / `caller` / `default`);**开集读**,读法同上。 */
+    egressProvenance?: string;
     /** `never` / `maybe` / `always`;开集读。 */
     irreversibility?: string;
     contentOrigin?: string;
+    /**
+     * `contentOrigin` 这根轴的出身(`declared` 定义自报 / `server` mcp·a2a 行由服务端定 /
+     * `exempted` 在受信工具豁免名单里 / `default` 谁都没说);**开集读**(L-290,0.68.1)。
+     *
+     * 🔴 **为什么要有这一位**:轴的**值**说的是「这只工具的产出算不算外来内容」,而一个
+     * `contentOrigin: "local"` 到底是**工具自己声明**的、还是**因为它在豁免名单里**才这样 ——
+     * 在信任面上是两件事。诊断行(壳 `/doctor` 的「Tools (engine leg)」)读的正是后者。
+     * 🔴 **族扫(同形存量清剿)**:server `src/trace/project.ts` 的 `tools` 段是**整只判形 + 逐字
+     * 透传**,而本读器是**逐键挑** —— 挑漏的键在包边界上等于不存在。三根轴各有一个出身键,漏的形
+     * 一模一样,所以三个一起挑,不是只补被点名的那一个;核过之后 core `ToolRosterEntry` 的**每一个**
+     * 成员在 `scripts/run-tool-roster-projection-test.mjs` G 段都有一行处置(挑 / 不挑 + 理由),
+     * 上游再加成员当天红。
+     * ⚠️ 出身键是**诊断面**,刻意**不进** {@link ToolShim}(那是渲染面:人话名 / 卡型 / 三根轴的
+     * **值**)—— 端渲一只工具时要的是「它是什么」,不是「这句话是谁说的」。
+     */
+    contentOriginProvenance?: string;
     family?: string;
     pathTarget?: ToolRosterPathTargetView;
     renderHints?: ToolRosterRenderHintsView;

package/dist/toolRoster.js

@@ -28,8 +28,16 @@
  * 而且它把「位置从名册来、永远不从 summary 来」这条契约反过来用了。
  *
  * -- 开集读 -----------------------------------------------------------------------------------
- * `source`(七词)/ `effect` / `family` / `access` 等词表的属主都是引擎,一律**原样透传**,不窄读成
- * 枚举 —— 那会在引擎加词当天把一份真名册判没。
+ * `source`(七词)/ `effect` / `family` / `access` / 三个 `*Provenance` 等词表的属主都是引擎,一律
+ * **原样透传**,不窄读成枚举 —— 那会在引擎加词当天把一份真名册判没。
+ *
+ * -- 🔴 逐键窄读器 vs 上游的逐字透传(L-290 的病形,0.68.1)-----------------------------------
+ * server(`src/trace/project.ts` 的 `tools` 段)对名册的姿势是**整只判形 + 逐字透传**,理由逐字:
+ * 成员表由 core 以 typebox schema 单点持有,手抄一张挑键表 = 立刻多一份会漂的镜像。本读器**确实**
+ * 是那份镜像(本包要给三端一个窄化过的视图,不能把 30 余键的开集原样甩出去)—— 所以镜像必须有账:
+ * `scripts/run-tool-roster-projection-test.mjs` **G 段**拿**实装 core 的 schema 成员表**与本读器
+ * 真挑出来的键集逐键对账,core 的每一个成员要么被挑、要么在账上写明「为什么不挑」;上游加一个
+ * 成员而账上没有 ⇒ 当天红。没有这本账,「挑漏一个键 = 那个键在包边界上不存在」就会一直无声发生。
  */
 const str = (v) => typeof v === 'string' && v.length > 0 ? v : undefined;
 const strArr = (v) => Array.isArray(v) ? v.filter((x) => typeof x === 'string') : undefined;
@@ -91,9 +99,15 @@ function readEntry(raw) {
         ...(str(o.cardId) !== undefined ? { cardId: str(o.cardId) } : {}),
         ...(str(o.capabilityId) !== undefined ? { capabilityId: str(o.capabilityId) } : {}),
         ...(str(o.effect) !== undefined ? { effect: str(o.effect) } : {}),
+        // L-290 族扫:三根轴各自的**出身**键(开集读,`str()` 同律;坏形只丢这一格,行还在 —— 出身不是身份)。
+        ...(str(o.effectProvenance) !== undefined ? { effectProvenance: str(o.effectProvenance) } : {}),
         ...(typeof o.egress === 'boolean' ? { egress: o.egress } : {}),
+        ...(str(o.egressProvenance) !== undefined ? { egressProvenance: str(o.egressProvenance) } : {}),
         ...(str(o.irreversibility) !== undefined ? { irreversibility: str(o.irreversibility) } : {}),
         ...(str(o.contentOrigin) !== undefined ? { contentOrigin: str(o.contentOrigin) } : {}),
+        ...(str(o.contentOriginProvenance) !== undefined
+            ? { contentOriginProvenance: str(o.contentOriginProvenance) }
+            : {}),
         ...(str(o.family) !== undefined ? { family: str(o.family) } : {}),
         ...(readPathTarget(o.pathTarget) !== undefined
             ? { pathTarget: readPathTarget(o.pathTarget) }

package/dist/workflowClient.d.ts

@@ -63,6 +63,28 @@ export interface LiveWorkflowConfig {
  *  tolerates absent/permissive fields and never throws (the graceful-degrade contract lives above, in the
  *  source loop; this just maps a well-formed run). Exported for the mock-parity unit cross-check. */
 export declare function projectWorkflowRun(run: WorkflowRun): WorkflowRunState;
+/** `parks[]` 的一行 —— **恰好三键**,凭据席位在本型上不存在(见上段 ①)。 */
+export interface WorkflowParkRowView {
+    /** 这只 park 属于哪一次调用(与 `agents[].callKey` join 得上)。 */
+    callKey: string;
+    /** 停着的那只审批属于哪个会话(宿主按它路由)。 */
+    sessionId: string;
+    /** 最初跑出这只 park 的那条 run。 */
+    originRunId: string;
+}
+/**
+ * `GET /v1/workflows/:id` 的 `parks[]` → 三键行;**整键缺席 ⇒ `undefined`**(与空数组逐字可分)。
+ *
+ * 🔴 **`undefined` 与 `[]` 不是一回事**,这是本读器最承重的一格:
+ *    · `undefined` —— 这条记录上没有 `parks` 这一键(旧引擎写的)⇒ **证不出**有没有 park;
+ *    · `[]`        —— 这条记录有这一键且是空的 ⇒ 一句正面事实:这条 run 上没有 park。
+ * 🔴 **坏行只丢自己**(与本包 `wiring_manifest.mcp[]` 的处置同尺):三键缺一 / 非串 / 空串 的行
+ *    整条丢弃,其余行保序留下;**非空输入而全部坏行 ⇒ 返回 `[]`**?—— **不**:那会把「读不出」
+ *    伪装成「零 park」。全坏 ⇒ `undefined`(诚实缺席)。
+ * 🔴 `parks` 不是数组(对象 / 串 / null)⇒ 当整键缺席(非投影口喂进来的形)。
+ * 🔴 纯函数、零副作用、**绝不抛**。
+ */
+export declare function readWorkflowParks(run: unknown): readonly WorkflowParkRowView[] | undefined;
 /** 台账里的一个 agent(读口产物,只读快照;缺席 = 不知道,绝不渲成 0/空)。 */
 export interface WorkflowActivityAgentView {
     /** `ctx.agent` 调用的稳定身份(SSE 主键);老引擎/无 callKey 的帧上缺席。 */

package/dist/workflowClient.js

@@ -381,6 +381,43 @@ export function projectWorkflowRun(run) {
         state.description = run.description;
     return state;
 }
+/**
+ * `GET /v1/workflows/:id` 的 `parks[]` → 三键行;**整键缺席 ⇒ `undefined`**(与空数组逐字可分)。
+ *
+ * 🔴 **`undefined` 与 `[]` 不是一回事**,这是本读器最承重的一格:
+ *    · `undefined` —— 这条记录上没有 `parks` 这一键(旧引擎写的)⇒ **证不出**有没有 park;
+ *    · `[]`        —— 这条记录有这一键且是空的 ⇒ 一句正面事实:这条 run 上没有 park。
+ * 🔴 **坏行只丢自己**(与本包 `wiring_manifest.mcp[]` 的处置同尺):三键缺一 / 非串 / 空串 的行
+ *    整条丢弃,其余行保序留下;**非空输入而全部坏行 ⇒ 返回 `[]`**?—— **不**:那会把「读不出」
+ *    伪装成「零 park」。全坏 ⇒ `undefined`(诚实缺席)。
+ * 🔴 `parks` 不是数组(对象 / 串 / null)⇒ 当整键缺席(非投影口喂进来的形)。
+ * 🔴 纯函数、零副作用、**绝不抛**。
+ */
+export function readWorkflowParks(run) {
+    if (typeof run !== 'object' || run === null || Array.isArray(run))
+        return undefined;
+    const raw = run.parks;
+    if (!Array.isArray(raw))
+        return undefined;
+    const rows = [];
+    for (const r of raw) {
+        if (typeof r !== 'object' || r === null || Array.isArray(r))
+            continue;
+        const o = r;
+        const callKey = typeof o.callKey === 'string' && o.callKey.length > 0 ? o.callKey : undefined;
+        const sessionId = typeof o.sessionId === 'string' && o.sessionId.length > 0 ? o.sessionId : undefined;
+        const originRunId = typeof o.originRunId === 'string' && o.originRunId.length > 0 ? o.originRunId : undefined;
+        if (callKey === undefined || sessionId === undefined || originRunId === undefined)
+            continue;
+        // 🔴 **逐键铸**,不 spread:上游在这张行上多放一个键(尤其是凭据形)时,它在结构上到不了
+        //    本包的产物。这不是风格选择 —— 它是本段 ① 那条红线的实现。
+        rows.push({ callKey, sessionId, originRunId });
+    }
+    // 非空输入而一行都没活下来 ⇒ 读不出,不是「零 park」(绝不铸 `[]` 冒充一句正面事实)。
+    if (raw.length > 0 && rows.length === 0)
+        return undefined;
+    return rows;
+}
 // ── 轮询/退避节拍(REF-CC-131,域词表-15):三个 3000ms 常量语义各不相同,拆开命名——合并成一个
 // 会把三条独立的退避策略绑死在一起(其中任一策略调优都会误伤另外两条)。──────────────────────
 /** owner 名下暂无任何 run(`resolveRunId` 回 null)时的重试间隔:不是错误,只是「还没有可监的