@sema-agent/server 7.149.0 → 7.151.0

package/dist/trace/project.js

@@ -6,7 +6,8 @@ import { errorText } from "../observability/err-text.js";
 import { redactSecrets, redactDeep } from "./redact.js";
 import { seatText } from "./exit-seat.js";
 import { sanitizeWireText } from "./engine-notice-wire.js";
-import { projectToolOutput, projectToolStructured } from "./tool-output-media.js";
+import { projectToolOutput } from "./tool-output-media.js";
+import { projectToolCard } from "./tool-card.js";
 import { injectionTierOrAbsent } from "./injection-tier.js";
 import { semaProvenanceFields } from "./sema-provenance.js";
 import { resupplyFields, sessionBoxCarrierFields, terminalFrameFacetFields } from "./task-notification-facets.js";
@@ -255,7 +256,7 @@ export function toolEndEventData(ev) {
         ...(ev.output !== undefined ? { output: projectToolOutput(ev.output) } : {}),
         ...(ev.truncated ? { truncated: true } : {}),
         ...(Number.isFinite(ev.totalChars) ? { totalChars: ev.totalChars } : {}),
-        ...(ev.structured !== undefined ? { structured: projectToolStructured(ev.structured, redactDeep) } : {}),
+        ...(ev.structured !== undefined ? { structured: projectToolCard(ev.structured, redactDeep) } : {}),
         ...(typeof ev.errorCode === "string" && ev.errorCode.length <= 128 ? { errorCode: ev.errorCode } : {}),
         ...(typeof ev.delivered === "string" && MCP_DELIVERY_VERDICTS.includes(ev.delivered) ? { delivered: ev.delivered } : {}),
         ...(gate !== undefined ? { gate } : {}),

package/dist/trace/projection-table.d.ts

@@ -15,6 +15,7 @@
  * `nested` 不收各臂键不同的联合(`keyof` 只给交集,某一臂独有的键会悄悄没有处置),core 写成 `unknown` / `any` 的值只能 `strip`;
  * **一格只许一词** —— 类型上把其余词的键写成 `never`(展开也混不进第二个词),运行期再核一次,两词同在 ⇒ 响亮抛。
  * 投影函数是表的解释器 {@link projectByTable};`core-keyset-guard.ts` 读表({@link TableCoreKeys})—— 门与投影只有一个写者。
+ * 解释器的产物型也是表的函数({@link FaceOf}):表翻一格,出门型随之变,出口不另写产物型、不解构挑键。
  *
  * ## 三条读法(所有表同一条)
  *  · **缺席即缺席**:源值 `undefined` ⇒ 键缺席(不补 `[]` / `false` / 默认值);
@@ -91,10 +92,40 @@ export type TableCoreKeys<Tbl> = {
         readonly mint: unknown;
     } ? never : K;
 }[keyof Tbl];
+/** 表的一格在 core 型上的源值型(铸键不在 core 型上 ⇒ 没有源值)。 */
+type SourceOf<T, K> = K extends keyof T ? T[K] : never;
+/** 列表位的元素型。 */
+type RowOf<V> = NonNullable<V> extends readonly (infer E)[] ? E : never;
+/** 一格出门后的型 —— 与解释器 {@link projectNode} 逐臂同读(谓词臂在布尔读法臂之前:谓词也是布尔读法,它多说了值认成什么型)。 */
+type CellFace<V, E> = E extends "forward" ? Exclude<V, undefined> : E extends {
+    readonly mint: (...args: never[]) => infer X;
+} ? Exclude<X, undefined> : E extends {
+    readonly forward: (raw: unknown) => raw is infer G;
+} ? G : E extends {
+    readonly forward: unknown;
+} ? Exclude<V, undefined> : E extends {
+    readonly redact: unknown;
+} ? string : E extends {
+    readonly nested: infer Sub;
+    readonly rows: unknown;
+} ? FaceOf<RowOf<V>, Sub>[] : E extends {
+    readonly nested: infer Sub;
+} ? FaceOf<NonNullable<V>, Sub> : never;
+/**
+ * 一张表的**出门型** = 解释器 {@link projectByTable} 的产物型,逐格由处置词推出(表是唯一写者,型随表走):
+ *  · `"strip"` ⇒ 键不在型里;
+ *  · `"forward"` / `{ forward: 布尔读法 }` ⇒ 源值型去 `undefined`(解释器只把 `undefined` 读作缺席,`null` 原样出门);
+ *  · `{ forward: (raw) => raw is G }` ⇒ `G`(读法认的就是出门的型);
+ *  · `{ redact }` ⇒ `string`;`{ nested }` ⇒ 子表的出门型(写了 `rows` ⇒ 它的数组);`{ mint }` ⇒ 铸函数返回型去 `undefined`。
+ * 每个键都可选(缺席即缺席 / 在场却读不出 ⇒ 丢);不带表字面量的 `readonly`(产物是解释器新建的对象)。
+ */
+export type FaceOf<T, Tbl> = {
+    -readonly [K in keyof Tbl as Tbl[K] extends "strip" ? never : K]?: CellFace<SourceOf<T, K>, Tbl[K]>;
+};
 /**
  * 按表投影一个值。`face` = 计数 / 报错里的面名(`<面>.<键路径>`);`root` = 铸键与 `rows` 读到的根(面的顶层值)。
- * 纯数据进、纯数据出;不改入参。
+ * 纯数据进、纯数据出;不改入参。产物型 = {@link FaceOf}(本函数是表的唯一解释器,型的唯一断言在这里)。
  */
-export declare function projectByTable<T extends object, R>(face: string, table: CoreTable<T, R>, value: T, root: R): Record<string, unknown>;
+export declare function projectByTable<T extends object, R, Tbl extends CoreTable<T, R>>(face: string, table: Tbl, value: T, root: R): FaceOf<T, Tbl>;
 export {};
 //# sourceMappingURL=projection-table.d.ts.map