@sema-agent/server 7.35.0 → 7.35.1-rc.1

package/dist/main.js

@@ -246,7 +246,7 @@ async function main() {
         config, logger, backend, sendUserFileTaskEnvs, ruleConsent,
         // #295(F-1,[4512] 修向 (b')):卡批「不再询问」的 project root——语义单点见 task-cwd.ts
         // `cardRuleScopeRoot` 顶注(session 注册 cwd ?? in-process 单用户形 process.cwd();其余 undefined)。
-        ruleScopeRootFor: (sessionId) => cardRuleScopeRoot(sessionId !== undefined ? perSessionCwd.get(sessionId) : undefined, config, (p) => realpathSync(p)),
+        ruleScopeRootFor: (sessionId) => cardRuleScopeRoot(sessionId !== undefined ? perSessionCwd.get(sessionId) : undefined, config),
     });
     // design/158 A10:per-principal caps 段搬到 src/boot/runtime-caps.ts(逐字)。
     const { principalCaps, centerRuntimeCapsResolver, runtimeCapsResolver } = createRuntimeCaps({ config, logger });

package/dist/observability/fail-open.d.ts

@@ -53,10 +53,6 @@ export declare const FAIL_OPEN_TAGS: {
         readonly cls: "F";
         readonly note: "CC 规则导入票的**认领回滚**失败(认领之后的某一步没成 ⇒ 本该把认领放回去,而这次放回本身也抛了)。放行的最坏后果 = 这张票留在已认领态、属主这一轮不能重试 —— 恰好等于加认领回滚**之前**的行为,不是新损失;票随 TTL 自然消失,属主重走一次 prepare 即可拿新票(导入按 core 的设计幂等:同一条规则再兑付只是同一个 dot 的重放)。方向上没有任何权限被放宽(规则**没有**落地才走到这条臂),故 F 类;必须留痕,否则「票为什么突然不能用了」在遥测里没有任何痕迹。";
     };
