Closed
[V1102-I20] [判据面] 检查3 计数取数改「锚定行」+计数类锚消费面普查(HARD) #25
kemengAdd on 13 days agoClosed at 10 days ago
kemeng
12 days ago Comments:
12 days ago Comments:
【阻塞注记 · v1.10.3 M7 · 承 ar R17(2026-10-27)】
一 本号之仓内 AC 已达成(证据在 master: 90cb213b4 / e0f2b68dc / 4ad33e50e 三笔之一, 按号对应)
二 但本号现不可关 —— 关闭门(用户令, R17 裁1)= 关联 PR + PR-L3 流水线绿, 二者缺一不可:
· 本版为主线直接合流, 无关联 PR(PR 面通道未打通)
· PR-L3 通道本身未打通(M5 排下版; R17 裁3 已列其为关闭门之前置阻塞)
三 故本号按裁保持 open(非遗漏、非待办洗白), M7 以 fallback 丙 收官: 「仓内 AC 已达 + 关闭门未满足」, GAP +1(R17 裁2 授权)
四 解锁条件(二者齐后可关):
① 关联 PR 建立 ② 该 PR 之 L3 流水线绿
⇒ 当前前件 = PR-L3 通道打通(下版优先 K2 / P0-3)
五 附: 平台 API 无关闭能力(PATCH state_event 被静默忽略; /close、/state 路由 404)⇒ 关闭动作须待门满足后经平台正常流程执行


[判据面] 检查3 计数取数改「锚定行」+ 计数类锚消费面普查(
HARD)复述(一句话说清「改什么、为什么」)
现状 =
检查3之 CHANGELOG 计数取数为grep -m1首命中(面b8a631c40):⇒ 首个命中落在散文行(面
b8a631c40之CHANGELOG.md:20「本版50 passed / 0 failed」,属【制品面口径】之叙述句), 而非机器锚行; 且现役二节(v1.10.1/v1.10.0)皆无★ 计数锚行(档内 40 处锚行皆在v1.9.19及更旧之节)。散文句一旦改口径(如「较上版 48 passed」), 本检查即静默取错值。目标 = 计数取数只认锚定行(现役版本节内之
★ 计数锚行), 锚行缺席即具名FAIL(禁回退首命中); 并同批普查其余计数类锚消费面。影响面(路径 + 面 + 归属)
scripts/verify_release.sh(检查3 段)·scripts/tests/verify_release_gate_selftest.sh(新臂)·.xuanwu/gate-face.manifest+.xuanwu/gate-face.manifest.sha256(重签)·CHANGELOG.md(现役节补锚行, 视 §四-5 之裁)dev(判据面之主)AC(判据式 · 逐条: 谓词/命令形/期望
rc/负控)ACrcHARD-A1锚定行passed/failed/ignored三处取数皆取自「现役版本节内之锚定行」(行含★ 计数锚标记), 非全文首命中0FAIL(回退首命中即红); 丙: 锚行仅在旧版本节 ⇒ 须FAIL(现役世代约束)HARD-A2自检臂red2x_)三态对照咬合: 甲臂阴性(不误红)+乙/丙臂阳性(必红)∧ 新臂入册(调用行 + 汇总计数同批改)bash scripts/tests/verify_release_gate_selftest.sh(择臂先跑, 全量归test)0HARD-A3消费面普查scripts/verify_release.sh内全部「计数/锚取数面」(grep -m1·head -1·sed -n 1p等首取形), 出「面 × 判定(同病/否)× 处置」清单, 附枚举分母(全量 N 面 ∧ 命中 M 面)grep -n逐面枚举 + 清单入档0HARD-A4重签.xuanwu/gate-face.manifest+.sha256同批重签且校验rc=0sha256sum -c(或等形)0v1.10.1Cargo.lock.sha256之序错前例)★ 三态夹具之形(
HARD-A1): 皆以临时仓构造(承自检器既有make_repo形), 不动真仓; 甲/乙/丙三臂逐一改一处(禁一臂多因)。依赖与波次
b8a631c40之现役二节皆无锚行 ⇒ 本件落地时点须与「补锚行」同批, 或排于D1升版批之后(请裁 §四-5)scripts/**+.xuanwu/**, 件 3release/v1.10.2/evidence/**)test取整门, 与落地前基线对表(FAIL行集 + 空窗键集逐条比)并载(照实 · 限)
CHANGELOG= 锚 ∧ 基线只升 ∧failed恒0)一律不动; 本件只把「从哪一行取」由散文首命中收窄为锚定行(承R10§一 乙之字面「器修锚定行」, 非「降判据」)。GAP禁读绿(承R01裁3): 锚行缺席之处置为具名FAIL, 非skip_gap—— 与本版 §执行规则「GAP只许缩不许增」一致。检查14之登记面/锚区(LOCK_REGISTRY_MD5_ANCHOR所盖区间)⇒ 同批重锚(承AC-G2①双绑硬条款: 登记与重锚缺一即自检红)。落笔前以git diff核所动行是否在锚区内, 据实判定, 禁凭「应该不触」自安。openspec/specs/roadmap.md之TEST_COUNT_ANCHOR(其锚现役且由R10甲修落定); 两锚(CHANGELOG锚行 ⇄roadmap锚)之比对关系不变。HARD-A3之输出)⇒ 处置逐面裁: 同批改或另立批, 由ar裁; 本件不擅扩面(承「令之射程 ≠ 语义全域」之律, 报毕并载射程外残留)。