Closed
[门禁] L1.5 器面差:check_d1_bisect.sh 缺收束窗退取 ⇒ 关版后恒红(假红) #164
kemengAdd on 1 day agoClosed at 1 day ago
kemeng
1 day ago Comments:
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(合入即关)关单。


现象
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=1n_pin=5 · PASS rc=01cb15ba59(tag 面)n_pin=0 · FAIL rc=1n_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之算法、出口码阶梯皆不动。三臂实证(本机)
n_pin=5 · rc=0n_pin=5 · rc=0XW_VERIFY_RELEASE_WINDOW_BASE=v1.10.17(真空窗)n_pin=0 · rc=1(红路不吞)语法面:
bash -n/dash -n皆过。由
ar2026-11-07 15:56裁:本面归test修,走池流、自开单认领、ar审lane,不堵下版S0。