@sema-agent/server 7.98.0 → 7.100.0

package/dist/trace/sema-provenance.js

@@ -1,5 +1,5 @@
 export const SEMA_PROVENANCE_KINDS = ["agent_message"];
-export const SEMA_PROVENANCE_KINDS_EXCLUDED = ["cross_session_message", "cross_session_notice"];
+export const SEMA_PROVENANCE_KINDS_EXCLUDED = ["cross_session_message", "cross_session_notice", "inbox_notice"];
 const _semaProvenanceExhaustive = true;
 void _semaProvenanceExhaustive;
 const _semaProvenanceNoDoubleBook = true;

package/dist/trace/task-notification-facets.d.ts

@@ -0,0 +1,65 @@
+/**
+ * S-616(core 7.30.0 提货):`task_notification` 帧上 7.30.0 新到的五枚键的**单点**投影判据 —— live 三腿
+ * (`trace/project.ts` 的 `taskNotificationEventData`)与 park 半场(`orchestration/workflow-completion-inbox.ts` 的
+ * `taskNotificationInboxEntry`)共用,两腿字节同判(形照 `sema-provenance.ts` / `injection-tier.ts` 的先例:
+ * park 腿的 drain 直接 spread extras 成帧、不再经 project.ts,判据必须在入库前做,而且只能有一份)。
+ *
+ * 五枚键分两组,判据各一只函数:
+ *  · {@link terminalFrameFacetFields} —— 委派终态帧的三枚 facet([ref] S1 / #1034),core 在产生者一侧由
+ *    `terminalFrameFacets` 统一铸:`spawnName` / `handback` / `compaction`;
+ *  · {@link resupplyFields} —— 重供两键(#1036):`resupplied` / `attempt`。
+ * 全部是引擎铸的闭形值(身份键 / 闭集词 / 计数 / 布尔),零模型自由文本 ⇒ 不过 `redactSecrets`;判不过形 ⇒ 那一键
+ * 缺席(不折默认、不编值)。同一只会话箱车道的**载体** `inboxNotice` 不在这里 —— 它在 EXCLUDED 簿
+ * (`core-keyset-guard.ts` ①,理由逐字在那里)。
+ * 🔴 NP-5(7.100.0 合并复审 [ref] 交叉表 #7):「在场但读不出」经 present-iff 投影脸族的唯一丢弃留痕 `dropProjectedFace`
+ * (`./projection-drop.ts`,`server.trace.projection-input-malformed`)计一次再丢;**缺席从不计数**。此前这里静默丢,
+ * 而同批 `wiring_manifest.teamRole` 走那只计数 —— 同一条规则两种处置。
+ */
+import { type HandbackState, type TaskNotificationPayload } from "@sema-agent/core";
+/**
+ * 委派终态帧 `compaction` facet 的形 —— **从 core 载荷派生,不手写**(NP-7,7.100.0 合并复审 [ref] 交叉表 #9,opus A5)。
+ * 修前是手写的 `{ passes; breakerOpen; kind? }`:core 给它加成员时 tsc 不红、逐挑处把新成员静默丢(变异探针实测:给 core 的
+ * 这一型加一个必需 / 可选成员,修前 tsc 均 rc=0)。派生之后:core **加**任一成员 ⇒ 正向围栏 tsc 红(加必需成员另有逐挑处的
+ * 对象字面量红);core **退**任一成员 ⇒ 反向围栏 tsc 红;**改名** = 一加一退,两向都红。红了的处置 = 在 {@link compactionFacet} 里
+ * 逐挑 / 撤掉那一员(判形 + 在场才铸)再改两道围栏 —— 不是整对象透传(ClearanceOrigin 案:嵌套新键不经处置上 wire)。
+ */
+type CompactionFacet = NonNullable<TaskNotificationPayload["compaction"]>;
+/** 两条腿入参的**形**(不是 core 类型:入参是运行期载荷 —— live 腿收的是 core 事件,park 腿收的是回调载荷,
+ *  都先当 `unknown` 收、判过形才成 typed)。 */
+export interface TaskNotificationFacetInput {
+    spawnName?: unknown;
+    handback?: unknown;
+    compaction?: unknown;
+    resupplied?: unknown;
+    attempt?: unknown;
+}
+/**
+ * 委派终态帧的三枚 facet。逐键挑、逐键判形:
+ *  · `spawnName` —— 子代的**队友键**,与 `task_progress.spawnName` 同一个身份值、同一条律:**verbatim,不过 `redactSecrets`**
+ *    (出生点校验过字符集的身份键;遮它会让两个合法队友名塌成同一个值 —— 理由全文在 `project.ts` 的
+ *    `taskProgressEventData` 同名键注)。缺席 / 空串 = 一次匿名委派。
+ *  · `handback` —— 子代的报告**怎么**到的这一帧:`send` / `flagged`(带安全警告送达)/ `withheld`(什么都没送达)。
+ *    闭集取 core 导出的 `HANDBACK_STATES`(**不手抄**,[ref]);集外词 = 坏 producer ⇒ 整键丢,消费端按「没说」渲染。
+ *  · `compaction` —— 子代这条腿压缩过几次 / 断路器开没开 / 最后一次的触发词。**成员逐挑**(ClearanceOrigin 案:
+ *    整对象透传会让 core 未来的嵌套新键不经处置上 wire):`passes` 非负整数、`breakerOpen` 布尔,两者判不过 ⇒ 整键丢;
+ *    `kind` 可选,闭集取 core 导出的 `COMPACTION_KINDS`,集外 ⇒ 只丢这一成员。
+ */
+export declare function terminalFrameFacetFields(n: TaskNotificationFacetInput): {
+    spawnName?: string;
+    handback?: HandbackState;
+    compaction?: CompactionFacet;
+};
+/**
+ * 重供两键(core 7.30.0 #1036;判据档 F1 原句点名「@server trace/inbox allowlist」)。一条会话箱记录的帧被压缩摘要掉之后,
+ * 引擎把同一条记录再交一次 —— 同 `task_id` / `status` / `seq`,多这两枚键:
+ *  · `resupplied` —— **只有真一形**(core 逐字「there is no `false` form」)⇒ 只放行 `true`,别的一律缺席;
+ *  · `attempt` —— 这是第几次投递(缺席 = 1,「没有 0」)⇒ 只放行 ≥1 的整数,verbatim,不补默认。
+ * `attempt` 另进本仓的流侧去重键(NP-6 起 = core `taskNotificationDedupKey` 的输出,`:a<n>` 尾由它铸)—— 否则重供帧在 observer / stream 两臂
+ * 被当成第一次出现的重复吞掉,消费端永远看不见这次修复。
+ */
+export declare function resupplyFields(n: TaskNotificationFacetInput): {
+    resupplied?: true;
+    attempt?: number;
+};
+export {};
+//# sourceMappingURL=task-notification-facets.d.ts.map

