@sema-ai/core 1.275.1 → 1.276.0

package/docs/KNOWN-ISSUES.md

@@ -74,23 +74,23 @@
 - **流内执行 × 进程崩溃窗**:`TaskSpec.streamingToolExecution: true` 时,工具副作用可先于 assistant message 持久化完成;该窗内 kill -9 → session 无该 call 任何痕迹(wake reconcile 结构性不可见,resume 后模型可能盲目重发)。默认 OFF 不受影响;merge-back 防线只覆盖进程存活的 stream-tear。对崩溃-恰好一次审计要求高的部署保持 OFF(TaskSpec docstring 同步声明)。
 - **stream throw 路径副作用零痕迹**:emit/hook throw 逃逸 streamAssistantResponse 时,try/finally settle 保证在飞工具完成且无 post-terminal 泄漏,但已完成结果无 final assistant 可挂 → 不落库(与 pre-P2 loop-failure 同型)。
 
-## brain 退化面待设计小批(2026-07-05 TB 尸检 T1-4/T1-5,记档非本批)
+## ~~brain 退化面待设计小批(2026-07-05 TB 尸检 T1-4/T1-5)~~(✅ 已收口 2026-07-12)
 
-- **T1-4 MED**:`output.degenerate` 检测(brain/repetition + stream-engine)直接废整 run(errorCode + salvagedOutput),不尝试「截断退化尾 → 当合法回复续跑」。修复需 brain 流层截断 + circuit-breaker 联动(防二次退化死循环),非边角量级 → 独立小批。salvagedOutput v1(design/39)已给下游兜底。
-- **T1-5 LOW**:退化中止的 turn 记账 in=0 out=0——provider 流中止前未发 usage 帧,事实缺失(填 0 是诚实的);若要改善需 partial-usage 捕获或显式 `usageMissing` 标记,与 T1-4 同面,同批处理。
+- ~~**T1-4 MED**~~ **(✅ FIXED,分两批)**:①退化续跑 + 熔断已于 1.238.0 落地(`LoopRecoveryOptions.degenerateOutput`:brain 截流后 bounded "different approach" continue;连续退化熔断 `maxContinues` 可配、默认 2,超限退回经典 `output.degenerate` + `salvagedOutput` 终态;steer 优先/tool-call 双面门/turn_end 照发,codex 复审)。②brain 流层截断退化尾(2026-07-12 本批):`trimDegenerateTail`(`src/brain/repetition.ts`)在两 brain 的 finalize 把触发 cut 的 TEXT face 逐字重复尾截掉(保留一个 unit 实例、含窗外增长段与 cut 后缓冲的 partial unit),transcript 回放与 `salvagedOutput` 只带干净前缀;thinking/reasoning face 不截(anthropic 签名回放面,mutate 即失效)。默认 ON 无旗:检测器只对 exact 尾重复触发,截掉的都是被保留 unit 的逐字副本 → 零信息损失、不吞真错误(论证见 `trimDegenerateTail` JSDoc);合法重复代码由 2e1c161 豁免在上游根本不 cut。
+- ~~**T1-5 LOW**~~ **(✅ FIXED)**:显式 `usageMissing: true` 标记全链落地——brain finalize 无 provider usage 帧即打标(1.238.0 codex F3),`turn_end` 事件/turns 记账透传;2026-07-12 本批补齐 stream-engine 引擎级终态零壳(connect 失败/重试耗尽/abort,parser finalize 未跑的所有路径)同样打标,消费者全路径可区分「真 0」与「事实缺失」。
 
-## design/134 stoppedBy 归因盲区(2026-07-07 记档,LOW)
+## design/134 stoppedBy 归因盲区(2026-07-07 记档,LOW → **FIXED 2026-07-12**)
 
-- **legacy env-direct TaskStop 路**(`src/tools/fs/index.ts:1453`):旧 toolkit 的 TaskStop 直接 `env.killBackground`,绕过 registry 的 `markStopSource` → 同 env 的 registry handle 由 watcher/poll 兜底归因为 `"system"` 而非 `"parent"`。文案面从「Claude 停的」降级为缺省「was stopped」,无功能影响。正解=该工具迁移 `registry.stopTask`(与 design/129 统一 kill 面同批),独立小件。
+- ~~**legacy env-direct TaskStop 路**:旧 toolkit 的 TaskStop 直接 `env.killBackground`,未经过 registry 的 `markStopSource` → 同 env 的 registry handle 由 watcher/poll 兜底归因为 `"system"` 而非 `"parent"`。~~ **已修**:`makeKillShellTool` 结构上拿不到 toolkit 注入的 registry(createHandsToolkit 三元式=有 registry 走 `createTaskStopTool`,该 band 只在无 registry 分支挂载),故不迁 `registry.stopTask`(会引入 owner 门/文案变化),改为 kill 前补挂标注面:新增 `TaskRegistry.markStopSourceByShellId(shellId, source, env?)`(legacy shellId→task id 解析,复用 `markStopSource` 的 running-only+first-marker-wins 门,env 身份参与匹配),工具默认标注进程级 `defaultTaskRegistry`(Runner 同 env 行所在)。watcher 归因 `"system"`→`"parent"`,kill 路与模型面文案不变。测试=`test/stop-attribution.test.ts` S11(反事实核过:去掉标注即回 `"system"`)。
 
-## Edit-as-create 非原子创建(2026-07-07 1.253 双轨终审记档,LOW)
+## Edit-as-create 非原子创建(2026-07-07 1.253 双轨终审记档,LOW → **FIXED 2026-07-12**)
 