-    readonly "server.approvals.rule-scope-root-unresolvable": {
-        readonly cls: "F";
-        readonly note: "#295(F-1):卡批「不再询问」铸卡时解析授权发生地 root,realpath 失败(目录已删/权限/竞窗)。放行的最坏后果=**这一次**卡批落 global scope(= 7.34.0 及以前的全量行为,方向不比修前宽);不放行的代价=为一个几乎不可达的文件系统瞬态拒掉人已明说的「不再询问」,或铸一个未规范化、与规则判定时 kernel-resolved cwd 不同形的 root(静默恒不命中=把同意变哑)。故 F 类兜底+留痕:遥测里该 tag 计数>0 即说明有部署在这条臂上落了 global,可循 probe 定位。";
-    };
     readonly "server.approvals.rule-suggestions-cell-unreadable": {
         readonly cls: "F";
         readonly note: "运维待批队列(`GET /v1/approvals` / `/stream`)的某一行,`checkpoint.rule_suggestions` 这一格**不是合法 JSON 文本**(手改过的行 / 未来列语义漂了 / 回滚残留)。放行的最坏后果 = **这一行**的「不再询问」候选缺席(展示/分诊材料,永不参与 resume、也不是任何判据),队列其余部分照常;不放行的代价是整只 `rows.map` 抛出 ⇒ 一行坏 cell 打掉整个租户的队列(列表 500、SSE 心跳照常而队列永远空)。故 F 类,但必须留痕:静默吞掉之后「候选为什么消失了」在遥测里没有任何痕迹,而本键存在的全部理由就是「缺席 = 真的没有候选」。";

package/dist/observability/fail-open.js

@@ -76,10 +76,6 @@ export const FAIL_OPEN_TAGS = {
         cls: "F",
         note: "CC 规则导入票的**认领回滚**失败(认领之后的某一步没成 ⇒ 本该把认领放回去,而这次放回本身也抛了)。放行的最坏后果 = 这张票留在已认领态、属主这一轮不能重试 —— 恰好等于加认领回滚**之前**的行为,不是新损失;票随 TTL 自然消失,属主重走一次 prepare 即可拿新票(导入按 core 的设计幂等:同一条规则再兑付只是同一个 dot 的重放)。方向上没有任何权限被放宽(规则**没有**落地才走到这条臂),故 F 类;必须留痕,否则「票为什么突然不能用了」在遥测里没有任何痕迹。",
     },
-    "server.approvals.rule-scope-root-unresolvable": {
-        cls: "F",
-        note: "#295(F-1):卡批「不再询问」铸卡时解析授权发生地 root,realpath 失败(目录已删/权限/竞窗)。放行的最坏后果=**这一次**卡批落 global scope(= 7.34.0 及以前的全量行为,方向不比修前宽);不放行的代价=为一个几乎不可达的文件系统瞬态拒掉人已明说的「不再询问」,或铸一个未规范化、与规则判定时 kernel-resolved cwd 不同形的 root(静默恒不命中=把同意变哑)。故 F 类兜底+留痕:遥测里该 tag 计数>0 即说明有部署在这条臂上落了 global,可循 probe 定位。",
-    },
     "server.approvals.rule-suggestions-cell-unreadable": {
         cls: "F",
         note: "运维待批队列(`GET /v1/approvals` / `/stream`)的某一行,`checkpoint.rule_suggestions` 这一格**不是合法 JSON 文本**(手改过的行 / 未来列语义漂了 / 回滚残留)。放行的最坏后果 = **这一行**的「不再询问」候选缺席(展示/分诊材料,永不参与 resume、也不是任何判据),队列其余部分照常;不放行的代价是整只 `rows.map` 抛出 ⇒ 一行坏 cell 打掉整个租户的队列(列表 500、SSE 心跳照常而队列永远空)。故 F 类,但必须留痕:静默吞掉之后「候选为什么消失了」在遥测里没有任何痕迹,而本键存在的全部理由就是「缺席 = 真的没有候选」。",

package/dist/task-cwd.d.ts

@@ -41,15 +41,25 @@ export declare function inProcessSingleUserLane(config: {
  *   3. 其余(远程沙箱 / REMOTE_EXEC=host 未注册 / 多租户)⇒ `undefined`:root 在 server 坐标系里
  *      不可知,调用方**不铸 scope**,落 core 的 global 缺省(= #295 修前行为,恒不更宽;也绝不铸一个
  *      与规则判定时 cwd 不同坐标系的 root —— 那会静默把「不再询问」变成恒不命中)。
- * 出口一律 realpath 规范化(`PersistedAllowRule.scope` 的 JSDoc 契约:root 由构造方 canonicalize;
- * macOS `/tmp`→`/private/tmp` 族)——解析失败 ⇒ `undefined`(宁可落 global,不落一个歪 root)。
+ *
+ * 🔴 出口 = `path.resolve(原字节)`,**禁 realpath**(A-054.F-A,2026-08-19 合并重扫 confirmed high):
+ * core 判定这条规则时喂进 `scopeCoversCwd` 的 cwd = `executionEnv.cwd` = host env 构造里的
+ * `path.resolve(同一条注册原字节)`(remote-env-host.ts),比较是**纯串**(`pathWithinRoot`,零
+ * realpath)。初版这里走 realpath(据 core `PersistedAllowRule.scope` JSDoc「root 由构造方
+ * canonicalize」)——但 JSDoc 说的是义务、实现行才是事实([3578] 宪法):core 自己喂进匹配的 cwd
+ * 恰恰**未** canonicalize,单侧规范化=两坐标系分叉,注册 cwd 含符号链接段时(macOS `/tmp`、
+ * `~/work→/mnt/...`)落盘规则**永不命中**,「不再询问」恒失效。正解=root 与判定坐标出自**同一条
+ * 串、同一种规范化**;将来 core 若把判定面改 canonicalize,这里必须同批跟(端到端钉在
+ * test/task-cwd.test.ts 的 A-054.F-A 格,靠真 `scopeCoversCwd` 咬住两侧任何一侧的单独漂移)。
+ * `path.resolve` 不抛 ⇒ 初版的 realpath 失败 F 类兜底臂(`rule-scope-root-unresolvable`)随之退役
+ * (census 行同批销,fail-open.ts)。
  */
 export declare function cardRuleScopeRoot(registeredCwd: string | undefined, config: {
     remoteExec?: {
         provider?: string;
     };
     requirePrincipal?: boolean;
-}, realpath: (p: string) => string, cwd?: () => string): string | undefined;
+}, cwd?: () => string): string | undefined;
 /** Is a requested cwd ALREADY the engine process's working dir? realpath BOTH sides (macOS `/tmp` →
  *  `/private/tmp`-class symlinks); either side failing to resolve ⇒ treated as a mismatch (warn — never a
  *  false downgrade). `realpath`/`cwd` are parameters for testability; production passes `fs.realpathSync`. */

package/dist/task-cwd.js

@@ -16,7 +16,6 @@
  * shell never pretends it took effect.
  */
 import path from "node:path";
-import { recordFailOpen } from "./observability/fail-open.js";
 /** Cap on a cwd path length (defensive — a row/path label bound; a real path is far shorter). */
 export const MAX_CWD_CHARS = 4_096;
 /** Is this a structurally-valid absolute host path? Rejects: non-strings, relative paths (TOC review #12 — a
@@ -61,22 +60,22 @@ export function inProcessSingleUserLane(config) {
  *   3. 其余(远程沙箱 / REMOTE_EXEC=host 未注册 / 多租户)⇒ `undefined`:root 在 server 坐标系里
  *      不可知,调用方**不铸 scope**,落 core 的 global 缺省(= #295 修前行为,恒不更宽;也绝不铸一个
  *      与规则判定时 cwd 不同坐标系的 root —— 那会静默把「不再询问」变成恒不命中)。
- * 出口一律 realpath 规范化(`PersistedAllowRule.scope` 的 JSDoc 契约:root 由构造方 canonicalize;
- * macOS `/tmp`→`/private/tmp` 族)——解析失败 ⇒ `undefined`(宁可落 global,不落一个歪 root)。
+ *
+ * 🔴 出口 = `path.resolve(原字节)`,**禁 realpath**(A-054.F-A,2026-08-19 合并重扫 confirmed high):
+ * core 判定这条规则时喂进 `scopeCoversCwd` 的 cwd = `executionEnv.cwd` = host env 构造里的
+ * `path.resolve(同一条注册原字节)`(remote-env-host.ts),比较是**纯串**(`pathWithinRoot`,零
+ * realpath)。初版这里走 realpath(据 core `PersistedAllowRule.scope` JSDoc「root 由构造方
+ * canonicalize」)——但 JSDoc 说的是义务、实现行才是事实([3578] 宪法):core 自己喂进匹配的 cwd
+ * 恰恰**未** canonicalize,单侧规范化=两坐标系分叉,注册 cwd 含符号链接段时(macOS `/tmp`、
+ * `~/work→/mnt/...`)落盘规则**永不命中**,「不再询问」恒失效。正解=root 与判定坐标出自**同一条
+ * 串、同一种规范化**;将来 core 若把判定面改 canonicalize,这里必须同批跟(端到端钉在
+ * test/task-cwd.test.ts 的 A-054.F-A 格,靠真 `scopeCoversCwd` 咬住两侧任何一侧的单独漂移)。
+ * `path.resolve` 不抛 ⇒ 初版的 realpath 失败 F 类兜底臂(`rule-scope-root-unresolvable`)随之退役
+ * (census 行同批销,fail-open.ts)。
  */
-export function cardRuleScopeRoot(registeredCwd, config, realpath, cwd = process.cwd) {
+export function cardRuleScopeRoot(registeredCwd, config, cwd = process.cwd) {
     const raw = registeredCwd ?? (inProcessSingleUserLane(config) ? cwd() : undefined);
-    if (raw === undefined)
-        return undefined;
-    try {
-        return realpath(raw);
-    }
-    catch (err) {
-        // F 类兜底(#157 纪律):这一臂的放行方向=落 global(修前行为),但必须留痕——遥测里读得出
-        // 「有部署正在这条臂上退回 global」。语义与代价的完整三问见 fail-open.ts 的 tag 登记行。
-        recordFailOpen("server.approvals.rule-scope-root-unresolvable", `raw=${raw} err=${String(err)}`);
-        return undefined;
-    }
+    return raw === undefined ? undefined : path.resolve(raw);
 }
 /** Is a requested cwd ALREADY the engine process's working dir? realpath BOTH sides (macOS `/tmp` →
  *  `/private/tmp`-class symlinks); either side failing to resolve ⇒ treated as a mismatch (warn — never a

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema-agent/server",
-  "version": "7.35.0",
+  "version": "7.35.1-rc.1",
   "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",