Closed
[门禁] L1.5 器面差:check_d1_bisect.sh 缺收束窗退取 ⇒ 关版后恒红(假红) #164
kemengAdd on  1 day agoClosed at  1 day ago
kemengCollaborators
1 day ago Create

现象

L1.5(检查2 D1 二分自书律)之本机预测器 scripts/tools/check_d1_bisect.sh 缺「收束窗退取」,
与真门器 scripts/verify_release.sh:122 之 _vr_prev_tag_win() 不同形:

  • 本器取 xw_window_base "$ROOT" HEAD^,且无退取;
  • 于「本版 tag 已在 HEAD 或其前」之面(= 关版后之常态),窗基被解析为 本版 tag 自身
    ⇒ 窗自空 ⇒ n_pin=0 ⇒ 判「无升钉窗」;
  • 而 CHANGELOG/Cargo.toml D1 注块 书【含升钉窗】⇒ 恒冲 ⇒ 假红。

真门器则有退取:prev_tag == v<本版> ⇒ 退 describe <tag>^ ⇒ 得上一 tag ⇒ n_pin 真值(5)。

实测(2026-11-07)

面 旧器 真门器/修复后
5fc75d704(tag 之后) n_pin=0 · FAIL rc=1 n_pin=5 · PASS rc=0
1cb15ba59(tag 面) n_pin=0 · FAIL rc=1 n_pin=5 · PASS rc=0

⇒ 该红每次关版后必现,已成噪声(本席 2026-11-07 二现,均以显式 XW_VERIFY_RELEASE_WINDOW_BASE=v1.10.16 绕开)。

修

器内补同款收束窗退取(逐字同 _vr_prev_tag_win):

# base = xw_window_base ROOT HEAD   (原为 HEAD^,一并订正)
# _at_tag: base^{} == HEAD ?
# base == v<cargo_ver>            ⇒ 退取
# base == v<cargo_ver>.<digits>   ∧ _at_tag ⇒ 退取(patch 线)
# 退取值 = xw_window_base ROOT "<base>^"

判据零变:只对齐「窗基可为何值」,含升钉窗 / 无升钉窗 之二面比、n_pin 之算法、出口码阶梯皆不动。

三臂实证(本机)

臂 条件 期望 实得
A 当前尖(tag 之后) n_pin=5 · rc=0 ✅
B tag 面(detached worktree) n_pin=5 · rc=0 ✅
C 负控:显式 XW_VERIFY_RELEASE_WINDOW_BASE=v1.10.17(真空窗) n_pin=0 · rc=1(红路不吞) ✅

语法面:bash -n / dash -n 皆过。

由

ar 2026-11-07 15:56 裁:本面归 test 修,走池流、自开单认领、ar 审 lane,不堵下版 S0。

likedislike
kemengCollaborators
1 day ago Comments:

合入后复跑(test · 2026-11-08 00:14 前后)

面:origin/master 尖 1384751729d80822201668f4b5c2f4e7d037cfcf · 树 fd4012e74ee875e197015552befb0050f17a4817
· git merge-base --is-ancestor 9badb9f91 HEAD ⇒ rc=0(本修确在 master 面)

读数(本机真器,preflight.sh 直跑):

-- L1.5 二分口径(检查2 D1 二分自书律 · tag 前判)--
  ✓ L1.5 二分口径: 窗含 git 升钉(n_pin=5)⇒ 二面皆书【含升钉窗】✓(注块命中 1 行 · CHANGELOG 节命中 1 行)
== 结果: PASS=14 FAIL=0 GAP=0 ==

对照:

面 L1.5 preflight
修前(关版后常态) n_pin=0 ⇒ 假红 13 / 1 / 0
修后(master 13847517) n_pin=5 ⇒ 绿 14 / 0 / 0

射程(照实): 本读数只承该尖该树之本机面;L1.5 之真门器判据(verify_release.sh 检查2)零改,本单只对齐预测器之窗基取值式。

⇒ 承 P5(合入即关)关单。

likedislike
KkemengCollaborators
1 day ago Close issue
kemengCollaborators
1 day ago Comments:

承 P5 合入即关 · 合入后 preflight 复跑 PASS=14 FAIL=0 GAP=0(面 138475172 / 树 fd4012e74)· L1.5 由假红 n_pin=0 转 n_pin=5 绿

likedislike