-- **`src/tools/fs/index.ts` Edit 的 create 路径**(old_string="" 且目标不存在 → Write 语义):存在 exists-check 与 writeFile 之间的 TOCTOU 窗——并发写者(另一 agent/进程)在窗内创建同名文件会被本次 create 静默覆盖。根治需 `ExecutionEnv` 提供独占创建语义接口(POSIX `wx` flag 同型),现有 env 契约(exists + writeFile)结构性做不到原子;单 agent 单工作树下窗口极窄、且与 Write 工具覆盖语义同型,风险接受记档。正解=env seam 增 `writeFileExclusive`(BREAKING env 契约面),等下一次 env 接口批一并做。
+- ~~**`src/tools/fs/index.ts` Edit 的 create 路径**(old_string="" 且目标不存在 → Write 语义):存在 exists-check 与 writeFile 之间的 TOCTOU 窗——并发写者在窗内创建同名文件会被本次 create 静默覆盖。~~ **已修**:env seam 增 **optional** `FileSystem.writeFileExclusive?(path, content, signal?)`(POSIX `O_EXCL`/Node `wx` 同型;`FileErrorCode` 增 `"already_exists"`;JSDoc 钉死降级契约=无原子后端的 env **必须留 undefined** 不得 exists+write 仿真)。`NodeExecutionEnv` 实现(`wx` flag,EEXIST→`already_exists`);`StubExecutionEnv` 同 `not_supported` 面;remote seam 不实现(降级语义归接口 JSDoc)。Edit create 路径:seam 存在→独占创建,输掉竞态→诚实错误「file already exists (created concurrently since the existence check)」;seam 不存在→保留旧 exists+writeFile 仿真(第三方 env 风险接受,窗口语义与修前一致)。Write 工具覆盖语义不动。测试=`test/hands-fs.test.ts`「Edit-as-create atomicity」四腿(反事实核过:退回 writeFile 即静默覆盖)。
 
-## memory-engine 无 guard add 的 MOVE 声明矛盾(2026-07-12 三轮复查记档,LOW)
+## memory-engine 无 guard add 的 MOVE 声明矛盾(2026-07-12 三轮复查记档,LOW → **FIXED 2026-07-12/13**)
 
-- **`applyPatches` 无 guard 的 add 对既有 id 用异 slug/异 scope 重添**:实现会铸同 id 第二个投影文件(三轮复查探针 C3/C4 实证),与 `types.ts` JSDoc「re-add into another scope = the MOVE: the old scope loses the entry」声明矛盾。同 id 双投影破「条目=真理单元」不变量;但该路径内部流程不可达(sync 的 add 全带 `guard:"absent"`,harvest 铸新 UUID),仅第三方直调 backend 可触。正解二选一:File 实现补 MOVE 语义(旧 scope 失条目)或改契约声明——**涉共享契约套件(service Pg twin 同锁),跨仓对齐后动**,黑板已知会。
+- ~~**`applyPatches` 无 guard 的 add 对既有 id 用异 slug/异 scope 重添**:实现会铸同 id 第二个投影文件,与 `types.ts` JSDoc「re-add into another scope = the MOVE」声明矛盾。~~ **已裁定+已修**:Pg/TiDB twin 侦察坐实两实现从来都是前置检查 REJECT(reason=`cross-scope add refused`)——契约 JSDoc 的 MOVE 声明才是错的。三端对齐:①File 跨 scope 无 guard add 改 REJECT(reason 逐字对齐 Pg);②`types.ts` 契约声明改「add 永不搬迁,MOVE 唯一拼法=update」;③共享契约套件补 cross-scope 拒绝 case(锁三端)。fable 独立轨复审追加两修:同批 `delete(X@s1)+add(X@s2)` 合法搬迁批不受新检查误伤(批内 plannedDeletes 顺序语义,对齐 twin 逐条执行);同 scope 换 slug 的无 guard re-add 从「铸第二投影」改为单行改名(Pg `ON CONFLICT (id) DO UPDATE SET slug` 同型,旧投影文件删除)。测试=`test/memory-backend-contract.test.ts` cross-scope describe 5 腿+共享套件新 case。
 
-## memory-engine applyPatches 不校验 id 形状(2026-07-12 三轮复查记档,LOW)
+## memory-engine applyPatches 不校验 id 形状(2026-07-12 三轮复查记档,LOW → **FIXED 2026-07-12**)
 
-- 不满足 `ID_RE` 的 id(如 <8 字符)能 applied + 入 ledger,但 `readScope` 解析时丢弃该 id → 条目落盘却永久不可见(幽灵行)。内部流程(harvest 铸 UUID)不可达,第三方直调 backend 才可触;加固候选=`applyPatches` 入口 id 形状校验 → REPORTED conflict(非 throw,批内其余照常)。
+- ~~不满足 `ID_RE` 的 id(如 <8 字符)能 applied + 入 ledger,但 `readScope` 解析时丢弃该 id → 条目落盘却永久不可见(幽灵行)。~~ **已修**:`frontmatter.ts` 导出 `isValidEntryId()`(读闸/写闸单谓词单源);`planOne` 头部形状闸,不合规 id → `invalid_id_shape` REPORTED conflict(op 原样、绝不 throw、批内其余照常),三 op 共路全覆盖;顺带关闭 shadow 文件名路径形洞(`/`/`..` 形 id 不再触盘)。存量幽灵残留(修复前已落盘的)对一切 patch op 不可达,无独立清理路径(接受:读侧本就永不可见)。测试=`test/memory-backend-contract.test.ts` invalid-id describe 3 腿。

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema-ai/core",
-  "version": "1.275.1",
+  "version": "1.276.0",
   "description": "Stateless, task-oriented AI agent core distilled from openclaw (vendored).",
   "type": "module",
   "license": "MIT",