背景

同一发布门内二版本并存：.xuanwu/release/Dockerfile.verify-release:14 = ARG NEXTEST_VERSION=0.9.87（下载二进制）⇄ deep/legs/miri = cargo install --version 0.9.128。

归属与载体

• 载体面 = 甲（本仓 .xuanwu/**） · 波次：波 1（与 A 分二批） · 判据面批 ⇒ 须重签

判据式 AC

• AC1 值集唯此：.xuanwu/** 内 nextest 版本取值集 = {0.9.128}。
  • 负控：副本面植入 0.9.87 ⇒ 值集基数 2 ⇒ 必红。
• AC2 升级可行：0.9.128 之 x86_64-unknown-linux-gnu 预编译 asset 存在且装后 cargo nextest --version 含 0.9.128。
  • 负控：指向不存在版本 ⇒ curl rc≠0 ⇒ 必红。
• AC3 floor 之据随文：档内载「0.9.128 = rustc 1.89.0 floor 下最新可装版」之由 + 实测记录指针。
• AC4 重签：gate_face_manifest.sh rc=0；check_tool_pins.sh 违规 0（禁回退 ${VAR} 形）。

面

openspec/changes/v1104-issue-split/issues.md · 路标 M3 · ar R67 裁1