package/dist/trace/task-notification-facets.js

@@ -0,0 +1,31 @@
+import { COMPACTION_KINDS, HANDBACK_STATES } from "@sema-agent/core";
+import { dropProjectedFace } from "./projection-drop.js";
+export function terminalFrameFacetFields(n) {
+    const spawnName = n.spawnName === undefined ? undefined : typeof n.spawnName === "string" ? n.spawnName : dropProjectedFace("task_notification.spawnName is not a string");
+    const handback = n.handback === undefined ? undefined : HANDBACK_STATES.includes(n.handback) ? n.handback : dropProjectedFace("task_notification.handback is outside core HANDBACK_STATES");
+    const compaction = n.compaction === undefined ? undefined : compactionFacet(n.compaction);
+    return {
+        ...(spawnName !== undefined && spawnName.length > 0 ? { spawnName } : {}),
+        ...(handback !== undefined ? { handback } : {}),
+        ...(compaction !== undefined ? { compaction } : {}),
+    };
+}
+function compactionFacet(raw) {
+    if (typeof raw !== "object" || raw === null)
+        return dropProjectedFace("task_notification.compaction is not an object");
+    const c = raw;
+    if (!(Number.isInteger(c.passes) && c.passes >= 0 && typeof c.breakerOpen === "boolean")) {
+        return dropProjectedFace("task_notification.compaction is missing a non-negative integer passes / boolean breakerOpen");
+    }
+    const kind = c.kind === undefined ? undefined : COMPACTION_KINDS.includes(c.kind) ? c.kind : dropProjectedFace("task_notification.compaction.kind is outside core COMPACTION_KINDS");
+    return { passes: c.passes, breakerOpen: c.breakerOpen, ...(kind !== undefined ? { kind } : {}) };
+}
+export function resupplyFields(n) {
+    const resupplied = n.resupplied === undefined ? undefined : n.resupplied === true ? true : dropProjectedFace("task_notification.resupplied is not literal true (core's only present form)");
+    const attempt = n.attempt === undefined ? undefined : Number.isInteger(n.attempt) && n.attempt >= 1 ? n.attempt : dropProjectedFace("task_notification.attempt is not an integer >= 1");
+    return {
+        ...(resupplied !== undefined ? { resupplied } : {}),
+        ...(attempt !== undefined ? { attempt } : {}),
+    };
+}
+//# sourceMappingURL=task-notification-facets.js.map

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

