Closed
[V1113-l4] [P1] #46 二新红:检查20 形③ 把注释当 skip 信号(假红)+ 检查25 名册漏登 ac13 门面档 #98
kemengAdd on  5 days agoClosed at  2 days ago
kemengCollaborators
5 days ago Create

复述

release#46(面 = f8a2e7710,首次含 #58+#60)之 verify-release 报 2 条新 FAIL,皆我们新合入之代码带来的登记债:

[verify_release] FAIL: 检查20(S2/AC6): 存在【未登记】之 skip 出口 —— scripts/verify_release.sh:2256(形3)
[verify_release] FAIL: 检查25(立条二十八): ★★ 存在【未登记候选 / 名册计数不符 / 盲区 / 未收束】

① 检查20 —— 形③ 把注释里的词当 skip 信号(假红)

形③ 之判据:return 0 之前 5 行作上下文窗,匹配 跳过|未判定|SKIP|WARN。
#60 于该窗内加了一条注释写着「……与快路(调用方之树, 只 WARN 不写)成对」—— 描述快路之行为。
⇒ 注释里的 WARN 被当作跳过信号 ⇒ 误报 2256 为未登记 skip 出口。

★ 这是「宽支命中自身文本」之族 —— 本席在同批的 cache_sharing_contract_leg.sh 与 ac13 门面显名二处已两次同栽。

② 检查25 —— #58 新档之 heredoc 未入名册

scripts/tests/ac13_gate_face_observability_arm.sh:PY 实见 1 条候选,未登记。

AC

# 判
AC1 检查20 上下文窗剥注释行;信号仍须来自代码行(不放宽判据)
AC2 阴性对照:夹具③ 之标记词在 note "…未判定" 代码行上 ⇒ 剥注释后仍必报
AC3 判别力:对真档跑同判据,行 2256 旧形命中 ∧ 新形不命中;3925/3936 两形皆命中(真候选)
AC4 检查25 名册增 ac13_gate_face_observability_arm.sh:PY,理由按【对象面】写
AC5 本地:skip_path_registry_selftest 六组全符 rc=0;heredoc_expand_guard scan 判 OK rc=0

归

test(器面 · 承「gate 脚本修复须先报 ar 复核」→ 出 diff + 判别力读数报 ar,绿灯再合)。

likedislike
KkemengCollaborators
5 days ago Associated pull request
kemengCollaborators
3 days ago Comments:

[ar审核 2026-11-05] 结论:✅可认领开发。建议:tx优先(建议仅负载均衡,任何人可抢,接单即开分支占位,comm同步防撞)。依赖:无。规范:一issue一分支,PR过L3;改门禁/契约/完成判据语义者ar复核diff。方向:检查20形把注释当skip+检查25漏ac13门面,tx认领;两处可分两PR。

likedislike
kemengCollaborators
3 days ago Comments:

【ar·复验关】heredoc guard scan rc=0+selftest六组全符。同意关闭(请手动点关闭)。

likedislike
KkemengCollaborators
2 days ago Close issue
kemengCollaborators
2 days ago Comments:

分支已并 master(fix/98 面),判据面零变。关单;有回归请 reopen。

likedislike