Closed
[V1104-I1] [卫星仓·升钉] 首批 DeepSWE P0 修复升钉(P0-1A/B · P0-2A/B · P0-3 · P1-4/5) #26
kemengAdd on  11 days agoClosed at  11 days ago
kemengCollaborators
11 days ago Create

背景

DeepSWE 首轮诊断(audit/deepswe-bench-eval-2026-10-28/DEEPSWE_XWCODE_BENCH_DIAGNOSIS_20261028.md §3)之 P0 三项与 P1-4/5 皆落在卫星仓。本件为首批升钉批(ar V1.10.4 R01 裁3 首批 1,2,3,4,5,8;本件含 1/2/3/4/5)。

归属与载体

  • 载体面 = 乙(dev 主办:对接插件侧 + 升钉 + 本仓可修直修;机制全在卫星仓)
  • 机制载体(一手 grep):xwtools(contract_registry.rs/executor.rs/bash.rs)· xwcompress(error_classifier.rs)· xwcore(loop_monitor.rs/loop_entry.rs)
  • 波次:波 1

判据式 AC

  • AC1 升钉双面一致:Cargo.toml 声明面与 [patch] 条目面同值;cargo tree -i <crate> --locked 单实例;cargo metadata --locked rc=0。
    • 负控:只改声明面不改 [patch] ⇒ 二实例或解析失败 ⇒ 必红。
  • AC2 P0-1 工具名唯一:--benchmark 模式下首个请求之工具清单无重名;非 benchmark 模式 task_complete 不被暴露。
    • 负控:关掉去重修 ⇒ 首个请求 HTTP 400 Tool names must be unique。
  • AC3 P0-2 超时可恢复(真缺口形):分类器对中文「超时」/timed out/deadline 三形皆归可恢复,且错误文本含可操作指引。
    • 负控:以 v1.10.3 钉面跑同一输入 ⇒ 必落「内部错误·不可恢复」。
  • AC4 P0-3 单位:timeout 小于下限且未给秒参数时显名单位;cargo/make 类命令有 ≥30s 下限(或显名拒绝)。
    • 负控:传 timeout: 600 意图秒 ⇒ 升钉后不复现「1 秒被杀」。
  • AC5 P1-4/5 验证提醒不失效:apply_patch 计入 edit_count;提醒有冷却与重新武装,不是一次性烧光。
    • 负控:全 apply_patch 的 run ⇒ 提醒至少触发一次(旧形恒 0)。

前置(硬)

  • 卫星仓实现落仓 + 复验绿 ⇒ plugin-ar 打 tags(xwtools v0.1.20 · xwcompress v0.1.5 · xwcore v0.1.54);空 tag/未到 ⇒ 摘出顺延(解耦律)。
  • 副判据:git ls-remote --tags 之 ^{} deref 落于含①件之尖。

面

路标 openspec/specs/v1.10.4-goal-and-plan.md · 名册 openspec/changes/v1104-bench-fix/issues.md · 令源 docs/V1_10_4_RULINGS_01.md + ar 三订正

likedislike
KkemengCollaborators
11 days ago Associated pull request
KkemengCollaborators
11 days ago Associated pull request
kemengCollaborators
11 days ago Comments:

完成开发

likedislike
KkemengCollaborators
11 days ago Close issue