@@ -154,21 +154,21 @@ export declare const WIRE_PROJECTION_FACES: {
     readonly task_notification: {
         readonly projector: "taskNotificationEventData";
         readonly coreType: `TaskNotificationPayload & ${string}`;
-        readonly excluded: readonly ["peer", "crossSessionMessage", "crossSessionNotice"];
+        readonly excluded: readonly ["peer", "crossSessionMessage", "crossSessionNotice", "inboxNotice"];
         readonly unwrapped: readonly ["notification"];
         readonly minted: readonly ["injected"];
     };
     readonly wiring_manifest_tenant: {
         readonly projector: "wiringManifestEventData";
         readonly coreType: `WiringManifest & ${string}`;
-        readonly excluded: readonly ["governance", "configFingerprint", "autoConsolidation", "readDeny"];
+        readonly excluded: readonly ["governance", "configFingerprint", "autoConsolidation", "readDeny", "peerPresence"];
         readonly unwrapped: readonly ["manifest"];
         readonly minted: readonly [];
     };
     readonly wiring_manifest_operator: {
         readonly projector: "wiringManifestOperatorEventData";
         readonly coreType: `WiringManifest & ${string}`;
-        readonly excluded: readonly [];
+        readonly excluded: readonly ["peerPresence"];
         readonly unwrapped: readonly ["manifest"];
         readonly minted: readonly [];
     };

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

@@ -29,21 +29,21 @@ export const WIRE_PROJECTION_FACES = {
     task_notification: {
         projector: "taskNotificationEventData",
         coreType: `TaskNotificationPayload & ${arm("task_notification")}`,
-        excluded: ["peer", "crossSessionMessage", "crossSessionNotice"],
+        excluded: ["peer", "crossSessionMessage", "crossSessionNotice", "inboxNotice"],
         unwrapped: ["notification"],
         minted: ["injected"],
     },
     wiring_manifest_tenant: {
         projector: "wiringManifestEventData",
         coreType: `WiringManifest & ${arm("wiring_manifest")}`,
-        excluded: ["governance", "configFingerprint", "autoConsolidation", "readDeny"],
+        excluded: ["governance", "configFingerprint", "autoConsolidation", "readDeny", "peerPresence"],
         unwrapped: ["manifest"],
         minted: [],
     },
     wiring_manifest_operator: {
         projector: "wiringManifestOperatorEventData",
         coreType: `WiringManifest & ${arm("wiring_manifest")}`,
-        excluded: [],
+        excluded: ["peerPresence"],
         unwrapped: ["manifest"],
         minted: [],
     },

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema-agent/server",
-  "version": "7.98.0",
+  "version": "7.100.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",
@@ -38,10 +38,11 @@
     "sema-up": "deploy/sema-up/sema-up.sh"
   },
   "engines": {
-    "node": ">=20"
+    "node": "^20.19.0 || >=22.12.0"
   },
   "scripts": {
     "typecheck": "tsc --noEmit -p tsconfig.typecheck.json",
+    "typecheck:scripts": "tsc --noEmit -p tsconfig.scripts.json",
     "build": "rm -rf dist && tsc -p tsconfig.build-js.json && tsc -p tsconfig.build-dts.json && node scripts/scrub-dist-refs.mjs dist",
     "prepublishOnly": "npm run build && vitest run test/pack-hygiene.test.ts",
     "start": "node dist/main.js",
@@ -60,8 +61,8 @@
     "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": "7.29.0",
-    "@sema-agent/settings-schema": "3.0.0",
+    "@sema-agent/core": "7.30.1",
+    "@sema-agent/settings-schema": "6.0.0",
     "e2b": "^2.28.0",
     "libsodium-wrappers": "^0.8.4",
     "mysql2": "^3.22.4",